title: Arcs on Punctured Disks Intersecting at Most Twice with Endpoints on the Boundary

abstract: Let $D_n$ be the $n$-punctured disk. We prove that a family of essential simple arcs starting and ending at the boundary and pairwise intersecting at most twice is of size at most $\binom{n+1}{3}$. On the way, we also show that any nontrivial square complex homeomorphic to a disk whose hyperplanes are simple arcs intersecting at most twice must have a corner or a spur.


title: Smart City Analytics: Ensemble-Learned Prediction of Citizen Home Care

abstract: We present an ensemble learning method that predicts large increases in the hours of home care received by citizens. The method is supervised, and uses different ensembles of either linear (logistic regression) or non-linear (random forests) classifiers. Experiments with data available from 2013 to 2017 for every citizen in Copenhagen receiving home care (27,775 citizens) show that prediction can achieve state of the art performance as reported in similar health related domains (AUC=0.715). We further find that competitive results can be obtained by using limited information for training, which is very useful when full records are not accessible or available. Smart city analytics does not necessarily require full city records. To our knowledge this preliminary study is the first to predict large increases in home care for smart city analytics.


title: Classification of selectors for sequences of dense sets of Cp(X)

abstract: We give the characteristics of selectors for sequences of dense sets of Cp(X) through the selection principles of a Tychonoff space X.


title: Parity-Engineered Light-Matter Interaction

abstract: The concept of parity describes the inversion symmetry of a system and is of fundamental relevance in the standard model, quantum information processing, and field theory. In quantum electrodynamics, parity is conserved and large field gradients are required to engineer the parity of the light-matter interaction operator. In this work, we engineer a potassium-like artificial atom represented by a specifically designed superconducting flux qubit. We control the wave function parity of the artificial atom with an effective orbital momentum provided by a resonator. By irradiating the artificial atom with spatially shaped microwave fields, we select the interaction parity in situ. In this way, we observe dipole and quadrupole selection rules for single state transitions and induce transparency via longitudinal coupling. Our work advances the design of tunable artificial multilevel atoms to a new level, which is particularly promising with respect to quantum chemistry simulations with near-term superconducting circuits.


title: On production of gamma rays and Relativistic Runaway Electron Avalanches from Martian dust storms

abstract: Production of runaway electron avalanches and gamma rays originating inside Martian dust storms are studied using Monte Carlo simulations. In the absence of in situ measurements, we use theoretical predictions of electric fields inside dust storms. Electrons are produced through the relativistic runaway electron avalanches process, and energetic photons are results of the bremsstrahlung scattering of the electrons with the air. Characteristic lengths of the runaway electron avalanche for different electric fields and the energy spectrum of electrons are derived and compared to their terrestrial counterparts. It is found that it is possible for Martian dust storms to develop energetic electron avalanches and produce large fluxes of gamma ray photons similar to terrestrial gamma ray flashes from Earth's thunderstorms. The phenomenon could be called Martian gamma ray flash, and due to the very thin atmosphere on Mars, it can be observed by both ground-based instruments or satellites orbiting the planet.


title: The minimizing vector theorem in symmetrized max-plus algebra

abstract: Assuming ZF and its consistency, we study some topological and geometrical properties of the symmetrized max-plus algebra in the absence of the axiom of choice in order to discuss the minimizing vector theorem for finite products of copies of the symmetrized max-plus algebra. Several relevant statements that follow from the axiom of countable choice restricted to sequences of subsets of the real line are shown. Among them, it is proved that if all simultaneously complete and connected subspaces of the plane are closed, then the real line is sequential. A brief discussion about semidenrites is included. Older known proofs in ZFC of several basic facts relevant to proximinal and Chebyshev sets in metric spaces are replaced by new proofs in ZF. It is proved that a nonempty subset C of the symmetrized max-plus algebra is Chebyshev in this algebra if and only if C is simultaneously closed and connected. An application of it to a version of the minimizing vector theorem for finite products of the symmetrized max-plus algebra is shown. Open problems concerning some statements independent of ZF and other statements relevant to Chebyshev sets are posed.


title: Solar Line Asymmetries: Modelling the Effect of Granulation on the Solar Spectrum

abstract: A parametric model of granulation employing a small number of parameters was developed. Synthetic spectra calculated using this model closely match observed spectra and, in particular, reproduce the asymmetries observed in spectral lines. Both the microturbulent motions and the large-scale flow velocity decrease exponentially with a scale height of 368 km as the height within the photosphere increases. The model agrees with observations of the solar granulation (from which it was derived). The horizontal motions associated with granulation were found and used to calculate spectra emergent away from disk centre. These calculated spectra were compared to observed spectra, with the agreement supporting the accuracy of the granular model. Also in the course of this work, the Brueckner-O'Mara damping theory was found to predict damping constants accurately. The photospheric abundances of a number of elements were determined. The abundance obtained for iron agrees with the meteoric iron abundance. Astrophysical f-values for some lines were also determined.


title: Explainable Recommendation: Theory and Applications

abstract: Although personalized recommendation has been investigated for decades, the wide adoption of Latent Factor Models (LFM) has made the explainability of recommendations a critical issue to both the research community and practical application of recommender systems. For example, in many practical systems the algorithm just provides a personalized item recommendation list to the users, without persuasive personalized explanation about why such an item is recommended while another is not. Unexplainable recommendations introduce negative effects to the trustworthiness of recommender systems, and thus affect the effectiveness of recommendation engines. In this work, we investigate explainable recommendation in aspects of data explainability, model explainability, and result explainability, and the main contributions are as follows: 1. Data Explainability: We propose Localized Matrix Factorization (LMF) framework based Bordered Block Diagonal Form (BBDF) matrices, and further applied this technique for parallelized matrix factorization. 2. Model Explainability: We propose Explicit Factor Models (EFM) based on phrase-level sentiment analysis, as well as dynamic user preference modeling based on time series analysis. In this work, we extract product features and user opinions towards different features from large-scale user textual reviews based on phrase-level sentiment analysis techniques, and introduce the EFM approach for explainable model learning and recommendation. 3. Economic Explainability: We propose the Total Surplus Maximization (TSM) framework for personalized recommendation, as well as the model specification in different types of online applications. Based on basic economic concepts, we provide the definitions of utility, cost, and surplus in the application scenario of Web services, and propose the general framework of web total surplus calculation and maximization.


title: Some generalizations of Schur functors

abstract: The theory of Schur functors provides a powerful and elegant approach to the representation theory of GL_n - at least to the so-called polynomial representations - especially to questions about how the theory varies with n. We develop parallel theories that apply to other classical groups and to non-polynomial representations of GL_n. These theories can also be viewed as linear analogs of the theory of FI-modules.


title: On Minimum Bisection and Related Cut Problems in Trees and Tree-Like Graphs

abstract: Minimum Bisection denotes the NP-hard problem to partition the vertex set of a graph into two sets of equal sizes while minimizing the width of the bisection, which is defined as the number of edges between these two sets. We first consider this problem for trees and prove that the minimum bisection width of every tree $T$ on $n$ vertices satisfies $MinBis(T) \leq 8 n \Delta(T) / diam(T)$. Second, we generalize this to arbitrary graphs with a given tree decomposition $(T,X)$ and give an upper bound on the minimum bisection width that depends on the structure of $(T,X)$. Moreover, we show that a bisection satisfying our general bound can be computed in time proportional to the encoding length of the tree decomposition when the latter is provided as input.


title: Updated physics design of the DAEdALUS and IsoDAR coupled cyclotrons for high intensity H2+ beam production

abstract: The Decay-At-rest Experiment for delta-CP violation At a Laboratory for Underground Science (DAEdALUS) and the Isotope Decay-At-Rest experiment (IsoDAR) are proposed experiments to search for CP violation in the neutrino sector, and "sterile" neutrinos, respectively. In order to be decisive within 5 years, the neutrino flux and, consequently, the driver beam current (produced by chained cyclotrons) must be high. H2+ was chosen as primary beam ion in order to reduce the electrical current and thus space charge. This has the added advantage of allowing for stripping extraction at the exit of the DAEdALUS Superconducting Ring Cyclotron (DSRC). The primary beam current is higher than current cyclotrons have demonstrated which has led to a substantial R&D effort of our collaboration in the last years. We present the results of this research, including tests of prototypes and highly realistic beam simulations, which led to the latest physics-based design. The presented results suggest that it is feasible, albeit challenging, to accelerate 5 mA of H2+ to 60 MeV/amu in a compact cyclotron and boost it to 800 MeV/amu in the DSRC with clean extraction in both cases.


title: A Tight Configuration-Component Based Hybrid Model for Combined-Cycle Units in MISO Day-Ahead Market

abstract: This paper proposes a hybrid CCGT model for day-ahead market clearing, in order to enhance operation flexibility of CCGTs in practice. The proposed hybrid model, by taking benefits of combined offers on configurations and individual PTs from MPs, can reflect physical operation features of CCGTs more accurately. A comprehensive review on CCGT models in literature is conducted, and their advantages and shortcomings are analyzed. The mapping relationship between the two most investigated models, i.e., CFBM and CPBM, is then revealed and constructed for deriving the proposed hybrid model. Tightening formulations are further discussed for achieving better computational performance. The proposed hybrid model is tested and compared with CFBM via an IEEE 118-bus system and the MISO system. Results show great benefits in maintaining operation flexibility and enhancing social welfare.


title: Distributed Apportioning in a Power Network for providing Demand Response Services

abstract: Greater penetration of Distributed Energy Resources (DERs) in power networks requires coordination strategies that allow for self-adjustment of contributions in a network of DERs, owing to variability in generation and demand. In this article, a distributed scheme is proposed that enables a DER in a network to arrive at viable power reference commands that satisfies the DERs local constraints on its generation and loads it has to service, while, the aggregated behavior of multiple DERs in the network and their respective loads meet the ancillary services demanded by the grid. The Net-load Management system for a single unit is referred to as the Local Inverter System (LIS) in this article . A distinguishing feature of the proposed consensus based solution is the distributed finite time termination of the algorithm that allows each LIS unit in the network to determine power reference commands in the presence of communication delays in a distributed manner. The proposed scheme allows prioritization of Renewable Energy Sources (RES) in the network and also enables auto-adjustment of contributions from LIS units with lower priority resources (non-RES). The methods are validated using hardware-in-the-loop simulations with Raspberry PI devices as distributed control units, implementing the proposed distributed algorithm and responsible for determining and dispatching realtime power reference commands to simulated power electronics interface emulating LIS units for demand response.


title: $L_{\infty}$-actions of Lie algebroids

abstract: We consider homotopy actions of a Lie algebroid on a graded manifold, defined as suitable $L_{\infty}$-algebra morphisms. On the "semi-direct product" we construct a homological vector field that projects to the Lie algebroid. Our main theorem states that this construction is a bijection. Since several classical geometric structures can be described by homological vector fields as above, we can display many explicit examples, involving Lie algebroids (including extensions, representations up to homotopy and their cocycles) as well as transitive Courant algebroids.


title: Nanostructured Polymer Films with Metal-like Thermal Conductivity

abstract: Thermally conductive polymers are of fundamental interest and can also be exploited in thermal management applications. Recent studies have shown stretched polymers can achieve high thermal conductivity. However, the transport mechanisms of heat in thermally conductive polymers have yet to be elucidated. Here we report a method for scalable fabrication of polyethylene films with a high thermal conductivity of 62 W/m-K. The achieved thermal conductivity is over two orders-of-magnitude greater than that of typical polymers (~0.1 W/m-K), and exceeds those of many metals and ceramics used as traditional heat conductors. Careful structural studies are carried out and reveal that the film consists of nanofibers with crystalline and amorphous regions. Contrary to conventional wisdom, we reveal the importance of the amorphous morphology in achieving such high thermal conductivity, rather than simply from enhancements in the degree of crystallinity and crystallite alignment. The amorphous phase reaches a remarkably high thermal conductivity of ~16 W/m-K. Even still, we identify that the presence of this amorphous phase is the dominant factor as the film thermal conductivity is still much lower than the predicted values for bulk single-crystal polyethylene (237 K/m-K). This work lays the foundation for the rational design and synthesis of thermally conductive polymers, and opens up new opportunities for advanced heat management, particularly when flexible, lightweight, chemically inert and electrically insulating thermal conductors are desired.


title: Visually Lossless Coding in HEVC: A High Bit Depth and 4:4:4 Capable JND-Based Perceptual Quantisation Technique for HEVC

abstract: Due to the increasing prevalence of high bit depth and YCbCr 4:4:4 video data, it is desirable to develop a JND-based visually lossless coding technique which can account for high bit depth 4:4:4 data in addition to standard 8-bit precision chroma subsampled data. In this paper, we propose a Coding Block (CB)-level JND-based luma and chroma perceptual quantisation technique for HEVC named Pixel-PAQ. Pixel-PAQ exploits both luminance masking and chrominance masking to achieve JND-based visually lossless coding; the proposed method is compatible with high bit depth YCbCr 4:4:4 video data of any resolution. When applied to YCbCr 4:4:4 high bit depth video data, Pixel-PAQ can achieve vast bitrate reductions, of up to 75% (68.6% over four QP data points), compared with a state-of-the-art luma-based JND method for HEVC named IDSQ. Moreover, the participants in the subjective evaluations confirm that visually lossless coding is successfully achieved by Pixel-PAQ (at a PSNR value of 28.04 dB in one test).


title: STNet: Selective Tuning of Convolutional Networks for Object Localization

abstract: Visual attention modeling has recently gained momentum in developing visual hierarchies provided by Convolutional Neural Networks. Despite recent successes of feedforward processing on the abstraction of concepts form raw images, the inherent nature of feedback processing has remained computationally controversial. Inspired by the computational models of covert visual attention, we propose the Selective Tuning of Convolutional Networks (STNet). It is composed of both streams of Bottom-Up and Top-Down information processing to selectively tune the visual representation of Convolutional networks. We experimentally evaluate the performance of STNet for the weakly-supervised localization task on the ImageNet benchmark dataset. We demonstrate that STNet not only successfully surpasses the state-of-the-art results but also generates attention-driven class hypothesis maps.


title: A Method with Feedback for Aggregation of Group Incomplete Pair-Wise Comparisons

abstract: A method for aggregation of expert estimates in small groups is proposed. The method is based on combinatorial approach to decomposition of pair-wise comparison matrices and to processing of expert data. It also uses the basic principles of Analytic Hierarchy/Network Process approaches, such as building of criteria hierarchy to decompose and describe the problem, and evaluation of objects by means of pair-wise comparisons. It allows to derive priorities based on group incomplete pair-wise comparisons and to organize feedback with experts in order to achieve sufficient agreement of their estimates. Double entropy inter-rater index is suggested for usage as agreement measure. Every expert is given an opportunity to use the scale, in which the degree of detail (number of points/grades) most adequately reflects this expert's competence in the issue under consideration, for every single pair comparison. The method takes all conceptual levels of individual expert competence (subject domain, specific problem, individual pair-wise comparison matrix, separate pair-wise comparison) into consideration. The method is intended to be used in the process of strategic planning in weakly-structured subject domains.


title: Topological noetherianity for algebraic representations of infinite rank classical groups

abstract: Draisma recently proved that polynomial representations of $\mathbf{GL}_{\infty}$ are topologically noetherian. We generalize this result to algebraic representations of infinite rank classical groups.


title: Layered material GeSe and vertical GeSe/MoS2 p-n heterojunctions

abstract: Group-IV monochalcogenides are emerging as a new class of layered materials beyond graphene, transition metal dichalcogenides (TMDCs), and black phosphorus (BP). In this paper, we report experimental and theoretical investigations of the band structure and transport properties of GeSe and its heterostructures. We find that GeSe exhibits a markedly anisotropic electronic transport, with maximum conductance along the armchair direction. Density functional theory calculations reveal that the effective mass is 2.7 times larger along the zigzag direction than the armchair direction; this mass anisotropy explains the observed anisotropic conductance. The crystallographic orientation of GeSe is confirmed by angleresolved polarized Raman measurements, which are further supported by calculated Raman tensors for the orthorhombic structure. Novel GeSe/MoS2 p-n heterojunctions are fabricated, combining the natural p-type doping in GeSe and n-type doping in MoS2. The temperature dependence of the measured junction current reveals that GeSe and MoS2 have a type-II band alignment with a conduction band offset of ~0.234 eV. The anisotropic conductance of GeSe may enable the development of new electronic and optoelectronic devices, such as high-efficiency thermoelectric devices and plasmonic devices with resonance frequency continuously tunable through light polarization direction. The unique GeSe/MoS2 p-n junctions with type-II alignment may become essential building blocks of vertical tunneling field-effect transistors for low-power applications. The novel p-type layered material GeSe can also be combined with n-type TMDCs to form heterogeneous complementary metal oxide semiconductor (CMOS) circuits.


title: Three examples of quantum dynamics on the half-line with smooth bouncing

abstract: This article is an introductory presentation of the quantization of the half-plane based on affine coherent states (ACS). The half-plane is viewed as the phase space for the dynamics of a positive physical quantity evolving with time, and its affine symmetry is preserved due to the covariance of this type of quantization. We promote the interest of such a procedure for transforming a classical model into a quantum one, since the singularity at the origin is systematically removed, and the arbitrariness of boundary conditions can be easily overcome. We explain some important mathematical aspects of the method. Three elementary examples of applications are presented, the quantum breathing of a massive sphere, the quantum smooth bouncing of a charged sphere, and a smooth bouncing "dust" sphere as a simple model of quantum Newtonian cosmology.


title: Practical Evaluation of the Lasp Programming Model at Large Scale - An Experience Report

abstract: Programming models for building large-scale distributed applications assist the developer in reasoning about consistency and distribution. However, many of the programming models for weak consistency, which promise the largest scalability gains, have little in the way of evaluation to demonstrate the promised scalability. We present an experience report on the implementation and large-scale evaluation of one of these models, Lasp, originally presented at PPDP `15, which provides a declarative, functional programming style for distributed applications. We demonstrate the scalability of Lasp's prototype runtime implementation up to 1024 nodes in the Amazon cloud computing environment. It achieves high scalability by uniquely combining hybrid gossip with a programming model based on convergent computation. We report on the engineering challenges of this implementation and its evaluation, specifically related to operating research prototypes in a production cloud environment.


title: Online Coherence Identification Using Dynamic Time Warping for Controlled Islanding

abstract: Controlled islanding is considered to be the last countermeasure to prevent system-wide blackouts in case of cascading failures. It splits the system into self-sustained islands to maintain transient stability at the expense of possible loss of load. Generator coherence identification is critical to controlled islanding scheme as it helps identify the optimal cut-set to maintain system transient stability. This paper presents a novel approach for online generator coherency identification using phasor measurement unit (PMU) data and dynamic time warping (DTW). Results from the coherence identification are used to further cluster non-generator buses using spectral clustering with the objective of minimizing power flow disruption. The proposed approach is validated and compared to existing methods on the IEEE 39-bus system, through which its advantages are demonstrated.


title: SafePredict: A Meta-Algorithm for Machine Learning That Uses Refusals to Guarantee Correctness

abstract: SafePredict is a novel meta-algorithm that works with any base prediction algorithm for online data to guarantee an arbitrarily chosen correctness rate, $1-\epsilon$, by allowing refusals. Allowing refusals means that the meta-algorithm may refuse to emit a prediction produced by the base algorithm on occasion so that the error rate on non-refused predictions does not exceed $\epsilon$. The SafePredict error bound does not rely on any assumptions on the data distribution or the base predictor. When the base predictor happens not to exceed the target error rate $\epsilon$, SafePredict refuses only a finite number of times. When the error rate of the base predictor changes through time SafePredict makes use of a weight-shifting heuristic that adapts to these changes without knowing when the changes occur yet still maintains the correctness guarantee. Empirical results show that (i) SafePredict compares favorably with state-of-the art confidence based refusal mechanisms which fail to offer robust error guarantees; and (ii) combining SafePredict with such refusal mechanisms can in many cases further reduce the number of refusals. Our software (currently in Python) is included in the supplementary material.


title: Cold Fusion: Training Seq2Seq Models Together with Language Models

abstract: Sequence-to-sequence (Seq2Seq) models with attention have excelled at tasks which involve generating natural language sentences such as machine translation, image captioning and speech recognition. Performance has further been improved by leveraging unlabeled data, often in the form of a language model. In this work, we present the Cold Fusion method, which leverages a pre-trained language model during training, and show its effectiveness on the speech recognition task. We show that Seq2Seq models with Cold Fusion are able to better utilize language information enjoying i) faster convergence and better generalization, and ii) almost complete transfer to a new domain while using less than 10% of the labeled training data.


title: A Bloch wave numerical scheme for scattering problems in periodic wave-guides

abstract: We present a new numerical scheme to solve the Helmholtz equation in a wave-guide. We consider a medium that is bounded in the $x_2$-direction, unbounded in the $x_1$-direction and $\varepsilon$-periodic for large $|x_1|$, allowing different media on the left and on the right. We suggest a new numerical method that is based on a truncation of the domain and the use of Bloch wave ansatz functions in radiation boxes. We prove the existence and a stability estimate for the infinite dimensional version of the proposed problem. The scheme is tested on several interfaces of homogeneous and periodic media and it is used to investigate the effect of negative refraction at the interface of a photonic crystal with a positive effective refractive index.


title: Micromagnetic simulations of magnetoelastic spin wave excitation in scaled magnetic waveguides

abstract: We study the excitation of spin waves in scaled magnetic waveguides using the magnetoelastic effect. In uniformly magnetized systems, normal strains parallel or perpendicular to the magnetization direction do not lead to spin wave excitation since the magnetoelastic torque is zero. Using micromagnetic simulations, we show that the nonuniformity of the magnetization in submicron waveguides due to the effect of the demagnetizing field leads to the excitation of spin waves for oscillating normal strains both parallel and perpendicular to the magnetization. The excitation by biaxial normal in-plane strain was found to be much more efficient than by uniaxial normal out-of-plane strain. For narrow waveguides with widths of 200\,nm, the excitation efficiency of biaxial normal in-plane strain was comparable to that of shear strain.


title: A remark on the critical exponent for the semilinear damped wave equation on the half-space

abstract: In this short notice, we prove the non-existence of global solutions to the semilinear damped wave equation on the half-space, and we determine the critical exponent for any space dimension.


title: Urn models with two types of strategies

abstract: We study an urn process containing red and blue balls and two different strategies to reinforce the urn. Namely, a generalized P\'olya-type strategy versus an i.i.d. one. At each step, one of the two reinforcement strategies is chosen by flipping a coin. We study the asymptotic behaviour of this urn model, and prove a law of large numbers, a central limit theorem and a functional limit theorem for the proportion of balls into the urn. A phase transition is also stated.


title: Approximating the Minimum $k$-Section Width in Bounded-Degree Trees with Linear Diameter

abstract: Minimum $k$-Section denotes the NP-hard problem to partition the vertex set of a graph into $k$ sets of sizes as equal as possible while minimizing the cut width, which is the number of edges between these sets. When $k$ is an input parameter and $n$ denotes the number of vertices, it is NP-hard to approximate the width of a minimum $k$-section within a factor of $n^c$ for any $c<1$, even when restricted to trees with constant diameter. Here, we show that every tree $T$ allows a $k$-section of width at most $(k-1) (2 + 16n / diam(T) ) \Delta(T)$. This implies a polynomial-time constant-factor approximation for the Minimum $k$-Section Problem when restricted to trees with linear diameter and constant maximum degree. Moreover, we extend our results from trees to arbitrary graphs with a given tree decomposition.


title: Decentralized Event-Driven Algorithms for Multi-Agent Persistent Monitoring

abstract: We address the issue of identifying conditions under which the centralized solution to the optimal multi-agent persistent monitoring problem can be recovered in a decentralized event-driven manner. In this problem, multiple agents interact with a finite number of targets and the objective is to control their movement in order to minimize an uncertainty metric associated with the targets. In a one-dimensional setting, it has been shown that the optimal solution can be reduced to a simpler parametric optimization problem and that the behavior of agents under optimal control is described by a hybrid system. This hybrid system can be analyzed using Infinitesimal Perturbation Analysis (IPA) to obtain a complete on-line solution through an event-driven centralized gradient-based algorithm. We show that the IPA gradient can be recovered in a distributed manner in which each agent optimizes its trajectory based on local information, except for one event requiring communication from a non-neighbor agent. Simulation examples are included to illustrate the effectiveness of this "almost decentralized" algorithm and its fully decentralized counterpart where the aforementioned non-local event is ignored.


title: PiCANet: Learning Pixel-wise Contextual Attention for Saliency Detection

abstract: Contexts play an important role in the saliency detection task. However, given a context region, not all contextual information is helpful for the final task. In this paper, we propose a novel pixel-wise contextual attention network, i.e., the PiCANet, to learn to selectively attend to informative context locations for each pixel. Specifically, for each pixel, it can generate an attention map in which each attention weight corresponds to the contextual relevance at each context location. An attended contextual feature can then be constructed by selectively aggregating the contextual information. We formulate the proposed PiCANet in both global and local forms to attend to global and local contexts, respectively. Both models are fully differentiable and can be embedded into CNNs for joint training. We also incorporate the proposed models with the U-Net architecture to detect salient objects. Extensive experiments show that the proposed PiCANets can consistently improve saliency detection performance. The global and local PiCANets facilitate learning global contrast and homogeneousness, respectively. As a result, our saliency model can detect salient objects more accurately and uniformly, thus performing favorably against the state-of-the-art methods.


title: Level Spacings and Nodal Sets at Infinity for Radial Perturbations of the Harmonic Oscillator

abstract: We study properties of the nodal sets of high frequency eigenfunctions and quasimodes for radial perturbations of the Harmonic Oscillator. In particular, we consider nodal sets on spheres of large radius (in the classically forbidden region) for quasimodes with energies lying in intervals around a fixed energy $E$. For well chosen intervals we show that these nodal sets exhibit quantitatively different behavior compared to those of the unperturbed Harmonic Oscillator. These energy intervals are defined via a careful analysis of the eigenvalue spacings for the perturbed operator, based on analytic perturbation theory and linearization formulas for Laguerre polynomials.


title: On the origin of magnetism in (Ga,Mn)As: from paramagnetic through superparamagnetic to ferromagnetic phase

abstract: The high-spectral-resolution spectroscopic studies of the energy gap evolution, supplemented with electronic, magnetic and structural characterization, show that the modification of the GaAs valence band caused by Mn incorporation occurs already for a very low Mn content, much lower than that required to support ferromagnetic spin - spin coupling in (Ga,Mn)As. Only for n-type (Ga,Mn)As with the Mn content below about 0.3% the Mn-related extended states are visible as a feature detached from the valence-band edge and partly occupied with electrons. The combined magnetic and low-temperature photoreflectance studies presented here indicate that the paramagnetic - ferromagnetic transformation in p-type (Ga,Mn)As takes place without imposing changes of the unitary character of the valence band with the Fermi level located therein. The whole process is rooted in the nanoscale fluctuations of the local (hole) density of states and the formation of a superparamagnetic-like state. The Fermi level in (Ga,Mn)As is coarsened by the carrier concentration of the itinerant valence band holes and further fine-tuned by the many-body interactions.


title: Unbiased Shrinkage Estimation

abstract: Shrinkage estimation usually reduces variance at the cost of bias. But when we care only about some parameters of a model, I show that we can reduce variance without incurring bias if we have additional information about the distribution of covariates. In a linear regression model with homoscedastic Normal noise, I consider shrinkage estimation of the nuisance parameters associated with control variables. For at least three control variables and exogenous treatment, I establish that the standard least-squares estimator is dominated with respect to squared-error loss in the treatment effect even among unbiased estimators and even when the target parameter is low-dimensional. I construct the dominating estimator by a variant of James-Stein shrinkage in a high-dimensional Normal-means problem. It can be interpreted as an invariant generalized Bayes estimator with an uninformative (improper) Jeffreys prior in the target parameter.


title: Secure Two-Way Transmission via Wireless-Powered Untrusted Relay and External Jammer

abstract: In this paper, we propose a two-way secure communication scheme where two transceivers exchange confidential messages via a wireless powered untrusted amplify-and-forward (AF) relay in the presence of an external jammer. We take into account both friendly jamming (FJ) and Gaussian noise jamming (GNJ) scenarios. Based on the time switching (TS) architecture at the relay, the data transmission is done in three phases. In the first phase, both the energy-starved nodes, the untrustworthy relay and the jammer, are charged by non-information radio frequency (RF) signals from the sources. In the second phase, the two sources send their information signals and concurrently, the jammer transmits artificial noise to confuse the curious relay. Finally, the third phase is dedicated to forward a scaled version of the received signal from the relay to the sources. For the proposed secure transmission schemes, we derive new closed-form lower-bound expressions for the ergodic secrecy sum rate (ESSR) in the high signal-to-noise ratio (SNR) regime. We further analyze the asymptotic ESSR to determine the key parameters; the high SNR slope and the high SNR power offset of the jamming based scenarios. To highlight the performance advantage of the proposed FJ, we also examine the scenario of without jamming (WoJ). Finally, numerical examples and discussions are provided to acquire some engineering insights, and to demonstrate the impacts of different system parameters on the secrecy performance of the considered communication scenarios. The numerical results illustrate that the proposed FJ significantly outperforms the traditional one-way communication and the Constellation rotation approach, as well as our proposed benchmarks, the two-way WoJ and GNJ scenarios.


title: Sum-Product Graphical Models

abstract: This paper introduces a new probabilistic architecture called Sum-Product Graphical Model (SPGM). SPGMs combine traits from Sum-Product Networks (SPNs) and Graphical Models (GMs): Like SPNs, SPGMs always enable tractable inference using a class of models that incorporate context specific independence. Like GMs, SPGMs provide a high-level model interpretation in terms of conditional independence assumptions and corresponding factorizations. Thus, the new architecture represents a class of probability distributions that combines, for the first time, the semantics of graphical models with the evaluation efficiency of SPNs. We also propose a novel algorithm for learning both the structure and the parameters of SPGMs. A comparative empirical evaluation demonstrates competitive performances of our approach in density estimation.


title: LSP baryogenesis and neutron-antineutron oscillations from R-parity violation

abstract: R-parity and baryon number violating operators can be allowed in the Supersymmetric Standard Model and thus lead to interesting baryon number violating processes such as neutron-antineutron oscillations and baryogenesis of the Universe via the decay of the lightest supersymmetric particle (LSP). Adopting the LSP baryogenesis mechanism realized by the late decay of the axino, we identify a single coupling lambda''_313 as a common origin for the matter-antimatter asymmetry of the Universe as well as potentially observable neutron-antineutron oscillation rates. From this, rather strong constraints on the supersymmetry breaking masses and the axion decay constant are obtained. The favoured parameter space of lambda''_313 ~ 0.1 and sub-TeV masses for the relevant sparticles is readily accessible by the current and future LHC searches.


title: Phase Transitions in Systems with Aggregation and Shattering

abstract: We consider a system of clusters made of elementary building blocks, monomers, and evolving via collisions between diffusing monomers and immobile composite clusters. In our model, the cluster-monomer collision can lead to the attachment of the monomer to the cluster (addition process) or to the total break-up of the cluster (shattering process). A phase transition, separating qualitatively different behaviors, occurs when the probability of shattering events exceeds a certain threshold. The novel feature of the phase transition is the dramatic dependence on the initial conditions.


title: A Hybrid Approach for Data Analytics for Internet of Things

abstract: The vision of the Internet of Things is to allow currently unconnected physical objects to be connected to the internet. There will be an extremely large number of internet connected devices that will be much more than the number of human being in the world all producing data. These data will be collected and delivered to the cloud for processing, especially with a view of finding meaningful information to then take action. However, ideally the data needs to be analysed locally to increase privacy, give quick responses to people and to reduce use of network and storage resources. To tackle these problems, distributed data analytics can be proposed to collect and analyse the data either in the edge or fog devices. In this paper, we explore a hybrid approach which means that both innetwork level and cloud level processing should work together to build effective IoT data analytics in order to overcome their respective weaknesses and use their specific strengths. Specifically, we collected raw data locally and extracted features by applying data fusion techniques on the data on resource constrained devices to reduce the data and then send the extracted features to the cloud for processing. We evaluated the accuracy and data consumption over network and thus show that it is feasible to increase privacy and maintain accuracy while reducing data communication demands.


title: Keller's Theorem Revisited

abstract: Keller's theorem relates the components of the macroscopic dielectric response of a binary two-dimensional composite system with those of the reciprocal system obtained by interchanging its components. We present a derivation of the theorem that, unlike previous ones, does not employ the common asumption that the response function relates an irrotational to a solenoidal field and that is valid for dispersive and dissipative anisotropic systems. We show that the usual statement of Keller's theorem in terms of the conductivity is strictly valid only at zero frequency. We verify the theorem numerically in several ordered and disordered systems and discuss some of its consequences.


title: Bias Reduction in Instrumental Variable Estimation through First-Stage Shrinkage

abstract: The two-stage least-squares (2SLS) estimator is known to be biased when its first-stage fit is poor. I show that better first-stage prediction can alleviate this bias. In a two-stage linear regression model with Normal noise, I consider shrinkage in the estimation of the first-stage instrumental variable coefficients. For at least four instrumental variables and a single endogenous regressor, I establish that the standard 2SLS estimator is dominated with respect to bias. The dominating IV estimator applies James-Stein type shrinkage in a first-stage high-dimensional Normal-means problem followed by a control-function approach in the second stage. It preserves invariances of the structural instrumental variable equations.


title: Yang-Lee Zeros of the Yang-Lee Model

abstract: To understand the distribution of the Yang-Lee zeros in quantum integrable field theories we analyse the simplest of these systems given by the two-dimensional Yang-Lee model. The grand-canonical partition function of this quantum field theory, as a function of the fugacity z and the inverse temperature beta, can be computed in terms of the Thermodynamics Bethe Ansatz based on its exact S-matrix. We extract the Yang-Lee zeros in the complex plane by using a sequence of polynomials of increasing order N in z which converges to the grand-canonical partition function. We show that these zeros are distributed along curves which are approximate circles as it is also the case of the zeros for purely free theories. There is though an important difference between the interactive theory and the free theories, for the radius of the zeros in the interactive theory goes continuously to zero in the high-temperature limit beta ->0 while in the free theories it remains close to 1 even for small values of beta, jumping to 0 only at beta = 0.


title: Planning Based System for Child-Robot Interaction in Dynamic Play Environments

abstract: This paper describes the initial steps towards the design of a robotic system that intends to perform actions autonomously in a naturalistic play environment. At the same time it aims for social human-robot interaction~(HRI), focusing on children. We draw on existing theories of child development and on dimensional models of emotions to explore the design of a dynamic interaction framework for natural child-robot interaction. In this dynamic setting, the social HRI is defined by the ability of the system to take into consideration the socio-emotional state of the user and to plan appropriately by selecting appropriate strategies for execution. The robot needs a temporal planning system, which combines features of task-oriented actions and principles of social human robot interaction. We present initial results of an empirical study for the evaluation of the proposed framework in the context of a collaborative sorting game.


title: A model of chiral spin liquids with Abelian and non-Abelian topological phases

abstract: We present a two-dimensional lattice model for quantum spin-1/2 for which the low-energy limit is governed by four flavors of strongly interacting Majorana fermions. We study this low-energy effective theory using two alternative approaches. The first consists of a mean-field approximation. The second consists of a Random Phase approximation (RPA) for the single-particle Green's functions of the Majorana fermions built from their exact forms in a certain one-dimensional limit. The resulting phase diagram consists of two competing chiral phases, one with Abelian and the other with non-Abelian topological order, separated by a continuous phase transition. Remarkably, the Majorana fermions propagate in the two-dimensional bulk, as in the Kitaev model for a spin liquid on the honeycomb lattice. We identify the vison fields, which are mobile (they are static in the Kitaev model) domain walls propagating along only one of the two space directions.


title: Pompeiu-Chebyshev type inequalities for selfadjoint operators in Hilbert spaces

abstract: In this work, generalization of some inequalities for continuous $h$-synchronous ($h$-asynchronous) functions of selfadjoint linear operators in Hilbert spaces are proved.


title: The p-convolution forest: a method for solving graphical models with additive probabilistic equations

abstract: Convolution trees, loopy belief propagation, and fast numerical p-convolution are combined for the first time to efficiently solve networks with several additive constraints between random variables. An implementation of this "convolution forest" approach is constructed from scratch, including an improved trimmed convolution tree algorithm and engineering details that permit fast inference in practice, and improve the ability of scientists to prototype models with additive relationships between discrete variables. The utility of this approach is demonstrated using several examples: these include illustrations on special cases of some classic NP-complete problems (subset sum and knapsack), identification of GC-rich genomic regions with a large hidden Markov model, inference of molecular composition from summary statistics of the intact molecule, and estimation of elemental abundance in the presence of overlapping isotope peaks.


title: Arrangements of Pseudocircles: Triangles and Drawings

abstract: A pseudocircle is a simple closed curve on the sphere or in the plane. The study of arrangements of pseudocircles was initiated by Gr\"unbaum, who defined them as collections of simple closed curves that pairwise intersect in exactly two crossings. Gr\"unbaum conjectured that the number of triangular cells $p_3$ in digon-free arrangements of $n$ pairwise intersecting pseudocircles is at least $2n-4$. We present examples to disprove this conjecture. With a recursive construction based on an example with $12$ pseudocircles and $16$ triangles we obtain a family with $p_3(\mathcal{A})/n \to 16/11 = 1.\overline{45}$. We expect that the lower bound $p_3(\mathcal{A}) \geq 4n/3$ is tight for infinitely many simple arrangements. It may however be true that all digon-free arrangements of $n$ pairwise intersecting circles have at least $2n-4$ triangles. For pairwise intersecting arrangements with digons we have a lower bound of $p_3 \geq 2n/3$, and conjecture that $p_3 \geq n-1$. Concerning the maximum number of triangles in pairwise intersecting arrangements of pseudocircles, we show that $p_3 \le 2n^2/3 +O(n)$. This is essentially best possible because there are families of pairwise intersecting arrangements of $n$ pseudocircles with $p_3/n^2 \to 2/3$. The paper contains many drawings of arrangements of pseudocircles and a good fraction of these drawings was produced automatically from the combinatorial data produced by our generation algorithm. In the final section we describe some aspects of the drawing algorithm.


title: Entirely protecting operating systems against transient errors in space environment

abstract: In this article, we propose a mainly-software hardening technique to totally protect unmodified running operating systems on COTS hardware against transient errors in heavily radiation - flooded environment like high altitude space. The technique is currently being implemented in a hypervisor and allows to control the upper layers of the software stack (operating system and applications). The rest of the system, the hypervisor, will be protected by other means, thus resulting in a completely protected system against transient errors. The induced overhead turns around 200% but this is expected to decrease with future improvements.


title: Optimal control of a delayed HIV model

abstract: We propose a model for the human immunodeficiency virus type 1 (HIV-1) infection with intracellular delay and prove the local asymptotical stability of the equilibrium points. Then we introduce a control function representing the efficiency of reverse transcriptase inhibitors and consider the pharmacological delay associated to the control. Finally, we propose and analyze an optimal control problem with state and control delays. Through numerical simulations, extremal solutions are proposed for minimization of the virus concentration and treatment costs.


title: Studies on the Pea Pattern Sequence

abstract: The paper will formally define the family of sequences know as "Pea Pattern". It will then anaylize its behaviour and conditions for fixed and periodic points. The paper ends with a list of fixed points and cycles.


title: Sharpness-aware Low dose CT denoising using conditional generative adversarial network

abstract: Low Dose Computed Tomography (LDCT) has offered tremendous benefits in radiation restricted applications, but the quantum noise as resulted by the insufficient number of photons could potentially harm the diagnostic performance. Current image-based denoising methods tend to produce a blur effect on the final reconstructed results especially in high noise levels. In this paper, a deep learning based approach was proposed to mitigate this problem. An adversarially trained network and a sharpness detection network were trained to guide the training process. Experiments on both simulated and real dataset shows that the results of the proposed method have very small resolution loss and achieves better performance relative to the-state-of-art methods both quantitatively and visually.


title: Disorder versus two transport lifetimes in a strongly correlated electron liquid

abstract: We report on angle-dependent measurements of the sheet resistances and Hall coefficients of electron liquids in SmTiO3/SrTiO3/SmTiO3 quantum well structures, which were grown by molecular beam epitaxy on (001) DyScO3. We compare their transport properties with those of similar structures grown on LSAT [(La0.3Sr0.7)(Al0.65Ta0.35)O3]. On DyScO3, planar defects normal to the quantum wells lead to a strong in-plane anisotropy in the transport properties. This allows for quantifying the role of defects in transport. In particular, we investigate differences in the longitudinal and Hall scattering rates, which is a non-Fermi liquid phenomenon known as lifetime separation. The residuals in both the longitudinal resistance and Hall angle were found to depend on the relative orientations of the transport direction to the planar defects. The Hall angle exhibited a robust T2 temperature dependence along all directions, whereas no simple power law could describe the temperature dependence of the longitudinal resistances. Remarkably, the degree of the carrier lifetime separation, as manifested in the distinctly different temperature dependences and diverging residuals near a critical quantum well thickness, was completely insensitive to disorder. The results allow for a clear distinction between disorder-induced contributions to the transport and intrinsic, non-Fermi liquid phenomena, which includes the lifetime separation.


title: Very low scale Coleman-Weinberg inflation with non-minimal coupling

abstract: We study viable small-field Coleman-Weinberg (CW) inflation models with the help of non-minimal coupling to gravity. The simplest small-field CW inflation model (with a low-scale potential minimum) is incompatible with the cosmological constraint on the scalar spectral index. However, there are possibilities to make the model realistic. First, we revisit the CW inflation model supplemented with a linear potential term. We next consider the CW inflation model with a logarithmic non-minimal coupling and illustrate that the model can open a new viable parameter space that includes the model with a linear potential term. We also show parameter spaces where the Hubble scale during the inflation can be as small as $10^{-4} $ GeV, $1$ GeV, $10^4 $ GeV, and $10^8$ GeV for the number of $e$-folds of $40,~45,~50$, and $55$, respectively, with other cosmological constraints being satisfied.


title: Three faces of node importance in network epidemiology: Exact results for small graphs

abstract: We investigate three aspects of the importance of nodes with respect to Susceptible-Infectious-Removed (SIR) disease dynamics: influence maximization (the expected outbreak size given a set of seed nodes), the effect of vaccination (how much deleting nodes would reduce the expected outbreak size) and sentinel surveillance (how early an outbreak could be detected with sensors at a set of nodes). We calculate the exact expressions of these quantities, as functions of the SIR parameters, for all connected graphs of three to seven nodes. We obtain the smallest graphs where the optimal node sets are not overlapping. We find that: node separation is more important than centrality for more than one active node, that vaccination and influence maximization are the most different aspects of importance, and that the three aspects are more similar when the infection rate is low.


title: Ergodic actions of the compact quantum group $O_{-1}(2)$

abstract: Among the ergodic actions of a compact quantum group $\mathbb{G}$ on possibly non-commutative spaces, those that are {\it embeddable} are the natural analogues of actions of a compact group on its homogeneous spaces. These can be realized as {\it coideal subalgebras} of the function algebra $\mathcal{O}(\mathbb{G})$ attached to the compact quantum group. We classify the embeddable ergodic actions of the compact quantum group $O_{-1}(2)$, basing our analysis on the bijective correspondence between all ergodic actions of the classical group $O(2)$ and those of its quantum twist resulting from the monoidal equivalence between their respective tensor categories of unitary representations. In the last section we give counterexamples showing that in general we cannot expect a bijective correspondence between embeddable ergodic actions of two monoidally equivalent compact quantum groups.


title: (Tissue) P Systems with Vesicles of Multisets

abstract: We consider tissue P systems working on vesicles of multisets with the very simple operations of insertion, deletion, and substitution of single objects. With the whole multiset being enclosed in a vesicle, sending it to a target cell can be indicated in those simple rules working on the multiset. As derivation modes we consider the sequential mode, where exactly one rule is applied in a derivation step, and the set maximal mode, where in each derivation step a non-extendable set of rules is applied. With the set maximal mode, computational completeness can already be obtained with tissue P systems having a tree structure, whereas tissue P systems even with an arbitrary communication structure are not computationally complete when working in the sequential mode. Adding polarizations (-1, 0, 1 are sufficient) allows for obtaining computational completeness even for tissue P systems working in the sequential mode.


title: Unavoidable Sets of Partial Words of Uniform Length

abstract: A set X of partial words over a finite alphabet A is called unavoidable if every two-sided infinite word over A has a factor compatible with an element of X. Unlike the case of a set of words without holes, the problem of deciding whether or not a given finite set of n partial words over a k-letter alphabet is avoidable is NP-hard, even when we restrict to a set of partial words of uniform length. So classifying such sets, with parameters k and n, as avoidable or unavoidable becomes an interesting problem. In this paper, we work towards this classification problem by investigating the maximum number of holes we can fill in unavoidable sets of partial words of uniform length over an alphabet of any fixed size, while maintaining the unavoidability property.


title: On the Descriptional Complexity of Operations on Semilinear Sets

abstract: We investigate the descriptional complexity of operations on semilinear sets. Roughly speaking, a semilinear set is the finite union of linear sets, which are built by constant and period vectors. The interesting parameters of a semilinear set are: (i) the maximal value that appears in the vectors of periods and constants and (ii) the number of such sets of periods and constants necessary to describe the semilinear set under consideration. More precisely, we prove upper bounds on the union, intersection, complementation, and inverse homomorphism. In particular, our result on the complementation upper bound answers an open problem from [G. J. LAVADO, G. PIGHIZZINI, S. SEKI: Operational State Complexity of Parikh Equivalence, 2014].


title: Dyck Words, Lattice Paths, and Abelian Borders

abstract: We use results on Dyck words and lattice paths to derive a formula for the exact number of binary words of a given length with a given minimal abelian border length, tightening a bound on that number from Christodoulakis et al. (Discrete Applied Mathematics, 2014). We also extend to any number of distinct abelian borders a result of Rampersad et al. (Developments in Language Theory, 2013) on the exact number of binary words of a given length with no abelian borders. Furthermore, we generalize these results to partial words.


title: Constructing Words with High Distinct Square Densities

abstract: Fraenkel and Simpson showed that the number of distinct squares in a word of length n is bounded from above by 2n, since at most two distinct squares have their rightmost, or last, occurrence begin at each position. Improvements by Ilie to $2n-\Theta(\log n)$ and by Deza et al. to 11n/6 rely on the study of combinatorics of FS-double-squares, when the maximum number of two last occurrences of squares begin. In this paper, we first study how to maximize runs of FS-double-squares in the prefix of a word. We show that for a given positive integer m, the minimum length of a word beginning with m FS-double-squares, whose lengths are equal, is 7m+3. We construct such a word and analyze its distinct-square-sequence as well as its distinct-square-density. We then generalize our construction. We also construct words with high distinct-square-densities that approach 5/6.


title: The Triple-Pair Construction for Weighted $\omega$-Pushdown Automata

abstract: Let S be a complete star-omega semiring and Sigma be an alphabet. For a weighted omega-pushdown automaton P with stateset 1...n, n greater or equal to 1, we show that there exists a mixed algebraic system over a complete semiring-semimodule pair ((S<<Sigma*>>)^nxn, (S<<Sigma^omega>>)^n) such that the behavior ||P|| of P is a component of a solution of this system. In case the basic semiring is the Boolean semiring or the semiring of natural numbers (augmented with infinity), we show that there exists a mixed context-free grammar that generates ||P||. The construction of the mixed context-free grammar from P is a generalization of the well known triple construction and is called now triple-pair construction for omega-pushdown automata.


title: Input-Driven Double-Head Pushdown Automata

abstract: We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite directions on the common input tape. In every step one head is moved and the automaton decides on acceptance if the heads meet. Demanding the automaton to work input-driven it is required that every input symbol uniquely defines the action on the pushdown store (push, pop, state change). Normally this is modeled by a partition of the input alphabet and is called a signature. Since our automaton model works with two heads either both heads respect the same signature or each head owes its own signature. This results in two variants of input-driven double-head pushdown automata. The induced language families on input-driven double-head pushdown automata are studied from the perspectives of their language describing capability, their closure properties, and decision problems.


title: Weakly and Strongly Irreversible Regular Languages

abstract: Finite automata whose computations can be reversed, at any point, by knowing the last k symbols read from the input, for a fixed k, are considered. These devices and their accepted languages are called k-reversible automata and k-reversible languages, respectively. The existence of k-reversible languages which are not (k-1)-reversible is known, for each k>1. This gives an infinite hierarchy of weakly irreversible languages, i.e., languages which are k-reversible for some k. Conditions characterizing the class of k-reversible languages, for each fixed k, and the class of weakly irreversible languages are obtained. From these conditions, a procedure that given a finite automaton decides if the accepted language is weakly or strongly (i.e., not weakly) irreversible is described. Furthermore, a construction which allows to transform any finite automaton which is not k-reversible, but which accepts a k-reversible language, into an equivalent k-reversible finite automaton, is presented.


title: Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata

abstract: Previously, self-verifying symmetric difference automata were defined and a tight bound of 2^n-1-1 was shown for state complexity in the unary case. We now consider the non-unary case and show that, for every n at least 2, there is a regular language L_n accepted by a non-unary self-verifying symmetric difference nondeterministic automaton with n states, such that its equivalent minimal deterministic finite automaton has 2^n-1 states. Also, given any SV-XNFA with n states, it is possible, up to isomorphism, to find at most another |GL(n,Z_2)|-1 equivalent SV-XNFA.


title: CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages

abstract: The L(PSCG)=L(CS) problem asks whether propagating scattered context grammars and context sensitive grammars are equivalent. The presented paper reformulates and answers this problem in terms of CD grammar systems. More specifically, it characterizes the family of context sensitive languages by two-component CD grammar systems with propagating scattered context rules.


title: Co-design of Safe and Efficient Networked Control Systems in Factory Automation with State-dependent Wireless Fading Channels

abstract: In factory automation, heterogeneous manufacturing processes need to be coordinated over wireless networks to achieve safety and efficiency. These wireless networks, however, are inherently unreliable due to shadow fading induced by the physical motion of the machinery. To assure both safety and efficiency, this paper proposes a state-dependent channel model that captures the interaction between the physical and communication systems. By adopting this channel model, sufficient conditions on the maximum allowable transmission interval are then derived to ensure stochastic safety for a nonlinear physical system controlled over a state-dependent wireless fading channel. Under these sufficient conditions, the safety and efficiency co-design problem is formulated as a constrained cooperative game, whose equilibria represent optimal control and transmission power policies that minimize a discounted joint-cost in an infinite horizon. This paper shows that the equilibria of the constrained game are solutions to a non-convex generalized geometric program, which are approximated by solving two convex programs. The optimality gap is quantified as a function of the size of the approximation region in convex programs, and asymptotically converges to zero by adopting a branch-bound algorithm. Simulation results of a networked robotic arm and a forklift truck are presented to verify the proposed co-design method.


title: A New Sensing 5'-->3' Watson-Crick Automata Concept

abstract: Watson-Crick (WK) finite automata are working on a Watson-Crick tape, that is, on a DNA molecule. Therefore, it has two reading heads. While in traditional WK automata both heads read the whole input in the same physical direction, in 5'->3' WK automata the heads start from the two extremes and read the input in opposite direction. In sensing 5'->3' WK automata the process on the input is finished when the heads meet. Since the heads of a WK automaton may read longer strings in a transition, in previous models a so-called sensing parameter took care for the proper meeting of the heads (not allowing to read the same positions of the input in the last step). In this paper, a new model is investigated, which works without the sensing parameter (it is done by an appropriate change of the concept of configuration). Consequently, the accepted language classes of the variants are also changed. Various hierarchy results are proven in the paper.


title: On h-Lexicalized Restarting Automata

abstract: Following some previous studies on restarting automata, we introduce a refined model - the h-lexicalized restarting automaton (h-RLWW). We argue that this model is useful for expressing lexicalized syntax in computational linguistics. We compare the input languages, which are the languages traditionally considered in automata theory, to the so-called basic and h-proper languages, which are (implicitly) used by categorial grammars, the original tool for the description of lexicalized syntax. The basic and h-proper languages allow us to stress several nice properties of h-lexicalized restarting automata, and they are suitable for modeling the analysis by reduction and, subsequently, for the development of categories of a lexicalized syntax. Based on the fact that a two-way deterministic monotone restarting automaton can be transformed into an equivalent deterministic monotone RL-automaton in (Marcus) contextual form, we obtain a transformation from monotone RLWW-automata that recognize the class CFL of context-free languages as their input languages to deterministic monotone h-RLWW-automata that recognize CFL through their h-proper languages. Through this transformation we obtain automata with the complete correctness preserving property and an infinite hierarchy within CFL, based on the size of the read/write window. Additionally, we consider h-RLWW-automata that are allowed to perform multiple rewrite steps per cycle, and we establish another infinite hierarchy above CFL that is based on the number of rewrite steps that may be executed within a cycle. The corresponding separation results and their proofs illustrate the transparency of h-RLWW-automata that work with the (complete or cyclic) correctness preserving property


title: On possibility of time reversal symmetry violation in neutrino elastic scattering on polarized electron target

abstract: In this paper, we indicate a possibility of utilizing the elastic scattering of the Dirac low energy ($\sim 1$ MeV) electron neutrinos ($\nu_e$'s) on the polarized electron target (PET) in testing the time reversal symmetry violation (TRSV). We consider a scenario in which the incoming $\nu_e$ beam is the superposition of left chiral (LC) and right chiral (RC) states. LC $\nu_e$'s interact mainly by the standard $V - A$, while RC ones are only detected by the exotic $V + A$ and $S_R, P_R, T_R$ interactions. One assumes that the spin polarization vector of the initial $\nu_e$'s is turned aside from the $\nu_e$ momentum, and due to this the non-vanishing transversal component of the $\nu_e$ spin polarization appears. We compute the differential cross section as a function of the recoil electron azimuthal angle and scattered electron energy, and show how the interference terms between standard $V-A$ and exotic $S_R, P_R, T_R$ couplings depend on the various angular correlations among the transversal $\nu_e$ spin polarization, the polarization of the electron target, the incoming neutrino momentum and the outgoing electron momentum in the limit of relativistic $\nu_e$. We illustrate how the maximal value of recoil electrons azimuthal asymmetry and the asymmetry axis location of outgoing electrons depend on the azimuthal angle of the transversal component of the $\nu_e$ spin polarization, both for the time reversal symmetry conservation (TRSC) and TRSV. Next, we display that the electron energy spectrum and polar angle distribution of the recoil electrons are also sensitive to the interference terms between $V - A$ and $S_R, P_R, T_R$ couplings, proportional to the T-even and T-odd angular correlations. Our model-independent analysis is carried out for the flavor $\nu_e$'s.


title: Emergence of Gapped Bulk and Metallic Side Walls in the Zeroth Landau level in Dirac and Weyl semimetals

abstract: Recent transport experiments have revealed the activation of longitudinal magnetoresistance of Weyl semimetals in the quantum limit, suggesting the breakdown of chiral anomaly in a strong magnetic field. Here we provide a general mechanism for gapping the zeroth chiral Landau levels applicable for both Dirac and Weyl semimetals. Our result shows that the zeroth Landau levels anticross when the magnetic axis is perpendicular to the Dirac/Weyl node separation and when the inverse magnetic length $l_B^{-1}$ is comparable to the node separation scale $\Delta k$. The induced bulk gap increases rapidly beyond a threshold field in Weyl semimetals, but has no threshold and is non-monotonic in Dirac systems due to the crossover between $l_B^{-1}>\Delta k$ and $l_B^{-1}<\Delta k$ regions. We also find that the Dirac and possibly Weyl systems host counterpropagating edge states between the zeroth Landau levels, leading to a state with metallic side walls and zero Hall conductance.


title: Scale-Dependent Galaxy Bias from Massive Particles with Spin during Inflation

abstract: The presence of additional particles during inflation leads to non-Gaussianity in late-time correlators of primordial curvature perturbations. The shape and amplitude of this signal depend on the mass and spin of the extra particles. Constraints on this distinct form of primordial non-Gaussianity, therefore, provide a wealth of information on the particle content during inflation. We investigate the potential of upcoming galaxy surveys in constraining such a signature through its impact on the observed galaxy power spectrum. Primordial non-Gaussianity of various shapes induces a scale-dependent bias on tracers of large-scale structure, such as galaxies. Using this signature we obtain constraints on massive particles during inflation, which can have non-zero spins. In particular, we show that the prospects for constraining particles with spins 0 and 1 are promising, while constraining particles with spin 2 from power spectrum alone seems challenging. We show that the multi-tracer technique can significantly improve the constraints from the power spectrum by at least an order of magnitude. Furthermore, we analyze the effect of non-linearities due to gravitational evolution on the forecasted constraints on the masses of the extra particles and the amplitudes of the imprinted non-Gaussian signal. We find that gravitational evolution affects the constraints by less than a factor of 2.


title: Explicitly correlated formalism for second-order single-particle Green's function

abstract: We present an explicitly correlated formalism for the second-order single-particle Green's function method (GF2-F12) that does not assume the popular diagonal approximation, and describes the energy dependence of the explicitly correlated terms. For small and medium organic molecules the basis set errors of ionization potentials of GF2-F12 are radically improved relative to GF2: the performance of GF2-F12/aug- cc-pVDZ is better than that of GF2/aug-cc-pVQZ, at a significantly lower cost.


title: Device-Aware Routing and Scheduling in Multi-Hop Device-to-Device Networks

abstract: The dramatic increase in data and connectivity demand, in addition to heterogeneous device capabilities, poses a challenge for future wireless networks. One of the promising solutions is Device-to-Device (D2D) networking. D2D networking, advocating the idea of connecting two or more devices directly without traversing the core network, is promising to address the increasing data and connectivity demand. In this paper, we consider D2D networks, where devices with heterogeneous capabilities including computing power, energy limitations, and incentives participate in D2D activities heterogeneously. We develop (i) a device-aware routing and scheduling algorithm (DARS) by taking into account device capabilities, and (ii) a multi-hop D2D testbed using Android-based smartphones and tablets by exploiting Wi-Fi Direct and legacy Wi-Fi connections. We show that DARS significantly improves throughput in our testbed as compared to state-of-the-art.


title: Studies of braided non-Abelian anyons using anyonic tensor networks

abstract: The content of this thesis can be broadly summarised into two categories: first, I constructed modified numerical algorithms based on tensor networks to simulate systems of anyons in low dimensions, and second, I used those methods to study the topological phases the anyons form when they braid around one another. In the first phase of my thesis, I extended the anyonic tensor network algorithms, by incorporating U(1) symmetry to give a modified ansatz, Anyon-U(1) tensor networks, which are capable of simulating anyonic systems at any rational filling fraction. In the second phase, I used the numerical methods to study some models of non-Abelian anyons that naturally allows for exchange of anyons. I proposed a lattice model of anyons, which I dubbed anyonic Hubbard model, which is a pair of coupled chains of anyons (or simply called anyonic ladder). Each site of the ladder can either host a single anyonic charge, or it can be empty. The anyons are able to move around, interact with one another, and exchange positions with other anyons, when vacancies exist. Exchange of anyons is a non-trivial process which may influence the formation of different kinds of new phases of matter. I studied this model using the two prominent species of anyons: Fibonacci and Ising anyons, and made a number of interesting discoveries about their phase diagrams. I identified new phases of matter arising from both the interaction between these anyons and their exchange braid statistics.


title: Kinetic theory based force treatment in lattice Boltzmann equation

abstract: In the gas kinetic theory, it showed that the zeroth order of the density distribution function $f^{(0)}$ and local equilibrium density distribution function were the Maxwellian distribution $f^{(eq)}(\rho,\emph{\textbf{u}}, T)$ with an external force term, where $\rho$ the fluid density, $\emph{\textbf{u}}$ the physical velocity and $T$ the temperature, while in the lattice Boltzmann equation (LBE) method numerous force treatments were proposed with a discrete density distribution function $f_i$ apparently relaxed to a given state $f^{(eq)}_i(\rho,\emph{\textbf{u}}^*)$, where the given velocity $\emph{\textbf{u}}^*$ could be different with $\emph{\textbf{u}}$, and the Chapman-Enskog analysis showed that $f^{(0)}_i$ and local equilibrium density distribution function should be $f^{(eq)}_i(\rho,\emph{\textbf{u}}^*)$ in the literature. In this paper, we start from the kinetic theory and show that the $f^{(0)}_i$ and local equilibrium density distribution function in LBE should obey the Maxwellian distribution $f^{(eq)}_i(\rho,\emph{\textbf{u}})$ with $f_i$ relaxed to $f^{(eq)}_i(\rho,\emph{\textbf{u}}^*)$, which are consistent with kinetic theory, then the general requirements for the force term are derived, by which the correct hydrodynamic equations could be recovered at Navier-Stokes level, and numerical results confirm our theoretical analysis.


title: Trajectory Optimization for Completion Time Minimization in UAV-Enabled Multicasting

abstract: This paper studies an unmanned aerial vehicle (UAV)-enabled multicasting system, where a UAV is dispatched to disseminate a common file to a number of geographically distributed ground terminals (GTs). Our objective is to design the UAV trajectory to minimize its mission completion time, while ensuring that each GT is able to successfully recover the file with a high probability required. We consider the use of practical random linear network coding (RLNC) for UAV multicasting, so that each GT is able to recover the file as long as it receives a sufficiently large number of coded packets. However, the formulated UAV trajectory optimization problem is non-convex and difficult to be directly solved. To tackle this issue, we first derive an analytical lower bound for the success probability of each GT's file recovery. Based on this result, we then reformulate the problem into a more tractable form, where the UAV trajectory only needs to be designed to meet a set of constraints each on the minimum connection time with a GT, during which their distance is below a designed threshold. We show that the optimal UAV trajectory only needs to constitute connected line segments, thus it can be obtained by determining first the optimal set of waypoints and then UAV speed along the lines connecting the waypoints. We propose practical schemes for the waypoints design based on a novel concept of virtual base station (VBS) placement and by applying convex optimization techniques. Furthermore, for given set of waypoints, we obtain the optimal UAV speed over the resulting path efficiently by solving a linear programming (LP) problem. Numerical results show that the proposed UAV-enabled multicasting with optimized trajectory design achieves significant performance gains as compared to benchmark schemes.


title: Finite generating functions for the sum of digits sequence

abstract: We derive some new finite sums involving the sequence $s_{2}\left(n\right),$ the sum of digits of the expansion of $n$ in base $2.$ These functions allow us to generalize some classical results obtained by Allouche, Shallit and others.


title: On the analysis of incomplete spectra in random matrix theory through an extension of the Jimbo-Miwa-Ueno differential

abstract: Several distribution functions in the classical unitarily invariant matrix ensembles are prime examples of isomonodromic tau functions as introduced by Jimbo, Miwa and Ueno (JMU) in the early 1980s \cite{JMU}. Recent advances in the theory of tau functions \cite{ILP}, based on earlier works of B. Malgrange and M. Bertola, have allowed to extend the original Jimbo-Miwa-Ueno differential form to a 1-form closed on the full space of extended monodromy data of the underlying Lax pairs. This in turn has yielded a novel approach for the asymptotic evaluation of isomonodromic tau functions, including the exact computation of all relevant constant factors. We use this method to efficiently compute the tail asymptotics of soft-edge, hard-edge and bulk scaled distribution and gap functions in the complex Wishart ensemble, provided each eigenvalue particle has been removed independently with probability $1-\gamma\in(0,1]$.


title: A dichotomy for the injective dimension of $F$-finite $F$-modules and holonomic $D$-modules

abstract: Let $M$ be either an $F$-finite $F$-module over a noetherian regular ring of characteristic $p > 0$ or a holonomic $D$-module over a formal power series ring over a field of characteristic zero. We prove that $\injdim_R M$ enjoys a dichotomy property: it has only two possible values, $\dim \Supp_R M - 1$ or $\dim \Supp_R M$.


title: Pseudospins and topological effects of phonons in a Kekule lattice

abstract: The search for exotic topological effects of phonons has attracted enormous interest for both fundamental science and practical applications. By studying phonons in a Kekul\'e lattice, we find a new type of pseudospins characterized by quantized Berry phases and pseudoangular momenta, which introduces various novel topological effects, including topologically protected pseudospin-polarized interface states and a phonon pseudospin Hall effect. We further demonstrate a pseudospin-contrasting optical selection rule and a pseudospin Zeeman effect, giving a complete generation-manipulation-detection paradigm of the phonon pseudospin. The pseudospin and topology-related physics revealed for phonons is general and applicable for electrons, photons and other particles.


title: Deconstructing Type III

abstract: SAS introduced Type III methods to address difficulties in dummy-variable models for effects of multiple factors and covariates. Type III methods are widely used in practice; they are the default method in many statistical computing packages. Type III sums of squares (SSs) are defined by an algorithm, and an explicit mathematical formulation does not seem to exist. For that reason, their properties have not been rigorously proven. Some that are widely believed to be true are not always true. An explicit formulation is derived in this paper. It is used as a basis to prove fundamental properties of Type III estimable functions and SSs. It is shown that, in any given setting, Type III effects include all estimable ANOVA effects, and that if all of an ANOVA effect is estimable then the Type III SS tests it exactly. The setting for these results is general, comprising linear models for the mean vector of a response that include arbitrary sets of effects of factors and covariates.


title: Topological surface electronic states in candidate nodal-line semimetal CaAgAs

abstract: We investigate systematically the bulk and surface electronic structure of the candidate nodal-line semimetal CaAgAs by angle resolved photoemission spectroscopy and density functional calculations. We observed a metallic, linear, non-$k_z$-dispersive surface band that coincides with the high-binding-energy part of the theoretical topological surface state, proving the topological nontriviality of the system. An overall downshift of the experimental Fermi level points to a rigid-band-like $p$-doping of the samples, due possibly to Ag vacancies in the as-grown crystals.


title: Projected Commutator DIIS Method for Accelerating Hybrid Functional Electronic Structure Calculations

abstract: The commutator direct inversion of the iterative subspace (commutator DIIS or C-DIIS) method developed by Pulay is an efficient and the most widely used scheme in quantum chemistry to accelerate the convergence of self consistent field (SCF) iterations in Hartree-Fock theory and Kohn-Sham density functional theory. The C-DIIS method requires the explicit storage of the density matrix, the Fock matrix and the commutator matrix. Hence the method can only be used for systems with a relatively small basis set, such as the Gaussian basis set. We develop a new method that enables the C-DIIS method to be efficiently employed in electronic structure calculations with a large basis set such as planewaves for the first time. The key ingredient is the projection of both the density matrix and the commutator matrix to an auxiliary matrix called the gauge-fixing matrix. The resulting projected commutator-DIIS method (PC-DIIS) only operates on matrices of the same dimension as the that consists of Kohn-Sham orbitals. The cost of the method is comparable to that of standard charge mixing schemes used in large basis set calculations. The PC-DIIS method is gauge-invariant, which guarantees that its performance is invariant with respect to any unitary transformation of the Kohn-Sham orbitals. We demonstrate that the PC-DIIS method can be viewed as an extension of an iterative eigensolver for nonlinear problems. We use the PC-DIIS method for accelerating Kohn-Sham density functional theory calculations with hybrid exchange-correlation functionals, and demonstrate its superior performance compared to the commonly used nested two-level SCF iteration procedure.


title: Simple closed curves, finite covers of surfaces, and power subgroups of Out(F_n)

abstract: We construct examples of finite covers of punctured surfaces where the first rational homology is not spanned by lifts of simple closed curves. More generally, for any set $\mathcal{O} \subset F_n$ which is contained in the union of finitely many $Aut(F_n)$-orbits, we construct finite-index normal subgroups of $F_n$ whose first rational homology is not spanned by powers of elements of $\mathcal{O}$. These examples answer questions of Farb-Hensel, Kent, Looijenga, and Marche. We also show that the quotient of $Out(F_n)$ by the subgroup generated by kth powers of transvections often contains infinite order elements, strengthening a result of Bridson-Vogtmann saying that it is often infinite. Finally, for any set $\mathcal{O} \subset F_n$ which is contained in the union of finitely many $Aut(F_n)$-orbits, we construct integral linear representations of free groups that have infinite image and map all elements of $\mathcal{O}$ to torsion elements.


title: Defect-induced large spin-orbit splitting in the monolayer of PtSe$_2$

abstract: The effect of spin-orbit coupling (SOC) on the electronic properties of monolayer (ML) PtSe$_2$ is dictated by the presence of the crystal inversion symmetry to exhibit spin polarized band without characteristic of spin splitting. Through fully-relativistic density-functional theory calculations, we show that large spin-orbit splitting can be induced by introducing point defects. We calculate stability of native point defects such as a Se vacancy (V$_{\texttt{Se}}$), a Se interstitial (Se$_{i}$), a Pt vacancy (V$_{\texttt{Pt}}$), and a Pt interstitial (Pt$_{i}$), and find that both the V$_{\texttt{Se}}$ and Se$_{i}$ have the lowest formation energy. We also find that in contrast to the Se$_{i}$ case exhibiting spin degeneracy in the defect states, the large spin-orbit splitting up to 152 meV is observed in the defect states of the V$_{\texttt{Se}}$. Our analyses of orbital contributions to the defect states show that the large spin splitting is originated from the strong hybridization between Pt-$d_{x{^2}+y{^2}}+d_{xy}$ and Se-$p_{x}+p_{y}$ orbitals. Our study clarifies that the defects play an important role in the spin splitting properties of the PtSe$_2$ ML, which is important for designing future spintronic devices.


title: Constraints on parameter space of BLMSSM from particle mass

abstract: To explaine the matter-antimatter asymmetry, a supersymmetric extention of the standard model is proposed where baryon and lepton numbers are local gauged(BLMSSM), and exotic superfields are introduced when gauge group is enlarged to $SU(3)_C\otimes SU(2)_L\otimes U(1)_Y \otimes U(1)_B \otimes U(1)_L$. As signals of new physics have not been observed on Large Hadron Collider, the parameter space relevant to the masses of new particles is stringently constrainted. By diagonalizing the mass squared matrices for neutral scalar sectors and the mass matrices for exotic quarks, we plot the masses of new particles varying with different parameters with some assumptions, so the constraints on model parameter is obtained with different lower limit on particle mass.


title: Sequential Monte Carlo algorithms for a class of outer measures

abstract: Closed-form stochastic filtering equations can be derived in a general setting where probability distributions are replaced by some specific outer measures. In this article, we study how the principles of the sequential Monte Carlo method can be adapted for the purpose of practical implementation of these equations. In particular, we explore how sampling can be used to provide support points for the approximation of these outer measures. This step enables practical algorithms to be derived in the spirit of particle filters. The performance of the obtained algorithms is demonstrated in simulations and their versatility is illustrated through various examples.


title: Gravitational wave signature of a mini creation event (MCE)

abstract: In light of the recent discoveries of binary black hole events by the LIGO detectors, we propose a new astrophysical source, namely, the mini creation event (MCE) as a possible source of gravitational waves (GW) to be detected by LIGO. The MCE is at the heart of the quasi steady state cosmology (QSSC) and is not expected to occur in standard cosmology. Generically, the MCE is anisotropic and we assume a Bianchi Tpye I model for its description. We compute its signature waveform and assume masses, distances analogous to the events detected by LIGO. By matched filtering the signal we find that, for a broad range of model parameters, the signal to noise ratio of the randomly oriented MCE is sufficiently high for a confident detection by advanced LIGO (aLIGO).We therefore propose the MCE as a viable astrophyical source of GW.


title: Shaping liquid drops by vibration

abstract: We present and analyze a minimal hydrodynamic model of a vertically vibrated liquid drop that undergoes dynamic shape transformations. In agreement with experiments, a circular lens-shaped drop is unstable above a critical vibration amplitude, spontaneously elongating in horizontal direction. Smaller drops elongate into localized states that oscillate with half of the vibration frequency. Larger drops evolve by transforming into a snake-like structure with gradually increasing length. The worm state is long-lasting with a potential to fragmentat into smaller drops.


title: Coherence and entanglement under three qubit cloning operations

abstract: Coherence and entanglement are the two most crucial resources for various quantum information processing tasks. Here, we study the interplay of coherence and entanglement under the action of different three qubit quantum cloning operations. Considering certain well-known quantum cloning machines (input state independent and dependent), we provide examples of coherent and incoherent operations performed by them. We show that both the output entanglement and coherence could vanish under incoherent cloning operations. Coherent cloning operations on the other hand, could be used to construct a universal and optimal coherence machine. It is also shown that under coherent cloning operations the output two qubit entanglement could be maximal even if the input coherence is negligible. Also it is possible to generate a fixed amount of entanglement independent of the nature of the input state.


title: Using Chebyshev polynomials interpolation to improve the computation efficiency of gravity near an irregular-shaped asteroid

abstract: In asteroid rendezvous missions, the dynamical environment near the asteroid's surface should be made clear prior to the mission launch. However, most of the asteroids have irregular shapes, which lower the efficiency of calculating their gravitational field by adopting the traditional polyhedral method. In this work, we propose a method to partition the space near the asteroid adaptively along three spherical coordinates and use Chebyshev polynomials interpolation to represent the gravitational acceleration in each cell. Moreover, we compare four different interpolation schemes to obtain the best precision with the identical initial parameters. An error-adaptive octree division is combined to improve the interpolation precision near the surface. As an example, we take the typical irregular-shaped near-Earth asteroid 4179 Toutatis to show the advantage of this method, as a result, we show that the efficiency can be increased by hundreds to thousands times with our method. In a word, this method can be applicable to other irregular-shaped asteroids and can greatly improve the evaluation efficiency.


title: Closed points on schemes

abstract: This brief note gives a survey on results relating to existence of closed points on schemes, including an elementary topological characterization of the schemes with (at least one) closed point.


title: Towards Automatic Construction of Diverse, High-quality Image Dataset

abstract: The availability of labeled image datasets has been shown critical for high-level image understanding, which continuously drives the progress of feature designing and models developing. However, constructing labeled image datasets is laborious and monotonous. To eliminate manual annotation, in this work, we propose a novel image dataset construction framework by employing multiple textual queries. We aim at collecting diverse and accurate images for given queries from the Web. Specifically, we formulate noisy textual queries removing and noisy images filtering as a multi-view and multi-instance learning problem separately. Our proposed approach not only improves the accuracy but also enhances the diversity of the selected images. To verify the effectiveness of our proposed approach, we construct an image dataset with 100 categories. The experiments show significant performance gains by using the generated data of our approach on several tasks, such as image classification, cross-dataset generalization, and object detection. The proposed method also consistently outperforms existing weakly supervised and web-supervised approaches.


title: Return to origin problem for particle on a one-dimensional lattice with quasi-Zeno dynamics

abstract: In recent work, the so-called quasi-Zeno dynamics of a system has been investigated in the context of the quantum first passage problem. This dynamics considers the time evolution of a system subjected to a sequence of selective projective measurements made at small but finite intervals of time. This means that one has a sequence of steps, with each step consisting of a unitary transformation followed by a projection. The dynamics is non-unitary and, in recent work, it has been shown that it can be effectively described by two different non-Hermitian Hamiltonians. Here we explore this connection by considering the problem of detecting a free quantum particle moving on a one-dimensional lattice, where the detector is placed at the origin and the particle is initially located at some specified lattice point. We find that results for distribution times for the first detection probability, obtained from the non-Hermitian Hamiltonians, are in excellent agreement with known exact results as well as exact numerics. Interesting finite-size effects are discussed. We also study the first detection problem for the example of a particle moving in a quasi-periodic potential, an example where the unperturbed particle's motion can be ballistic, localized or diffusive.


title: Review on Spinor Field and Applications to Physics

abstract: A review about spinor fields is presented, constructing a outlook through the last century. Spinor was explored in many contexts more and more in the last decades. Besides this, more papers about this issue has been produced in the last decade than in the others before it. As examples, classifications of spinor fields on the bulk and on compactified seven-manifolds done by the author are revised and some results about spinor fields on this contexts are explored, like generating of brane by singular spinors in the bulk, invariants on five-dimensional black holes and spectral decomposition of a quantum field on compactified dimensions at low energies.


title: A Novel Network NOMA Scheme for Downlink Coordinated Three-Point Systems

abstract: In this paper, we propose a network non-orthogonal multiple access (N-NOMA) technique for the downlink coordinated multipoint (CoMP) communication scenario of a cellular network, with randomly deployed users. In the considered N-NOMA scheme, superposition coding (SC) is employed to serve cell-edge users as well as users close to base stations (BSs) simultaneously, and distributed analog beamforming by the BSs to meet the cell-edge user's quality of service (QoS) requirements. The combination of SC and distributed analog beamforming significantly complicates the expressions for the signal-to-interference-plus-noise ratio (SINR) at the reveiver, which makes the performance analysis particularly challenging. However, by using rational approximations, insightful analytical results are obtained in order to characterize the outage performance of the considered N-NOMA scheme. Computer simulation results are provided to show the superior performance of the proposed scheme as well as to demonstrate the accuracy of the analytical results.