title: Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks

abstract: In this paper, we present a control framework that allows magnetic microrobot teams to accomplish complex micromanipulation tasks captured by global Linear Temporal Logic (LTL) formulas. To address this problem, we propose an optimal control synthesis method that constructs discrete plans for the robots that satisfy both the assigned tasks as well as proximity constraints between the robots due to the physics of the problem. Our proposed algorithm relies on an existing optimal control synthesis approach combined with a novel sampling-based technique to reduce the state-space of the product automaton that is associated with the LTL specifications. The synthesized discrete plans are executed by the microrobots independently using local magnetic fields. Simulation studies show that the proposed algorithm can address large-scale planning problems that cannot be solved using existing optimal control synthesis approaches. Moreover, we present experimental results that also illustrate the potential of our method in practice. To the best of our knowledge, this is the first control framework that allows independent control of teams of magnetic microrobots for temporal micromanipulation tasks.


title: Hierarchical MPC Schemes for Periodic Systems using Stochastic Programming

abstract: We show that stochastic programming (SP) provides a framework to design hierarchical model predictive control (MPC) schemes for periodic systems. This is based on the observation that, if the state policy of an infinite-horizon problem is periodic, the problem can be cast as a stochastic program (SP). This reveals that it is possible to update periodic state targets by solving a retroactive optimization problem that progressively accumulates historical data. Moreover, we show that the retroactive problem is a statistical approximation of the SP and thus delivers optimal targets in the long run. Notably, this optimality property can be achieved without the need for data forecasts and cannot be achieved by any known proactive receding horizon scheme. The SP setting also reveals that the retroactive problem can be seen as a high-level hierarchical layer that provides targets to guide a low-level MPC controller that operates over a short period at high resolution. We derive a retroactive scheme tailored to linear systems by using cutting plane techniques and suggest strategies to handle nonlinear systems.


title: Diluted magnetic Dirac-Weyl materials: Susceptibility and ferromagnetism in three-dimensional chiral gapless semimetals

abstract: We theoretically investigate the temperature-dependent static susceptibility and long-range magnetic coupling of three-dimensional (3D) chiral gapless electron-hole systems (semimetals) with arbitrary band dispersion [i.e., $\varepsilon(k) \sim k^N$, where $k$ is the wave vector and $N$ is a positive integer]. We study the magnetic properties of these systems in the presence of dilute random magnetic impurities. Assuming carrier-mediated Ruderman-Kittel-Kasuya-Yosida indirect exchange interaction, we find that the magnetic ordering of intrinsic 3D chiral semimetals in the presence of dilute magnetic impurities is ferromagnetic for all values of $N$. Using finite-temperature self-consistent field approximation, we calculate the ferromagnetic transition temperature ($T_{\rm c}$). We find that $T_{\rm c}$ increases with increasing $N$ due to the enhanced density of states, and the calculated $T_{\rm c}$ is experimentally accessible assuming reasonable coupling between the magnetic impurities and itinerant carriers.


title: On properties of the solutions to the $\alpha$-harmonic equation

abstract: The aim of this paper is to establish properties of the solutions to the $\alpha$-harmonic equations: $\Delta_{\alpha}(f(z))=\partial{z}[(1-{|{z}|}^{2})^{-\alpha} \overline{\partial}{z}f](z)=g(z)$, where $g:\overline{\mathbb{ID}}\rightarrow\mathbb{C}$ is a continuous function and $\overline{\mathbb{D}}$ denotes the closure of the unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$. We obtain Schwarz type and Schwarz-Pick type inequalities for the solutions to the $\alpha$-harmonic equation. In particular, for $g\equiv 0$, the solutions to the above equation are called $\alpha$-harmonic functions. We determine the necessary and sufficient conditions for an analytic function $\psi$ to have the property that $f\circ\psi$ is $\alpha$-harmonic function for any $\alpha$-harmonic function $f$. Furthermore, we discuss the Bergman-type spaces on $\alpha$-harmonic functions.


title: Application of Probabilistic Graphical Models in Forecasting Crude Oil Price

abstract: The dissertation investigates the application of Probabilistic Graphical Models (PGMs) in forecasting the price of Crude Oil. This research is important because crude oil plays a very pivotal role in the global economy hence is a very critical macroeconomic indicator of the industrial growth. Given the vast amount of macroeconomic factors affecting the price of crude oil such as supply of oil from OPEC countries, demand of oil from OECD countries, geopolitical and geoeconomic changes among many other variables - probabilistic graphical models (PGMs) allow us to understand by learning the graphical structure. This dissertation proposes condensing data numerous Crude Oil factors into a graphical model in the attempt of creating a accurate forecast of the price of crude oil. The research project experiments with using different libraries in Python in order to construct models of the crude oil market. The experiments in this thesis investigate three main challenges commonly presented while trading oil in the financial markets. The first challenge it investigates is the process of learning the structure of the oil markets; thus allowing crude oil traders to understand the different physical market factors and macroeconomic indicators affecting crude oil markets and how they are \textit{causally} related. The second challenge it solves is the exploration and exploitation of the available data and the learnt structure in predicting the behaviour of the oil markets. The third challenge it investigates is how to validate the performance and reliability of the constructed model in order for it to be deployed in the financial markets. A design and implementation of a probabilistic framework for forecasting the price of crude oil is also presented as part of the research.


title: Characterizing Coronal Mass Ejections in Solar Cycle Analysis

abstract: The Sun is the major source of heat and light in our solar system. The solar cycle is the 11-year cycle of solar activity that can be determined by the rise and fall in the numbers and surface area of sunspots. Solar activity is associated with several factors including radio flux, solar irradiance, magnetic field, solar flares, coronal mass ejections, and solar cycles. This study attempts to determine the Sun's activity specifically for the coronal mass ejection, its trend during solar cycle 23, and its apparent difference. A time series analysis was used to measure the CME data for larger cases and to see the apparent difference and trends of the CMEs. The result shows that a decreasing trend of coronal mass ejection from the year 1996 to 2016. It is therefore concluded that the coronal mass ejection data are normally distributed while coronal mass ejections are distributed and curved normally as fluctuation was found in the intensity of the disturbed storm time index as the number of great geomagnetic storms undeniably increased in the ascending and descending phases of the cycle. This reveals that eventhough the Sun has cycles and trends, it shows its inherent characteristics. The Sun still possess getting more dynamic through time which showcases through the limited parameters involved in this study.


title: CRAFT: Complementary Recommendations Using Adversarial Feature Transformer

abstract: Traditional approaches for complementary product recommendations rely on behavioral and non-visual data such as customer co-views or co-buys. However, certain domains such as fashion are primarily visual. We propose a framework that harnesses visual cues in an unsupervised manner to learn the distribution of co-occurring complementary items in real world images. Our model learns a non-linear transformation between the two manifolds of source and target complementary item categories (e.g., tops and bottoms in outfits). Given a large dataset of images containing instances of co-occurring object categories, we train a generative transformer network directly on the feature representation space by casting it as an adversarial optimization problem. Such a conditional generative model can produce multiple novel samples of complementary items (in the feature space) for a given query item. The final recommendations are selected from the closest real world examples to the synthesized complementary features. We apply our framework to the task of recommending complementary tops for a given bottom clothing item. The recommendations made by our system are diverse, and are favored by human experts over the baseline approaches.


title: Noise signatures for determining chiral Majorana fermion modes

abstract: The conductance measurement of a half quantized plateau in a quantum anomalous Hall insulator-superconductor structure is reported by a recent experiment [Q. L. He \textit{et al.}, Science 357, 294-299 (2017)], which suggests the existence of the chiral Majorana fermion modes. However, such half quantized conductance plateau may also originates from a disorder-induced metallic phase. To identify the exact mechanism, we study the transport properties of such a system in the presence of strong disorders. Our results show that the local current density distributions of these two mechanisms are different. In particular, the current noises measurement can be used to distinguish them without any further fabrication of current experimental setup.


title: Duality for $\kappa$-additive complete atomic modal algebras

abstract: In this paper, we give a duality theorem between the category of $\kappa$-additive complete atomic modal algebras and the category of $\kappa$-downward directed multi-relational Kripke frames, for any cardinal number $\kappa$. Multi-relational Kripke frames are not Kripke frames for multi-modal logic, but frames for monomodal logics in which the modal operator $\Diamond$ does not distribute over (possibly infinite) disjunction, in general. We first define homomorphisms of multi-relational Kripke frames, and then show the equivalence between the category of $\kappa$-downward directed multi-relational Kripke frames and the category $\kappa$-complete neighborhood frames, from which the duality theorem follows. We also present another direct proof of this duality based on the technique given by Minari.


title: Recurrent outbursts revealed in 3XMM J031820.8-663034

abstract: 3XMM J031820.8-663034, first detected by ROSAT in NGC 1313, is one of a few known transient ultraluminous X-ray sources (ULXs). In this paper, we present decades of X-ray data of this source from ROSAT, XMM-Newton, Chandra and the Neil Gehrels Swift Observatory. We find that its X-ray emission experienced four outbursts since 1992, with a typical recurrent time $\sim$ 1800 days, an outburst duration $\sim 240-300$ days, and a nearly constant peak X-ray luminosity $\sim 1.5 \times 10^{39}$ erg/s. The upper limit of X-ray luminosity at the quiescent state is $\sim 5.6 \times 10^{36}$ erg/s, and the total energy radiated during one outburst is $\sim 10^{46}$ erg. The spectra at the high luminosity states can be described with an absorbed disk black-body, and the disk temperature increases with the X-ray luminosity. We compare its outburst properties with other known transient ULXs including ESO 243-49 HLX-1. As its peak luminosity only marginally puts it in the category of ULXs, we also compare it with normal transient black hole binaries. Our results suggest that the source is powered by an accreting massive stellar-mass black hole, and the outbursts are triggered by the thermal-viscous instability.


title: An Intercomparison Study of Two Proximate Damped Ly$\alpha$ Systems with Residual Flux upon the Ly$\alpha$ Absorption Trough toward Quasars

abstract: In this paper, we present an intercomparison study of two quasars, SDSS J145618.32+340037.2 and SDSS J215331.50-025514.1, which have proximate damped Lya systems (PDLAs) with residual flux upon the Lya absorption trough. Though they both have residual flux as luminous as $10^{43}erg/s$, their PDLAs are quite different in, e.g., HI column density, metal line absorption strength, high-ionization absorption lines as well as residual flux strength. For J1456, the HI column density is $20.6\pm0.2$, with za=2.3138, nearly identical to the quasar redshift (z=2.3142) determined from the [OIII] emission line. The metallicity of this system is typical of DLAs and there is high ionization therein, suggesting that the PDLA system is multiphase, putting it in the quasar environment. For J2153, we measure the HI column density to be $21.5\pm0.1$ at za=3.511, slightly redshifted with respect to the quasar (z=3.490) measured from CIII]. The metallicity of this system is quite low and there is a lack of significant high-ionization absorption lines therein, suggesting that the system is beyond the quasar host galaxy. The residual flux is wide (1000 km/s) in J1456, with a significance of $8\sigma$, while also wide (1500 km/s) but with a smaller significance of $3\sigma$ in J2153. Among many explanations, we find that Lya fuzz or resonant scattering can be used to explain the residual flux in the two sources while partial coverage cannot be excluded for J1456. By comparing these two cases, together with similar cases reported previously, we suggest that the strength of the residual flux is related to properties such as metallicity and high-ionization absorption lines of PDLAs. The residual flux recorded upon the PDLA absorption trough opens a window for us to see the physical conditions and processes of the quasar environment, and their profile and strength further remind us of their spatial scales.


title: First eigenvalue of the $p$-Laplacian on K\"ahler manifolds

abstract: We prove a Lichnerowicz type lower bound for the first nontrivial eigenvalue of the $p$-Laplacian on K\"ahler manifolds. Parallel to the $p = 2$ case, the first eigenvalue lower bound is improved by using a decomposition of the Hessian on K\"ahler manifolds with positive Ricci curvature.


title: Entity Set Search of Scientific Literature: An Unsupervised Ranking Approach

abstract: Literature search is critical for any scientific research. Different from Web or general domain search, a large portion of queries in scientific literature search are entity-set queries, that is, multiple entities of possibly different types. Entity-set queries reflect user's need for finding documents that contain multiple entities and reveal inter-entity relationships and thus pose non-trivial challenges to existing search algorithms that model each entity separately. However, entity-set queries are usually sparse (i.e., not so repetitive), which makes ineffective many supervised ranking models that rely heavily on associated click history. To address these challenges, we introduce SetRank, an unsupervised ranking framework that models inter-entity relationships and captures entity type information. Furthermore, we develop a novel unsupervised model selection algorithm, based on the technique of weighted rank aggregation, to automatically choose the parameter settings in SetRank without resorting to a labeled validation set. We evaluate our proposed unsupervised approach using datasets from TREC Genomics Tracks and Semantic Scholar's query log. The experiments demonstrate that SetRank significantly outperforms the baseline unsupervised models, especially on entity-set queries, and our model selection algorithm effectively chooses suitable parameter settings.


title: Dynamic Adaptive Point Cloud Streaming

abstract: High-quality point clouds have recently gained interest as an emerging form of representing immersive 3D graphics. Unfortunately, these 3D media are bulky and severely bandwidth intensive, which makes it difficult for streaming to resource-limited and mobile devices. This has called researchers to propose efficient and adaptive approaches for streaming of high-quality point clouds. In this paper, we run a pilot study towards dynamic adaptive point cloud streaming, and extend the concept of dynamic adaptive streaming over HTTP (DASH) towards DASH-PC, a dynamic adaptive bandwidth-efficient and view-aware point cloud streaming system. DASH-PC can tackle the huge bandwidth demands of dense point cloud streaming while at the same time can semantically link to human visual acuity to maintain high visual quality when needed. In order to describe the various quality representations, we propose multiple thinning approaches to spatially sub-sample point clouds in the 3D space, and design a DASH Media Presentation Description manifest specific for point cloud streaming. Our initial evaluations show that we can achieve significant bandwidth and performance improvement on dense point cloud streaming with minor negative quality impacts compared to the baseline scenario when no adaptations is applied.


title: TreeSegNet: Adaptive Tree CNNs for Subdecimeter Aerial Image Segmentation

abstract: For the task of subdecimeter aerial imagery segmentation, fine-grained semantic segmentation results are usually difficult to obtain because of complex remote sensing content and optical conditions. Recently, convolutional neural networks (CNNs) have shown outstanding performance on this task. Although many deep neural network structures and techniques have been applied to improve the accuracy, few have paid attention to better differentiating the easily confused classes. In this paper, we propose TreeSegNet which adopts an adaptive network to increase the classification rate at the pixelwise level. Specifically, based on the infrastructure of DeepUNet, a Tree-CNN block in which each node represents a ResNeXt unit is constructed adaptively according to the confusion matrix and the proposed TreeCutting algorithm. By transporting feature maps through concatenating connections, the Tree-CNN block fuses multiscale features and learns best weights for the model. In experiments on the ISPRS 2D semantic labeling Potsdam dataset, the results obtained by TreeSegNet are better than those of other published state-of-the-art methods. Detailed comparison and analysis show that the improvement brought by the adaptive Tree-CNN block is significant.


title: Non-semimartingale solutions of reflected BSDEs and applications to Dynkin games

abstract: We introduce a new class of reflected backward stochastic differential equations with two c\`adl\`ag barriers, which need not satisfy any separation conditions. For that reason, in general, the solutions are not semimartingales. We prove existence, uniqueness and approximation results for solutions of equations defined on general filtered probability spaces. Applications to Dynkin games and variational inequalities, both stationary and evolutionary, are given.


title: Astrometry history: Hipparcos from 1964 to 1980

abstract: Here follow three reports covering different aspects of the early history from 1964 to 1980 of the Hipparcos satellite mission. The first report "Interviews about the creation of Hipparcos" contains interviews from 2017 with scientists about how the mission was conceived up to the begin of technical development. The second report "From TYCHO to Hipparcos 1975 to 1979" is about the Hipparcos development based on new material from my archive. From my 65 years dedicated to the development of astrometry, I argue that very special historical circumstances in Europe were decisive for the idea of space astrometry to become reality: Hipparcos did not just come because astrophysicists needed the data. The third report "Miraculous 1980 for Hipparcos" documents how the approval of the astrometric mission in January 1980 in competition with an astrophysical mission was only achieved with very great difficulty, even after an outstanding astrophysicist had presented overwhelming arguments that the astrometric mission would be scientifically much more important.


title: Structure Theory for Ensemble Controllability, Observability, and Duality

abstract: Ensemble control deals with the problem of using a finite number of control inputs to simultaneously steer a large population (in the limit, a continuum) of control systems. Dual to the ensemble control problem, ensemble estimation deals with the problem of using a finite number of measurement outputs to estimate the initial condition of every individual system in the ensemble. We introduce in the paper an innovative class of ensemble systems, termed distinguished ensemble systems, and establish sufficient conditions for controllability and observability of such systems. Every distinguished ensemble system has two key components, namely distinguished control vector fields and codistinguished observation functions. Roughly speaking, a set of vector fields is distinguished if it is closed (up to scaling) under Lie bracket, and moreover, every vector field in the set can be obtained by a Lie bracket of two vector fields in the same set. Similarly, a set of functions is codistinguished to a set of vector fields if the Lie derivatives of the functions along the given vector fields yield (up to scaling) the same set of functions. We demonstrate in the paper that the structure of a distinguished ensemble system can significantly simplify the analysis of ensemble controllability and observability, and can be used as a principle for ensemble system design. We further address in the paper the existence of a distinguished ensemble system for a given manifold. Specifically, we show that every connected, semi-simple Lie group admits a set of distinguished vector fields, together with a set of codistinguished functions. The proof is constructive, leveraging structure theory of semi-simple real Lie algebras and representation theory. Examples will be provided along the presentation illustrating key definitions and main results.


title: Contact gating at GHz frequency in graphene

abstract: The paradigm of graphene transistors is based on the gate modulation of the channel carrier density by means of a local channel gate. This standard architecture is subject to the scaling limit of the channel length and further restrictions due to access and contact resistances impeding the device performance. We propose a novel design, overcoming these issues by implementing additional local gates underneath the contact region which allow a full control of the Klein barrier taking place at the contact edge. In particular, our work demonstrates the GHz operation of transistors driven by independent contact gates. We benchmark the standard channel and novel contact gating and report for the later dynamical transconductance levels at the state of the art. Our finding may find applications in electronics and optoelectronics whenever there is need to control independently the Fermi level and the electrostatic potential of electronic sources or to get rid of cumbersome local channel gates.


title: Supersymmetry breakdown for an extended version of the Nicolai supersymmetric fermion lattice model

abstract: Sannomiya-Katsura-Nakayama have recently studied supersymmetry breakdown for an extension of the Nicolai supersymmetric fermion lattice model. This model called the extended Nicolai model is parameterized by an adjustable constant $g\in \mathbb{R}$ in its defining supercharge, and satisfies ${{\cal{N}}}=2$ supersymmetry. We show that for any non-zero $g$ the extended Nicolai model breaks supersymmetry dynamically, and the energy density of any homogeneous ground state (that breaks supersymmetry) is strictly positive.


title: Dense Adaptive Cascade Forest: A Self Adaptive Deep Ensemble for Classification Problems

abstract: Recent researches have shown that deep forest ensemble achieves a considerable increase in classification accuracy compared with the general ensemble learning methods, especially when the training set is small. In this paper, we take advantage of deep forest ensemble and introduce the Dense Adaptive Cascade Forest (daForest). Our model has a better performance than the original Cascade Forest with three major features: first, we apply SAMME.R boosting algorithm to improve the performance of the model. It guarantees the improvement as the number of layers increases. Second, our model connects each layer to the subsequent ones in a feed-forward fashion, which enhances the capability of the model to resist performance degeneration. Third, we add a hyper-parameters optimization layer before the first classification layer, making our model spend less time to set up and find the optimal hyper-parameters. Experimental results show that daForest performs significantly well, and in some cases, even outperforms neural networks and achieves state-of-the-art results.


title: Bisimilarity of diagrams

abstract: In this paper, we investigate diagrams, namely functors from any small category to a fixed category, and more particularly, their bisimilarity. Initially defined using the theory of open maps of Joyal et al., we prove several equivalent characterizations: it is equivalent to the existence of a relation, similar to history-preserving bisimulations for event structures and it has a logical characterization similar to the Hennessy-Milner theorem. We then prove that we capture many different known bismilarities, by considering the category of executions and extensions of executions, and by forming the functor that maps every execution to the information of interest for the problem at hand. We then look at the particular case of finitary diagrams with values in real or rational vector spaces. We prove that checking bisimilarity and satisfiability of a positive formula by a diagram are both decidable by reducing to a problem of existence of invertible matrices with linear conditions, which in turn reduces to the existential theory of the reals.


title: Distribution-Free, Size Adaptive Submatrix Detection with Acceleration

abstract: Given a large matrix containing independent data entries, we consider the problem of detecting a submatrix inside the data matrix that contains larger-than-usual values. Different from previous literature, we do not have exact information about the dimension of the potential elevated submatrix. We propose a Bonferroni type testing procedure based on permutation tests, and show that our proposed test loses no first-order asymptotic power compared to tests with full knowledge of potential elevated submatrix. In order to speed up the calculation during the test, an approximation net is constructed and we show that Bonferroni type permutation test on the approximation net loses no power on the first order asymptotically.


title: Onset of optical-phonon cooling in multilayer graphene revealed by RF noise and black-body radiation thermometries

abstract: We report on electron cooling power measurements in few-layer graphene excited by Joule heating by means of a new setup combining electrical and optical probes of the electron and phonon baths temperatures. At low bias, noise thermometry allows us to retrieve the well known acoustic phonon cooling regimes below and above the Bloch Gr\"uneisen temperature, with additional control over the phonon bath temperature. At high electrical bias, we show the relevance of direct optical investigation of the electronic temperature by means of black-body radiation measurements that provide higher accuracy than noise thermometry. In this regime, the onset of new efficient relaxation pathways involving optical modes is observed


title: A linear time algorithm for multiscale quantile simulation

abstract: Change-point problems have appeared in a great many applications for example cancer genetics, econometrics and climate change. Modern multiscale type segmentation methods are considered to be a statistically efficient approach for multiple change-point detection, which minimize the number of change-points under a multiscale side-constraint. The constraint threshold plays a critical role in balancing the data-fit and model complexity. However, the computation time of such a threshold is quadratic in terms of sample size $n$, making it impractical for large scale problems. In this paper we proposed an $\mathcal{O}(n)$ algorithm by utilizing the hidden quasiconvexity structure of the problem. It applies to all regression models in exponential family with arbitrary convex scale penalties. Simulations verify its computational efficiency and accuracy. An implementation is provided in R-package "linearQ" on CRAN.


title: Neutrino signal from proto-neutron star evolution: Effects of opacities from charged-current-neutrino interactions and inverse neutron decay

abstract: We investigate the impact of charged current neutrino processes on the formation and evolution of neutrino spectra during the deleptonization of proto-neutron stars. To this end we develop the full kinematics of these reaction rates consistent with the nuclear equation of state, including weak magnetism contributions. This allows us to systematically study the impact of inelastic contributions and weak magnetism on the $\nu_e$ and $\bar\nu_e$ luminosities and average energies. Furthermore, we explore the role of the inverse neutron decay, also known as the direct Urca process, on the emitted spectra of $\bar\nu_e$. This process is commonly considered in the cooling scenario of cold neutron stars but has so far been neglected in the evolution of hot proto-neutron stars. We find that the inverse neutron decay becomes the dominating opacity source for low-energy $\bar\nu_e$. Accurate three-flavor Boltzmann neutrino transport enables us to relate the magnitude of neutrino fluxes and spectra to details of the treatment of weak processes. This allows us to quantify the corresponding impact on the conditions relevant for the nucleosynthesis in the neutrino-driven wind, which is ejected from the proto-neutron star surface during the deleptonization phase.


title: Ce-doping and reduction annealing effects on electronic states in Pr$_{2-x}$Ce$_{x}$CuO$_4$ studied by Cu ${K}$-edge X-ray absorption spectroscopy

abstract: We investigated Ce-substitution and reduction annealing effects on the electronic states at copper sites by Cu ${K}$-edge x-ray absorption near-edge structure measurements in Pr$_{2-x}$Ce$_x$CuO$_{4+\alpha-\delta}$ (PCCO) with varying $x$ and $\delta$ (the amount of oxygen loss during annealing) values. Absorption near-edge spectra were modified by Ce-substitution and reduction annealing in a similar manner with increasing $x$ and $\delta$. Considering electron doping by Ce-substitution, this similarity indicates an increase of electron number at the copper sites due to annealing $n_{\rm AN}$. Thus, the total number of electrons is determined by the amount of Ce and oxygen ions. Furthermore, quantitative analyses of the spectra clarified that the number of Cu$^+$ sites, corresponding to the induced electron number by Ce-substitution $n_{\rm Ce}$ increases linearly with $x$ in the as-sintered PCCO ($\delta=0$), whereas $n_{\rm AN}$ is not exactly equal to twice of $\delta$, which is expected from charge neutrality. For each $x$-fixed sample, $n_{\rm AN}$ tends to exceed 2$\delta$ with increasing $\delta$, suggesting the emergence of two types of carrier due to annealing.


title: Local Learning with Deep and Handcrafted Features for Facial Expression Recognition

abstract: We present an approach that combines automatic features learned by convolutional neural networks (CNN) and handcrafted features computed by the bag-of-visual-words (BOVW) model in order to achieve state-of-the-art results in facial expression recognition. To obtain automatic features, we experiment with multiple CNN architectures, pre-trained models and training procedures, e.g. Dense-Sparse-Dense. After fusing the two types of features, we employ a local learning framework to predict the class label for each test image. The local learning framework is based on three steps. First, a k-nearest neighbors model is applied in order to select the nearest training samples for an input test image. Second, a one-versus-all Support Vector Machines (SVM) classifier is trained on the selected training samples. Finally, the SVM classifier is used to predict the class label only for the test image it was trained for. Although we have used local learning in combination with handcrafted features in our previous work, to the best of our knowledge, local learning has never been employed in combination with deep features. The experiments on the 2013 Facial Expression Recognition (FER) Challenge data set, the FER+ data set and the AffectNet data set demonstrate that our approach achieves state-of-the-art results. With a top accuracy of 75.42% on FER 2013, 87.76% on the FER+, 59.58% on AffectNet 8-way classification and 63.31% on AffectNet 7-way classification, we surpass the state-of-the-art methods by more than 1% on all data sets.


title: Dynamic portrait of the retrograde 1:1 mean motion resonance

abstract: Asteroids in mean motion resonances with giant planets are common in the solar system, but it was not until recently that several asteroids in retrograde mean motion resonances with Jupiter and Saturn were discovered. A retrograde co-orbital asteroid of Jupiter, 2015 BZ509 is confirmed to be in a long-term stable retrograde 1:1 mean motion resonance with Jupiter, which gives rise to our interests in its unique resonant dynamics. In this paper, we investigate the phase-space structure of the retrograde 1:1 resonance in detail within the framework of the circular restricted three-body problem. We construct a simple integrable approximation for the planar retrograde resonance using canonical contact transformation and numerically employ the averaging procedure in closed form. The phase portrait of the retrograde 1:1 resonance is depicted with the level curves of the averaged Hamiltonian. We thoroughly analyze all possible librations in the co-orbital region and uncover a new apocentric libration for the retrograde 1:1 resonance inside the planet's orbit. We also observe the significant jumps in orbital elements for outer and inner apocentric librations, which are caused by close encounters with the perturber.


title: Trees in Partial Higher Dimensional Automata

abstract: In this paper, we give a new definition of partial Higher Dimension Automata using lax functors. This definition is simpler and more natural from a categorical point of view, but also matches more clearly the intuition that pHDA are Higher Dimensional Automata with some missing faces. We then focus on trees. Originally, for example in transition systems, trees are defined as those systems that have a unique path property. To understand what kind of unique property is needed in pHDA, we start by looking at trees as colimits of paths. This definition tells us that trees are exactly the pHDA with the unique path property modulo a notion of homotopy, and without any shortcuts. This property allows us to prove two interesting characterisations of trees: trees are exactly those pHDA that are an unfolding of another pHDA; and trees are exactly the cofibrant objects, much as in the language of Quillen's model structure. In particular, this last characterisation gives the premisses of a new understanding of concurrency theory using homotopy theory.


title: The polynomial identities for matrix functions

abstract: This is a short review of some recent results obtained by the author. These results are related the problem of obtaining polynomial identities (computational formulas) for some matrix functions by means of the known polarization theorem, including the case of noncommutative variables and of determinant of space matrices.


title: Concurrent games and semi-random determinacy

abstract: Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of winning (finite-memory) strategies in finitely many derived one-player games. Several classical winning conditions satisfy this simple requirement. Under an additional requirement on the winning condition, the non-existence of Player 1 winning strategies from all vertices is equivalent to the existence of Player 2 stochastic strategies winning almost surely from all vertices. Only few classical winning conditions satisfy this additional requirement, but a fairness variant of o


title: Quasi-normal modes of holographic system with Weyl correction and momentum dissipation

abstract: We study the charge response in complex frequency plane and the quasi-normal modes (QNMs) of the boundary quantum field theory with momentum dissipation dual to a probe generalized Maxwell system with Weyl correction. When the strength of the momentum dissipation $\hat{\alpha}$ is small, the pole structure of the conductivity is similar to the case without the momentum dissipation. The qualitative correspondence between the poles of the real part of the conductivity of the original theory and the ones of its electromagnetic (EM) dual theory approximately holds when $\gamma\rightarrow -\gamma$ with $\gamma$ being the Weyl coupling parameter. While the strong momentum dissipation alters the pole structure such that most of the poles locate at the purely imaginary axis. At this moment, the correspondence between the poles of the original theory and its EM dual one is violated when $\gamma\rightarrow -\gamma$. In addition, for the dominant pole, the EM duality almost holds when $\gamma\rightarrow -\gamma$ for all $\hat{\alpha}$ except for a small region of $\hat{\alpha}$.


title: Morita invariance of equivariant and Hopf-cyclic cohomology of module algebras over Hopf algebroids

abstract: We investigate the equivariant and Hopf-cyclic cohomology of module algebras over Hopf algebroids and derive their Morita invariance. For this, we use the tools developed by McCarthy for $k$-linear categories and subsequently by Kaygun and Khalkhali for a certain class of categories, called as $H$-categories, for a Hopf algebra $H$.


title: Scalable Angular Discriminative Deep Metric Learning for Face Recognition

abstract: With the development of deep learning, Deep Metric Learning (DML) has achieved great improvements in face recognition. Specifically, the widely used softmax loss in the training process often bring large intra-class variations, and feature normalization is only exploited in the testing process to compute the pair similarities. To bridge the gap, we impose the intra-class cosine similarity between the features and weight vectors in softmax loss larger than a margin in the training step, and extend it from four aspects. First, we explore the effect of a hard sample mining strategy. To alleviate the human labor of adjusting the margin hyper-parameter, a self-adaptive margin updating strategy is proposed. Then, a normalized version is given to take full advantage of the cosine similarity constraint. Furthermore, we enhance the former constraint to force the intra-class cosine similarity larger than the mean inter-class cosine similarity with a margin in the exponential feature projection space. Extensive experiments on Labeled Face in the Wild (LFW), Youtube Faces (YTF) and IARPA Janus Benchmark A (IJB-A) datasets demonstrate that the proposed methods outperform the mainstream DML methods and approach the state-of-the-art performance.


title: The mirror mode: A "superconducting'' space plasma analogue

abstract: We examine the physics of the magnetic mirror mode in its final state of saturation, the thermodynamic equilibrium, to demonstrate that the mirror mode is the analogue of a superconducting effect in a classical anisotropic-pressure space plasma. Two different spatial scales are identified which control the behaviour of its evolution. These are the ion inertial scale $\lambda_{im}(\tau)$ based on the excess density $N_m(\tau)$ generated in the mirror mode, and a correlation length. This can be either the Debye length, the ion gyro-radius, or a turbulent correlation length. The mirror mode equilibrium structure under saturation is determined by the Landau-Ginzburg ratio of these two length scales. Mirror modes then behave like type II superconductors, naturally giving rise to chains of local depletions of the magnetic field of the kind observed in the mirror mode, providing the plasma a short scale magnetic bubble texture. This might be important in the study of magnetic turbulence in plasmas.


title: Depth preserving property of the local Langlands correspondence for quasi-split classical groups in a large residual characteristic

abstract: For a quasi-split classical group over a p-adic field with sufficiently large residual characteristic, we prove that the maximum of depth of representations in each L-packet equals the depth of the corresponding L-parameter. Furthermore, for quasi-split unitary groups, we show that the depth is constant in each L-packet. The key is an analysis of the endoscopic character relation via harmonic analysis based on the Bruhat--Tits theory. These results are slight generalizations of a result of Ganapathy and Varma.


title: Restricted Max-Min Fair Allocation

abstract: The restricted max-min fair allocation problem seeks an allocation of resources to players that maximizes the minimum total value obtained by any player. It is NP-hard to approximate the problem to a ratio less than 2. Comparing the current best algorithm for estimating the optimal value with the current best for constructing an allocation, there is quite a gap between the ratios that can be achieved in polynomial time: roughly 4 for estimation and roughly $6 + 2\sqrt{10}$ for construction. We propose an algorithm that constructs an allocation with value within a factor of $6 + \delta$ from the optimum for any constant $\delta > 0$. The running time is polynomial in the input size for any constant $\delta$ chosen.


title: The Cauchy transform in the slice hyperholomorphic setting and related topics

abstract: In this paper we study the additive splitting associated to the quaternionic Cauchy transform defined by the Cauchy formula of slice hyperholomorphic functions. Moreover, we introduce and study the analogue of the fundamental solution of the global operator of slice hyperholomorphic functions. We state our results in the quaternionic setting but several results hold for Clifford algebra-valued function with minor changes in the proofs.


title: $L^{\infty}$-error estimates for Neumann boundary value problems on graded meshes

abstract: This paper deals with a priori pointwise error estimates for the finite element solution of boundary value problems with Neumann boundary conditions in polygonal domains. Due to the corners of the domain, the convergence rate of the numerical solutions can be lower than in case of smooth domains. As a remedy the use of local mesh refinement near the corners is investigated. In order to prove quasi-optimal a priori error estimates regularity results in weighted Sobolev spaces are exploited. This is the first work on the Neumann boundary value problem where both the regularity of the data is exactly specified and the sharp convergence order $h^2 \lvert \ln h \rvert $ in the case of piecewise linear finite element approximations is obtained. As an extension we show the same rate for the approximate solution of a semilinear boundary value problem. The proof relies in this case on the supercloseness between the Ritz projection to the continuous solution and the finite element solution.


title: An Investigation on Support Vector Clustering for Big Data in Quantum Paradigm

abstract: The support vector clustering algorithm is a well-known clustering algorithm based on support vector machines using Gaussian or polynomial kernels. The classical support vector clustering algorithm works well in general, but its performance degrades when applied on big data. In this paper, we have investigated the performance of support vector clustering algorithm implemented in a quantum paradigm for possible run-time improvements. We have developed and analyzed a quantum version of the support vector clustering algorithm. The proposed approach is based on the quantum support vector machine and quantum kernels (i.e., Gaussian and polynomial). The proposed quantum version of the SVM clustering method demonstrates a significant speed-up gain on the overall run-time complexity as compared to the classical counterpart.


title: Predictions for azimuthal anisotropy in Xe+Xe collisions at $\sqrt{s_{NN}}$ = 5.44 TeV using a multiphase transport model

abstract: Xe+Xe collision at relativistic energies may provide us with a partonic system whose size is approximately in between those produced by p+p and Pb+Pb collisions. The experimental results on anisotropic flow in Xe+Xe and Pb+Pb collisions should provide us with an opportunity to study system size dependence of $v_2$. In the present work, we have used AMPT transport model to calculate charged particles' $v_2$ for Xe+Xe collisions at $\sqrt{s_{NN}}$=5.44 TeV. We have also tried to demonstrate the no. of constituent quark, $N_q$, and $m_T$ scaling of the elliptic flow. We find that $n_q$ scaling of $v_2$ is not observed for the identified hadrons. The $v_2$ results from Xe+Xe collisions have also been compared to Pb+Pb collisions at $\sqrt{s_{NN}}$ = 5.02 TeV. We find that flow of charged particles in (50-60)\% central collisions for Xenon nuclei is almost 30\% less than particle flow developed in lead ion collisions, implying the important role the system size play in development of particle collective motion in relativistic heavy ion collisions.


title: On the origin of surfaces-dependent growth of benzoic acid crystal inferred through the droplet evaporation method

abstract: Crystal growth behavior of benzoic acid crystals on different surfaces was examined. The performed experiments documented the existence of very strong influence introduced by polar surfaces as glass, gelatin, and polyvinyl alcohol (PVA) on the growth of benzoic acid crystals. These surfaces impose strong orientation effect resulting in a dramatic reduction of number of faces seen with x-ray powder diffractions (XPRD). However, scrapping the crystal off the surface leads to a morphology that is similar to the one observed for bulk crystallization. The surfaces of low wettability (paraffin) seem to be useful for preparation of amorphous powders, even for well-crystallizable compounds. The performed quantum chemistry computations characterized energetic contributions to stabilization of morphology related faces. It has been demonstrated, that the dominant face (002) of benzoic acid crystal, growing on polar surfaces, is characterized by the highest densities of intermolecular interaction energies determining the highest cohesive properties among all studied faces. Additionally, the inter-layer interactions, which stand for adhesive properties, are also the strongest in the case of this face. Thus, quantum chemistry computations providing detailed description of energetic contributions can be successfully used for clarification of adhesive and cohesive nature of benzoic acids crystal faces.


title: Disorder Protected and Induced Local Zero-Modes in Longer-Range Kitaev Chains

abstract: We study the effects of disorder on a Kitaev chain with longer-range hopping and pairing terms which is capable of forming local zero energy excitations and, hence, serves as a minimal model for localization-protected edge qubits. The clean phase diagram hosts regions with 0, 1, and 2 Majorana zero-modes (MZMs) per edge. Using a semi-analytic approach corroborated by numerical calculations of the entanglement degeneracy, we show how phase boundaries evolve under the influence of disorder. While in general the 2 MZM region is stable with respect to moderate disorder, stronger values drive transition towards the topologically trivial phase. We uncover regions where the addition of disorder induces local zero-modes absent for the corresponding clean system. Interestingly, we discover that disorder destroys any direct transition between phases with zero and two MZMs by creating a tricritical point at the 2-0 MZM boundary of the clean system. Finally, motivated by recent experiments, we calculate the characteristic signatures of the disorder phase diagram as measured in dynamical local and non-local qubit correlation functions. Our work provides a minimal starting point to investigate the coherence properties of local qubits in the presence of disorder.


title: Determination of $\Lambda_{\overline{\textrm{MS}}}^{(n_f=2)}$ and analytic parameterization of the static quark-antiquark potential

abstract: While lattice QCD allows for reliable results at small momentum transfers (large quark separations), perturbative QCD is restricted to large momentum transfers (small quark separations). The latter is determined up to a reference momentum scale $\Lambda$, which is to be provided from outside, e.g. from experiment or lattice QCD simulations. In this article, we extract $\Lambda_{\overline{\textrm{MS}}}$ for QCD with $n_f=2$ dynamical quark flavors by matching the perturbative static quark-antiquark potential in momentum space to lattice results in the intermediate momentum regime, where both approaches are expected to be applicable. In a second step, we combine the lattice and the perturbative results to provide a complete analytic parameterization of the static quark-antiquark potential in position space up to the string breaking scale. As an exemplary phenomenological application of our all-distances potential we compute the bottomonium spectrum in the static limit.


title: On the origin of surface imposed anisotropic growth of salicylic and acetylsalicylic acids crystals during droplet evaporation

abstract: In this paper droplet evaporative crystallization of salicylic acid (SA) and acetylsalicylic acid (ASA) crystals on different surfaces, such as glass, polyvinyl alcohol (PVA), and paraffin was studied. The obtained crystals were analyzed using powder X-ray diffraction (PXRD) technique. In order to better understand the effect of the surface on evaporative crystallization, crystals deposited on glass were scraped off. Moreover, evaporative crystallization of a large volume of solution was performed. As we found, paraffin which is non-polar surface promotes formation of crystals morphologically similar to those obtained via bulk evaporative crystallization. On the other hand, when crystallization is carried out on the polar surfaces (glass and PVA), there is a significant orientation effect. This phenomenon is manifested by the reduction of the number of peaks in PXRD spectrum recorded for deposited on the surface crystals. Noteworthy, reduction of PXRD signals is not observed for powder samples obtained after scraping crystals off the glass. In order to explain the mechanism of carboxylic crystals growth on the polar surfaces, quantum-chemical computations were performed. It has been found that crystal faces of the strongest orientation effect can be characterized by the highest surface densities of intermolecular interactions energy (IIE). In case of SA and ASA crystals formed on the polar surfaces the most dominant faces are characterized by the highest adhesive and cohesive properties. This suggests that the selection rules of the orientation effect comes directly from surface IIE densities.


title: A Tree Search Algorithm for Sequence Labeling

abstract: In this paper we propose a novel reinforcement learning based model for sequence tagging, referred to as MM-Tag. Inspired by the success and methodology of the AlphaGo Zero, MM-Tag formalizes the problem of sequence tagging with a Monte Carlo tree search (MCTS) enhanced Markov decision process (MDP) model, in which the time steps correspond to the positions of words in a sentence from left to right, and each action corresponds to assign a tag to a word. Two long short-term memory networks (LSTM) are used to summarize the past tag assignments and words in the sentence. Based on the outputs of LSTMs, the policy for guiding the tag assignment and the value for predicting the whole tagging accuracy of the whole sentence are produced. The policy and value are then strengthened with MCTS, which takes the produced raw policy and value as inputs, simulates and evaluates the possible tag assignments at the subsequent positions, and outputs a better search policy for assigning tags. A reinforcement learning algorithm is proposed to train the model parameters. Our work is the first to apply the MCTS enhanced MDP model to the sequence tagging task. We show that MM-Tag can accurately predict the tags thanks to the exploratory decision making mechanism introduced by MCTS. Experimental results show based on a chunking benchmark showed that MM-Tag outperformed the state-of-the-art sequence tagging baselines including CRF and CRF with LSTM.


title: Wave-Field Shaping in Cavities by Tunable Metasurfaces

abstract: Cavities, because they trap waves for long times due to their reflecting walls, are used in a vast number of scientific domains. Indeed, in these closed media and due to interferences, the free space continuum of solutions becomes a discrete set of stationary eigenmodes. These enhanced stationary fields are commonly used in fundamental physics to increase wave-matter interactions. The eigenmodes and associated eigenfrequencies of a cavity are imposed by its geometrical properties through the boundary conditions. In this paper, we show that one can control the wave fields created by point sources inside cavities by tailoring only the boundaries of the cavities. This is achieved through the use of a tunable reflecting metasurface, which is part of the frontiers of the cavity, and can switch its boundary conditions from Dirichlet to Neumann. Based on the use of arrays of subwavelength resonators, a mathematical modeling of the physical mechanism underlying the concept of tunable metasurfaces is provided.


title: On the Arithmetic of Power Monoids and Sumsets in Cyclic Groups

abstract: Let $H$ be a multiplicatively written monoid with identity $1_H$ (in particular, a group). We denote by $\mathcal P_{\rm fin,\times}(H)$ the monoid obtained by endowing the collection of all finite subsets of $H$ containing a unit with the operation of setwise multiplication $(X,Y) \mapsto \{xy: x \in X, y \in Y\}$; and study fundamental features of the arithmetic of this and related structures, with a focus on the submonoid, $\mathcal P_{\text{fin},1}(H)$, of $\mathcal P_{\text{fin},\times}(H)$ consisting of all finite subsets $X$ of $H$ with $1_H \in X$. Among others, we prove that $\mathcal{P}_{\text{fin},1}(H)$ is atomic (i.e., each non-unit is a product of irreducibles) iff $1_H \ne x^2 \ne x$ for every $x \in H \setminus \{1_H\}$. Then we obtain that $\mathcal{P}_{\text{fin},1}(H)$ is BF (i.e., it is atomic and every element has factorizations of bounded length) iff $H$ is torsion-free; and show how to transfer these conclusions to $\mathcal P_{\text{fin},\times}(H)$. Next, we introduce "minimal factorizations" to account for the fact that monoids may have non-trivial idempotents, in which case standard definitions from Factorization Theory degenerate. Accordingly, we obtain conditions for $\mathcal P_{\text{fin},\times}(H)$ to be BmF (meaning that each non-unit has minimal factorizations of bounded length); and for $\mathcal{P}_{\text{fin},1}(H)$ to be BmF, HmF (i.e., a BmF-monoid where all the minimal factorizations of a given element have the same length), or minimally factorial (i.e., a BmF-monoid where each element has an essentially unique minimal factorization). Finally, we prove how to realize certain intervals as sets of minimal lengths in $\mathcal P_{\text{fin},1}(H)$. Many proofs come down to considering sumset decompositions in cyclic groups, so giving rise to an intriguing interplay with Arithmetic Combinatorics.


title: Formation of chlorinated breakdown products during degradation of sunscreen agent, 2-ethylhexyl-4-methoxycinnamate in the presence of sodium hypochlorite

abstract: In this study, a new degradation path of sunscreen active ingredient, 2-ethylhexyl-4-methoxycinnamate (EHMC) and 4-methoxycinnamic acid (MCA) in the presence of sodium hypochlorite (NaOCl), was discussed. The reaction products were detected using gas chromatography-mass spectrometry (GC-MS). Since HOCl treatment leads to more polar products than EHMC, application of polar extracting agents, dichloromethane and ethyl acetate/n-hexane mixture, gave better results in terms of chlorinated breakdown products identification than n-hexane. Reaction of EHMC with HOCl lead to the formation of C=C bridge cleavage products such as 2-ethylhexyl chloroacetate, 1-chloro-4-methoxybenzene, 1,3-dichloro-2-methoxybenzene, and 3-chloro-4-methoxybenzaldehyde. High reactivity of C=C bond attached to benzene ring is also characteristic for MCA, since it can be converted in the presence of HOCl to 2,4-dichlorophenole, 2,6-dichloro-1,4-benzoquinone, 1,3-dichloro-2-methoxybenzene, 1,2,4-trichloro-3-methoxybenzene, 2,4,6-trichlorophenole, and 3,5-dichloro-2-hydroxyacetophenone. Surprisingly, in case of EHMC/HOCl/UV, much less breakdown products were formed compared to non-UV radiation treatment. In order to describe the nature of EHMC and MCA degradation, local reactivity analysis based on the density functional theory (DFT) was performed. Fukui function values showed that electrophilic attack of HOCl to the C=C bridge in EHMC and MCA is highly favorable (even more preferable than phenyl ring chlorination). This suggests that HOCl electrophilic addition is probably the initial step of EHMC degradation.


title: Jointly separating maps between vector-valued function spaces

abstract: Let $X$ and $Y$ be compact Hausdorff spaces, $E$ and $F$ be real or complex Banach spaces, and $A(X,E)$ be a subspace of $C(X,E)$. In this paper we study linear operators $S,T: A(X,E) \lo C(Y,F)$ which are jointly separating, in the sense that $\coz(f) \cap \coz(g) = \emptyset$ implies that $\coz(Tf) \cap \coz(Sg)=\emptyset$. Here $\coz(\cdot)$ denotes the cozero set of a function. We characterize the general form of such maps between certain class of vector-valued (as well as scalar-valued) spaces of continuous functions including spaces of vector-valued Lipschitz functions, absolutely continuous functions and continuously differentiable functions. The results can be applied for a pair $T:A(X) \lo A(X)$ and $S:A(X,E) \lo A(X,E)$ of linear operators, where $A(X)$ is a regular Banach function algebra on $X$, such that $f\cdot g=0$ implies $Tf \cdot Sg=0$, for $f\in A(X)$ and $g\in A(X,E)$. If $T$ and $S$ are jointly separating bijections between Banach algebras of scalar-valued functions of this class, then they induce a homeomorphism between $X$ and $Y$ and, furthermore, $T^{-1}$ and $S^{-1}$ are also jointly separating maps.


title: Unsupervised Cross-Modality Domain Adaptation of ConvNets for Biomedical Image Segmentations with Adversarial Loss

abstract: Convolutional networks (ConvNets) have achieved great successes in various challenging vision tasks. However, the performance of ConvNets would degrade when encountering the domain shift. The domain adaptation is more significant while challenging in the field of biomedical image analysis, where cross-modality data have largely different distributions. Given that annotating the medical data is especially expensive, the supervised transfer learning approaches are not quite optimal. In this paper, we propose an unsupervised domain adaptation framework with adversarial learning for cross-modality biomedical image segmentations. Specifically, our model is based on a dilated fully convolutional network for pixel-wise prediction. Moreover, we build a plug-and-play domain adaptation module (DAM) to map the target input to features which are aligned with source domain feature space. A domain critic module (DCM) is set up for discriminating the feature space of both domains. We optimize the DAM and DCM via an adversarial loss without using any target domain label. Our proposed method is validated by adapting a ConvNet trained with MRI images to unpaired CT data for cardiac structures segmentations, and achieved very promising results.


title: Exclusion of GNSS NLOS Receptions Caused by Dynamic Objects in Heavy Traffic Urban Scenarios Using Real-Time 3D Point Cloud: An Approach without 3D Maps

abstract: Absolute positioning is an essential factor for the arrival of autonomous driving. Global Navigation Satellites System (GNSS) receiver provides absolute localization for it. GNSS solution can provide satisfactory positioning in open or sub-urban areas, however, its performance suffered in super-urbanized area due to the phenomenon which are well-known as multipath effects and NLOS receptions. The effects dominate GNSS positioning performance in the area. The recent proposed 3D map aided (3DMA) GNSS can mitigate most of the multipath effects and NLOS receptions caused by buildings based on 3D city models. However, the same phenomenon caused by moving objects in urban area is currently not modelled in the 3D geographic information system (GIS). Moving objects with tall height, such as the double-decker bus, can also cause NLOS receptions because of the blockage of GNSS signals by surface of objects. Therefore, we present a novel method to exclude the NLOS receptions caused by double-decker bus in highly urbanized area, Hong Kong. To estimate the geometry dimension and orientation relative to GPS receiver, a Euclidean cluster algorithm and a classification method are used to detect the double-decker buses and calculate their relative locations. To increase the accuracy and reliability of the proposed NLOS exclusion method, an NLOS exclusion criterion is proposed to exclude the blocked satellites considering the elevation, signal noise ratio (SNR) and horizontal dilution of precision (HDOP). Finally, GNSS positioning is estimated by weighted least square (WLS) method using the remaining satellites after the NLOS exclusion. A static experiment was performed near a double-decker bus stop in Hong Kong, which verified the effectiveness of the proposed method.


title: Studies on the formation of formaldehyde during 2-ethylhexyl 4-(dimethylamino)benzoate demethylation in the presence of reactive oxygen and chlorine species

abstract: In order to protect the skin from UV radiation, personal care products (PCPS) often contain chemical UV-filters. These compounds can enter the environment causing serious consequences on the water ecosystems. The aim of this study was to examine, the effect of different factors, such as UV light, the presence of NaOCl and H2O2 on the formaldehyde formation during popular UV filter, 2-ethylhexyl 4-(dimethylamino)benzoate (ODPABA) demethylation. The concentration of formaldehyde was determined by VIS spectrophotometry after derivatization. The reaction mixtures were qualitatively analyzed using GC/MS chromatography. The highest concentration of formaldehyde was observed in the case of ODPABA/H2O2/UV reaction mixture. In order to describe two types of demethylation mechanisms, namely, radical and ionic, the experimental results were enriched with Fukui function analysis and thermodynamic calculations. In the case of non-irradiated system containing ODPABA and NaOCl, demethylation reaction probably proceeds via ionic mechanism. As it was established, amino nitrogen atom in the ODPABA molecule is the most susceptible site for the HOCl electrophilic attack, which is the first step of ionic demethylation mechanism. In the case of irradiated mixtures, the reaction is probably radical in nature. The results of thermodynamic calculations showed that abstraction of the hydrogen from N(CH3)2 group is more probable than from 2-ethylhexyl moiety, which indicates higher susceptibility of N(CH3)2 to the oxidation.


title: Randomization and quantization for average consensus

abstract: A variety of problems in distributed control involve a networked system of autonomous agents cooperating to carry out some complex task in a decentralized fashion, e.g., orienting a flock of drones, or aggregating data from a network of sensors. Many of these complex tasks reduce to the computation of a global function of values privately held by the agents, such as the maximum or the average. Distributed algorithms implementing these functions should rely on limited assumptions on the topology of the network or the information available to the agents, reflecting the decentralized nature of the problem. We present a randomized algorithm for computing the average in networks with directed, time-varying communication topologies. With high probability, the system converges to an estimate of the average in linear time in the number of agents, provided that the communication topology remains strongly connected over time. This algorithm leverages properties of exponential random variables, which allows for approximating sums by computing minima. It is completely decentralized, in the sense that it does not rely on agent identifiers, or global information of any kind. Besides, the agents do not need to know their out-degree; hence, our algorithm demonstrates how randomization can be used to circumvent the impossibility result established in [1]. Using a logarithmic rounding rule, we show that this algorithm can be used under the additional constraints of finite memory and channel capacity. We furthermore extend the algorithm with a termination test, by which the agents can decide irrevocably in finite time - rather than simply converge - on an estimate of the average. This terminating variant works under asynchronous starts and yields linear decision times while still using quantized - albeit larger - values.


title: Partial complementation of graphs

abstract: A partial complement of the graph $G$ is a graph obtained from $G$ by complementing all the edges in one of its induced subgraphs. We study the following algorithmic question: for a given graph $G$ and graph class $\mathcal{G}$, is there a partial complement of $G$ which is in $\mathcal{G}$? We show that this problem can be solved in polynomial time for various choices of the graphs class $\mathcal{G}$, such as bipartite, degenerate, or cographs. We complement these results by proving that the problem is NP-complete when $\mathcal{G}$ is the class of $r$-regular graphs.


title: Magnetic moments of doubly heavy baryons in light-cone QCD

abstract: The magnetic dipole moments of the spin-$\frac{1}{2}$ doubly heavy baryons are extracted in the framework of light-cone QCD sum rule. The electromagnetic properties of the doubly heavy baryons encodes important information of their internal structure. The results for the magnetic dipole moments of doubly heavy baryons acquired in this work are compared with the predictions of the other theoretical approaches.


title: OPA2Vec: combining formal and informal content of biomedical ontologies to improve similarity-based prediction

abstract: Motivation: Ontologies are widely used in biology for data annotation, integration, and analysis. In addition to formally structured axioms, ontologies contain meta-data in the form of annotation axioms which provide valuable pieces of information that characterize ontology classes. Annotations commonly used in ontologies include class labels, descriptions, or synonyms. Despite being a rich source of semantic information, the ontology meta-data are generally unexploited by ontology-based analysis methods such as semantic similarity measures. Results: We propose a novel method, OPA2Vec, to generate vector representations of biological entities in ontologies by combining formal ontology axioms and annotation axioms from the ontology meta-data. We apply a Word2Vec model that has been pre-trained on PubMed abstracts to produce feature vectors from our collected data. We validate our method in two different ways: first, we use the obtained vector representations of proteins as a similarity measure to predict protein-protein interaction (PPI) on two different datasets. Second, we evaluate our method on predicting gene-disease associations based on phenotype similarity by generating vector representations of genes and diseases using a phenotype ontology, and applying the obtained vectors to predict gene-disease associations. These two experiments are just an illustration of the possible applications of our method. OPA2Vec can be used to produce vector representations of any biomedical entity given any type of biomedical ontology. Availability: https://github.com/bio-ontology-research-group/opa2vec Contact: robert.hoehndorf@kaust.edu.sa and xin.gao@kaust.edu.sa.


title: Separability of Multipartite Quantum States with Strong Positive Partial Transpose

abstract: We generalize the definition of strong positive partial transpose (SPPT) to the multipartite system. The tripartite case was first considered by X.-Y. Yu and H. Zhao [ Int. J. Theor. Phys.,54, 292, (2015)]. In this extension, unfortunately, desired properties such as the PPT of SPPT states the separability of super and pure SPPT states are not preserved. In contrast, this paper provides an alternative generalization to multipartite cases with these properties preserved. We also provide sufficient conditions for the separability of SPPT states.


title: Duals and adjoints in higher Morita categories

abstract: We study duals for objects and adjoints for $k$-morphisms in $\operatorname{Alg}_n(\mathcal{S})$, an $(\infty,n+N)$-category that models a higher Morita category for $E_n$ algebra objects in a symmetric monoidal $(\infty,N)$-category $\mathcal{S}$. Our model of $\operatorname{Alg}(\mathcal{S})$ uses the geometrically convenient framework of factorization algebras. The main result is that $\operatorname{Alg}_n(\mathcal{S})$ is fully $n$-dualizable, verifying a conjecture of Lurie. Moreover, we unpack the consequences for a natural class of fully extended topological field theories and explore $(n+1)$-dualizability.


title: Co-evolution of the mitotic and meiotic modes of eukaryotic cellular division

abstract: The genetic material of a eukaryotic cell comprises both nuclear DNA (ncDNA) and mitochondrial DNA (mtDNA). These differ markedly in several aspects but nevertheless must encode proteins that are compatible with one another. Here we introduce a network model of the hypothetical co-evolution of the two most common modes of cellular division for reproduction: by mitosis (supporting asexual reproduction) and by meiosis (supporting sexual reproduction). Our model is based on a random hypergraph, with two nodes for each possible genotype, each encompassing both ncDNA and mtDNA. One of the nodes is necessarily generated by mitosis occurring at a parent genotype, the other by meiosis occurring at two parent genotypes. A genotype's fitness depends on the compatibility of its ncDNA and mtDNA. The model has two probability parameters, $p$ and $r$, the former accounting for the diversification of ncDNA during meiosis, the latter for the diversification of mtDNA accompanying both meiosis and mitosis. Another parameter, $\lambda$, is used to regulate the relative rate at which mitosis- and meiosis-generated genotypes are produced. We have found that, even though $p$ and $r$ do affect the existence of evolutionary pathways in the network, the crucial parameter regulating the coexistence of the two modes of cellular division is $\lambda$. Depending on genotype size, $\lambda$ can be valued so that either mode of cellular division prevails. Our study is closely related to a recent hypothesis that views the appearance of cellular division by meiosis, as opposed to division by mitosis, as an evolutionary strategy for boosting ncDNA diversification to keep up with that of mtDNA. Our results indicate that this may well have been the case, thus lending support to the first hypothesis in the field to take into account the role of such ubiquitous and essential organelles as mitochondria.


title: Influence of Geochemistry on Toughening Behavior of Organic-Rich Shale

abstract: Our research objective is to understand the influence of geochemistry on the fracture behavior of organic-rich shale at multiple length-scales. Despite an increasing focus on the fracture behavior of organic-rich shale, the relationships between geochemistry and fracture behavior remain unclear and there is a scarcity of experimental data available. To this end, we carry out 59 mesoscale scratch-based fracture tests on 14 specimens extracted from 7 major gas shale plays both in the United States and in France. Post-scratch testing imaging reveal fractures with small crack width of about 400 nm. The fracture toughness is evaluated using the energetic size effect law, which is extended to generic axisymmetric probes. A nonlinear anisotropic and multiscale fracture behavior is observed. In addition, a positive correlation is found between the fracture toughness and the presence of of kerogen, clay and calcite. Moreover, the geochemistry is found to influence the timescale and the regime of propagation of the hydraulic fracture at the macroscopic length-scale. In particular, shale systems rich in TOC, clay and calcite are more likely to exhibit high values of the fluid lag and low hydraulic crack width. Our findings highlight the need for advanced constitutive models for organic-rich shale systems and advanced hydraulic fracturing solutions that can fully integrate the complex fracture response of organic-rich shale materials.


title: On some large global solutions for the compressible magnetohydrodynamic system

abstract: In this paper we consider the global well-posedness of compressible magnetohydrodynamic system in $\R^d$ with $d\geq2$, in the framework of the critical Besov spaces. We can show that if the initial data, the shear viscosity and the magnetic diffusion coefficient are small comparing with the volume viscosity, then compressible magnetohydrodynamic system has a unique global solution.


title: A Nonparametric Ensemble Binary Classifier and its Statistical Properties

abstract: In this work, we propose an ensemble of classification trees (CT) and artificial neural networks (ANN). Several statistical properties including universal consistency and upper bound of an important parameter of the proposed classifier are shown. Numerical evidence is also provided using various real life data sets to assess the performance of the model. Our proposed nonparametric ensemble classifier doesn't suffer from the `curse of dimensionality' and can be used in a wide variety of feature selection cum classification problems. Performance of the proposed model is quite better when compared to many other state-of-the-art models used for similar situations.


title: Diagonal asymptotics for symmetric rational functions via ACSV

abstract: We consider asymptotics of power series coefficients of rational functions of the form $1/Q$ where $Q$ is a symmetric multilinear polynomial. We review a number of such cases from the literature, chiefly concerned either with positivity of coefficients or diagonal asymptotics. We then analyze coefficient asymptotics using ACSV (Analytic Combinatorics in Several Variables) methods. While ACSV sometimes requires considerable overhead and geometric computation, in the case of symmetric multilinear rational functions there are some reductions that streamline the analysis. Our results include diagonal asymptotics across entire classes of functions, for example the general 3-variable case and the Gillis-Reznick-Zeilberger (GRZ) case, where the denominator in terms of elementary symmetric functions is $1 - e_1 + c e_d$ in any number $d$ of variables. The ACSV analysis also explains a discontinuous drop in exponential growth rate for the GRZ class at the parameter value $c = (d-1)^{d-1}$, previously observed for $d=4$ only by separately computing diagonal recurrences for critical and noncritical values of $c$.


title: A QPTAS for Gapless MEC

abstract: We consider the problem Minimum Error Correction (MEC). A MEC instance is an n x m matrix M with entries from {0,1,-}. Feasible solutions are composed of two binary m-bit strings, together with an assignment of each row of M to one of the two strings. The objective is to minimize the number of mismatches (errors) where the row has a value that differs from the assigned solution string. The symbol "-" is a wildcard that matches both 0 and 1. A MEC instance is gapless, if in each row of M all binary entries are consecutive. Gapless-MEC is a relevant problem in computational biology, and it is closely related to segmentation problems that were introduced by [Kleinberg-Papadimitriou-Raghavan STOC'98] in the context of data mining. Without restrictions, it is known to be UG-hard to compute an O(1)-approximate solution to MEC. For both MEC and Gapless-MEC, the best polynomial time approximation algorithm has a logarithmic performance guarantee. We partially settle the approximation status of Gapless-MEC by providing a quasi-polynomial time approximation scheme (QPTAS). Additionally, for the relevant case where the binary part of a row is not contained in the binary part of another row, we provide a polynomial time approximation scheme (PTAS).


title: Strong improvement of the transport characteristics of YBa$_\textrm{2}$Cu$_\textrm{3}$O$_\textrm{7-x}$ grain boundaries using ionic liquid gating

abstract: For more than 30 years, the remarkable superconducting properties of REBa$_\textrm{2}$Cu$_\textrm{3}$O$_\textrm{7-x}$ (RE = rare earth) compounds have triggered research studies across the world. Accordingly, significant progresses have been made both from a basic understanding and a fabrication processes perspective. Yet, today, the major technological bottleneck towards the spread of their practical uses remains the exponential decay of their critical current with grain misorientation in polycrystalline samples. In this work, we used an ionic liquid to apply extremely high transverse electric fields to YBa$_\textrm{2}$Cu$_\textrm{3}$O$_\textrm{7-x}$ thin films containing a single well-defined low-angle grain boundary. Our study shows that this technique is very effective to tune the IV characteristics of these weak-links. In-magnetic field measurements allow us to discuss the type of the vortices present at the grain boundary and to unveil a large variation of the local depairing current density with gating. Comparing our results with the ones obtained on chemically-doped grain boundaries, we discuss routes to evaluate the role of local strain in the loss of transparency at cuprates low-angle grain boundaries. In short, this study offers a new opportunity to discuss scenarios leading to the reduced transport capabilities of grain boundaries in cuprates.


title: Scenario Approach for Robust Blackbox Optimization in the Bandit Setting

abstract: This paper discusses a scenario approach to robust optimization of a blackbox function in a bandit setting. We assume that the blackbox function can be modeled as a Gaussian Process (GP) for every realization of the uncertain parameter. We adopt a scenario approach in which we draw fixed independent samples of the uncertain parameter. For a given policy, i.e., a sequence of query points and uncertain parameters in the sampled set, we introduce a notion of regret defined with respect to additional draws of the uncertain parameter, termed as scenario regret under re-draw. We present a scenario-based iterative algorithm using the upper confidence bound (UCB) of the fixed independent scenarios to compute a policy for the blackbox optimization. For this algorithm, we characterize a high probability upper bound on the regret under re-draw for any finite number of iterations of the algorithm. We further characterize parameter regimes in which the regret tends to zero asymptotically with the number of iterations with high probability. Finally, we supplement our analysis with numerical results.


title: Background Independence: $\mathbb{S}^1$ and $\mathbb{R}$ absolute spaces differ greatly in Shape-and-Scale Theory

abstract: Kendall-type Shape(-and-Scale) Theory on $\mathbb{R}^d$ involves $N$ point configurations therein quotiented by some geometrically meaningful automorphism group. This occurs in Shape Statistics, the Classical and Quantum $N$-body Problem and as a model for many aspects of Generally Relativistic theories' Background Independence. Shape-and-Scale theory on the circle $\mathbb{S}^1$ is significant at the level of `rubber shapes' as 1 of only 3 classes of connected-without-boundary absolute spaces. It is also the first $\mathbb{T^d}$ and $\mathbb{RP}^d$ as well as the first sphere; spheres and tori are motivated by spatially-closed GR and $\mathbb{RP}^d$ by Image Analysis and Computer Vision. We now investigate the $\mathbb{S}^1$ case at the geometrical level. With $Isom(\mathbb{S}^1) = SO(2)$ itself a $\mathbb{S}^1$, the shape-and-scale $N$-body configuration spaces are systematically $\mathbb{T}^{N - 1}$. We show moreover that 3 points on the circle already suffices for major differences to occur relative to on the line $\mathbb{R}$. Scale is now obligatory. Totally antipodal configurations are as significant as the maximal collision. Topologically, partially antipodal configurations play an equivalent role to right angles: specifically a $d \geq 2$ notion on $\mathbb{R}^d$. Using up less and more arc than an antipodal configuration are the respective topological analogues of acute and obtuse triangles. The idea that quotienting out geometrical automorphisms banishes an incipient notion of absolute space is dead. Such indirect modelling is, rather, well capable of remembering the incipient absolute space's topology. Thus topological considerations of Background Independence have become indispensible even in mechanics models. In General Relativity, this corresponds to passing from Wheeler's Superspace to Fischer's Big Superspace.


title: A Spatial Basis Coverage Approach For Uplink Training And Scheduling In Massive MIMO Systems

abstract: Massive multiple-input multiple-output (massive MIMO) can provide large spectral and energy efficiency gains. Nevertheless, its potential is conditioned on acquiring accurate channel state information (CSI). In time division duplexing (TDD) systems, CSI is obtained through uplink training which is hindered by pilot contamination. The impact of this phenomenon can be relieved using spatial division multiplexing, which refers to partitioning users based on their spatial information and processing their signals accordingly. The performance of such schemes depend primarily on the implemented grouping method. In this paper, we propose a novel spatial grouping scheme that aims at managing pilot contamination while reducing the required training overhead in TDD massive MIMO. Herein, user specific decoding matrices are derived based on the columns of the discrete Fourier transform matrix (DFT), taken as a spatial basis. Copilot user groups are then formed in order to obtain the best coverage of the spatial basis with minimum overlapping between decoding matrices. We provide two algorithms that achieve the desired grouping and derive their respective performance guarantees. We also address inter-cell copilot interference through efficient pilot sequence allocation, leveraging the formed copilot groups. Various numerical results are provided to showcase the efficiency of the proposed algorithms.


title: Something interacting and solvable in 1d

abstract: We present a two-parameter family of exactly solvable quantum many-body systems in one spatial dimension containing the Lieb-Liniger model of interacting bosons as a particular case. The principal building block of this construction is the previously-introduced (arXiv:1712.09375) family of two-particle scattering matrices. We discuss an $SL(2)$ transformation connecting the models within this family and make a correspondence with generalized point interactions. The Bethe equations for the ground state are discussed with a special emphasis on "non-interacting modes" connected by the modular subgroup of $SL(2)$. The bound state solutions are discussed and are conjectured to follow some correlated version of the string hypothesis. The excitation spectrum of the new models in this family is derived in analogy to the Lieb-Liniger model and we show that for certain choices of parameters a spectrum inversion occurs such that the Umklapp solutions become the new ground state.


title: Solving the likelihood equations to compute Euler obstruction functions

abstract: Macpherson defined Chern-Schwartz-Macpherson (CSM) classes by introducing the (local) Euler obstruction function, which is an integer valued function on the variety that is constant on each stratum of a Whitney stratification of an algebraic variety. By understanding the Euler obstruction function, one gains insights about a singular algebraic variety. It was recently shown by the author and B. Wang, how to compute these functions using maximum likelihood degrees. This paper discusses a symbolic and a numerical implementation of algorithms to compute the Euler obstruction at a point. Macaulay2 and Bertini are used in the implementations.


title: Derivations on the algebra of Rajchman measures

abstract: For a locally compact Abelian group $G$, the algebra of Rajchman measures, denoted by $M_0(G)$, is the set of all bounded regular Borel measures on $G$ whose Fourier transform vanish at infinity. In this paper, we investigate the spectral structure of the algebra of Rajchman measures, and illustrate aspects of the residual analytic structure of its maximal ideal space. In particular, we show that $M_0(G)$ has a nonzero continuous point derivation, whenever $G$ is a non-discrete locally compact Abelian group. We then give the definition of the Rajchman algebra for a general (not necessarily Abelian) locally compact group, and prove that for a non-compact connected SIN group, the Rajchman algebra admits a nonzero continuous point derivation. Moreover, we discuss the analytic behavior of the spectrum of $M_0(G)$. Namely, we show that for every non-discrete metrizable locally compact Abelian group $G$, the maximal ideal space of $M_0(G)$ contains analytic discs.


title: Deep Affect Prediction in-the-wild: Aff-Wild Database and Challenge, Deep Architectures, and Beyond

abstract: Automatic understanding of human affect using visual signals is of great importance in everyday human-machine interactions. Appraising human emotional states, behaviors and reactions displayed in real-world settings, can be accomplished using latent continuous dimensions (e.g., the circumplex model of affect). Valence (i.e., how positive or negative is an emotion) & arousal (i.e., power of the activation of the emotion) constitute popular and effective affect representations. Nevertheless, the majority of collected datasets this far, although containing naturalistic emotional states, have been captured in highly controlled recording conditions. In this paper, we introduce the Aff-Wild benchmark for training and evaluating affect recognition algorithms. We also report on the results of the First Affect-in-the-wild Challenge that was organized in conjunction with CVPR 2017 on the Aff-Wild database and was the first ever challenge on the estimation of valence and arousal in-the-wild. Furthermore, we design and extensively train an end-to-end deep neural architecture which performs prediction of continuous emotion dimensions based on visual cues. The proposed deep learning architecture, AffWildNet, includes convolutional & recurrent neural network layers, exploiting the invariant properties of convolutional features, while also modeling temporal dynamics that arise in human behavior via the recurrent layers. The AffWildNet produced state-of-the-art results on the Aff-Wild Challenge. We then exploit the AffWild database for learning features, which can be used as priors for achieving best performances both for dimensional, as well as categorical emotion recognition, using the RECOLA, AFEW-VA and EmotiW datasets, compared to all other methods designed for the same goal. The database and emotion recognition models are available at http://ibug.doc.ic.ac.uk/resources/first-affect-wild-challenge.


title: BNSP: an R Package for Fitting Bayesian Semiparametric Regression Models and Variable Selection

abstract: The R package BNSP provides a unified framework for semiparametric location-scale regression and stochastic search variable selection. The statistical methodology that the package is built upon utilizes basis function expansions to represent semiparametric covariate effects in the mean and variance functions, and spike-slab priors to perform selection and regularization of the estimated effects. In addition to the main function that performs posterior sampling, the package includes functions for assessing convergence of the sampler, summarizing model fits, visualizing covariate effects and obtaining predictions for new responses or their means given feature/covariate vectors.


title: Wind and nebula of the M33 variable GR290 (WR/LBV)

abstract: Context: GR290 (M33/V532=Romano's Star) is a suspected post-LBV star located in M33 galaxy that shows a rare Wolf-Rayet spectrum during its minimum light phase. In spite of many studies, its atmospheric structure, its circumstellar environment and its place in the general context of massive stars evolution is poorly known. Aims: Detailed study of its wind and mass loss, and study of the circumstellar environment associated to the star. Methods: Long-slit spectra of GR290 were obtained during its present minimum luminosity phase with the GTC together with contemporaneous BVRI photometry. The data were compared with non-LTE model atmosphere synthetic spectra computed with CMFGEN and with CLOUDY models for ionized interstellar medium regions. Results: The current $m_V=18.8$ mag, is the faintest at which this source has ever been observed. The non-LTE models indicate effective temperature $T_{eff}$=27-30 kK at radius $R_{2/3}$=27-21 Rsun and mass loss rate $\dot{M}=1.5\times10^{-5}$ Msun yr$^{-1}$. The terminal wind speed $V_\infty$=620 ${\rm km~s^{-1}}$ is faster than ever before recorded while the current luminosity $L_*=(3.1-3.7)\times 10^5$ Lsun is the lowest ever deduced. It is overabundant in He and N and underabundant in C and O. It is surrounded by an unresolved compact HII region with dimensions $\leq$4 pc, from where H-Balmer, HeI lines and [OIII] and [NII] are detected. In addition, we find emission from a more extended interstellar medium (ISM) region which appears to be asymmetric, with a larger extent to the East (16-40 pc) than to the West. Conclusions: In the present long lasting visual minimum, GR290 is in a lower bolometric luminosity state with higher mass loss rate. The nearby nebular emission seems to suggest that the star has undergone significant mass loss over the past $10^4-10^5$ years and is nearing the end stages of its evolution.


title: Spin-Hall effect in the scattering of structured light from plasmonic nanowire

abstract: Spin-orbit interactions are subwavelength phenomena which can potentially lead to numerous device related applications in nanophotonics. Here, we report Spin-Hall effect in the forward scattering of Hermite-Gaussian and Gaussian beams from a plasmonic nanowire. Asymmetric scattered radiation distribution was observed for circularly polarized beams. Asymmetry in the scattered radiation distribution changes the sign when the polarization handedness inverts. We found a significant enhancement in the Spin-Hall effect for Hermite-Gaussian beam as compared to Gaussian beam for constant input power. The difference between scattered powers perpendicular to the long axis of the plasmonic nanowire was used to quantify the enhancement. In addition to it, nodal line of HG beam acts as the marker for the Spin-Hall shift. Numerical calculations corroborate experimental observations and suggest that the Spin flow component of Poynting vector associated with the circular polarization is responsible for the Spin-Hall effect and its enhancement.


title: Learning Data Dependency with Communication Cost

abstract: In this paper, we consider the problem of recovering a graph that represents the statistical data dependency among nodes for a set of data samples generated by nodes, which provides the basic structure to perform an inference task, such as MAP (maximum a posteriori). This problem is referred to as structure learning. When nodes are spatially separated in different locations, running an inference algorithm requires a non-negligible amount of message passing, incurring some communication cost. We inevitably have the trade-off between the accuracy of structure learning and the cost we need to pay to perform a given message-passing based inference task because the learnt edge structures of data dependency and physical connectivity graph are often highly different. In this paper, we formalize this trade-off in an optimization problem which outputs the data dependency graph that jointly considers learning accuracy and message-passing costs. We focus on a distributed MAP as the target inference task, and consider two different implementations, ASYNC-MAP and SYNC-MAP that have different message-passing mechanisms and thus different cost structures. In ASYNC- MAP, we propose a polynomial time learning algorithm that is optimal, motivated by the problem of finding a maximum weight spanning tree. In SYNC-MAP, we first prove that it is NP-hard and propose a greedy heuristic. For both implementations, we then quantify how the probability that the resulting data graphs from those learning algorithms differ from the ideal data graph decays as the number of data samples grows, using the large deviation principle, where the decaying rate is characterized by some topological structures of both original data dependency and physical connectivity graphs as well as the degree of the trade-off. We validate our theoretical findings through extensive simulations, which confirms that it has a good match.


title: Simplicity of augmentation submodules for transformation monoids

abstract: For finite permutation groups, simplicity of the augmentation submodule is equivalent to $2$-transitivity over the field of complex numbers. We note that this is not the case for transformation monoids. We characterize the finite transformation monoids whose augmentation submodules are simple for a field $\mathbb{F}$ (assuming the answer is known for groups, which is the case for $\mathbb C$, $\mathbb R$, and $\mathbb Q$) and provide many interesting and natural examples such as endomorphism monoids of connected simplicial complexes, posets, and graphs (the latter with simplicial mappings).


title: Fully Discrete Schemes and Their Analyses for Forward-Backward Stochastic Differential Equations

abstract: We propose some numerical schemes for forward-backward stochastic differential equations (FBSDEs) based on a new fundamental concept of transposition solutions. These schemes exploit time-splitting methods for the variation of constants formula of the associated partial differential equations and a discrete representation of the transition semigroups. The convergence of the schemes is established for FBSDEs with uniformly Lipschitz drivers, locally Lipschitz and maximal monotone drivers. Numerical experiments are presented for several nonlinear financial derivative pricing problems to demonstrate the adaptivity and effectiveness of the new schemes. The ideas here can be applied to construct high-order schemes for FBSDEs with general Markov forward processes.


title: Realizing intrinsic excitonic insulator by decoupling exciton binding energy from the minimum band gap

abstract: Direct-gap materials hold promises for excitonic insulator. In contrast to indirect-gap materials, here the difficulty to distinguish from a Peierls charge density wave is circumvented. However, direct-gap materials still suffer from the divergence of polarizability when the band gap approaches zero, leading to diminishing exciton binding energy. We propose that one can decouple the exciton binding energy from the band gap in materials where band-edge states have the same parity. First-principles calculations of two-dimensional GaAs and experimentally mechanically exfoliated single-layer TiS 3 lend solid supports to the new principle.


title: Jordan property for algebraic groups and automorphism groups of projective varieties in arbitrary characteristic

abstract: We show an analogue of Jordan's theorem for algebraic groups defined over a field $\mathbb k$ of arbitrary characteristic. As a consequence, a Jordan-type property holds for the automorphism group of any projective variety over $\mathbb k$.


title: A Tight Approximation for Submodular Maximization with Mixed Packing and Covering Constraints

abstract: Motivated by applications in machine learning, such as subset selection and data summarization, we consider the problem of maximizing a monotone submodular function subject to mixed packing and covering constraints. We present a tight approximation algorithm that for any constant $\epsilon >0$ achieves a guarantee of $1-\frac{1}{\mathrm{e}}-\epsilon$ while violating only the covering constraints by a multiplicative factor of $1-\epsilon$. Our algorithm is based on a novel enumeration method, which unlike previous known enumeration techniques, can handle both packing and covering constraints. We extend the above main result by additionally handling a matroid independence constraints as well as finding (approximate) pareto set optimal solutions when multiple submodular objectives are present. Finally, we propose a novel and purely combinatorial dynamic programming approach that can be applied to several special cases of the problem yielding not only {\em deterministic} but also considerably faster algorithms. For example, for the well studied special case of only packing constraints (Kulik {\em et. al.} [Math. Oper. Res. `13] and Chekuri {\em et. al.} [FOCS `10]), we are able to present the first deterministic non-trivial approximation algorithm. We believe our new combinatorial approach might be of independent interest.