title: Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems

abstract: Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound. Later on, Desharnais, Edalat, and Panangaden showed that negation is not necessary to characterize the same equivalence. In this paper, we prove that the logical characterization holds also when conjunction is replaced by disjunction, with negation still being not necessary. To this end, we introduce reactive probabilistic trees, a fully abstract model for reactive probabilistic systems that allows us to demonstrate expressiveness of the disjunctive probabilistic modal logic, as well as of the previously mentioned logics, by means of a compactness argument.


title: Representation theory and the cycle map of a classifying space

abstract: We compute the Chern subgroup of the 4-th integral cohomology group of a certain classifying space and show that it is a proper subgroup. Such a classifying space gives us new counterexamples for the integral Hodge and Tate conjectures modulo torsion.


title: GMRES-Accelerated ADMM for Quadratic Objectives

abstract: We consider the sequence acceleration problem for the alternating direction method-of-multipliers (ADMM) applied to a class of equality-constrained problems with strongly convex quadratic objectives, which frequently arise as the Newton subproblem of interior-point methods. Within this context, the ADMM update equations are linear, the iterates are confined within a Krylov subspace, and the General Minimum RESidual (GMRES) algorithm is optimal in its ability to accelerate convergence. The basic ADMM method solves a $\kappa$-conditioned problem in $O(\sqrt{\kappa})$ iterations. We give theoretical justification and numerical evidence that the GMRES-accelerated variant consistently solves the same problem in $O(\kappa^{1/4})$ iterations for an order-of-magnitude reduction in iterations, despite a worst-case bound of $O(\sqrt{\kappa})$ iterations. The method is shown to be competitive against standard preconditioned Krylov subspace methods for saddle-point problems. The method is embedded within SeDuMi, a popular open-source solver for conic optimization written in MATLAB, and used to solve many large-scale semidefinite programs with error that decreases like $O(1/k^{2})$, instead of $O(1/k)$, where $k$ is the iteration index.


title: Universal Collaboration Strategies for Signal Detection: A Sparse Learning Approach

abstract: This paper considers the problem of high dimensional signal detection in a large distributed network whose nodes can collaborate with their one-hop neighboring nodes (spatial collaboration). We assume that only a small subset of nodes communicate with the Fusion Center (FC). We design optimal collaboration strategies which are universal for a class of deterministic signals. By establishing the equivalence between the collaboration strategy design problem and sparse PCA, we solve the problem efficiently and evaluate the impact of collaboration on detection performance.


title: Future Trends and Challenges for Mobile and Convergent Networks

abstract: Some traffic characteristics like real-time, location-based, and community-inspired, as well as the exponential increase on the data traffic in mobile networks, are challenging the academia and standardization communities to manage these networks in completely novel and intelligent ways, otherwise, current network infrastructures can not offer a connection service with an acceptable quality for both emergent traffic demand and application requisites. In this way, a very relevant research problem that needs to be addressed is how a heterogeneous wireless access infrastructure should be controlled to offer a network access with a proper level of quality for diverse flows ending at multi-mode devices in mobile scenarios. The current chapter reviews recent research and standardization work developed under the most used wireless access technologies and mobile access proposals. It comprehensively outlines the impact on the deployment of those technologies in future networking environments, not only on the network performance but also in how the most important requirements of several relevant players, such as, content providers, network operators, and users/terminals can be addressed. Finally, the chapter concludes referring the most notable aspects in how the environment of future networks are expected to evolve like technology convergence, service convergence, terminal convergence, market convergence, environmental awareness, energy-efficiency, self-organized and intelligent infrastructure, as well as the most important functional requisites to be addressed through that infrastructure such as flow mobility, data offloading, load balancing and vertical multihoming.


title: Intelligent Management and Efficient Operation of Big Data

abstract: This chapter details how Big Data can be used and implemented in networking and computing infrastructures. Specifically, it addresses three main aspects: the timely extraction of relevant knowledge from heterogeneous, and very often unstructured large data sources, the enhancement on the performance of processing and networking (cloud) infrastructures that are the most important foundational pillars of Big Data applications or services, and novel ways to efficiently manage network infrastructures with high-level composed policies for supporting the transmission of large amounts of data with distinct requisites (video vs. non-video). A case study involving an intelligent management solution to route data traffic with diverse requirements in a wide area Internet Exchange Point is presented, discussed in the context of Big Data, and evaluated.


title: RiskRank: Measuring interconnected risk

abstract: This paper proposes RiskRank as a joint measure of cyclical and cross-sectional systemic risk. RiskRank is a general-purpose aggregation operator that concurrently accounts for risk levels for individual entities and their interconnectedness. The measure relies on the decomposition of systemic risk into sub-components that are in turn assessed using a set of risk measures and their relationships. For this purpose, motivated by the development of the Choquet integral, we employ the RiskRank function to aggregate risk measures, allowing for the integration of the interrelation of different factors in the aggregation process. The use of RiskRank is illustrated through a real-world case in a European setting, in which we show that it performs well in out-of-sample analysis. In the example, we provide an estimation of systemic risk from country-level risk and cross-border linkages.


title: Transport properties of KTaO$_3$ from first-principles

abstract: The transport properties of the perovskites KTaO$_3$ are calculated using first-principles methods. Our study is based on Boltzmann transport theory and the relaxation time approximation, where the scattering rate is calculated using an analytical model describing the interactions of electrons and longitudinal optical phonons. We compute the room-temperature electron mobility and Seebeck coefficients of KTaO$_3$, and SrTiO$_3$ for comparison, for a range of electron concentrations. The comparison between the two materials provides insight into the mechanisms that determine room-temperature electron mobility, such as the effect of band-width and spin-orbit splitting. The results, combined with the efficiency of the computational scheme developed in this study, provide a path to investigate and discover materials with targeted transport properties.


title: Security and Privacy Issues of Big Data

abstract: This chapter revises the most important aspects in how computing infrastructures should be configured and intelligently managed to fulfill the most notably security aspects required by Big Data applications. One of them is privacy. It is a pertinent aspect to be addressed because users share more and more personal data and content through their devices and computers to social networks and public clouds. So, a secure framework to social networks is a very hot topic research. This last topic is addressed in one of the two sections of the current chapter with case studies. In addition, the traditional mechanisms to support security such as firewalls and demilitarized zones are not suitable to be applied in computing systems to support Big Data. SDN is an emergent management solution that could become a convenient mechanism to implement security in Big Data systems, as we show through a second case study at the end of the chapter. This also discusses current relevant work and identifies open issues.


title: Rectified Gaussian Scale Mixtures and the Sparse Non-Negative Least Squares Problem

abstract: In this paper, we develop a Bayesian evidence maximization framework to solve the sparse non-negative least squares (S-NNLS) problem. We introduce a family of probability densities referred to as the Rectified Gaussian Scale Mixture (R- GSM) to model the sparsity enforcing prior distribution for the solution. The R-GSM prior encompasses a variety of heavy-tailed densities such as the rectified Laplacian and rectified Student- t distributions with a proper choice of the mixing density. We utilize the hierarchical representation induced by the R-GSM prior and develop an evidence maximization framework based on the Expectation-Maximization (EM) algorithm. Using the EM based method, we estimate the hyper-parameters and obtain a point estimate for the solution. We refer to the proposed method as rectified sparse Bayesian learning (R-SBL). We provide four R- SBL variants that offer a range of options for computational complexity and the quality of the E-step computation. These methods include the Markov chain Monte Carlo EM, linear minimum mean-square-error estimation, approximate message passing and a diagonal approximation. Using numerical experiments, we show that the proposed R-SBL method outperforms existing S-NNLS solvers in terms of both signal and support recovery performance, and is also very robust against the structure of the design matrix.


title: Improved Active Sensing Performance in Wireless Sensor Networks via Channel State Information - Extended Version

abstract: Active sensing refers to the process of choosing or tuning a set of sensors in order to track an underlying system in an efficient and accurate way. In a wireless environment, among the several kinds of features extracted by traditional sensors, the information carried by the communication channel about the state of the system can be used to further boost the tracking performance and save energy. A joint tracking problem which considers sensor measurements and communication channel together for tracking purposes is set up and solved. The system is modeled as a partially observable Markov decision problem and the properties of the cost-to-go function are used to reduce the problem complexity. In particular, upper and lower bounds to the optimal sensor selection choice are derived and used to introduce sub-optimal sensing strategies. Numerical results show the advantages of using the channel as an additional way for improving the tracking precision and reduce the energy costs.


title: Achieving Large Multiplexing Gain in Distributed Antenna Systems via Cooperation with pCell Technology

abstract: In this paper we present pCellTM technology, the first commercial-grade wireless system that employs cooperation between distributed transceiver stations to create concurrent data links to multiple users in the same spectrum. First we analyze the per-user signal-to-interference-plus-noise ratio (SINR) employing a geometrical spatial channel model to define volumes in space of coherent signal around user antennas (or personal cells, i.e., pCells). Then we describe the system architecture consisting of a general-purpose-processor (GPP) based software-defined radio (SDR) wireless platform implementing a real-time LTE protocol stack to communicate with off-the-shelf LTE devices. Finally we present experimental results demonstrating up to 16 concurrent spatial channels for an aggregate average spectral efficiency of 59.3 bps/Hz in the downlink and 27.5 bps/Hz in the uplink, providing data rates of 200 Mbps downlink and 25 Mbps uplink in 5 MHz of TDD spectrum.


title: Transforming common III-V and II-VI semiconductor compounds into topological heterostructures: The case of CdTe/InSb superlattices

abstract: Currently known topological insulators (TIs) are limited to narrow gap compounds incorporating heavy elements, thus severely limiting the material pool available for such applications. We show via first-principle calculations how a heterovalent superlattice made of common semiconductor building blocks can transform its non-TI components into a topological nanostructure, illustrated by III-V/II-VI superlattice InSb/CdTe. The heterovalent nature of such interfaces sets up, in the absence of interfacial atomic exchange, a natural internal electric field that along with the quantum confinement leads to band inversion, transforming these semiconductors into a topological phase while also forming a giant Rashba spin splitting. We reveal the relationship between the interfacial stability and the topological transition, finding a window of opportunity where both conditions can be optimized. Once a critical InSb layer thickness above ~ 1.5 nm is reached, both [111] and [100] superlattices have a relative energy of 5-14 meV/A2 higher than that of the atomically exchanged interface and an excitation gap up to ~150 meV, affording room-temperature quantum spin Hall effect in semiconductor superlattices. The understanding gained from this study could significantly broaden the current, rather restricted repertoire of functionalities available from individual compounds by creating next-generation super-structured functional materials.


title: Multigraded Apolarity

abstract: We generalize methods to compute various kinds of rank to the case of a toric variety $X$ embedded into projective space using a very ample line bundle $\mathcal{L}$. We find an upper bound on the cactus rank. We use this to compute rank, border rank, and cactus rank of monomials in $H^0(X,\mathcal{L})^*$ when $X$ is $\mathbb{P}^1 \times \mathbb{P}^1$, the Hirzebruch surface $\mathbb{F}_1$, the weighted projective plane $\mathbb{P}(1,1,4)$, or a fake weighted projective plane.


title: Nonparametric Heterogeneity Testing For Massive Data

abstract: A massive dataset often consists of a growing number of (potentially) heterogeneous sub-populations. This paper is concerned about testing various forms of heterogeneity arising from massive data. In a general nonparametric framework, a set of testing procedures are designed to accommodate a growing number of sub-populations, denoted as $s$, with computational feasibility. In theory, their null limit distributions are derived as being nearly Chi-square with diverging degrees of freedom as long as $s$ does not grow too fast. Interestingly, we find that a lower bound on $s$ needs to be set for obtaining a sufficiently powerful testing result, so-called "blessing of aggregation." As a by-produc, a type of homogeneity testing is also proposed with a test statistic being aggregated over all sub-populations. Numerical results are presented to support our theory.


title: Nonlinear magnetization dynamics of antiferromagnetic spin resonance induced by intense terahertz magnetic field

abstract: We report on the nonlinear magnetization dynamics of a HoFeO3 crystal induced by a strong terahertz magnetic field resonantly enhanced with a split ring resonator and measured with magneto-optical Kerr effect microscopy. The terahertz magnetic field induces a large change (~40%) in the spontaneous magnetization. The frequency of the antiferromagnetic resonance decreases in proportion to the square of the magnetization change. A modified Landau-Lifshitz-Gilbert equation with a phenomenological nonlinear damping term quantitatively reproduced the nonlinear dynamics.


title: Compressed Sensing and Parallel Acquisition

abstract: Parallel acquisition systems arise in various applications in order to moderate problems caused by insufficient measurements in single-sensor systems. These systems allow simultaneous data acquisition in multiple sensors, thus alleviating such problems by providing more overall measurements. In this work we consider the combination of compressed sensing with parallel acquisition. We establish the theoretical improvements of such systems by providing recovery guarantees for which, subject to appropriate conditions, the number of measurements required per sensor decreases linearly with the total number of sensors. Throughout, we consider two different sampling scenarios -- distinct (corresponding to independent sampling in each sensor) and identical (corresponding to dependent sampling between sensors) -- and a general mathematical framework that allows for a wide range of sensing matrices (e.g., subgaussian random matrices, subsampled isometries, random convolutions and random Toeplitz matrices). We also consider not just the standard sparse signal model, but also the so-called sparse in levels signal model. This model includes both sparse and distributed signals and clustered sparse signals. As our results show, optimal recovery guarantees for both distinct and identical sampling are possible under much broader conditions on the so-called sensor profile matrices (which characterize environmental conditions between a source and the sensors) for the sparse in levels model than for the sparse model. To verify our recovery guarantees we provide numerical results showing phase transitions for a number of different multi-sensor environments.


title: Algebraic Properties of Polar Codes From a New Polynomial Formalism

abstract: Polar codes form a very powerful family of codes with a low complexity decoding algorithm that attain many information theoretic limits in error correction and source coding. These codes are closely related to Reed-Muller codes because both can be described with the same algebraic formalism, namely they are generated by evaluations of monomials. However, finding the right set of generating monomials for a polar code which optimises the decoding performances is a hard task and channel dependent. The purpose of this paper is to reveal some universal properties of these monomials. We will namely prove that there is a way to define a nontrivial (partial) order on monomials so that the monomials generating a polar code devised fo a binary-input symmetric channel always form a decreasing set. This property turns out to have rather deep consequences on the structure of the polar code. Indeed, the permutation group of a decreasing monomial code contains a large group called lower triangular affine group. Furthermore, the codewords of minimum weight correspond exactly to the orbits of the minimum weight codewords that are obtained from (evaluations) of monomials of the generating set. In particular, it gives an efficient way of counting the number of minimum weight codewords of a decreasing monomial code and henceforth of a polar code.


title: Measurement of the Zak phase of photonic bands through the interface states of metasurface/photonic crystal

abstract: Zak phase labels the topological property of one-dimensional Bloch Bands. Here we propose a scheme and experimentally measure the Zak phase in a photonic system. The Zak phase of a bulk band of is related to the topological properties of the two band gaps sandwiching this band, which in turn can be inferred from the existence or absence of an interface state. Using reflection spectrum measurement, we determined the existence of interface states in the gaps, and then obtained the Zak phases. The knowledge of Zak phases can also help us predict the existence of interface states between a metasurface and a photonic crystal. By manipulating the property of the metasurface, we can further tune the excitation frequency and the polarization of the interface state.


title: Spatial dispersion of magnetic-edge magnetoplasmons: Effect of semi-infinite gate

abstract: Magnetic-edge magnetoplasmons (MEMPs) are obtained for a two-dimensional electron system (2DES) with atop semi-infinite metallic gate, at a distance $d$, and atop semi-infinite ferromagnetic film at a strong perpendicular magnetic field. For two most fast MEMPs, one with positive chirality and other with negative chirality, a strong spatial dispersion, due to effect of metallic half-plane gate, is obtained; some slower MEMPs manifest spatial dispersion too. Present MEMPs are localized at the magnetic-edge that is close to the wedge of metallic half-plane gate; the metallic wedge enhances localization of MEMPs at magnetic-edge. Obtained spatial dispersion has unconventional form. In particular, for two most fast MEMPs the phase velocities, $\omega/k_{x}$, are the linear polynomials on the wave vector $k_{x}$ in the long-wavelength region, $k_{x}d \ll 1$. Strong effect of the ferromagnetic film hysteresis on the MEMPs phase velocities and their anti-crossings are obtained for $0<k_{x}d \leq1$. Two MEMPs of opposite chirality, especially two most fast MEMPs, at some resonance frequency can create a resonance circuit, with closed wave path along a fraction of the magnetic edge perimeter, with a total change of the wave phase given by an integer of $2\pi$.


title: Cb-frames for operator spaces

abstract: In this paper, we introduce the concept of cb-frames for operator spaces. We show that there is a concrete cb-frame for the reduced free group C*-algebra $C_r^*(F_2)$, which is derived from the infinite convex decomposition of the biorthogonal system $(\lambda_s, \delta_s)_{s \in F_2}$. We show that, in general, a separable operator space X has a cb-frame if and only if it has the completely bounded approximation property if and only if it is completely isomorphic to a completely complemented subspace of an operator space with a cb-basis. Therefore, a discrete group $\Gamma$ is weakly amenable if and only if the reduced group C*-algebra $C^*_r(\Gamma)$ has a cb-frame. Finally, we show that, in contrast to Banach space case, there exists a separable operator space, which can not be completely isomorphic to a subspace of an operator space with a cb-basis.


title: Large Deviation Principle For Finite-State Mean Field Interacting Particle Systems

abstract: We establish a large deviation principle for the empirical measure process associated with a general class of finite-state mean field interacting particle systems with Lipschitz continuous transition rates that satisfy a certain ergodicity condition. The approach is based on a variational representation for functionals of a Poisson random measure. Under an appropriate strengthening of the ergodicity condition, we also prove a locally uniform large deviation principle. The main novelty is that more than one particle is allowed to change its state simultaneously, and so a standard approach to the proof based on a change of measure with respect to a system of independent particles is not possible. The result is shown to be applicable to a wide range of models arising from statistical physics, queueing systems and communication networks. Along the way, we establish a large deviation principle for a class of jump Markov processes on the simplex, whose rates decay to zero as they approach the boundary of the domain. This result may be of independent interest.


title: Common Resource State for Preparing Multipartite Quantum Systems via Local Operations and Classical Communication

abstract: Given a set of multipartite entangled states, can we find a common state to prepare them by local operations and classical communication? Such a state, if exists, will be a common resource for the given set of states. We completely solve this problem for bipartite pure states case by explicitly constructing a unique optimal common resource state for any given set of states. In the multipartite setting, the general problem becomes quite complicated, and we focus on finding nontrivial common resources for the whole multipartite state space of given dimensions. We show that GHZ_3 is a nontrivial common resource for three-qubit systems.


title: Quantitative Study on Exact Reconstruction Sampling Condition in Limited-view CT

abstract: In limited-view computed tomography reconstruction, iterative image reconstruction with sparsity-exploiting methods, such as total variation (TV) minimization, inspired by compressive sensing, potentially claims large reductions in sampling requirements. However, a quantitative notion of this claim is non-trivial because of the ill-defined reduction in sampling achieved by the sparsity-exploiting method. In this paper, exact reconstruction sampling condition for limited-view problem is studied by verifying the uniqueness of solution in TV minimization model. Uniqueness is tested by solving a convex optimization problem derived from the sufficient and necessary condition of solution uniqueness. Through this method, the sufficient sampling number of exact reconstruction is quantified for any fixed phantom and settled geometrical parameter in the limited-view problem. This paper provides a reference to quantify the sampling condition. Using Shepp-Logan phantom as an example, the experiment results show the quantified sampling number and indicate that an object would be accurately reconstructed as the scanning range becomes narrower by increasing sampling number. The increased samplings compensate for the deficiency of the projection angle. However, a lower bound of the scanning range is presented, in which an exact reconstruction cannot be obtained once the projection angle is narrowed to this extent no matter how to increase sampling.


title: Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems

abstract: The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and testing of CPSs makes these processes extremely prone to human error. In this paper we present our ongoing work on introducing human-centred considerations into modelling and testing of CPSs, which allow for agile iterative refinement processes of different levels of abstraction when errors are discovered or missing information is completed.


title: Shapley Values in Weighted Voting Games with Random Weights

abstract: We investigate the distribution of the well-studied Shapley--Shubik values in weighted voting games where the agents are stochastically determined. The Shapley--Shubik value measures the voting power of an agent, in typical collective decision making systems. While easy to estimate empirically given the parameters of a weighted voting game, the Shapley values are notoriously hard to reason about analytically. We propose a probabilistic approach in which the agent weights are drawn i.i.d. from some known exponentially decaying distribution. We provide a general closed-form characterization of the highest and lowest expected Shapley values in such a game, as a function of the parameters of the underlying distribution. To do so, we give a novel reinterpretation of the stochastic process that generates the Shapley variables as a renewal process. We demonstrate the use of our results on the uniform and exponential distributions. Furthermore, we show the strength of our theoretical predictions on several synthetic datasets.


title: Rate Distortion for Lossy In-network Function Computation: Information Dissipation and Sequential Reverse Water-Filling

abstract: We consider the problem of distributed lossy linear function computation in a tree network. We examine two cases: (i) data aggregation (only one sink node computes) and (ii) consensus (all nodes compute the same function). By quantifying the accumulation of information loss in distributed computing, we obtain fundamental limits on network computation rate as a function of incremental distortions (and hence incremental loss of information) along the edges of the network. The above characterization, based on quantifying distortion accumulation, offers an improvement over classical cut-set type techniques which are based on overall distortions instead of incremental distortions. This quantification of information loss qualitatively resembles information dissipation in cascaded channels [1]. Surprisingly, this accumulation effect of distortion happens even at infinite blocklength. Combining this observation with an inequality on the dominance of mean-square quantities over relative-entropy quantities, we obtain outer bounds on the rate distortion function that are tighter than classical cut-set bounds by a difference which can be arbitrarily large in both data aggregation and consensus. We also obtain inner bounds on the optimal rate using random Gaussian coding, which differ from the outer bounds by $\mathcal{O}(\sqrt{D})$, where $D$ is the overall distortion. The obtained inner and outer bounds can provide insights on rate (bit) allocations for both the data aggregation problem and the consensus problem. We show that for tree networks, the rate allocation results have a mathematical structure similar to classical reverse water-filling for parallel Gaussian sources.


title: Simplicity of eigenvalues and non-vanishing of eigenfunctions of a quantum graph

abstract: We prove that after an arbitrarily small adjustment of edge lengths, the spectrum of a compact quantum graph with $\delta$-type vertex conditions can be simple. We also show that the eigenfunctions, with the exception of those living entirely on a looping edge, can be made to be non-vanishing on all vertices of the graph. As an application of the above result, we establish that the secular manifold (also called "determinant manifold") of a large family of graphs has exactly two smooth connected components.


title: The Primordial Magnetic Field (PMF) Generated in Large Field Inflation (LFI), Natural Inflation (NI) and $R^2$-Inflation by $f^{2}FF$ Model

abstract: Large scale magnetic fields seem to be present in almost all astrophysical systems and scales from planets to superclusters of galaxies and in very low density intergalactic media. The upper limit of primordial magnetic fields (PMF) has been set by recent observations by the Planck observatory (2015) to be of the order of a few nG. The simple model ${f^2}FF$ used to generate the PMF during the inflation era. It is based on the breaking of conformal symmetry of electromagnetism during inflation. It is attractive because it is stable under perturbations and leads to a scale invariant PMF. However, it may suffer from two problems: Backreaction and strong coupling. In the first case, the electromagnetic energy may exceed the energy of inflation, ${\rho _{{\rm{Inf}}}}$. In the second case, the effective electric charges become excessively large if we want to retrieve the standard electromagnetism at the end of inflation. In this research, we investigate the generation of PMF under three different models of inflation in order to avoid the backreaction problem. We compute magnetic and electric spectra generated by the ${f^2}FF$ model in the context of large field inflation (LFI), natural inflation (NI) and ${R^2}$-inflation, for all possible values of model parameters for de Sitter and power law expansion of inflation. The results of the research show that the scale invariant PMF can be generated in these models and the problem of backreaction may be avoided in some observational ranges. In $R^2$-inflation, which is preferred by the recent results of Planck 2015, we calculate the upper of the scale invariant PMF generated by ${f^2}FF$ and in turns we find that the upper limit of present magnetic field, ${B_0} < 8.058 \times {10^{ - 9}}{\rm{G}}$. It is in the same order of magnitude of PMF, reported by Planck, 2015.


title: Geometric effects in non-equilibrium electron transfer statistics in adiabatically driven quantum junctions

abstract: Cyclic Pancharatnam-Berry (PB) and adiabatic noncyclic geometric (ANG) effects are investigated in a single electron orbital system connected to two metal contacts with externally driven chemical potential and/or temperatures.The PB contribution does not affect the density matrix evolution, but has quantitative effect on the statistics (fluctuations) of electron transfer. The ANG contribution, on the other hand, affects the net flux across the junction. Unlike the PB, the ANG contribution is non-zero when two parameters are identically driven. Closed analytical expressions are derived for the ANG contribution to the flux, and the PB contribution to the first two leading order fluctuations. Fluctuations can be modified by manipulating the relative phases of the drivings. Interestingly, we find that the fluctuations of the pumped charge do not satisfy the steady state fluctuation theorem in presence of nonzero geometric contribution, but can be recovered for a vanishing geometric contribution even in presence of the external driving.


title: Probing the Primordial Universe using Massive Fields

abstract: Inflation models are numerous. It is extremely difficult, if possible at all, to identify the actual underlying inflation model of our primordial universe. Thus, for the purpose of proving/falsifying inflation and using inflation to probe new physics, model independent approaches are crucial. Massive fields play a uniquely important role in those missions. This short review is based on a talk by one of the authors (YW) in the 2nd LeCosPA Symposium.


title: An Achievable Rate Region for the Two-Way Multiple-Relay Channel

abstract: We propose an achievable rate-region for the two-way multiple-relay channel using decode-and-forward block Markovian coding. We identify a conflict between the information flow in both directions. This conflict leads to an intractable number of decode-forward schemes and achievable rate regions, none of which are universally better than the others. We introduce a new concept in decode-forward coding called ranking, and discover that there is an underlying structure to all of these rate regions expressed in the rank assignment. Through this discovery, we characterize the complete achievable rate region that includes all of the rate regions corresponding to the particular decode-forward schemes. This rate region is an extension of existing results for the two-way one-relay channel and the two-way two-relay channel.


title: Coping with Prospective Memory Failures: An Optimal Reminder System Design

abstract: Forgetting is in common in daily life, and 50-80% everyday's forgetting is due to prospective memory failures, which have significant impacts on our life. More seriously, some of these memory lapses can bring fatal consequences such as forgetting a sleeping infant in the back seat of a car. People tend to use various techniques to improve their prospective memory performance. Setting up a reminder is one of the most important techniques. The existing studies provide evidences in support of using reminders to cope with prospective memory failures. However, people are not satisfied with existing reminders because of their limitations in different aspects including reliability, optimization, and adaption. Through analysing the functions and features of existing reminder systems, this book draft summarizes their advantages and limitations. We are motivated to improve the performance of reminder systems. For the improvements, the relevant theories and mechanisms of prospective memory from psychology must be complied with, incorporated, and applied in this new study. Based on the literature review, a new reminder model is proposed, which includes a novel reminder planer, a prospective memory based agent, and a personalized user model. The reminder planer is responsible for determining the optimal reminder plan (including the optimal number of reminders, the optimal reminding schedule and the optimal reminding way). The prospective memory agent is responsible for executing the reminding processes. The personalized user model is proposed to learn from users' behaviors and preferences based on human-system interactions and is responsible for adapting the reminder plan to meet users' preferences as much as possible.


title: Upper and Lower Bounds on Optimal Success Probability of Quantum State Discrimination with and without Inconclusive Results

abstract: We propose upper and lower bounds on the maximum success probability for discriminating given quantum states. The proposed upper bound is obtained from a suboptimal solution to the dual problem of the corresponding optimal state discrimination problem. We also give a necessary and sufficient condition for the upper bound to achieve the maximum success probability; the proposed lower bound can be obtained from this condition. It is derived that a slightly modified version of the proposed upper bound is tighter than that proposed by Qiu et al. [Phys. Rev. A 81, 042329 (2010)]. Moreover, we propose upper and lower bounds on the maximum success probability with a fixed rate of inconclusive results. The performance of the proposed bounds are evaluated through numerical experiments.


title: Collider Signatures of Higgs-portal Scalar Dark Matter

abstract: In the simplest Higgs-portal scalar dark matter model, the dark matter mass has been restricted to be either near the resonant mass ($m_h/2$) or in a large-mass region by the direct detection at LHC Run 1 and LUX. While the large-mass region below roughly 3 TeV can be probed by the future Xenon1T experiment, most of the resonant mass region is beyond the scope of Xenon1T. In this paper, we study the direct detection of such scalar dark matter in the narrow resonant mass region at the 14 TeV LHC and the future 100 TeV hadron collider. We show the luminosities required for the $2\sigma$ exclusion and $5\sigma$ discovery.


title: Precise Error Analysis of Regularized M-estimators in High-dimensions

abstract: A popular approach for estimating an unknown signal from noisy, linear measurements is via solving a so called \emph{regularized M-estimator}, which minimizes a weighted combination of a convex loss function and of a convex (typically, non-smooth) regularizer. We accurately predict the squared error performance of such estimators in the high-dimensional proportional regime. The random measurement matrix is assumed to have entries iid Gaussian, only minimal and rather mild regularity conditions are imposed on the loss function, the regularizer, and on the noise and signal distributions. We show that the error converges in probability to a nontrivial limit that is given as the solution to a minimax convex-concave optimization problem on four scalar optimization variables. We identify a new summary parameter, termed the Expected Moreau envelope to play a central role in the error characterization. The \emph{precise} nature of the results permits an accurate performance comparison between different instances of regularized M-estimators and allows to optimally tune the involved parameters (e.g. regularizer parameter, number of measurements). The key ingredient of our proof is the \emph{Convex Gaussian Min-max Theorem} (CGMT) which is a tight and strengthened version of a classical Gaussian comparison inequality that was proved by Gordon in 1988.


title: On the Dynamics of Dengue Virus type 2 with Residence Times and Vertical Transmission

abstract: A two-patch mathematical model of Dengue virus type 2 (DENV-2) that accounts for vectors' vertical transmission and between patches human dispersal is introduced. Dispersal is modeled via a Lagrangian approach. A host-patch residence-times basic reproduction number is derived and conditions under which the disease dies out or persists are established. Analytical and numerical results highlight the role of hosts' dispersal in mitigating or exacerbating disease dynamics. The framework is used to explore dengue dynamics using, as a starting point, the 2002 outbreak in the state of Colima, Mexico.


title: Primordial black hole formation from cosmological fluctuations

abstract: Primordial black holes (PBHs) are those which may have formed in the early Universe and affected the subsequent evolution of the Universe through their Hawking radiation and gravitational field. To constrain the early Universe from the observational constraint on the abundance of PBHs, it is essential to determine the formation threshold for primordial cosmological fluctuations, which are naturally described by cosmological long-wavelength solutions. I will briefly review our recent analytical and numerical results on the PBH formation.


title: A Mixed-effects Model for Incomplete Data With Batch-Level Abundance-Dependent Missing-Data Mechanism

abstract: In mass spectrometry based quantitative proteomics research, the emerging iTRAQ technique has been widely adopted for high throughput protein profiling, as it enables one to measure multiple samples simultaneously in one multiplex experiment and thus greatly enhances the throughput of protein quantification. However, the technical variation across different iTRAQ multiplex experiments is often large due to the dynamic nature of MS instruments. This leads to strong batch effects in the iTRAQ data. Moreover, the iTRAQ data often contain substantial batch-level non-ignorable missingness. Specifically, the abundance measures of a given protein/peptide are often missing altogether in all the samples from the same batch, with the missing probability depending on the combined batch-level abundances. We term this unique missing-data mechanism as the Batch-level Abundance-Dependent Missing-data mechanism (BADMM). We introduce a new method, mixEMM, for analyzing iTRAQ data with batch effects and batch-level non-ignorable missingness. The mixEMM method employs a linear mixed-effects model and explicitly models the batch effects and the BADMM in the likelihood function. With simulation studies, we showed that compared with existing approaches that utilize relative abundances and ignore the missing batches under the missing completely at random assumption, the mixEMM method achieves more accurate parameter estimation and inference.We applied the method to an iTRAQ proteomics data from a breast cancer study and identified phosphopeptides differentially expressed between different breast cancer subtypes. The method can be applied to general clustered data with cluster level non ignorable missing-data mechanisms.


title: Characterization of the Aging and Excess Noise of a Hamamatsu Fine Mesh Photopentode

abstract: The excess noise factor and the aging characteristics of 16 Hamamatsu R11283 photopentodes have been tested. These fine-mesh phototubes are to be paired with pure CsI scintillation crystals considered for use in the endcap calorimeter of the Belle II detector. The average excess noise factor was found to be $1.9 \pm 0.1 \pm 0.4$. The electronic noise of a custom preamplifier produced by the University of Montreal was found as a consequence of this measurement and was $1730 \pm 33$ electrons, in agreement with previous values. On average, the gain$\times$quantum efficiency was reduced to $93\pm3$ % of the initial value after passing 7 C through the anode. This corresponds to 70 years of standard Belle II operation.


title: Assosymmetric algebras under jordan product

abstract: We prove that assosymmetric algebras under Jordan product are Lie triple. A Lie triple algebra is called special if it is isomorphic to a subalgebra of some plus-assosymmetric algebra. We establish that Glennie identitiy is valid for special Lie triple algebras, but not for all Lie triple algebras.


title: Divide and Conquer Local Average Regression

abstract: The divide and conquer strategy, which breaks a massive data set into a se- ries of manageable data blocks, and then combines the independent results of data blocks to obtain a final decision, has been recognized as a state-of-the-art method to overcome challenges of massive data analysis. In this paper, we merge the divide and conquer strategy with local average regression methods to infer the regressive relationship of input-output pairs from a massive data set. After theoretically analyzing the pros and cons, we find that although the divide and conquer local average regression can reach the optimal learning rate, the restric- tion to the number of data blocks is a bit strong, which makes it only feasible for small number of data blocks. We then propose two variants to lessen (or remove) this restriction. Our results show that these variants can achieve the optimal learning rate with much milder restriction (or without such restriction). Extensive experimental studies are carried out to verify our theoretical assertions.


title: Long orbital period pre-polars containing an early K-type donor stars. Bottleneck accretion mechanism in action

abstract: We studied two objects identified as a Cataclysmic Variables (CVs) with periods exceeding the natural boundary for Roche lobe filling ZAMS secondary stars. We present observational results for V1082 Sgr with 20.82 h orbital period, an object that shows low luminosity state, when its flux is totally dominated by a chromospherically active K- star with no signs of ongoing accretion. Frequent accretion shut-offs, together with characteristics of emission lines in a high state, indicate that this binary system is probably detached and the accretion of matter on the magnetic white dwarf takes place through stellar wind from the active donor star via coupled magnetic fields. Its observational characteristics are surprisingly similar to V479 And, a 14.5 h binary system. They both have early K-type stars as a donor star. We argue, that similar to the shorter period pre-polars containing M-dwarfs, these are detached binaries with strong magnetic components. Their magnetic fields are coupled, allowing enhanced stellar wind from the K star to be captured and channeled through the bottleneck connecting the two stars onto the white dwarf's magnetic pole, mimicking a magnetic CV. Hence, they become interactive binaries before they reach contact. This will help to explain an unexpected lack of systems possessing white dwarfs with strong magnetic fields among detached white + red dwarf systems.


title: Achieving Delay Rate-function Optimality in OFDM Downlink with Time-correlated Channels

abstract: There have been recent attempts to develop scheduling schemes for downlink transmission in a single cell of a multi-channel (e.g., OFDM-based) cellular network. These works have been quite promising in that they have developed low-complexity index scheduling policies that are delay-optimal (in a large deviation rate-function sense). However, these policies require that the channel is ON or OFF in each time-slot with a fixed probability (i.e., there is no memory in the system), while the reality is that due to channel fading and doppler shift, channels are often time-correlated in these cellular systems. Thus, an important open question is whether one can find simple index scheduling policies that are delay-optimal even when the channels are time-correlated. In this paper, we attempt to answer this question for time-correlated ON/OFF channels. In particular, we show that the class of oldest packets first (OPF) policies that give a higher priority to packets with a large delay is delay rate-function optimal under two conditions: 1) The channel is non-negatively correlated, and 2) The distribution of the OFF period is geometric. We use simulations to further elucidate the theoretical results.


title: Multiset Theories of Cardinality-based Feature Diagrams

abstract: Software product line engineering is a very common method for designing complex software systems. Feature modeling is the most common approach to specify product lines. The main part of a feature model is a special tree of features called a feature diagram. Cardinality-based feature diagrams provide the most expressive tool among the current feature diagram languages. The most common characterization of the semantics of a cardinality-based diagram is the set of flat multisets over features satisfying the constraints. However, this semantics provides a poor abstract view of the diagram. We address this problem by proposing another multiset theory for the cardinality-based feature diagram, called the hierarchical theory of the diagram. We show that this semantics captures all information of the diagram so that one can retrieve the diagram from its hierarchical semantics. We also characterize sets of multisets, which can provide a hierarchical semantics of some diagrams.


title: Super-resolution reconstruction of hyperspectral images via low rank tensor modeling and total variation regularization

abstract: In this paper, we propose a novel approach to hyperspectral image super-resolution by modeling the global spatial-and-spectral correlation and local smoothness properties over hyperspectral images. Specifically, we utilize the tensor nuclear norm and tensor folded-concave penalty functions to describe the global spatial-and-spectral correlation hidden in hyperspectral images, and 3D total variation (TV) to characterize the local spatial-and-spectral smoothness across all hyperspectral bands. Then, we develop an efficient algorithm for solving the resulting optimization problem by combing the local linear approximation (LLA) strategy and alternative direction method of multipliers (ADMM). Experimental results on one hyperspectral image dataset illustrate the merits of the proposed approach.


title: Multi-agent System Design for Dummies

abstract: Agent technology, a new paradigm in software engineering, has received attention from research and industry since 1990s. However, it is still not used widely to date because it requires expertise on both programming and agent technology; gaps among requirements, agent design, and agent deployment also pose more difficulties. Goal Net methodology attempts to solve these issues with a goal-oriented approach that resembles human behaviours, and an agent designer that supports agent development using this philosophy. However, there are limitations on existing Goal Net Designer, the design and modelling component of the agent designer. Those limitations, including limited access, difficult deployment, inflexibility in user operations, design workflows against typical Goal Net methodology workflows, and lack of data protection, have inhibited widespread adoption of Goal Net methodology. Motivated by this, this book focuses on improvements on Goal Net Designer. In this project, Goal Net Designer is completely re-implemented using new technology with optimised software architecture and design. It allows access from all major desktop operating systems, as well as in web environment via all modern browsers. Enhancements such as refined workflows, model validation tool, access control, team collaboration tool, and link to compiler make Goal Net Designer a fully functional and powerful Integrated Development Environment. User friendliness and usability are greatly enhanced by simplifying user's actions to accomplish their tasks. User behaviour logging and quantitative feedback channel are also included to allow Goal Net Designer to continuously evolve with the power of big data analytics in future. To evaluate the new Goal Net Designer, a teachable agent has been developed with the help of Goal Net Designer and the development process is illustrated in a case study.


title: Artificial Persuasion in Pedagogical Games

abstract: A Persuasive Teachable Agent (PTA) is a special type of Teachable Agent which incorporates a persuasion theory in order to provide persuasive and more personalized feedback to the student. By employing the persuasion techniques, the PTA seeks to maintain the student in a high motivation and high ability state in which he or she has higher cognitive ability and his or her changes in attitudes are more persistent. However, the existing model of the PTA still has a few limitations. Firstly, the existing PTA model focuses on modelling the PTA's ability to persuade, while does not model its ability to be taught by the student and to practice the knowledge it has learnt. Secondly, the quantitative model for computational processes in the PTA has low reusability. Thirdly, there is still a gap between theoretical models and practical implementation of the PTA. To address these three limitations, this book proposes an improved agent model which follows a goal-oriented approach and models the PTA in its totality by integrating the Persuasion Reasoning of the PTA with the Teachability Reasoning and the Practicability Reasoning. The project also proposes a more abstract and generalized quantitative model for the computations in the PTA. With higher level of abstraction, the reusability of the quantitative model is also improved. New system architecture is introduced to bridge the gap between theoretical models and implementation of the PTA.


title: Vanadium Dioxide: Metal-Insulator Transition, Electrical Switching and Oscillations. A Review of State of the Art and Recent Progress

abstract: Vanadium dioxide is currently considered as one of the most promising metarials for oxide elcteronics. Both planar and sandwich thin-film MOM devices based on VO2 exhibit electrical switching with an S-shaped I-V characteristic, and this switching effect is associated with the metal-insulator transition (MIT). In an electrical circuit containing such a switching device, relaxation oscillations are observed if the load line intersects the I-V curve at a unique point in NDR region. All these effects are potentially prospective for designing various devices of oxide electronics, particularly, elements of dynamical neural networks based on coupled oscillators.


title: Experimental observation of topological transitions in interacting multi-spin systems

abstract: Topologically ordered phase has emerged as one of most exciting concepts that not only broadens our understanding of phases of matter, but also has been found to have potential application in fault-tolerant quantum computation. The direct measurement of topological properties, however, is still a challenge especially in interacting quantum system. Here we realize one-dimensional Heisenberg spin chains using nuclear magnetic resonance simulators and observe the interaction-induced topological transitions, where Berry curvature in the parameter space of Hamiltonian is probed by means of dynamical response and then the first Chern number is extracted by integrating the curvature over the closed surface. The utilized experimental method provides a powerful means to explore topological phenomena in quantum systems with many-body interactions.


title: Automatic recognition of element classes and boundaries in the birdsong with variable sequences

abstract: Researches on sequential vocalization often require analysis of vocalizations in long continuous sounds. In such studies as developmental ones or studies across generations in which days or months of vocalizations must be analyzed, methods for automatic recognition would be strongly desired. Although methods for automatic speech recognition for application purposes have been intensively studied, blindly applying them for biological purposes may not be an optimal solution. This is because, unlike human speech recognition, analysis of sequential vocalizations often requires accurate extraction of timing information. In the present study we propose automated systems suitable for recognizing birdsong, one of the most intensively investigated sequential vocalizations, focusing on the three properties of the birdsong. First, a song is a sequence of vocal elements, called notes, which can be grouped into categories. Second, temporal structure of birdsong is precisely controlled, meaning that temporal information is important in song analysis. Finally, notes are produced according to certain probabilistic rules, which may facilitate the accurate song recognition. We divided the procedure of song recognition into three sub-steps: local classification, boundary detection, and global sequencing, each of which corresponds to each of the three properties of birdsong. We compared the performances of several different ways to arrange these three steps. As results, we demonstrated a hybrid model of a deep neural network and a hidden Markov model is effective in recognizing birdsong with variable note sequences. We propose suitable arrangements of methods according to whether accurate boundary detection is needed. Also we designed the new measure to jointly evaluate the accuracy of note classification and boundary detection. Our methods should be applicable, with small modification and tuning, to the songs in other species that hold the three properties of the sequential vocalization.


title: A proof of the Square Paths Conjecture

abstract: The modified Macdonald polynomials, introduced by Garsia and Haiman (1996), have many astounding combinatorial properties. One such class of properties involves applying the related $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the (recently proven) Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. In (2007), Loehr and Warrington conjectured a similar expression for $\nabla p_n$ in terms of labeled square paths. In this paper, we extend Haglund and Loehr's (2005) notion of schedules to labeled square paths and apply this extension to prove the Square Paths Conjecture.


title: On-chip coherent conversion of photonic quantum signals between different degrees of freedom

abstract: In the quantum world, a single particle can have various degrees of freedom to encode quantum information. Controlling multiple degrees of freedom simultaneously is necessary to describe a particle fully and, therefore, to use it more efficiently. Here we introduce the transverse waveguide-mode degree of freedom to quantum photonic integrated circuits, and demonstrate the coherent conversion of a photonic quantum state between path, polarization and transverse waveguide-mode degrees of freedom on a single chip. The preservation of quantum coherence in these conversion processes is proven by single-photon and two-photon quantum interference using a fibre beam splitter or on-chip beam splitters. These results provide us with the ability to control and convert multiple degrees of freedom of photons for quantum photonic integrated circuit-based quantum information process.


title: Using compatible shape descriptor for lexicon reduction of printed Farsi subwords

abstract: This Paper presents a method for lexicon reduction of Printed Farsi subwords based on their holistic shape features. Because of the large number of Persian subwords variously shaped from a simple letter to a complex combination of several connected characters, it is not easy to find a fixed shape descriptor suitable for all subwords. In this paper, we propose to select the descriptor according to the input shape characteristics. To do this, a neural network is trained to predict the appropriate descriptor of the input image. This network is implemented in the proposed lexicon reduction system to decide on the descriptor used for comparison of the query image with the lexicon entries. Evaluating the proposed method on a dataset of Persian subwords allows one to attest the effectiveness of the proposed idea of dealing differently with various query shapes.


title: Exact asymptotic statistics of the n-edged face in a 3D Poisson-Voronoi tessellation

abstract: We consider the 3D Poisson-Voronoi tessellation. We investigate the joint probability distribution pi_n(L) for an arbitrarily selected cell face to be n-edged and for the distance between the seeds of its adjacent cells to be equal to 2L. We derive an exact expression for this quantity, valid in the limit n->infty with n^{1/6}L fixed. The leading order correction term is determined. Good agreement with earlier Monte Carlo data is obtained. The cell face is surrounded by a three-dimensional excluded domain that is the union of n balls; it is pumpkin-shaped and analogous to the flower of the 2D Voronoi cell. For n->infty this domain tends towards a torus of equal major and minor radii. The radii scale as n^{1/3}, in agreement with earlier heuristic work. We achieve a detailed understanding of several other statistical properties of the n-edged cell face.


title: The higher order $q$-Dolan-Grady relations and quantum integrable systems

abstract: In this thesis, the connection between recently introduced algebraic structures (tridiagonal algebra, $q$-Onsager algebra, generalized $q-$Onsager algebras), related representation theory (tridiagonal pair, Leonard pair, orthogonal polynomials), some properties of these algebras and the analysis of related quantum integrable models on the lattice (the $XXZ$ open spin chain at roots of unity) is first reviewed. Then, the main results of the thesis are described: (i) for the class of $q-$Onsager algebras associated with $\widehat{sl_2}$ and ADE type simply-laced affine Lie algebras, higher order analogs of Lusztig's relations are conjectured and proven in various cases, (ii) for the open $XXZ$ spin chain at roots of unity, new elements (that are divided polynomials of $q-$Onsager generators) are introduced and some of their properties are studied. These two elements together with the two basic elements of the $q-$Onsager algebra generate a new algebra, which can be understood as an analog of Lusztig's quantum group for the $q-$Onsager algebra. Some perspectives are presented.


title: Atiyah classes and dg-Lie algebroids for matched pairs

abstract: For every Lie pair $(L,A)$ of algebroids we construct a dg-manifold structure on the $\mathbb{Z}$-graded manifold $\mathcal M=L[1]\oplus L/A$ such that the inclusion $\iota: A[1] \to \mathcal M$ and the projection $p:\mathcal M\to L[1]$ are morphisms of dg-manifolds. The vertical tangent bundle $T^p\mathcal M$ then inherits a structure of dg-Lie algebroid over $\mathcal M$. When the Lie pair comes from a matched pair of Lie algebroids, we show that the inclusion $\iota$ induces a quasi-isomorphism that sends the Atiyah class of this dg-Lie algebroid to the Atiyah class of the Lie pair. We also show how (Atiyah classes of) Lie pairs and dg-Lie algebroids give rise to (Atiyah classes of) dDG-algebras.


title: Projective classification of jets of surfaces in $\mathbb{P}^4$

abstract: We are interested in the local extrinsic geometry of smooth surfaces in 4-space, and classify jets of Monge forms by projective transformations according to $\mathcal{A}^3$-types of their central projections.


title: On the non-periodic stable Auslander--Reiten Heller component for the Kronecker algebra over a complete discrete valuation ring

abstract: We consider the Kronecker algebra $A=\mathcal{O}[X, Y]/(X^2, Y^2)$, where $\mathcal{O}$ is a complete discrete valuation ring. Since $A \otimes\kappa$ is a special biserial algebra, where $\kappa$ is the residue field of $\mathcal{O}$, one can compute a complete list of indecomposable $A\otimes\kappa$-modules. For each indecomposable $A\otimes\kappa$-module, we obtain a special kind of $A$-lattices called "Heller lattices". In this paper, we determine the non-periodic component of a variant of the stable Auslander--Reiten quiver for the category of $A$-lattices that contains "Heller lattices". Moreover, we give the strong restrictions on stable Auslander--Reiten quivers for symmetric orders over a complete discrete valuation ring.


title: A normal generating set for the Torelli group of a compact non-orientable surface

abstract: For a compact surface $S$, let $\mathcal{I}(S)$ denote the Torelli group of $S$. For a compact orientable surface $\Sigma$, $\mathcal{I}(\Sigma)$ is generated by BSCC maps and BP maps. For a non-orientable closed surface $N$, $\mathcal{I}(N)$ is generated by BSCC maps and BP maps. In this paper, we give an explicit normal generating set for $\mathcal{I}(N_g^b)$, where $N_g^b$ is a genus-$g$ compact non-orientable surface with $b$ boundary components for $g\geq4$ and $b\geq1$.


title: Parametric Bayesian Rejuvenation in Ambient Assisted Living through Software-based Thematic 5G Management

abstract: Ameliorating elderly engagement is vital in rejuvenating independent living. However, recommended practices lack realization of personal traits despite socio -economic promise. The recent proliferation of IoT with the advent of smart-objects/things and personalized services pave the way for context-aware service management. Eventually, the major goal of this paper is to develop a context-aware model in predicting engagement of elderly care. Hence, key requirements are identified for elderly engagement, namely (a) discovery of contexts, which are relevant (b) scaling up (over time) of engagement. However, paramount challenges are imposed on this stipulation, such as, un-observability, independence and composite relationship of contexts. Therefore, a Topic-model based model is proposed to address scalability of contexts and its conjugal relationship with engagement. Eventually, systematic framework is demonstrated, which pinpoints key goals of context-aware services by participants' opinions, usage and feed-back.


title: Minimax Lower Bounds for Linear Independence Testing

abstract: Linear independence testing is a fundamental information-theoretic and statistical problem that can be posed as follows: given $n$ points $\{(X_i,Y_i)\}^n_{i=1}$ from a $p+q$ dimensional multivariate distribution where $X_i \in \mathbb{R}^p$ and $Y_i \in\mathbb{R}^q$, determine whether $a^T X$ and $b^T Y$ are uncorrelated for every $a \in \mathbb{R}^p, b\in \mathbb{R}^q$ or not. We give minimax lower bound for this problem (when $p+q,n \to \infty$, $(p+q)/n \leq \kappa < \infty$, without sparsity assumptions). In summary, our results imply that $n$ must be at least as large as $\sqrt {pq}/\|\Sigma_{XY}\|_F^2$ for any procedure (test) to have non-trivial power, where $\Sigma_{XY}$ is the cross-covariance matrix of $X,Y$. We also provide some evidence that the lower bound is tight, by connections to two-sample testing and regression in specific settings.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.TH


title: Person Re-Identification by Discriminative Selection in Video Ranking

abstract: Current person re-identification (ReID) methods typically rely on single-frame imagery features, whilst ignoring space-time information from image sequences often available in the practical surveillance scenarios. Single-frame (single-shot) based visual appearance matching is inherently limited for person ReID in public spaces due to the challenging visual ambiguity and uncertainty arising from non-overlapping camera views where viewing condition changes can cause significant people appearance variations. In this work, we present a novel model to automatically select the most discriminative video fragments from noisy/incomplete image sequences of people from which reliable space-time and appearance features can be computed, whilst simultaneously learning a video ranking function for person ReID. Using the PRID$2011$, iLIDS-VID, and HDA+ image sequence datasets, we extensively conducted comparative evaluations to demonstrate the advantages of the proposed model over contemporary gait recognition, holistic image sequence matching and state-of-the-art single-/multi-shot ReID methods.


title: Subnormality of unbounded composition operators over one-circuit directed graphs: exotic examples

abstract: A recent example of a non-hyponormal injective composition operator in an $L^2$-space generating Stieltjes moment sequences, invented by three of the present authors, was built over a non-locally finite directed tree. The main goal of this paper is to solve the problem of whether there exists such an operator over a locally finite directed graph and, in the affirmative case, to find the simplest possible graph with these properties (simplicity refers to local valency). The problem is solved affirmatively for the locally finite directed graph $\mathscr G_{2,0}$, which consists of two branches and one loop. The only simpler directed graph for which the problem remains unsolved consists of one branch and one loop. The consistency condition, the only efficient tool for verifying subnormality of unbounded composition operators, is intensively studied in the context of $\mathscr G_{2,0}$, which leads to a constructive method of solving the problem. The method itself is partly based on transforming the Krein and the Friedrichs measures coming either from shifted Al-Salam-Carlitz $q$-polynomials or from a quartic birth and death process.


title: Response-Time-Optimized Distributed Cloud Resource Allocation

abstract: A current trend in networking and cloud computing is to provide compute resources over widely dispersed places exemplified by initiatives like Network Function Virtualisation. This paves the way for a widespread service deployment and can improve service quality; a nearby server can reduce the user-perceived response times. But always using the nearest server is a bad decision if that server is already highly utilized. This paper investigates the optimal assignment of users to widespread resources -- a convex capacitated facility location problem with integrated queuing systems. We determine the response times depending on the number of used resources. This enables service providers to balance between resource costs and the corresponding service quality. We also present a linear problem reformulation showing small optimality gaps and faster solving times; this speed-up enables a swift reaction to demand changes. Finally, we compare solutions by either considering or ignoring queuing systems and discuss the response time reduction by using the more complex model. Our investigations are backed by large-scale numerical evaluations.


title: On 2D integro-differential systems. Stability and sensitivity analysis

abstract: In the paper a two-dimensional integro-differential system is considered. Using some variational methods we give sufficient conditions for the existence and uniqueness of a solution to the considered system. Moreover, we show that the system is stable and robust.


title: Algebraic sets of types A, B, and C coincide

abstract: It is proved that the definition of an algebraic set of type ${\sf A}$ (a notion related to the multidimensional Hamburger moment problem) does not depend on the choice of a polynomial describing the algebraic set in question and that an algebraic set of type ${\sf B}$ is always of type ${\sf A}$. This answers in the affirmative two questions posed in 1992 by the second author. It is also shown that an algebraic set is of type ${\sf A}$ if and only if it is of type ${\sf C}$ (a notion linked to orthogonality of polynomials of several variables). This, in turn, enables us to answer three questions posed in 2005 by Cicho\'n, Stochel, and Szafraniec.


title: Isometric realization of cross caps as formal power series and its applications

abstract: Two cross caps in Euclidean $3$-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given $C^\infty$ cross cap $f$, we give a method to find all cross caps which are formally isometric to $f$. As an application, we give a countable family of intrinsic invariants of cross caps which recognizes formal isometry classes completely.


title: Ergodicity of inhomogeneous Markov chains through asymptotic pseudotrajectories

abstract: In this work, we consider an inhomogeneous (discrete time) Markov chain and are interested in its long time behavior. We provide sufficient conditions to ensure that some of its asymptotic properties can be related to the ones of a homogeneous (continuous time) Markov process. Renowned examples such as a bandit algorithms, weighted random walks or decreasing step Euler schemes are included in our framework. Our results are related to functional limit theorems, but the approach differs from the standard "Tightness/Identification" argument; our method is unified and based on the notion of pseudotrajectories on the space of probability measures.


title: The connection between AGN-driven dusty outflows and the surrounding environment

abstract: Significant reservoirs of cool gas are observed in the circumgalactic medium (CGM) surrounding galaxies. The CGM is also found to contain substantial amounts of metals and dust, which require some transport mechanism. We consider AGN (active galactic nucleus) feedback-driven outflows based on radiation pressure on dust. Dusty gas is ejected when the central luminosity exceeds the effective Eddington luminosity for dust. We obtain that a higher dust-to-gas ratio leads to a lower critical luminosity, implying that the more dusty gas is more easily expelled. Dusty outflows can reach large radii with a range of velocities (depending on the outflowing shell configuration and the ambient density distribution) and may account for the observed CGM gas. In our picture, dust is required in order to drive AGN feedback, and the preferential expulsion of dusty gas in the outflows may naturally explain the presence of dust in the CGM. On the other hand, the most powerful AGN outflow events can potentially drive gas out of the local galaxy group. We further discuss the effects of radiation pressure of the central AGN on satellite galaxies. AGN radiative feedback may therefore have a significant impact on the evolution of the whole surrounding environment.


title: Hyperbolicity and Quasi-hyperbolicity in Polynomial Diffeomorphisms of ${\Bbb C}^2$

abstract: We consider complex Henon maps which are quasi-hyperbolic. We show that a quasi-hyperbolic map is uniformly hyperbolic if and only if there are no tangencies between stable and unstable manifolds.


title: Quantifying the coherence of pure quantum states

abstract: In recent years, several measures have been proposed for characterizing the coherence of a given quantum state. We derive several results that illuminate how these measures behave when restricted to pure states. Notably, we present an explicit characterization of the closest incoherent state to a given pure state under the trace distance measure of coherence. We then use this result to show that the states maximizing the trace distance of coherence are exactly the maximally coherent states. We define the trace distance of entanglement and show that it coincides with the trace distance of coherence for pure states. Finally, we give an alternate proof to a recent result that the $\ell_1$ measure of coherence of a pure state is never smaller than its relative entropy of coherence.


title: Large deviation principle of occupation measures for Non-linear monotone SPDEs

abstract: Using the hyper-exponential recurrence criterion, a large deviation principle for the occupation measure is derived for a class of non-linear monotone stochastic partial differential equations. The main results are applied to many concrete SPDEs such as stochastic $p$-Laplace equation, stochastic porous medium equation, stochastic fast-diffusion equation, and even stochastic real Ginzburg-Landau equation driven by $\alpha$-stable noises.


title: Minimisers of the Allen-Cahn equation on hyperbolic graphs

abstract: We investigate minimal solutions of the Allen-Cahn equation on a Gromov-hyperbolic graph. Under some natural conditions on the graph, we show the existence of non-constant uniformly-bounded minimal solutions with prescribed asymptotic behaviours. For a phase field model on a hyperbolic graph, such solutions describe energy-minimising steady-state phase transitions that converge towards prescribed phases given by the asymptotic directions on the graph.


title: Turbulence and fire-spotting effects into wild-land fire simulators

abstract: This paper presents a mathematical approach to model the effects of phenomena with random nature such as turbulence and fire-spotting into the existing wildfire simulators. The formulation proposes that the propagation of the fire-front is the sum of a drifting component (obtained from an existing wildfire simulator without turbulence and fire-spotting) and a random fluctuating component. The modelling of the random effects is embodied in a probability density function accounting for the fluctuations around the fire perimeter which is given by the drifting component. In past, this formulation has been applied to include these random effects into a wildfire simulator based on an Eulerian moving interface method, namely the Level Set Method (LSM), but in this paper the same formulation is adapted for a wildfire simulator based on a Lagrangian front tracking technique, namely the Discrete Event System Specification (DEVS). The main highlight of the present study is the comparison of the performance of a Lagrangian and an Eulerian moving interface method when applied to wild-land fire propagation. Simple idealised numerical experiments are used to investigate the potential applicability of the proposed formulation to DEVS and to compare its behaviour with respect to the LSM. The results show that DEVS based wildfire propagation model qualitatively improves its performance (e.g., reproducing flank and back fire, increase in fire spread due to pre-heating of the fuel by hot air and firebrands, fire propagation across no fuel zones, secondary fire generation, \dots). Though the results presented here are devoid of any validation exercise and provide only a proof of concept, they show a strong inclination towards an intended operational use. The existing LSM or DEVS based operational simulators like WRF-SFIRE and ForeFire respectively can serve as an ideal basis for the same.


title: Design and characterization of a Zeeman Slower

abstract: We report on an investigation of a method that applies simultaneously two different mathematical models in order to optimize the design of a Zeeman Slower towards the implementation of ultra cold atoms in solid state physics. We introduce the implementation of a finite element simulation that allows us to predict with great accuracy the magnetic field intensity profile generated by the proposed design. Through the prediction of the behavior of the Zeeman Slower a greater control is acquired, which allows the optimization of the different experimental variables. We applied the method in the design of a multilayer solenoidal "Spin-Flip" Zeeman Slower for strontium atoms. The magnetic intensity profile generated by the Zeeman Slower is in agreement with the magnetic field strength profile necessary for the atom cooling and tends to zero in both end sides. The latter terms are essential in order to optimize the amount of trapped and cooled atoms.


title: Solving Dense Image Matching in Real-Time using Discrete-Continuous Optimization

abstract: Dense image matching is a fundamental low-level problem in Computer Vision, which has received tremendous attention from both discrete and continuous optimization communities. The goal of this paper is to combine the advantages of discrete and continuous optimization in a coherent framework. We devise a model based on energy minimization, to be optimized by both discrete and continuous algorithms in a consistent way. In the discrete setting, we propose a novel optimization algorithm that can be massively parallelized. In the continuous setting we tackle the problem of non-convex regularizers by a formulation based on differences of convex functions. The resulting hybrid discrete-continuous algorithm can be efficiently accelerated by modern GPUs and we demonstrate its real-time performance for the applications of dense stereo matching and optical flow.


title: Smooth densities of the laws of perturbed diffusion processes

abstract: Under some regularity conditions on $b$, $\sigma$ and $\alpha$, we prove that the following perturbed stochastic differential equation \begin{equation} X_t=x+\int_0^t b(X_s)ds+\int_0^t \sigma(X_s) dB_s+\alpha \sup_{0 \le s \le t} X_s, \ \ \ \alpha<1 \end{equation} admits smooth densities for all $0 \le t \le t_0$, where $t_0>0$ is some finite number.


title: A magneto-viscoelasticity problem with a singular memory kernel

abstract: The existence of solutions to a one-dimensional problem arising in magneto-viscoelasticity is here considered. Specifically, a non-linear system of integro-differential equations is analyzed, it is obtained coupling an integro-differential equation modeling the viscoelastic behaviour, in which the kernel represents the relaxation function, with the non-linear partial differential equations modeling the presence of a magnetic field. The case under investigation generalizes a previous study since the relaxation function is allowed to be unbounded at the origin, provided it belongs to $L^1$; the magnetic model equation adopted, as in the previous results [21,22, 24, 25] is the penalized Ginzburg-Landau magnetic evolution equation.


title: Exact solution of Chern-Simons-matter matrix models with characteristic/orthogonal polynomials

abstract: We solve for finite $N$ the matrix model of supersymmetric $U(N)$ Chern-Simons theory coupled to $N_{f}$ fundamental and $N_{f}$ anti-fundamental chiral multiplets of $R$-charge $1/2$ and of mass $m$, by identifying it with an average of inverse characteristic polynomials in a Stieltjes-Wigert ensemble. This requires the computation of the Cauchy transform of the Stieltjes-Wigert polynomials, which we carry out, finding a relationship with Mordell integrals, and hence with previous analytical results on the matrix model. The semiclassical limit of the model is expressed, for arbitrary $N_{f},$ in terms of a single Hermite polynomial. This result also holds for more general matter content, involving matrix models with double-sine functions.


title: Fortuitous sequences of flips of the top of a stack of n burnt pancakes for all n>24

abstract: Burnt pancakes problem was defined by Gates and Papadimitriou in 1979. A stack S of pancakes with a burnt side must be sorted by size, the smallest on top, and each pancake with burnt side down. Only operation allowed is to split stack in two parts and flip upper part. g(S) is the minimal number of flips needed to sort stack S. Stack S may be -In when pancakes are in right order but upside down or -f_n when all pancakes are right side up but sorted in reverse order. Gates et al. proved that g(-f_n)>=3n/2-1. In 1995 Cohen and Blum proved that g(-I_n)=g(-f_n)+1>=3n/2. In 1997 Heydari and Sudborough proved that g(-I_n)<= 3(n+1)/2 whenever some fortuitous sequence of flips exists. They gave fortuitous sequences for n=3, 15, 27 and 31. They showed that two fortuitous sequences S_n and S_n' may combine into another fortuitous sequence S_n'' with n''=n+n'-3. So a fortuitous sequence S_n gives a fortuitous sequence S_{n+12}. This proves that g(-I_n)<=3(n+1)/2 if n is congruent to 3 modulo 4 and n>=23. In 2011 Josef Cibulka enhanced Gates and Papadimitriou's lower bound thanks to a potential function. He got so g(-I_n)>=3n/2+1 if n>1 proving thereby, that g(-I_n)=3(n+1)/2 if n is congruent to 3 modulo 4 and n>=23. This paper explains how to build generalized fortuitous sequences for every n>=25 proving thereby that g(-I_n)=ceiling(3n/2)+1 for every n>=25.


title: Weak Pseudo-Physical Measures and Pesin's Entropy Formula for Anosov C1 diffeomorphisms

abstract: We consider C1 Anosov diffeomorphisms on a compact Riemannian manifold. We define the weak pseudo-physical measures, which include the physical measures when these latter exist. We prove that ergodic weak pseudo-physical measures do exist, and that the set of invariant probability measures that satisfy Pesin's Entropy Formula is the weak*-closed convex hull of the ergodic weak pseudo-physical measures. In brief, we give in the C1-scenario of uniform hyperbolicity, a characterization of Pesin's Entropy Formula in terms of physical-like properties.


title: Sub-Quadratic Decoding of Gabidulin Codes

abstract: This paper shows how to decode errors and erasures with Gabidulin codes in sub-quadratic time in the code length, improving previous algorithms which had at least quadratic complexity. The complexity reduction is achieved by accelerating operations on linearized polynomials. In particular, we present fast algorithms for division, multi-point evaluation and interpolation of linearized polynomials and show how to efficiently compute minimal subspace polynomials.


title: A fractional Landesman-Lazer type problem set on R^N

abstract: By using the abstract version of Struwe's monotonicity-trick we prove the existence of a positive solution to the problem (-\Delta)^s u + K u = f(x, u) in R^N u\in H^s (R^N), K>0 where f(x, t): R^N\times R \rightarrow R is a Caratheodory function, 1-periodic in x and does not satisfy the Ambrosetti-Rabinowitz condition.


title: Periodic solutions for a superlinear fractional problem without the Ambrosetti-Rabinowitz condition

abstract: The purpose of this paper is to study $T$-periodic solutions to [(-\Delta_{x}+m^{2})^{s}-m^{2s}]u=f(x,u) &\mbox{in} (0,T)^{N} (P) u(x+Te_{i})=u(x) &\mbox{for all} x \in \R^{N}, i=1, \dots, N where $s\in (0,1)$, $N>2s$, $T>0$, $m> 0$ and $f(x,u)$ is a continuous function, $T$-periodic in $x$ and satisfying a suitable growth assumption weaker than the Ambrosetti-Rabinowitz condition. The nonlocal operator $(-\Delta_{x}+m^{2})^{s}$ can be realized as the Dirichlet to Neumann map for a degenerate elliptic problem posed on the half-cylinder $\mathcal{S}_{T}=(0,T)^{N}\times (0,\infty)$. By using a variant of the Linking Theorem, we show that the extended problem in $\mathcal{S}_{T}$ admits a nontrivial solution $v(x,\xi)$ which is $T$-periodic in $x$. Moreover, by a procedure of limit as $m\rightarrow 0$, we also prove the existence of a nontrivial solution to (P) with $m=0$.


title: Three proofs of the Makeenko-Migdal equation for Yang-Mills theory on the plane

abstract: We give three short proofs of the Makeenko-Migdal equation for the Yang-Mills measure on the plane, two using the edge variables and one using the loop or lasso variables. Our proofs are significantly simpler than the earlier pioneering rigorous proofs given by T. L\'evy and by A. Dahlqvist. In particular, our proofs are "local" in nature, in that they involve only derivatives with respect to variables adjacent to the crossing in question. In an accompanying paper with F. Gabriel, we will show that two of our proofs can be adapted to the case of Yang-Mills theory on a compact surface.


title: Ground states for superlinear fractional Schr\"odinger equations in \R^{N}

abstract: In this paper we study ground states of the following fractional Schr\"odinger equation (- \Delta)^{s} u + V(x) u = f(x, u) \, \mbox{ in } \, \R^{N}, u\in \H^{s}(\R^{N}) where $s\in (0,1)$, $N>2s$ and $f$ is a continuous function satisfying a suitable growth assumption weaker than the Ambrosetti-Rabinowitz condition. We consider the cases when the potential $V(x)$ is $1$-periodic or has a bounded potential well.


title: Twisted iterated algebraic K-theory and topological T-duality for sphere bundles

abstract: We introduce a periodic form of the iterated algebraic K-theory of ku, the (connective) complex K-theory spectrum, as well as a natural twisting of this cohomology theory by higher gerbes. Furthermore, we prove a form of topological T-duality for sphere bundles oriented with respect to this theory.


title: Trends in sea-ice variability on the way to an ice-free Arctic

abstract: It has been widely debated whether Arctic sea-ice loss can reach a tipping point beyond which a large sea-ice area disappears abruptly. The theory of dynamical systems predicts a slowing down when a system destabilises towards a tipping point. In simple stochastic systems this can result in increasing variance and autocorrelation, potentially yielding an early warning of an abrupt change. Here we aim to establish whether the loss of Arctic sea ice would follow these conceptual predictions, and which trends in sea ice variability can be expected from pre-industrial conditions toward an Arctic that is ice-free during the whole year. To this end, we apply a model hierarchy consisting of two box models and one comprehensive Earth system model. We find a consistent and robust decrease of the ice volume's annual relaxation time before summer ice is lost because thinner ice can adjust more quickly to perturbations. Thereafter, the relaxation time increases, mainly because the system becomes dominated by the ocean water's large heat capacity when the ice-free season becomes longer. Both trends carry over to the autocorrelation of sea ice thickness in time series. These changes are robust to the nature and origin of climate variability in the models and hardly depend on the balance of feedbacks. Therefore, characteristic trends can be expected in the future. As these trends are not specific to the existence of abrupt ice loss, the prospects for early warnings seem very limited. This result also has implications for statistical indicators in other systems whose effective mass changes over time, affecting the trend of their relaxation time. However, the robust relation between state and variability would allow an estimate of sea-ice variability from only short observations. This could help one to estimate the likelihood and persistence of extreme events in the future.


title: Geometric properties of a sine function extendable to arbitrary normed planes

abstract: In this paper we study a metric generalization of the sine function which can be extended to arbitrary normed planes. We derive its main properties and give also some characterizations of Radon planes. Furthermore, we prove that the existence of an angular measure which is "well-behaving" with respect to the sine is only possible in the Euclidean plane, and we also define some new constants that estimate how non-Radon or non-Euclidean a normed plane can be. Sine preserving self-mappings are studied, and a complete description of the linear ones is given. In the last section we exhibit a version of the Law of Sines for Radon planes.


title: Using an Instrumental Variable to Test for Unmeasured Confounding

abstract: An important concern in an observational study is whether or not there is unmeasured confounding, i.e., unmeasured ways in which the treatment and control groups differ before treatment that affect the outcome. We develop a test of whether there is unmeasured confounding when an instrumental variable (IV) is available. An IV is a variable that is independent of the unmeasured confounding and encourages a subject to take one treatment level vs. another, while having no effect on the outcome beyond its encouragement of a certain treatment level. We show what types of unmeasured confounding can be tested for with an IV and develop a test for this type of unmeasured confounding that has correct type I error rate. We show that the widely used Durbin-Wu-Hausman (DWH) test can have inflated type I error rates when there is treatment effect heterogeneity. Additionally, we show that our test provides more insight into the nature of the unmeasured confounding than the DWH test. We apply our test to an observational study of the effect of a premature infant being delivered in a high-level neonatal intensive care unit (one with mechanical assisted ventilation and high volume) vs. a lower level unit, using the excess travel time a mother lives from the nearest high-level unit to the nearest lower-level unit as an IV.


title: Considerations for Cloud Security Operations

abstract: Information Security in Cloud Computing environments is explored. Cloud Computing is presented, security needs are discussed, and mitigation approaches are listed. Topics covered include Information Security, Cloud Computing, Private Cloud, Public Cloud, SaaS, PaaS, IaaS, ISO 27001, OWASP, Secure SDLC.


title: Finite-Difference Time-Domain Simulation for Three-dimensional Polarized Light Imaging

abstract: Three-dimensional Polarized Light Imaging (3D-PLI) is a promising technique to reconstruct the nerve fiber architecture of human post-mortem brains from birefringence measurements of histological brain sections with micrometer resolution. To better understand how the reconstructed fiber orientations are related to the underlying fiber structure, numerical simulations are employed. Here, we present two complementary simulation approaches that reproduce the entire 3D-PLI analysis: First, we give a short review on a simulation approach that uses the Jones matrix calculus to model the birefringent myelin sheaths. Afterwards, we introduce a more sophisticated simulation tool: a 3D Maxwell solver based on a Finite-Difference Time-Domain algorithm that simulates the propagation of the electromagnetic light wave through the brain tissue. We demonstrate that the Maxwell solver is a valuable tool to better understand the interaction of polarized light with brain tissue and to enhance the accuracy of the fiber orientations extracted by 3D-PLI.


title: A Characterization for the Existence of Connected $f$-Factors of $\textit{ Large}$ Minimum Degree

abstract: It is well known that when $f(v)$ is a constant for each vertex $v$, the connected $f$-factor problem is NP-Complete. In this note we consider the case when $f(v) \geq \lceil \frac{n}{2.5}\rceil$ for each vertex $v$, where $n$ is the number of vertices. We present a diameter based characterization of graphs having a connected $f$-factor (for such $f$). We show that if a graph $G$ has a connected $f$-factor and an $f$-factor with 2 connected components, then it has a connected $f$-factor of diameter at least 3. This result yields a polynomial time algorithm which first executes the Tutte's $f$-factor algorithm, and if the output has 2 connected components, our algorithm searches for a connected $f$-factor of diameter at least 3.


title: Asymmetric Peer Influence in Smartphone Adoption in a Large Mobile Network

abstract: Understanding adoption patterns of smartphones is of vital importance to telecommunication managers in today's highly dynamic mobile markets. In this paper, we leverage the network structure and specific position of each individual in the social network to account for and measure the potential heterogeneous role of peer influence in the adoption of the iPhone 3G. We introduce the idea of core/periphery as a meso-level organizational principle to study the social network, which complements the use of centrality measures derived from either global network properties (macro-level) or from each individual's local social neighbourhood (micro-level). Using millions of call detailed records from a mobile network operator in one country for a period of eleven months, we identify overlapping social communities as well as core and periphery individuals in the network. Our empirical analysis shows that core users exert more influence on periphery users than vice versa. Our findings provide important insights to help identify influential members in the social network, which is potentially useful to design optimal targeting strategies to improve current network-based marketing practices.


title: Bosonic interactions with a domain wall

abstract: We consider here the interaction of scalar bosons with a topological domain wall. Not only is there a continuum of scattering states, but there is also an interesting "quasi-discretuum" of positive energy bosonic bound states, describing bosons entrapped within the wall's core. The full spectrum of the scattering and bound state energies and eigenstates is obtainable from a Schr\"odinger-type of equation with a P\"oschl-Teller potential. We also consider the presence of a boson gas within the wall and high energy boson emission.


title: Mediation Analysis for Count and Zero-Inflated Count Data without Sequential Ignorability and Its Application in Dental Studies

abstract: Mediation analysis seeks to understand the mechanism by which a treatment affects an outcome. Count or zero-inflated count outcome are common in many studies in which mediation analysis is of interest. For example, in dental studies, outcomes such as decayed, missing and filled teeth are typically zero inflated. Existing mediation analysis approaches for count data assume sequential ignorability of the mediator. This is often not plausible because the mediator is not randomized so that there are unmeasured confounders associated with the mediator and the outcome. In this paper, we develop causal methods based on instrumental variable (IV) approaches for mediation analysis for count data possibly with a lot of zeros that do not require the assumption of sequential ignorability. We first define the direct and indirect effect ratios for those data, and then propose estimating equations and use empirical likelihood to estimate the direct and indirect effects consistently. A sensitivity analysis is proposed for violations of the IV exclusion restriction assumption. Simulation studies demonstrate that our method works well for different types of outcomes under different settings. Our method is applied to a randomized dental caries prevention trial and a study of the effect of a massive flood in Bangladesh on children's diarrhea.


title: On almost everywhere divergence of Bochner-Riesz means on compact Lie groups

abstract: Let $G$ be a connected, simply connected, compact semisimple Lie group of dimension $n$. It has been shown by Clerc \cite{Clerc1974} that, for any $f\in L^1(G)$, the Bochner-Riesz mean $S_R^\delta(f)$ converges almost everywhere to $f$, provided $\delta>(n-1)/2$. In this paper, we show that, at the critical index $\delta=(n-1)/2$, there exists an $f\in L^1(G)$ such that $$\limsup_{R\rightarrow\infty} \big|S_{R}^{(n-1)/2}(f)(x)\big|=\infty, \ \text{a.e.}\ x\in G.$$ This is an analogue of a well-known result of Kolmogorov \cite{Kolmogoroff1923} for Fourier series on the circle, and a result of Stein \cite{Stein1961} for Bochner-Riesz means on the tori $\mathbb T^{n}, n\geq 2$. We also study localization properties of the Bochner-Riesz mean $S_{R}^{(n-1)/2}(f)$ for $f\in L^1(G)$.