title: Forecasting Spatio-Temporal Renewable Scenarios: a Deep Generative Approach

abstract: The operation and planning of large-scale power systems are becoming more challenging with the increasing penetration of stochastic renewable generation. In order to minimize the decision risks in power systems with large amount of renewable resources, there is a growing need to model the short-term generation uncertainty. By producing a group of possible future realizations for certain set of renewable generation plants, scenario approach has become one popular way for renewables uncertainty modeling. However, due to the complex spatial and temporal correlations underlying in renewable generations, traditional model-based approaches for forecasting future scenarios often require extensive knowledge, while fitted models are often hard to scale. To address such modeling burdens, we propose a learning-based, data-driven scenario forecasts method based on generative adversarial networks (GANs), which is a class of deep-learning generative algorithms used for modeling unknown distributions. We firstly utilize an improved GANs with convergence guarantees to learn the intrinsic patterns and model the unknown distributions of (multiple-site) renewable generation time-series. Then by solving an optimization problem, we are able to generate forecasted scenarios without any scenario number and forecasting horizon restrictions. Our method is totally model-free, and could forecast scenarios under different level of forecast uncertainties. Extensive numerical simulations using real-world data from NREL wind and solar integration datasets validate the performance of proposed method in forecasting both wind and solar power scenarios.


title: Correct-by-construction control synthesis for buck converters with event-triggered state measurement

abstract: In this paper, we illustrate a new correct-by-construction switching controller for a power converter with event-triggered measurements. The event-triggered measurement scheme is beneficial for high frequency power converters because it requires relatively low-speed sampling hardware and is immune to unmodeled switching transients. While providing guarantees on the closed-loop system behavior is crucial in this application, off-the-shelf abstraction-based techniques cannot be directly employed to synthesize a controller in this setting because controller cannot always get instantaneous access to the current state. As a result, the switching action has to be based on slightly out-of-date measurements. To tackle this challenge, we introduce the out-of-date measurement as an extra state variable and project out the inaccessible real state to construct a belief space abstraction. The properties preserved by this belief space abstraction are analyzed. Finally, an abstraction-based synthesis method is applied to this abstraction. We demonstrate the controller on a constant on-time buck voltage regulator plant with an event-triggered sampler. The simulation verifies the effectiveness of our controller.


title: First Measurement of the Total Neutron Cross Section on Argon Between 100 and 800 MeV

abstract: We report the first measurement of the neutron cross section on argon in the energy range of 100-800 MeV. The measurement was obtained with a 4.3-hour exposure of the Mini-CAPTAIN detector to the WNR/LANSCE beam at LANL. The total cross section is measured from the attenuation coefficient of the neutron flux as it traverses the liquid argon volume. A set of 2,631 candidate interactions is divided in bins of the neutron kinetic energy calculated from time-of-flight measurements. These interactions are reconstructed with custom-made algorithms specifically designed for the data in a time projection chamber the size of the Mini-CAPTAIN detector. The energy averaged cross section is $0.91 \pm{} 0.10~\mathrm{(stat.)} \pm{} 0.09~\mathrm{(sys.)}~\mathrm{barns}$. A comparison of the measured cross section is made to the GEANT4 and FLUKA event generator packages.


title: Activity-Based Analysis of Open Source Software Contributors: Roles and Dynamics

abstract: Contributors to open source software (OSS) communities assume diverse roles to take different responsibilities. One major limitation of the current OSS tools and platforms is that they provide a uniform user interface regardless of the activities performed by the various types of contributors. This paper serves as a non-trivial first step towards resolving this challenge by demonstrating a methodology and establishing knowledge to understand how the contributors' roles and their dynamics, reflected in the activities contributors perform, are exhibited in OSS communities. Based on an analysis of user action data from 29 GitHub projects, we extracted six activities that distinguished four Active roles and five Supporting roles of OSS contributors, as well as patterns in role changes. Through the lens of the Activity Theory, these findings provided rich design guidelines for OSS tools to support diverse contributor roles.


title: Machine learning acceleration of simulations of Stokesian suspensions

abstract: Particulate Stokesian flows describe the hydrodynamics of rigid or deformable particles in Stokes flows. Due to highly nonlinear fluid-structure interaction dynamics, moving interfaces, and multiple scales, numerical simulations of such flows are challenging and expensive. In this Letter, we propose a generic machine-learning-augmented reduced model for these flows. Our model replaces expensive parts of a numerical scheme with multilayer perceptrons. Given the physical parameters of the particle, our model generalizes to arbitrary geometries and boundary conditions without the need to retrain the regression function. It is 10 times faster than a state-of-the-art numerical scheme having the same number of degrees of freedom and can reproduce several features of the flow quite accurately. We illustrate the performance of our model on integral equation formulation of vesicle suspensions in two dimensions.


title: Nonlinear management of topological solitons in a spin-orbit-coupled system

abstract: We consider possibilities to control dynamics of solitons of two types, maintained by the combination of cubic attraction and spin-orbit coupling (SOC) in a two-component system, namely, semi-dipoles (SDs) and mixed modes (MMs), by making the relative strength of the cross-attraction, gamma, a function of time periodically oscillating around the critical value, gamma = 1, which is an SD/MM stability boundary in the static system. The structure of SDs is represented by the combination of a fundamental soliton in one component and localized dipole mode in the other, while MMs combine fundamental and dipole terms in each component. Systematic numerical analysis reveals a finite bistability region for the SDs and MMs around gamma = 1, which does not exist in the absence of the periodic temporal modulation ("management"), as well as emergence of specific instability troughs and stability tongues for the solitons of both types, which may be explained as manifestations of resonances between the time-periodic modulation and intrinsic modes of the solitons. The system can be implemented in Bose-Einstein condensates, and emulated in nonlinear optical waveguides.


title: Offensive Language Analysis using Deep Learning Architecture

abstract: SemEval-2019 Task 6 (Zampieri et al., 2019b) requires us to identify and categorise offensive language in social media. In this paper we will describe the process we took to tackle this challenge. Our process is heavily inspired by Sosa (2017) where he proposed CNN-LSTM and LSTM-CNN models to conduct twitter sentiment analysis. We decided to follow his approach as well as further his work by testing out different variations of RNN models with CNN. Specifically, we have divided the challenge into two parts: data processing and sampling and choosing the optimal deep learning architecture. In preprocessing, we experimented with two techniques, SMOTE and Class Weights to counter the imbalance between classes. Once we are happy with the quality of our input data, we proceed to choosing the optimal deep learning architecture for this task. Given the quality and quantity of data we have been given, we found that the addition of CNN layer provides very little to no additional improvement to our model's performance and sometimes even lead to a decrease in our F1-score. In the end, the deep learning architecture that gives us the highest macro F1-score is a simple BiLSTM-CNN.


title: Closing in on the Cosmos: Cosmology's Rebirth and the Rise of the Dark Matter Problem

abstract: Influenced by the renaissance of general relativity that came to pass in the 1950s, the character of cosmology fundamentally changed in the 1960s as it became a well-established empirical science. Although observations went to dominate its practice, extra-theoretical beliefs and principles reminiscent of methodological debates in the 1950s kept playing an important tacit role in cosmological considerations. Specifically, belief in cosmologies that modeled a "closed universe" based on Machian insights remained influential. The rise of the dark matter problem in the early 1970s serves to illustrate this hybrid methodological character of cosmological science.


title: Non-Stationary First-Order Primal-Dual Algorithms with Faster Convergence Rates

abstract: In this paper, we propose two novel non-stationary first-order primal-dual algorithms to solve nonsmooth composite convex optimization problems. Unlike existing primal-dual schemes where the parameters are often fixed, our methods use pre-defined and dynamic sequences for parameters. We prove that our first algorithm can achieve $\mathcal{O}(1/k)$ convergence rate on the primal-dual gap, and primal and dual objective residuals, where $k$ is the iteration counter. Our rate is on the non-ergodic (i.e., the last iterate) sequence of the primal problem and on the ergodic (i.e., the averaging) sequence of the dual problem, which we call semi-ergodic rate. By modifying the step-size update rule, this rate can be boosted even faster on the primal objective residual. When the problem is strongly convex, we develop a second primal-dual algorithm that exhibits $\mathcal{O}(1/k^2)$ convergence rate on the same three types of guarantees. Again by modifying the step-size update rule, this rate becomes faster on the primal objective residual. Our primal-dual algorithms are the first ones to achieve such fast convergence rate guarantees under mild assumptions compared to existing works, to the best of our knowledge. As byproducts, we apply our algorithms to solve constrained convex optimization problems and prove the same convergence rates on both the objective residuals and the feasibility violation. We still obtain at least $\mathcal{O}(1/k^2)$ rates even when the problem is "semi-strongly" convex. We verify our theoretical results via two well-known numerical examples.


title: Origin of Misalignments: Protostellar Jet, Outflow, Circumstellar Disc, and Magnetic Field

abstract: Recent observations uncover various phenomena around the protostar such as misalignment between the outflow and magnetic field, precession of the jet, and time variability of the ejected clumps, whose origins are under debate. We perform a three-dimensional resistive magnetohydrodynamics simulation of the protostar formation in a star-forming core whose rotation axis is tilted at an angle $45^\circ$ with respect to the initial magnetic field, in which the protostar is resolved with a spatial resolution of $0.01\,$au. In low-dense outer region, the prestellar core contracts along the magnetic field lines due to the flux freezing. In high-dense inner region, on the other hand, the magnetic dissipation becomes efficient and weakens the magnetic effects when the gas number density exceeds about $10^{11}\,{\rm cm^{-3}}$. Then, the normal direction of the flattened disc is aligned with the angular momentum vector. The outflow, jet, and protostellar ejection are driven from different scales of the circumstellar disc and spout in different directions normal to the warped disc. These axes do not coincide with the global magnetic field direction and vary with time. This study demonstrates that a couple of misalignment natures reported by observations can be simultaneously reproduced only by assuming the star-forming core rotating around a different direction from the magnetic field.


title: Augment-Reinforce-Merge Policy Gradient for Binary Stochastic Policy

abstract: Due to the high variance of policy gradients, on-policy optimization algorithms are plagued with low sample efficiency. In this work, we propose Augment-Reinforce-Merge (ARM) policy gradient estimator as an unbiased low-variance alternative to previous baseline estimators on tasks with binary action space, inspired by the recent ARM gradient estimator for discrete random variable models. We show that the ARM policy gradient estimator achieves variance reduction with theoretical guarantees, and leads to significantly more stable and faster convergence of policies parameterized by neural networks.


title: All You Need is a Few Shifts: Designing Efficient Convolutional Neural Networks for Image Classification

abstract: Shift operation is an efficient alternative over depthwise separable convolution. However, it is still bottlenecked by its implementation manner, namely memory movement. To put this direction forward, a new and novel basic component named Sparse Shift Layer (SSL) is introduced in this paper to construct efficient convolutional neural networks. In this family of architectures, the basic block is only composed by 1x1 convolutional layers with only a few shift operations applied to the intermediate feature maps. To make this idea feasible, we introduce shift operation penalty during optimization and further propose a quantization-aware shift learning method to impose the learned displacement more friendly for inference. Extensive ablation studies indicate that only a few shift operations are sufficient to provide spatial information communication. Furthermore, to maximize the role of SSL, we redesign an improved network architecture to Fully Exploit the limited capacity of neural Network (FE-Net). Equipped with SSL, this network can achieve 75.0% top-1 accuracy on ImageNet with only 563M M-Adds. It surpasses other counterparts constructed by depthwise separable convolution and the networks searched by NAS in terms of accuracy and practical speed.


title: Quantum Spin Hall-like Phononic States in van der Waals Bilayers with Antiferromagnetic Ordering

abstract: Here, we propose quantum spin Hall-like phononic states in van der Waals bilayer systems with antiferromagnetic ordering. Antiferromagnetic ordering in bilayer systems with small interlayer interaction makes the total Chern number zero, where the Chern numbers for each layer are opposite to each other. In bilayer CrI3 where antiferromagnetic ordering has been experimentally demonstrated, we show that the quantum spin Hall-like states appear with spatially separated chiral edge modes.


title: X-ray follow-up of extragalactic transients

abstract: Most violent and energetic processes in our universe, including mergers of compact objects, explosions of massive stars and extreme accretion events, produce copious amounts of X-rays. X-ray follow-up is an efficient tool for identifying transients because (1) X-rays can quickly localize transients with large error circles, and (2) X-rays reveal the nature of transients that may not have unique signatures at other wavelengths. In this white paper, we identify key science questions about several extragalactic multi-messenger and multi-wavelength transients, and demonstrate how X-ray follow-up helps answer these questions


title: Effect of Interpopulation Spike-Timing-Dependent Plasticity on Synchronized Rhythms in Neuronal Networks with Inhibitory and Excitatory Populations

abstract: We consider clustered small-world networks with both inhibitory (I) and excitatory (E) populations. This I-E neuronal network has adaptive dynamic I to E and E to I interpopulation synaptic strengths, governed by interpopulation spike-timing-dependent plasticity (STDP). In previous works without STDPs, fast sparsely synchronized rhythms, related to diverse cognitive functions, were found to appear in a range of noise intensity $D$ for static synaptic strengths. By varying $D$, we investigate the effect of interpopulation STDPs on diverse population and individual properties of fast sparsely synchronized rhythms that emerge in both the I- and the E-populations. Depending on values of $D$, long-term potentiation (LTP) and long-term depression (LTD) for population-averaged values of saturated interpopulation synaptic strengths are found to occur, and they make effects on the degree of fast sparse synchronization. In a broad region of intermediate $D$, the degree of good synchronization (with higher spiking measure) becomes decreased, while in a region of large $D$, the degree of bad synchronization (with lower spiking measure) gets increased. Consequently, in each I- or E-population, the synchronization degree becomes nearly the same in a wide range of $D$. This kind of "equalization effect" is found to occur via cooperative interplay between the average occupation and pacing degrees of fast sparsely synchronized rhythms. We note that the equalization effect in interpopulation synaptic plasticity is distinctly in contrast to the Matthew (bipolarization) effect in intrapopulation (I to I and E to E) synaptic plasticity where good (bad) synchronization gets better (worse). Finally, emergences of LTP and LTD of interpopulation synaptic strengths are intensively investigated via a microscopic method based on the distributions of time delays between the pre- and the post-synaptic spike times.


title: Accessing From The Sky: A Tutorial on UAV Communications for 5G and Beyond

abstract: Unmanned aerial vehicles (UAVs) have found numerous applications and are expected to bring fertile business opportunities in the next decade. Among various enabling technologies for UAVs, wireless communication is essential and has drawn significantly growing attention in recent years. Compared to the conventional terrestrial communications, UAVs' communications face new challenges due to their high altitude above the ground and great flexibility of movement in the three-dimensional (3D) space. Several critical issues arise, including the line-of-sight (LoS) dominant UAV-ground channels and resultant strong aerial-terrestrial network interference, the distinct communication quality of service (QoS) requirements for UAV control messages versus payload data, the stringent constraints imposed by the size, weight and power (SWAP) limitations of UAVs, as well as the exploitation of the new design degree of freedom (DoF) brought by the highly controllable 3D UAV mobility. In this paper, we give a tutorial overview of the recent advances in UAV communications to address the above issues, with an emphasis on how to integrate UAVs into the forthcoming fifth-generation (5G) and future cellular networks. In particular, we partition our discussions into two promising research and application frameworks of UAV communications, namely UAV-assisted wireless communications and cellular-connected UAVs,where UAVs serve as aerial communication platforms and users, respectively. Furthermore, we point out promising directions for future research and investigation.


title: Silicon Nitride Stress Liner Impacts on the Electrical Characteristics of AlGaN/GaN HEMTs

abstract: Due to the piezoelectric nature of GaN, the 2DEG in AlGaN/GaN HEMT could be engineered by strain. In this work, SiNx deposited using dual-frequency PECVD was used as a stressor. The output performance of the devices was dominated by the surface passivation instead of the stress effect. However, the threshold voltage was increased by the induced stress, supporting strain engineering as an effective approach to pursue the normally-off operation of AlGaN/GaN HEMTs.


title: On the Spectrum Sensing, Beam Selection and Power Allocation in Cognitive Radio Networks Using Reconfigurable Antennas

abstract: In this paper, we consider a cognitive radio (CR) system consisting of a primary user (PU) and a pair of secondary user transmitter (SUtx) and secondary user receiver (SUrx). The SUtx is equipped with a reconfigurable antenna (RA) which divides the angular space into M sectors. The RA chooses one sector among M sectors for its data transmission to SUrx. The SUtx first senses the channel and monitors the activity of PU for a duration of T_{sen} seconds. We refer to this period as channel sensing phase. Depending on the outcome of this phase, SUtx stays in this phase or enters the next phase, which we refer to as transmission phase. The transmission phase itself consists of two phases: channel training phase followed by data transmission phase. During the former phase, SUtx sends pilot symbols to enable channel training and estimation at SUrx. The SUrx selects the best beam (sector) for data transmission and feeds back the index of the selected beam as well as its corresponding channel gain. We also derive the probability of determining the true beam and take into account this probability in our system design. During the latter phase, SUtx sends data symbols to SUrx over the selected beam with constant power {\Phi} if the gain corresponding to the selected beam is bigger than the threshold {\zeta}. We find the optimal channel sensing duration T_{sen}, the optimal power level {\Phi} and a optimal threshold {\zeta}, such that the ergodic capacity of CR system is maximized, subject to average interference and power constraints. In addition, we derive closed form expressions for outage and symbol error probabilities of our CR system.


title: Linear Scaling of the Superfluid Density with the Critical Temperature in the Layered Superconductor 2H-NbSe_2

abstract: We report on high-pressure (p_max = 2.1 GPa) muon spin rotation experiments probing the temperature-dependent magnetic penetration depth in the layered superconductor 2H-NbSe_2. Upon increasing the pressure, we observe a substantial increase of the superfluid density n_s, which we find to scale linearly with T_c. This linear scaling is considered a hallmark feature of unconventional superconductivity, especially in high-temperature cuprate superconductors. Our current results, along with our earlier findings on 1T'-MoTe_2 (Z. Guguchia et. al., Nature Communications 8, 1082 (2017)), demonstrate that this linear relation is also an intrinsic property of the superconductivity in transition metal dichalcogenides, whereas the ratio T_c/T_F is approximately a factor of 20 lower than the ratio observed in hole-doped cuprates. We, furthermore, find that the values of the superconducting gaps are insensitive to the suppression of the quasi-two-dimensional CDW state, indicating that the CDW ordering and the superconductivity in 2H-NbSe_2 are independent of each other.


title: Envisioning the next decade of Galactic Center science: a laboratory for the study of the physics and astrophysics of supermassive black holes

abstract: As the closest example of a galactic nucleus, the Galactic center (GC) presents an exquisite laboratory for learning about supermassive black holes (SMBH) and their environment. We describe several exciting new research directions that, over the next 10 years, hold the potential to answer some of the biggest scientific questions raised in recent decades: Is General Relativity (GR) the correct description for supermassive black holes? What is the nature of star formation in extreme environments? How do stars and compact objects dynamically interact with the supermassive black hole? What physical processes drive gas accretion in low-luminosity black holes? We describe how the high sensitivity, angular resolution, and astrometric precision offered by the next generation of large ground-based telescopes with adaptive optics will help us answer these questions. First, it will be possible to obtain precision measurements of stellar orbits in the Galaxy's central potential, providing both tests of GR in the unexplored regime near a SMBH and measurements of the extended dark matter distribution that is predicted to exist at the GC. Second, we will probe stellar populations at the GC to significantly lower masses than are possible today, down to brown dwarfs. Their structure and dynamics will provide an unprecedented view of the stellar cusp around the SMBH and will distinguish between models of star formation in this extreme environment. This increase in depth will also allow us to measure the currently unknown population of compact remnants at the GC by observing their effects on luminous sources. Third, uncertainties on the mass of and distance to the SMBH can be improved by a factor of $\sim$10. Finally, we can also study the near-infrared accretion onto the black hole at unprecedented sensitivity and time resolution, which can reveal the underlying physics of black hole accretion.


title: Understanding one-dimensional topological Kondo insulator: Poor man's non-uniform antiferromagnetic mean-field theory versus quantum Monte Carlo simulation

abstract: Topological Kondo insulator (TKI) is an essential example of interacting topological insulator, where electron's correlation effect plays a key role. However, most of our understanding on this timely issue comes from numerical simulations, (particularly in one-spatial dimension) which exactly includes correlation effect but is black box for extracting underlying physics. In this work, we use a non-uniform antiferromagnetic mean-field (nAFM) theory to understand the underlying physics in a TKI model, the $1D$ $p-$wave periodic Anderson model ($p$-PAM). Comparing with numerically exact quantum Monte Carlo simulation, we find that nAFM theory is an excellent approximation for ground-state properties when onsite Hubbard interaction is weak. This emphasizes the dominating antiferromagnetic correlation in this system and local antiferromagnetic picture captures the qualitative nature of interacting many-body ground state. Adding extra conduction electron band to $p$-PAM leads to a quantum phase transition from Haldane phase into topological trivial phase. We believe these results may be helpful for understanding novel physics in interacting TKI materials such as SmB$_{6}$ and other related compounds.


title: Exactly Solvable Kondo Lattice Model in Anisotropic Limit

abstract: In this paper we introduce an exactly solvable Kondo lattice model without any fine-tuning local gauge symmetry. This model describes itinerant electrons interplaying with a localized magnetic moment via only longitudinal Kondo exchange. Its solvability results from conservation of the localized moment at each site, and is valid for arbitrary lattice geometry and electron filling. A case study on square lattice shows that the ground state is a N\'{e}el antiferromagnetic insulator at half-filling. At finite temperature, paramagnetic phases including a Mott insulator and correlated metal are found. The former is a melting antiferromagnetic insulator with a strong short-range magnetic fluctuation, while the latter corresponds to a Fermi liquid-like metal. Monte Carlo simulation and theoretical analysis demonstrate that the transition from paramagnetic phases into the antiferromagnetic insulator is a continuous $2D$ Ising transition. Away from half-filling, patterns of spin stripes (inhomogeneous magnetic order) at weak coupling, and phase separation at strong coupling are predicted. With established Ising antiferromagnetism and spin stripe orders, our model may be relevant to a heavy fermion compound CeCo(In$_{1-x}$Hg$_{x}$)$_{5}$ and novel quantum liquid-crystal order in a hidden order compound URu$_{2}$Si$_{2}$.


title: The intermediate age population of the Galactic halo

abstract: We have learned recently that the inner halo of the Milky Way contains a kinematically coherent component (Gaia-Enceladus) from a significant merger 10 Gyrs ago. By contrast the inner halo (defined to exclude the Magellanic Stream) contains no similar intruder stellar population of billion year age. The tracer we use to set the corresponding upper limit is Gaia asymptotic giant branch stars, rather than Gaia kinematics. The primary sample is drawn from Gaia DR2 with SkyMapper photometry. This is supplemented with PanSTARRS and 2MASS photometry. As the Gaia mission proceeds, a star formation history in the galactic halo should emerge.


title: Learning Symmetric and Asymmetric Steganography via Adversarial Training

abstract: Steganography refers to the art of concealing secret messages within multiple media carriers so that an eavesdropper is unable to detect the presence and content of the hidden messages. In this paper, we firstly propose a novel key-dependent steganographic scheme that achieves steganographic objectives with adversarial training. Symmetric (secret-key) and Asymmetric (public-key) steganographic scheme are separately proposed and each scheme is successfully designed and implemented. We show that these encodings produced by our scheme improve the invisibility by 20% than previous deep-leanring-based work, and further that perform competitively remarkable undetectability 25% better than classic steganographic algorithms. Finally, we simulated our scheme in a real situation where the decoder achieved an accuracy of more than 98% of the original message.


title: The ring structure of twisted equivariant $KK$-theory for noncompact Lie groups

abstract: Let $G$ be a connected semisimple Lie group with its maximal compact subgroup $K$ being simply-connected. We show that the twisted equivariant $KK$-theory $KK^{\bullet}_{G}(G/K, \tau_G^G)$ of $G$ has a ring structure induced from the renowned ring structure of the twisted equivariant $K$-theory $K^{\bullet}_{K}(K, \tau_K^K)$ of a maximal compact subgroup $K$. We give a geometric description of representatives in $KK^{\bullet}_{G}(G/K, \tau_G^G)$ in terms of equivalence classes of certain equivariant correspondences and obtain an optimal set of generators of this ring. We also establish various properties of this ring under some additional hypotheses on $G$ and give an application to the quantization of $q$-Hamiltonian $G$-spaces in an appendix. We also suggest conjectures regarding the relation to positive energy representations of $LG$ that are induced from certain unitary representations of $G$ in the noncompact case.


title: Frequency Domain Multi-channel Acoustic Modeling for Distant Speech Recognition

abstract: Conventional far-field automatic speech recognition (ASR) systems typically employ microphone array techniques for speech enhancement in order to improve robustness against noise or reverberation. However, such speech enhancement techniques do not always yield ASR accuracy improvement because the optimization criterion for speech enhancement is not directly relevant to the ASR objective. In this work, we develop new acoustic modeling techniques that optimize spatial filtering and long short-term memory (LSTM) layers from multi-channel (MC) input based on an ASR criterion directly. In contrast to conventional methods, we incorporate array processing knowledge into the acoustic model. Moreover, we initialize the network with beamformers' coefficients. We investigate effects of such MC neural networks through ASR experiments on the real-world far-field data where users are interacting with an ASR system in uncontrolled acoustic environments. We show that our MC acoustic model can reduce a word error rate (WER) by~16.5\% compared to a single channel ASR system with the traditional log-mel filter bank energy (LFBE) feature on average. Our result also shows that our network with the spatial filtering layer on two-channel input achieves a relative WER reduction of~9.5\% compared to conventional beamforming with seven microphones.


title: Gamma II for toric varieties from integrals on T-dual branes and homological mirror symmetry

abstract: In this paper we consider the oscillatory integrals on Lefschetz thimbles in the Landau-Ginzburg model as the mirror of a toric Fano manifold. We show these thimbles represent the same relative homology classes as the characteristic cycles of the corresponding constructible sheaves under the equivalence of \cite{GPS18-2}. Then the oscillatory integrals on such thimbles are the same as the integrals on the characteristic cycles and relate to genus $0$ Gromov-Witten descendant potential for $X$, and this leads to a proof of Gamma II conjecture for toric Fano manifolds.


title: Uniqueness of Bounded Solutions for the Homogeneous Relativistic Landau Equation with Coulomb Interactions

abstract: We prove the uniqueness of weak solutions to the spatially homogeneous special relativistic Landau equation under the conditional assumption that the solution satisfies $(p^0)^7 F(t,p) \in L^1 ([0,T]; L^\infty)$. The existence of standard weak solutions to the relativistic Landau equation has been shown recently in (arXiv:1806.08720)


title: Isometries of absolute order unit spaces

abstract: We prove that for a bijective, unital, linear map between absolute order unit spaces is an isometry if, and only if, it is absolute value preserving. We deduce that, on (unital) $JB$-algebras, such maps are precisely Jordan isomorphisms. Next, we introduce the notions of absolutely matrix ordered spaces and absolute matrix order unit spaces and prove that for a bijective, unital, linear map between absolute matrix order unit spaces is a complete isometry if, and only if, it is completely absolute value preserving. We obtain that on (unital) C$^*$-algebras such maps are precisely C$^*$-algebra isomorphism.


title: Analytic Semi-device-independent Entanglement Quantification for Bipartite Quantum States

abstract: We define a property called nondegeneracy for Bell inequalities, which describes the situation that in a Bell setting, if a Bell inequality and involved local measurements are chosen and fixed, any quantum state with a given dimension and its orthogonal quantum state cannot violate the inequality remarkably at the same time. By choosing a proper nondegenerate Bell inequality, we prove that for a unknown bipartite quantum state of a given dimension, based on the measurement statistics only, we can provide an analytic lower bound for the entanglement of formation or even for the distillable entanglement, making the whole process semi-device-independent. We characterize the mathematical structure of nondegenerate Bell inequalities, and prove that quite a lot of well-known Bell inequalities are nondegenerate. We demonstrate our approach by quantifying entanglement for qutrit-qutrit states based on their violation to the CGLMP inequality.


title: On the depth of cutting planes

abstract: We introduce a natural notion of depth that applies to individual cutting planes as well as entire families. This depth has nice properties that make it easy to work with theoretically, and we argue that it is a good proxy for the practical strength of cutting planes. In particular, we show that its value lies in a well-defined interval, and we give parametric upper bounds on the depth of two prominent types of cutting planes: split cuts and intersection cuts from a simplex tableau. Interestingly, these parametric bounds can help explain behaviors that have been observed computationally. For polyhedra, the depth of an individual cutting plane can be computed in polynomial time through an LP formulation, and we show that it can be computed in closed form in the case of corner polyhedra.


title: Theoretical Prediction of Stable Cluster-assembled CdSe Bilayer and its Functionalization with Co and Cr Adatoms

abstract: In this article, we present our results on bilayers assembled upon strategic placement of Cd$_6$Se$_6$ clusters. These bilayers are studied for their stability and electronic structure with the help of density functional theory and are further analyzed using Bardeen, Tersoff and Hamann formalism for their tunneling properties. Our calculations show that the hexagonal arrangement of these clusters prevails as the most stable geometry showing all real phonon modes. First-principles molecular dynamics studies on this 2D structure show that it remains intact even at room temperature. This bilayer shows an indirect semiconducting band gap of 1.28~eV with the current-voltage (I-V) characteristics similar to a tunnel diode. Further, we functionalized this bilayer using transition metal atoms, Co and Cr. The aim was to seek whether the bilayer sustains magnetism and how the concentration affects its electronic and magnetic properties. Co functionalization brings ferromagnetic ordering in the bilayer which turns near half-metallic upon increasing the concentration. On the other hand, Cr functionalization shows a transition from antiferro- to ferromagnetic ordering upon increasing the concentration. The I-V characteristics of all these functionalized bilayers show negative differential conductance similar to a tunnel diode.


title: Universal Lowest-Twist in CFTs from Holography

abstract: We probe the conformal block structure of a scalar four-point function in $d\geq2$ conformal field theories by including higher-order derivative terms in a bulk gravitational action. We consider a heavy-light four-point function as the boundary correlator at large central charge. Such a four-point function can be computed, on the gravity side, as a two-point function of the light operator in a black hole geometry created by the heavy operator. We consider analytically solving the corresponding scalar field equation in a near-boundary expansion and find that the multi-stress tensor conformal blocks are insensitive to the horizon boundary condition. The main result of this paper is that the lowest-twist operator product expansion (OPE) coefficients of the multi-stress tensor conformal blocks are universal: they are fixed by the dimension of the light operators and the ratio between the dimension of the heavy operator and the central charge $C_T$. Neither supersymmetry nor unitary is assumed. Higher-twist coefficients, on the other hand, generally are not protected. A recursion relation allows us to efficiently compute universal lowest-twist coefficients. The universality result hints at the potential existence of a higher-dimensional Virasoro-like symmetry near the lightcone. While we largely focus on the planar black hole limit in this paper, we include some preliminary analysis of the spherical black hole case in an appendix.


title: Quantum filtering for a two-level atom driven by two counter-propagating photons

abstract: The purpose of this paper is to propose quantum filters for a two-level atom driven by two continuous-mode counter-propagating photons and under continuous measurements. Two scenarios of multiple measurements, 1) homodyne detection plus photodetection, and 2) two homodyne detections, are discussed. Filtering equations for both cases are derived explicitly. As demonstration, the two input photons with rising exponential and Gaussian pulse shapes are used to excite a two-level atom under two homodyne detection measurements. Simulations reveal scaling relations between atom-photon coupling and photonic pulse shape for maximum atomic excitation.


title: A new Homological Invariant for Modules

abstract: Let $R$ be a commutative Noetherian local ring with residue field $k$. Using the structure of Vogel cohomology, for any finitely generated module $M$, we introduce a new dimension, called $\zeta$-dimension, denoted by $\zeta-dim_R M$. This dimension is finer than Gorenstein dimension and has nice properties enjoyed by homological dimensions. In particular, it characterizes Gorenstein rings in the sense that: a ring $R$ is Gorenstein if and only if every finitely generated $R$-module has finite $\zeta$-dimension. Our definition of $\zeta$-dimension offer a new homological perspective on the projective dimension, complete intersection dimension of Avramov et al. and $G$-dimension of Auslander and Bridger.


title: Generalized Elliptical Slice Sampling with Regional Pseudo-priors

abstract: In this paper, we propose a MCMC algorithm based on elliptical slice sampling with the purpose to improve sampling efficiency. During sampling, a mixture distribution is fitted periodically to previous samples. The components of the mixture distribution are called regional pseudo-priors because each component serves as the pseudo-prior for a subregion of the sampling space. Expectation maximization algorithm, variational inference algorithm and stochastic approximation algorithm are used to estimate the parameters. Meanwhile, parallel computing is used to relieve the burden of computation. Ergodicity of the proposed algorithm is proven mathematically. Experimental results on one synthetic and two real-world dataset show that the proposed algorithm has the following advantages: with the same starting points, the proposed algorithm can find more distant modes; the proposed algorithm has lower rejection rates; when doing Bayesian inference for uni-modal posterior distributions, the proposed algorithm can give more accurate estimations; when doing Bayesian inference for multi-modal posterior distributions, the proposed algorithm can find different modes well, and the estimated means of the mixture distribution can provide additional information for the location of modes.


title: Schwinger Mechanism During Inflation

abstract: We revisit the efficiency of Schwinger mechanism in creating charged pairs during inflation. We consider a minimal setup of inflation in which the inflaton field is a complex scalar field charged under a $U(1)$ gauge field. There is a time dependent conformal coupling which pumps energy from the inflaton field to the gauge field to furnish a nearly constant background electric field energy density to drive the Schwinger mechanism. The coupling between the gauge field and the scalar field induces a time dependent effective mass for the inflaton field. The requirement of a long period of slow-roll inflation causes the Schwinger mechanism to be highly inefficient during inflation. The non-perturbative Schwinger mechanism can be relevant only towards the end of inflation and only on very small scales. This is in contrast to hypothetical models studied in literature in which the complex scalar field is a test field and a constant electric field is imposed on the dS background by hand. We calculate the number of pairs of charged particles created perturbatively during inflation. We show that it is proportional to the amplitude of the quadrupolar statistical anisotropy and it is very small. Consequently, the back-reactions of created particles on magnetogenesis on large scales are negligible.


title: Safety Verification of Nonlinear Autonomous System via Occupation Measures

abstract: In this paper, we introduce a flexible notion of safety verification for nonlinear autonomous systems by measuring how much time the system spends in given unsafe regions. We consider this problem in the particular case of nonlinear systems with a polynomial dynamics and unsafe regions described by a collection of polynomial inequalities. In this context, we can quantify the amount of time spent in the unsafe regions as the solution to an infinite-dimensional linear program (LP). This LP measures the volume of the unsafe region with respect to the occupation measure of the system trajectories. Using Lasserre hierarchy, we approximate the solution to the infinite-dimensional LP using a sequence of finite-dimensional semidefinite programs (SDPs). The solutions to the SDPs in this hierarchy provide monotonically converging upper bounds on the optimal solution to the infinite-dimensional LP. Finally, we validate the performance of our framework using numerical simulations.


title: Zero-shot Domain Adaptation Based on Attribute Information

abstract: In this paper, we propose a novel domain adaptation method that can be applied without target data. We consider the situation where domain shift is caused by a prior change of a specific factor and assume that we know how the prior changes between source and target domains. We call this factor an attribute, and reformulate the domain adaptation problem to utilize the attribute prior instead of target data. In our method, the source data are reweighted with the sample-wise weight estimated by the attribute prior and the data themselves so that they are useful in the target domain. We theoretically reveal that our method provides more precise estimation of sample-wise transferability than a straightforward attribute-based reweighting approach. Experimental results with both toy datasets and benchmark datasets show that our method can perform well, though it does not use any target data.


title: Regularity of Symbolic Powers of Edge Ideals

abstract: In this article, we prove that for several classes of graphs, the Castelnuovo-Mumford regularity of symbolic powers of their edge ideals coincide with that of their ordinary powers.


title: Energy-energy correlations at next-to-next-to-leading order

abstract: We develop further an approach to computing energy-energy correlations (EEC) directly from finite correlation functions. In this way, one completely avoids infrared divergences. In maximally supersymmetric Yang-Mills theory ($\mathcal{N}=4$ sYM), we derive a new, extremely simple formula relating the EEC to a triple discontinuity of a four-point correlation function. We use this formula to compute the EEC in $\mathcal{N}=4$ sYM at next-to-next-to-leading order in perturbation theory. Our result is given by a two-fold integral representation that is straightforwardly evaluated numerically. We find that some of the integration kernels are equivalent to those appearing in sunrise Feynman integrals, which evaluate to elliptic functions. Finally, we use the new formula to provide the expansion of the EEC in the back-to-back and collinear limits.


title: Optimality of Maximum Likelihood for Log-Concave Density Estimation and Bounded Convex Regression

abstract: In this paper, we study two problems: (1) estimation of a $d$-dimensional log-concave distribution and (2) bounded multivariate convex regression with random design with an underlying log-concave density or a compactly supported distribution with a continuous density. First, we show that for all $d \ge 4$ the maximum likelihood estimators of both problems achieve an optimal risk of $\Theta_d(n^{-2/(d+1)})$ (up to a logarithmic factor) in terms of squared Hellinger distance and $L_2$ squared distance, respectively. Previously, the optimality of both these estimators was known only for $d\le 3$. We also prove that the $\epsilon$-entropy numbers of the two aforementioned families are equal up to logarithmic factors. We complement these results by proving a sharp bound $\Theta_d(n^{-2/(d+4)})$ on the minimax rate (up to logarithmic factors) with respect to the total variation distance. Finally, we prove that estimating a log-concave density - even a uniform distribution on a convex set - up to a fixed accuracy requires the number of samples \emph{at least} exponential in the dimension. We do that by improving the dimensional constant in the best known lower bound for the minimax rate from $2^{-d}\cdot n^{-2/(d+1)}$ to $c\cdot n^{-2/(d+1)}$ (when $d\geq 2$).


title: DeepCount: Crowd Counting with WiFi via Deep Learning

abstract: Recently, the research of wireless sensing has achieved more intelligent results, and the intelligent sensing of human location and activity can be realized by means of WiFi devices. However, most of the current human environment perception work is limited to a single person's environment, because the environment in which multiple people exist is more complicated than the environment in which a single person exists. In order to solve the problem of human behavior perception in a multi-human environment, we first proposed a solution to achieve crowd counting (inferred population) using deep learning in a closed environment with WIFI signals - DeepCout, which is the first in a multi-human environment. step. Since the use of WiFi to directly count the crowd is too complicated, we use deep learning to solve this problem, use Convolutional Neural Network(CNN) to automatically extract the relationship between the number of people and the channel, and use Long Short Term Memory(LSTM) to resolve the dependencies of number of people and Channel State Information(CSI) . To overcome the massive labelled data required by deep learning method, we add an online learning mechanism to determine whether or not someone is entering/leaving the room by activity recognition model, so as to correct the deep learning model in the fine-tune stage, which, in turn, reduces the required training data and make our method evolving over time. The system of DeepCount is performed and evaluated on the commercial WiFi devices. By massive training samples, our end-to-end learning approach can achieve an average of 86.4% prediction accuracy in an environment of up to 5 people. Meanwhile, by the amendment mechanism of the activity recognition model to judge door switch to get the variance of crowd to amend deep learning predicted results, the accuracy is up to 90%.


title: Multiple Populations of Extrasolar Gas Giants

abstract: There are two planetary formation scenarios: core accretion and gravitational disk instability. Based on the fact that gaseous objects are preferentially observed around metal-rich host stars, most extra-solar gaseous objects discovered to date are thought to have been formed by core accretion. Here, we present 569 samples of gaseous planets and brown dwarfs found in 485 planetary systems that span three mass regimes with boundary values at 4 and 25 Jupiter-mass masses through performing cluster analyses of these samples regarding the host-star metallicity, after minimizing the impact of the selection effect of radial-velocity measurement on the cluster analysis. The larger mass is thought to be the upper mass limit of the objects that were formed during the planetary formation processes. In contrast, the lower mass limit appears to reflect the difference between planetary formation processes around early-type and G-type stars; disk instability plays a greater role in the planetary formation process around early-type stars than that around G-type stars. Population with masses between 4 and 25 Jupiter masses that orbit early-type stars comprise planets formed not only via the core-accretion process but also via gravitational disk instability because the population preferentially orbits metal-poor stars or is independent of the host-star metallicity. Therefore, it is essential to have a hybrid scenario for the planetary formation of the diverse systems.


title: $C_\lambda$- Extended oscillator algebra and $d$-orthogonal polynomials

abstract: In this paper we first construct an analytic realization of the $C_\lambda$-extended oscillator algebra with the help of difference-differential operators. Secondly, we study families of $d$-orthogonal polynomials which are extensions of the Hermite and Laguerre polynomials. The underlying algebraic framework allowed us a systematic derivation of their main properties such as recurrence relations, difference-differential equations, lowering and rising operators and generating functions. Finally, we use these polynomials to construct a realization of the $C_\lambda$-extended oscillator by block matrices.


title: Imaging Giant Protoplanets with the ELTs

abstract: We have now accumulated a wealth of observations of the planet-formation environment and of mature planetary systems. These data allow us to test and refine theories of gas-giant planet formation by placing constraints on the conditions and timescale of this process. Yet a number of fundamental questions remain unanswered about how protoplanets accumulate material, their photospheric properties and compositions, and how they interact with protoplanetary disks. While we have begun to detect protoplanet candidates during the last several years, we are presently only sensitive to the widest separation, highest mass / accretion rate cases. Current observing facilities lack the angular resolution and inner working angle to probe the few-AU orbital separations where giant planet formation is thought to be most efficient. They also lack the contrast to detect accretion rates that would form lower mass gas giants and ice giants. Instruments and telescopes coming online over the next decade will provide high contrast in the inner giant-planet-forming regions around young stars, allowing us to build a protoplanet census and to characterize planet formation in detail for the first time.


title: Multiple Outbursts of Asteroid (6478) Gault

abstract: Main-belt asteroid (6478) Gault unexpectedly sprouted two tails in late 2018 and early 2019, identifying it as a new active asteroid. Here we present observations obtained by the 1.2-m Zwicky Transient Facility survey telescope that provide detailed time-series coverage of the onset and evolution of Gault's activity. Gault exhibited two brightening events, with the first one starting on 2018 Oct. 18$\pm5$ days and a second one starting on 2018 Dec. 24$\pm1$ days. The amounts of mass released are $2\times10^7$ kg and $1\times10^6$ kg, respectively. Based on photometric measurements, each event persisted for about a month. Gault's color has not changed appreciably over time, with a pre-outburst color of $g_\mathrm{PS1}-r_\mathrm{PS1}=0.50\pm0.04$ and $g_\mathrm{PS1}-r_\mathrm{PS1}=0.46\pm0.04$ during the two outbursts. Simulations of dust dynamics shows that the ejecta consists of dust grains of up to 10 $\mu$m in size that are ejected at low velocities below $1~\mathrm{m~s^{-1}}$ regardless of particle sizes. This is consistent with non-sublimation-driven ejection events. The size distribution of the dust exhibits a broken power-law, with particles at 10--20 $\mu$m following a power-law of $-2.5$ to $-3.0$, while larger particles follow a steeper slope of $-4.0$. The derived properties can be explained by either rotational excitation of the nucleus or a merger of a near-contact binary, with the latter scenario to be statistically more likely.


title: Capability of Tokai Strainmeter Network to Detect and Locate a Slow Slip: First Results

abstract: The Tokai Strainmeter Network (TSN), a dense network deployed in the Tokai region, which is the easternmost region of the Nankai trough, has been designed to monitor slow slips that reflect changes in the coupling state of the plate boundary. It is important to evaluate the current capability of TSN to detect and locate slow slips. For this purpose, the probability-based magnitude of completeness developed for seismic networks was modified to be applicable to the evaluation of TSN's performance. Using 35 slow slips having moment magnitudes M5.1-5.8 recorded by TSN in 2012-2016, this study shows that the probability that TSN detected and located a M5-class slow slip is high (> 0.9) when considering a region in and around the TSN. The probability has been found to depend on the slip duration, especially for M5.5 or larger, namely the longer the duration, the lower the probability. A possible use of this method to assess the network's performance for cases where virtual stations are added to the existing network was explored. The use of this application when devising a strategic plan of the TSN to extend its coverage westwards is proposed. This extension that allows TSN to cover the entire eastern half of the Nankai trough is important, because the historical records show that the eastern half of this trough tends to rupture first.


title: Stylized facts of the Indian Stock Market

abstract: Historical daily data for eleven years of the fifty constituent stocks of the NIFTY index traded on the National Stock Exchange have been analyzed to check for the stylized facts in the Indian market. It is observed that while some stylized facts of other markets are also observed in Indian market, there are significant deviations in three main aspects, namely leverage, asymmetry and autocorrelation. Leverage and asymmetry are both reversed making this a more promising market to invest in. While significant autocorrelation observed in the returns points towards market inefficiency, the increased predictive power is better for investors.


title: On a class of nonlinear Schr\"odinger equation on finite graphs

abstract: Suppose that $G=(V, E)$ is a finite graph with the vertex set $V$ and the edge set $E$. Let $\Delta$ be the usual graph Laplacian. Consider the following nonlinear Schr$\ddot{o}$dinger type equation of the form $$ \left \{ \begin{array}{lcr} -\Delta u-\alpha u=f(x,u),\\ u\in W^{1,2}(V),\\ \end{array} \right. $$ on graph $G$, where $f(x,u):V\times\mathbb{R}\rightarrow\mathbb{R}$ is a nonlinear function and $\alpha$ is a parameter. Firstly, we prove the Trudinger-Moser inequality on graph $G$, and under the assumption that $G$ satisfies the curvature-dimension type inequality $CD(m, \xi)$, we prove an integral inequality on $G$. Then by using the two inequalities, we prove that there exists a positive solution to the nonlinear Schr$\ddot{o}$dinger type equation if $\alpha<\frac{2\lambda^{2}}{m(\lambda-\xi)}$, where $\lambda$ is the eigenvalue of the graph Laplacian. Our work provides remarkable improvements to the previous results.


title: Stochastic thermodynamics with odd controlling parameters

abstract: Stochastic thermodynamics extends the notions and relations of classical thermodynamics to small systems that experience strong fluctuations. The definitions of work and heat and the microscopically reversible condition are two key concepts in the current framework of stochastic thermodynamics. Herein, we apply stochastic thermodynamics to small systems with odd controlling parameters and find that the definition of heat and the microscopically reversible condition are incompatible. Such a contradiction also leads to a revision to the fluctuation theorems and nonequilibrium work relations. By introducing adjoint dynamics, we find that the total entropy production can be separated into three parts, with two of them satisfying the integral fluctuation theorem. Revising the definitions of work and heat and the microscopically reversible condition allows us to derive two sets of modified nonequilibrium work relations, including the Jarzynski equality, the detailed Crooks work relation, and the integral Crooks work relation. We consider the strategy of shortcuts to isothermality as an example and give a more sophisticated explanation for the Jarzynski-like equality derived from shortcuts to isothermality.


title: Efficient Computation of H2 Performance on Series-Parallel Networks

abstract: Series-parallel networks are a class of graphs on which many NP-hard problems have tractable solutions. In this paper, we examine performance measures on leader-follower consensus on series-parallel networks. We show that a distributed computation of the $\mathcal{H}_2$ norm can be done efficiently on this system by exploiting a decomposition of the network into atomic elements and composition rules. Lastly, we examine the problem of adaptively re-weighting the network to optimize the $\mathcal{H}_2$ norm, and show that it can be done with similar complexity.


title: Optical Spectroscopy of SmN: Evidence for 4f Transport

abstract: The rare-earth nitride ferromagnetic semiconductors owe their varying magnetic properties to the progressive filling of 4f shell across the series. Recent electrical transport measurements on samarium nitride, including the observation of superconductivity, have been understood in terms of a contribution from a 4f transport channel. Band structure calculations generally locate an empty majority 4f-band within the conduction band although over a wide range of possible energies. Here we report optical reflection and transmission measurements on samarium nitride between 0.01 eV to 4 eV, that demonstrate clearly that the 4f band forms the bottom of the conduction band. Results at the lowest energies show no free carrier absorption, indicating a semiconducting ground state, and supporting earlier conclusions based on transport measurements.


title: Unimodality for free multiplicative convolution with free normal distributions on the unit circle

abstract: We study unimodality for free multiplicative convolution with free normal distributions $\{\lambda_t\}_{t>0}$ on the unit circle. We give four results on unimodality for $\mu\boxtimes\lambda_t$: (1) if $\mu$ is a symmetric unimodal distribution on the unit circle then so is $\mu\boxtimes \lambda_t$ at any time $t>0$; (2) if $\mu$ is a symmetric distribution on $\mathbb{T}$ supported on $\{e^{i\theta}: \theta \in [-\varphi,\varphi]\}$ for some $\varphi \in (0,\pi/2)$, then $\mu \boxtimes \lambda_t$ is unimodal for sufficiently large $t>0$; (3) ${\bf b} \boxtimes \lambda_t$ is not unimodal at any time $t>0$, where ${\bf b}$ is the equally weighted Bernoulli distribution on $\{1,-1\}$; (4) $\lambda_t$ is not freely strongly unimodal for sufficiently small $t>0$. Moreover, we study unimodality for classical multiplicative convolution (with Poisson kernels), which is useful in proving the above four results.


title: Extreme Plasma Astrophysics

abstract: This is a science white paper submitted to the Astro-2020 and Plasma-2020 Decadal Surveys. The paper describes the present status and emerging opportunities in Extreme Plasma Astrophysics -- a study of astrophysically-relevant plasma processes taking place under extreme conditions that necessitate taking into account relativistic, radiation, and QED effects.


title: Gradient estimates for the weighted porous medium equation on graphs

abstract: In this paper, we study the gradient estimates for the positive solutions of the weighted porous medium equation $$\Delta u^{m}=\delta(x)u_{t}+\psi u^{m}$$ on graphs for $m>1$, which is a nonlinear version of the heat equation. Moreover, as applications, we derive a Harnack inequality and the estimates of the porous medium kernel on graphs. The obtained results extend the results of Y. Lin, S. Liu and Y. Yang for the heat equation [8, 9].


title: Measures of Ten Sco Doubles and the Determination of Two Orbits

abstract: We present measures for 10 pairs in the constellation of Scorpius using a C14 telescope, Lucky Imaging, and the Reduc software. The separations of Alpha Centauri AB, as determined from the orbital elements of Pourbaix and Boffin (2016), were used as an image scale and position angle calibrator. Our internal uncertainties are ~0.06 arcsec in rho and ~0.06 degree in PA. There is excellent agreement with historic data extrapolated to epoch of observation (~2018.53), and micro-arcsecond positions from the GAIA database where the differences are ~0.05 arcsec in rho and ~0.15 degrees in PA. In addition, we present rectilinear elements for the 10 Sco pairs and orbital elements for two of them. Ephemera are given for these pairs based on both the rectilinear elements and the orbital elements.


title: Charged and neutral fixed points in the O(N)+O(N)-model with Abelian gauge fields

abstract: In the Abelian-Higgs model, or Ginzburg-Landau model of superconductivity, the existence of an infrared stable charged fixed point ensures that there is a parameter range where the superconducting phase transition is second order, as opposed to fluctuation-induced first order as one would infer from the Coleman-Weinberg mechanism. We study the charged and neutral fixed points of a two-field generalization of the Abelian-Higgs model, where two N-component fields are coupled to two gauge fields and to each other, using the functional renormalization group. Focusing mostly on three dimensions, in the neutral case, this is a model for two-component Bose-Einstein condensation, and we confirm the fixed-point structure established in earlier works using different methods. The charged model is a dual theory of two-dimensional dislocation-mediated quantum melting. We find the existence of three charged fixed points for all N>2, while there are additional fixed points for N=2.


title: On $m$-step competition graphs of bipartite tournaments

abstract: In this paper, we completely characterize the $m$-step competition graph of a bipartite tournament for any integer $m \ge 2$. In addition, we compute the competition index and the competition period of a bipartite tournament.


title: SymPas: Symbolic Program Slicing

abstract: Program slicing is a technique for simplifying programs by focusing on selected aspects of their behaviour. Current mainstream static slicing methods operate on the PDG (program dependence graph) or SDG (system dependence graph), but these friendly graph representations may be expensive and error-prone for some users. We attempt in this paper to study a light-weight approach of static program slicing, called Symbolic Program Slicing (SymPas), which works as a dataflow analysis on LLVM (Low-Level Virtual Machine). In our SymPas approach, slices are stored symbolically rather than procedure being re-analysed (cf. procedure summaries). Instead of re-analysing a procedure multiple times to find its slices for each callling context, SymPas calculates a single symbolic (or parameterized) slice which can be instantiated at call sites avoiding re-analysis; it is implemented in LLVM to perform slicing on its intermediate representation (IR). For comparison, we systematically adapt IFDS (Interprocedural Finite Distributive Subset) analysis and the SDG-based slicing method (SDG-IFDS) to statically IR slice programs. Evaluated on open-source and benchmark programs, our backward SymPas shows a factor-of-6 reduction in time cost and a factor-of-4 reduction in space cost, compared to backward SDG-IFDS, thus being more efficient. In addition, the result shows that after studying slices from 66 programs, ranging up to 336,800 IR instructions in size, SymPas is highly size-scalable.


title: Efficient Search-Based Weighted Model Integration

abstract: Weighted model integration (WMI) extends Weighted model counting (WMC) to the integration of functions over mixed discrete-continuous domains. It has shown tremendous promise for solving inference problems in graphical models and probabilistic programming. Yet, state-of-the-art tools for WMI are limited in terms of performance and ignore the independence structure that is crucial to improving efficiency. To address this limitation, we propose an efficient model integration algorithm for theories with tree primal graphs. We exploit the sparse graph structure by using search to performing integration. Our algorithm greatly improves the computational efficiency on such problems and exploits context-specific independence between variables. Experimental results show dramatic speedups compared to existing WMI solvers on problems with tree-shaped dependencies.


title: Quantum speedup, non-Markovianity and formation of bound state

abstract: In this paper, we investigate the relationship between the quantum speedup, nonMarkovianity and formation of a system-environment bound state. Previous results show a monotonic relation between these three such that providing stronger bound states can lead to a higher degree of non-Markovianity, and hence to greater speed of quantum evolution. By studying dynamics of a dissipative two-level system or a V-type three-level system in the presence of similar and additional systems, we reveal that the quantum speedup is exclusively related to the formation of the system-environment bound state, while the non-Markovian effect of the system dynamics is neither necessary nor sufficient to speed up the quantum evolution. In the other hand, it is demonstrated that only the formation of the system-environment bound state plays a decisive role in the acceleration of the quantum evolution.


title: Topology by Dissipation: Transport properties

abstract: Topological phases of matter are the center of much current interest, with promising potential applications in, e.g., topologically-protected transport and quantum computing. Traditionally such states are prepared by tuning the system Hamiltonian while coupling it to a generic bath at very low temperatures; This approach is often ineffective, especially in cold-atom systems. It was recently shown that topological phases can emerge much more efficiently even in the absence of a Hamiltonian, by properly engineering the interaction of the system with its environment, to directly drive the system into the desired state. Here we concentrate on dissipatively-induced 2D Chern insulator (lattice quantum Hall) states. We employ open quantum systems tools to explore their transport properties, such as persistent currents and the conductance in the steady state, in the presence of various Hamiltonians. We find that, in contrast with equilibrium systems, the usual relation between the Chern topological number and the Hall conductance is broken. We explore the intriguing edge behaviors and elucidate under which conditions the Hall conductance is quantized.


title: A Sliding Mode Force and Position Controller Synthesis for Series Elastic Actuators

abstract: This paper deals with the robust force and position control problems of Series Elastic Actuators. It is shown that a Series Elastic Actuator's force control problem can be described by a second-order dynamic model which suffers from only matched disturbances. However, the position control dynamics of a Series Elastic Actuator is of fourth-order and includes matched and mismatched disturbances. In other words, a Series Elastic Actuator's position control is more complicated than its force control, particularly when disturbances are considered. A novel robust motion controller is proposed for Series Elastic Actuators by using Disturbance Observer and Sliding Mode Control. When the proposed robust motion controller is implemented, a Series Elastic Actuator can precisely track desired trajectories and safely contact with an unknown and dynamic environment. The proposed motion controller does not require precise dynamic models of the actuator and environment. Therefore, it can be applied to many different advanced robotic systems such as compliant humanoids and exoskeletons. The validity of the motion controller is experimentally verified.


title: Inverse problem of the spectral analysis for the Sturm-Liouville operator with non-separated boundary conditions and spectral parameter in the boundary condition

abstract: This work deals with an inverse problem for the Sturm-Liouville operator with non-separated boundary conditions, one of which linearly depends on a spectral parameter. Uniqueness theorem is proved, solution algorithm is constructed and sufficient conditions for solvability of inverse problem are obtained. As spectral data, we only use the spectrum of one boundary value problem and some sequence of signs.


title: High-pressure phase relations in Zn2SiO4 system: A first-principles study

abstract: In order to clarify phase relation of Zn2SiO4 system, first-principles DFT calculations of 11 phases were conducted. We confirmed that phases III and IV are retrograde phases. Instead, Na2CrO4- and Ag2CrO4-structured phases are most likely candidate structures for high-pressure phases of III and IV, respectively. A transition of phase II to spinel found during optimization was discussed in relation to similar transition known for nitrides.


title: Ground states of Nonlinear Schr\"{o}dinger System with Mixed Couplings

abstract: We consider the following $k$-coupled nonlinear Schr\"odinger system: \begin{align*} \begin{cases} &-\Delta u_j + \lambda_j u_j = \mu_j u_j^3 + \sum_{i=1, i\not=j}^k \beta_{i,j} u_i^2 u_j \quad {\rm in}\ \mathbb{R}^N,\\ &u_j>0 \quad {\rm in}\ \mathbb{R}^N, \quad u_j(x) \to 0 \quad \text{as }|x|\to +\infty, \quad j=1,2,\cdots,k, \end{cases} \end{align*} where $N\leq 3$, $k\geq3$, $\lambda_j,\mu_j>0$ are constants and $\beta_{i,j}=\beta_{j,i}\not=0$ are parameters. There have been intensive studies for the above system when $k=2$ or the system is purely attractive ($ \beta_{i,j}>0, \forall i \not = j$) or purely repulsive ($\beta_{i,j}<0, \forall i\not = j $); however very few results are available for $k\geq 3$ when the system admits {\bf mixed couplings}, i.e., there exist $(i_1,j_1)$ and $(i_2,j_2)$ such that $\beta_{i_1,j_1}\beta_{i_2,j_2}<0$. In this paper we give the first systematic and an (almost) complete study on the existence of ground states when the system admits mixed couplings. We first divide this system into {\bf repulsive-mixed} and {\bf total-mixed} cases. In the first case we prove nonexistence of ground states. In the second case we give an necessary condition for the existence of ground states and also provide estimates for the Morse index. The key idea is the {\bf block decomposition} of the system ({\bf optimal block decompositions, eventual block decompositions}), and the measure of total interaction forces between different {\bf blocks}. Finally the assumptions on the existence of ground states are shown to be {\bf optimal} in some special cases.


title: An Unique and Novel Graph Matrix for Efficient Extraction of Structural Information of Networks

abstract: In this article, we propose a new type of square matrix associated with an undirected graph by trading off the naturally imbedded symmetry in them. The proposed matrix is defined using the neighbourhood sets of the vertices. It is called as neighbourhood matrix and it is denoted by $ \mathcal{NM}(G)$ as this proposed matrix also exhibits a bijection between the product of the two graph matrices, namely the adjacency matrix and the graph Laplacian. This matrix can also be obtained by looking at every vertex and the subgraph with vertices from the first two levels in the level decomposition from that vertex. The two levels in the level decomposition of the graph give us more information about the neighbour of a vertex along with the neighbour of neighbour of a vertex. This insight is required and is found useful in studying the impact of broadcasting on social networks, in particular, and complex networks, in general. We establish several interesting properties of the $ \mathcal{NM}(G) $. In addition, we also show how to reconstruct a graph $G$, given a $ \mathcal{NM} (G)$. The proposed matrix is also found to solve many graph theoretic problems using less time complexity in comparison to the existing algorithms.


title: Quantization of Yang--Mills metrics on holomorphic vector bundles

abstract: We investigate quantization properties of Hermitian metrics on holomorphic vector bundles over homogeneous compact K\"ahler manifolds. This allows us to study operators on Hilbert function spaces using vector bundles in a new way. We show that Yang--Mills metrics can be quantized in a strong sense and for equivariant vector bundles we deduce a strong stability property which supersedes Gieseker-stability. We obtain interesting examples of generalized notions of contractive, isometric, and subnormal operator tuples which have geometric interpretations related to holomorphic vector bundles over coadjoint orbits.


title: A setup for Seebeck coefficient measurement through controlled heat pulses

abstract: A setup is designed for measuring the Seebeck coefficient (S) of materials in form of thin film, bar and wire. The main feature of this setup is control in heating and cooling cycles. In this setup heat pulse is used to generate the temperature gradient. To demonstrate the capabilities of this setup, S vs T of standard wire samples such as Au-Fe (0.07 \%), chromel, Pt and thin films of Pt and F doped SnO$_2$ are presented. The standard uncertainty of the repeatability in S measurement is found to be $\sim$ $\pm 0.056~\mu V/K$ while temperature stability is $\sim$ $\pm 10~mK$ (at 320 K), estimated for a chromel wire sample. We have tested the setup in temperature range 100 K to 320 K, while it does not have any intrinsic limitation in going down to liquid He temperatures. For temperatures above 320 K limitation is due to gluing material like varnish.


title: Optical trapping below the diffraction limit with a tunable beam waist using super-oscillating beams

abstract: Super-oscillating beams can be used to create light spots whose size is below the diffraction limit with a side ring of high intensity adjacent to them. Optical traps made of the super-oscillating part of such beams exhibit superior localization of submicron beads compared to regular optical traps. Here we focus on the effect of the ratio of particle size to trap size on the localization and stiffness of optical traps made of super-oscillating beams. We find a non-monotonic dependence of trapping stiffness on the ratio of particle size to beam size. Optimal trapping is achieved when the particle is larger than the beam waist of the superoscillating feature but small enough not to overlap with the side ring.


title: Nanoscale patterning of quasiparticle band alignment

abstract: Control of atomic-scale interfaces between materials with distinct electronic structures is crucial for the design and fabrication of most electronic devices. In the case of two-dimensional (2D) materials, disparate electronic structures can be realized even within a single uniform sheet, merely by locally applying different vertical bias voltages. Indeed, it has been suggested that nanoscale electronic patterning in a single sheet can be achieved by placing the 2D material on a suitably pre-patterned substrate, exploiting the sensitivity of 2D materials to their environment via band alignment, screening or hybridization. Here, we utilize the inherently nano-structured single layer (SL) and bilayer (BL) graphene on silicon carbide to laterally tune the electrostatic gating of adjacent SL tungsten disulphide (WS$_2$) in a van der Waals heterostructure. The electronic band alignments are mapped in energy and momentum space using angle-resolved photoemission with a spatial resolution on the order of 500~nm (nanoARPES). We find that the SL WS$_2$ band offsets track the work function of the underlying SL and BL graphene, and we relate such changes to observed lateral patterns of exciton and trion luminescence from SL WS$_2$, demonstrating ultimate control of optoelectronic properties at the nanoscale.


title: On a class of quasilinear elliptic equation with indefinite weights on graphs

abstract: Suppose that $G=(V, E)$ is a connected locally finite graph with the vertex set $V$ and the edge set $E$. Let $\Omega\subset V$ be a bounded domain. Consider the following quasilinear elliptic equation on graph $G$ $$ \left \{ \begin{array}{lcr} -\Delta_{p}u= \lambda K(x)|u|^{p-2}u+f(x,u), \ \ x\in\Omega^{\circ}, u=0, \ \ x\in\partial \Omega, \\ \end{array} \right. $$ where $\Omega^{\circ}$ and $\partial \Omega$ denote the interior and the boundary of $\Omega$ respectively, $\Delta_{p}$ is the discrete $p$-Laplacian, $K(x)$ is a given function which may change sign, $\lambda$ is the eigenvalue parameter and $f(x,u)$ has exponential growth. We prove the existence and monotonicity of the principal eigenvalue of the corresponding eigenvalue problem. Furthermore, we also obtain the existence of a positive solution by using variational methods.


title: What relations are reliably embeddable in Euclidean space?

abstract: We consider the problem of embedding a relation, represented as a directed graph, into Euclidean space. For three types of embeddings motivated by the recent literature on knowledge graphs, we obtain characterizations of which relations they are able to capture, as well as bounds on the minimal dimensionality and precision needed.


title: Poincar\'e Symmetry from Heisenberg's Uncertainty Relations

abstract: It is noted that the single-variable Heisenberg commutation relation contains the symmetry of the $Sp(2)$ group which is isomorphic to the Lorentz group applicable to one time-like dimension and two space-like dimensions, known as the $O(2,1)$ group. According to Paul A. M. Dirac, from the uncertainty commutation relations for two variables, it possible to construct the de Sitter group $O(3,2)$, namely the Lorentz group applicable to three space-like variables and two time-like variables. By contracting one of the time-like variables in $O(3,2)$, it is possible, to construct the inhomogeneous Lorentz group $IO(3,1)$ which serves as the fundamental symmetry group for quantum mechanics and quantum field theory in the Lorentz covariant world. This $IO(3,1)$ group is commonly known as the Poincar\'e group.


title: Geometrical and topological description of chirality-relevant flow structures

abstract: Issues relevant to the flow chirality and structure are focused, while the new theoretical results, including even a distinctive theory, are introduced. However, it is hope that the presentation, with a low starting point but a steep rise, is appropriate for a broader spectrum of audiences ranging from students to researchers, thus illustrations of differential forms and relevant basic topological concepts are also offered, followed by the demonstration with formulation of differential forms of the classical Navier-Stokes flow theory and the discussions of recent studies in fundamental fluid mechanics and turbulence.


title: The Fourier Spectral Characterization for the Correlation-Immune Functions over Fp

abstract: The correlation-immune functions serve as an important metric for measuring resistance of a cryptosystem against correlation attacks. Existing literature emphasize on matrices, orthogonal arrays and Walsh-Hadamard spectra to characterize the correlation-immune functions over $\mathbb{F}_p$ ($p \geq 2$ is a prime). %with prime $p$. Recently, Wang and Gong investigated the Fourier spectral characterization over the complex field for correlation-immune Boolean functions. In this paper, the discrete Fourier transform (DFT) of non-binary functions was studied. It was shown that a function $f$ over $\mathbb{F}_p$ is $m$th-order correlation-immune if and only if its Fourier spectrum vanishes at a specific location under any permutation of variables. Moreover, if $f$ is a symmetric function, $f$ is correlation-immune if and only if its Fourier spectrum vanishes at only one location.


title: New Characterizations for the Multi-output Correlation-Immune Boolean Functions

abstract: Correlation-immune (CI) multi-output Boolean functions have the property of keeping the same output distribution when some input variables are fixed. Recently, a new application of CI functions has appeared in the system of resisting side-channel attacks (SCA). In this paper, three new methods are proposed to characterize the $t$ th-order CI multi-output Boolean functions ($n$-input and $m$-output). The first characterization is to regard the multi-output Boolean functions as the corresponding generalized Boolean functions. It is shown that a generalized Boolean functions $f_g$ is a $t$ th-order CI function if and only if the Walsh transform of $f_g$ defined here vanishes at all points with Hamming weights between $1$ and $t$. Compared to the previous Walsh transforms of component functions, our first method can reduce the computational complexity from $(2^m-1)\sum^t_{j=1}\binom{n}{j}$ to $m\sum^t_{j=1}\binom{n}{j}$. The last two methods are generalized from Fourier spectral characterizations. Especially, Fourier spectral characterizations are more efficient to characterize the symmetric multi-output CI Boolean functions.


title: Quantum-coherence-enhanced subradiance in a chiral-coupled atomic chain

abstract: We theoretically study the quantum-coherence-enhanced subradiance in a chiral-coupled atomic chain with nonreciprocal decay channels. The collective radiation in this one-dimensional (1D) nanophotonics system results from the resonant dipole-dipole interactions (RDDI) in 1D reservoirs, which allow infinite-range couplings between atoms. When single photon interacts with part of the atomic chain from a side excitation, the subradiant decay can be further reduced when highly correlated states are initially excited. The excitation plateau in the decay process can emerge due to the ordered population exchanges, which presents one distinctive signature of long-range and light-induced atom-atom correlations. Multiple time scales of the decay behaviors also show up due to multiple scattering of light transmissions and reflections in the chain. We further investigate the effect of atomic position fluctuations, and find that the cascaded scheme with uni-directional coupling is more resilient to the fluctuations, while the overall decay constant can be increased due to large deviations. Our results present a fundamental study on the subradiance and light-induced atom-atom correlations in such 1D nanophotonics platforms, and offer rich opportunities in potential applications of quantum storage of photons.


title: Magnetic fields of AGB and post-AGB stars

abstract: There is ample evidence for strong magnetic fields in the envelopes of (Post-)Asymptotic Giant Branch (AGB) stars as well as supergiant stars. The origin and role of these fields are still unclear. This paper updates the current status of magnetic field observations around AGB, post-AGB stars and describes their possible role during these stages of evolution. The discovery of magnetically aligned dust around a supergiant star is also highlighted. In our search for the origin of the magnetic fields, recent observations show the signatures of possible magnetic activity and rotation, indicating that the magnetic fields might be intrinsic to the AGB stars.


title: Inflation with Derivative Self-interaction and Coupling to Gravity

abstract: We consider a subclass of Horndeski theories for studying cosmic inflation. In particular, we investigate models of inflation in which the derivative self-interaction of the scalar field and the non-minimal derivative coupling to gravity are present in the action and equally important during inflation. In order to control contributions of each term as well as to approach the single-term limit, we introduce a special relation between the derivative interaction and the coupling to gravity. By calculating observable quantities including the power spectra and spectral tilts of scalar and tensor perturbation modes, and the tensor-to-scalar ratio, we found that the tensor-to-scalar ratio is suppressed by a factor of $(1+1/\gamma)$, where $\gamma$ reflects the strength of the derivative self-interaction of the inflaton field with respect to the derivative coupling gravity. We placed observational constraints on the chaotic and natural inflation models and showed that the models are consistent with the current observational data mainly due to the suppressed tensor-to-scalar ratio.


title: A Framework for On-line Learning of Underwater Vehicles Dynamic Models

abstract: Learning the dynamics of robots from data can help achieve more accurate tracking controllers, or aid their navigation algorithms. However, when the actual dynamics of the robots change due to external conditions, on-line adaptation of their models is required to maintain high fidelity performance. In this work, a framework for on-line learning of robot dynamics is developed to adapt to such changes. The proposed framework employs an incremental support vector regression method to learn the model sequentially from data streams. In combination with the incremental learning, strategies for including and forgetting data are developed to obtain better generalization over the whole state space. The framework is tested in simulation and real experimental scenarios demonstrating its adaptation capabilities to changes in the robot's dynamics.


title: Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems

abstract: Age-of-Information (AoI) is a recently introduced metric for network operation with sensor applications which quantifies the freshness of data. In the context of networked control systems (NCSs), we compare the worth of the AoI metric with the value-of-information (VoI) metric, which is related to the uncertainty reduction in stochastic processes. First, we show that the uncertainty propagates non-linearly over time depending on system dynamics. Next, we define the value of a new update of the process of interest as a function of AoI and system parameters of the NCSs. We use the aggregated update value as a utility for the centralized scheduling problem in a cellular NCS composed of multiple heterogeneous control loops. By conducting a simulative analysis, we show that prioritizing transmissions with higher VoI improves performance of the NCSs compared with providing fair data freshness to all sub-systems equally.


title: Two-dimensional Wigner crystals of classical Lennard-Jones particles

abstract: The ground-state of two-dimensional (2D) systems of classical particles interacting pairwisely by the generalized Lennard-Jones potential is studied. Taking the surface area per particle $A$ as a free parameter and restricting oneself to periodic Bravais lattices with one particle per unit cell, B\'etermin L [2018 Nonlinearity {\bf 31} 3973] proved that the hexagonal, rhombic, square and rectangular structures minimize successively the interaction energy per particle as $A$ increases. We show here that the second-order transitions between the rhombic/square and square/rectangular phases are of mean-field type. The aim of this paper is to extend B\'etermin's analysis to periodic 2D lattices with more than one particle per elementary cell. Being motivated by previous works dealing with other kinds of models, we propose as the ground-state the extensions of the 2D rectangular (1-chain) lattice, namely the "zig-zag" (2-chain), 3-chain, 4-chain, etc. structures possessing 2, 3, 4, etc. particles per unit cell, respectively. By using a recent technique of lattice summation we find for the standard Lennard-Jones potential that their ground-state energy per particle approaches systematically as the number of particles per unit cell increases to the one of a phase separated state (the optimal hexagonal lattice). We analyze analytically the low-density limit $A\to\infty$ and the limiting hard-core case of the generalized Lennard-Jones potential.


title: CIA-Net: Robust Nuclei Instance Segmentation with Contour-aware Information Aggregation

abstract: Accurate segmenting nuclei instances is a crucial step in computer-aided image analysis to extract rich features for cellular estimation and following diagnosis as well as treatment. While it still remains challenging because the wide existence of nuclei clusters, along with the large morphological variances among different organs make nuclei instance segmentation susceptible to over-/under-segmentation. Additionally, the inevitably subjective annotating and mislabeling prevent the network learning from reliable samples and eventually reduce the generalization capability for robustly segmenting unseen organ nuclei. To address these issues, we propose a novel deep neural network, namely Contour-aware Informative Aggregation Network (CIA-Net) with multi-level information aggregation module between two task-specific decoders. Rather than independent decoders, it leverages the merit of spatial and texture dependencies between nuclei and contour by bi-directionally aggregating task-specific features. Furthermore, we proposed a novel smooth truncated loss that modulates losses to reduce the perturbation from outliers. Consequently, the network can focus on learning from reliable and informative samples, which inherently improves the generalization capability. Experiments on the 2018 MICCAI challenge of Multi-Organ-Nuclei-Segmentation validated the effectiveness of our proposed method, surpassing all the other 35 competitive teams by a significant margin.


title: Asymmetric Residual Neural Network for Accurate Human Activity Recognition

abstract: Human Activity Recognition (HAR) using deep neural network has become a hot topic in human-computer interaction. Machine can effectively identify human naturalistic activities by learning from a large collection of sensor data. Activity recognition is not only an interesting research problem, but also has many real-world practical applications. Based on the success of residual networks in achieving a high level of aesthetic representation of the automatic learning, we propose a novel \textbf{A}symmetric \textbf{R}esidual \textbf{N}etwork, named ARN. ARN is implemented using two identical path frameworks consisting of (1) a short time window, which is used to capture spatial features, and (2) a long time window, which is used to capture fine temporal features. The long time window path can be made very lightweight by reducing its channel capacity, yet still being able to learn useful temporal representations for activity recognition. In this paper, we mainly focus on proposing a new model to improve the accuracy of HAR. In order to demonstrate the effectiveness of ARN model, we carried out extensive experiments on benchmark datasets (i.e., OPPORTUNITY, UniMiB-SHAR) and compared with some conventional and state-of-the-art learning-based methods. Then, we discuss the influence of networks parameters on performance to provide insights about its optimization. Results from our experiments show that ARN is effective in recognizing human activities via wearable datasets.


title: Relation between the T-congruence Sylvester equation and the generalized Sylvester equation

abstract: The T-congruence Sylvester equation is the matrix equation $AX+X^{\mathrm{T}}B=C$, where $A\in\mathbb{R}^{m\times n}$, $B\in\mathbb{R}^{n\times m}$, and $C\in\mathbb{R}^{m\times m}$ are given, and $X\in\mathbb{R}^{n\times m}$ is to be determined. Recently, Oozawa et al. discovered a transformation that the matrix equation is equivalent to one of the well-studied matrix equations (the Lyapunov equation); however, the condition of the transformation seems to be too limited because matrices $A$ and $B$ are assumed to be square matrices ($m=n$). In this paper, two transformations are provided for rectangular matrices $A$ and $B$. One of them is an extension of the result of Oozawa et al. for the case $m\ge n$, and the other is a novel transformation for the case $m\le n$.


title: Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

abstract: This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety of safety concepts and E/E architectures for drive automation. The fault trees can be used to evaluate various quantitative measures by means of model checking. The approach is accompanied by a large-scale evaluation: The resulting DFTs with up to 300 elements constitute larger-than-before DFTs, yet the concepts and architectures can be evaluated in a matter of minutes.


title: Security, Privacy and Trust for Smart Mobile-Internet of Things (M-IoT): A Survey

abstract: With an enormous range of applications, Internet of Things (IoT) has magnetized industries and academicians from everywhere. IoT facilitates operations through ubiquitous connectivity by providing Internet access to all the devices with computing capabilities. With the evolution of wireless infrastructure, the focus from simple IoT has been shifted to smart, connected and mobile IoT (M-IoT) devices and platforms, which can enable low-complexity, low-cost and efficient computing through sensors, machines, and even crowdsourcing. All these devices can be grouped under a common term of M-IoT. Even though the positive impact on applications has been tremendous, security, privacy and trust are still the major concerns for such networks and an insufficient enforcement of these requirements introduces non-negligible threats to M-IoT devices and platforms. Thus, it is important to understand the range of solutions which are available for providing a secure, privacy-compliant, and trustworthy mechanism for M-IoT. There is no direct survey available, which focuses on security, privacy, trust, secure protocols, physical layer security and handover protections in M-IoT. This paper covers such requisites and presents comparisons of state-the-art solutions for IoT which are applicable to security, privacy, and trust in smart and connected M-IoT networks. Apart from these, various challenges, applications, advantages, technologies, standards, open issues, and roadmap for security, privacy and trust are also discussed in this paper.


title: Bounded maximum degree conjecture holds precisely for $c$-crossing-critical graphs with $c \leq 12$

abstract: We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, precisely, that there exists a constant $D$ such that every $c$-crossing-critical graph with $c\le 12$ has maximum degree at most $D$. Hence, the bounded maximum degree conjecture of $c$-crossing-critical graphs, which was generally disproved in 2010 by Dvo\v{r}\'ak and Mohar (without an explicit construction), holds true, surprisingly, exactly for the values $c\le 12.$


title: Fixed points of the Berezin transform of polyanlytic Fock spaces

abstract: We study the fixed points of the Berezin transform in polyanalytic Fock spaces of $\mathbb{C}$. We show that an $L^p$ function, $p\in[1,+\infty]$, with respect to the Lebesgue measure is invariant under this transformation if and only if it is harmonic. From this we deduce that the only bounded fixed points of the Berezin transform of polyanalytic Fock spaces are constant functions.


title: T-odd anomalous interactions of the top-quark at the Large Hadron Collider

abstract: We study the effects of T-odd interactions of top-quark via the pair production of top-quark in the semileptonic detection modes at the Large Hadron Collider by means of the T-odd observables constructed through the momenta of the observed decay products of the top (and anti-top)-quark for a wide range of CP-violating scale $\Lambda$. Estimates on the sensitivities of the coupling strength of such interactions for 13 TeV LHC energy with $\int \mathcal L dt$ = 36.1 fb$^{-1}$, 140 fb$^{-1}$ and for HL-LHC with 14 TeV energy with integrated luminosities of 0.3 ab$^{-1}$, 1 ab$^{-1}$, 2 ab$^{-1}$ and 3 ab$^{-1}$ are also presented for $\Lambda$ ranging between $M_W$ and 2 TeV.