title: A Planning and Control Framework for Humanoid Systems: Robust, Optimal, and Real-time Performance

abstract: Humanoid robots are increasingly demanded to operate in interactive and human-surrounded environments while achieving sophisticated locomotion and manipulation tasks. To accomplish these tasks, roboticists unremittingly seek for advanced methods that generate whole-body coordination behaviors and meanwhile fulfill various planning and control objectives. Undoubtedly, these goals pose fundamental challenges to the robotics and control community. To take an incremental step towards reducing the performance gap between theoretical foundations and real implementations, we present a planning and control framework for the humanoid, especially legged robots, for achieving high performance and generating agile motions. A particular concentration is on the robust, optimal and real-time performance. This framework constitutes three hierarchical layers: First, we present a robust optimal phase-space planning framework for dynamic legged locomotion over rough terrain. This framework is a hybrid motion planner incorporating a series of pivotal components. Second, we take a step toward formally synthesizing high-level reactive planners for whole-body locomotion in constrained environments. We formulate a two-player temporal logic game between the contact planner and its possibly-adversarial environment. Third, we propose a distributed control architecture for the latency-prone humanoid robotic systems. A central experimental phenomenon is observed that the stability of high impedance distributed controllers is highly sensitive to damping feedback delay but much less to stiffness feedback delay. We pursue a detailed analysis of the distributed controllers where damping feedback effort is executed in proximity to the control plant, and stiffness feedback effort is implemented in a latency-prone centralized control process.


title: MorphoNoC: Exploring the Design Space of a Configurable Hybrid NoC using Nanophotonics

abstract: As diminishing feature sizes drive down the energy for computations, the power budget for on-chip communication is steadily rising. Furthermore, the increasing number of cores is placing a huge performance burden on the network-on-chip (NoC) infrastructure. While NoCs are designed as regular architectures that allow scaling to hundreds of cores, the lack of a flexible topology gives rise to higher latencies, lower throughput, and increased energy costs. In this paper, we explore MorphoNoCs - scalable, configurable, hybrid NoCs obtained by extending regular electrical networks with configurable nanophotonic links. In order to design MorphoNoCs, we first carry out a detailed study of the design space for Multi-Write Multi-Read (MWMR) nanophotonics links. After identifying optimum design points, we then discuss the router architecture for deploying them in hybrid electronic-photonic NoCs. We then study explore the design space at the network level, by varying the waveguide lengths and the number of hybrid routers. This affords us to carry out energy-latency trade-offs. For our evaluations, we adopt traces from synthetic benchmarks as well as the NAS Parallel Benchmark suite. Our results indicate that MorphoNoCs can achieve latency improvements of up to 3.0x or energy improvements of up to 1.37x over the base electronic network.


title: Neural Offset Min-Sum Decoding

abstract: Recently, it was shown that if multiplicative weights are assigned to the edges of a Tanner graph used in belief propagation decoding, it is possible to use deep learning techniques to find values for the weights which improve the error-correction performance of the decoder. Unfortunately, this approach requires many multiplications, which are generally expensive operations. In this paper, we suggest a more hardware-friendly approach in which offset min-sum decoding is augmented with learnable offset parameters. Our method uses no multiplications and has a parameter count less than half that of the multiplicative algorithm. This both speeds up training and provides a feasible path to hardware architectures. After describing our method, we compare the performance of the two neural decoding algorithms and show that our method achieves error-correction performance within 0.1 dB of the multiplicative approach and as much as 1 dB better than traditional belief propagation for the codes under consideration.


title: Why a noninteracting model works for shot noise in fractional charge experiments

abstract: A fractional quasiparticle charge is a manifestation of strong interactions in the fractional quantum Hall effect. Nevertheless, shot noise of quasiparticles is well described by a formula, derived for noninteracting charges. We explain the success of that formula by proving that in the limits of strong and weak backscattering it holds irrespectively of microscopic details in weakly and strongly interacting systems alike. The derivation relies only on principles of statistical mechanics. We also derive an approximate model-independent formula for shot noise in the regime of intermediate backscattering. The equation is numerically close to the standard `noninteracting' fitting formula but suggests a different physical interpretation of the experimental results. We verify our theoretical predictions with a shot noise experiment at the filling factor $3/5$.


title: Baryonic impact on the dark matter orbital properties of Milky Way-sized haloes

abstract: We study the orbital properties of dark matter haloes by combining a spectral method and cosmological simulations of Milky Way-sized galaxies. We compare the dynamics and orbits of individual dark matter particles from both hydrodynamic and $N$-body simulations, and find that the fraction of box, tube and resonant orbits of the dark matter halo decreases significantly due to the effects of baryons. In particular, the central region of the dark matter halo in the hydrodynamic simulation is dominated by regular, short-axis tube orbits, in contrast to the chaotic, box and thin orbits dominant in the $N$-body run. This leads to a more spherical dark matter halo in the hydrodynamic run compared to a prolate one as commonly seen in the $N$-body simulations. Furthermore, by using a kernel based density estimator, we compare the coarse-grained phase-space densities of dark matter haloes in both simulations and find that it is lower by $\sim0.5$ dex in the hydrodynamic run due to changes in the angular momentum distribution, which indicates that the baryonic process that affects the dark matter is irreversible. Our results imply that baryons play an important role in determining the shape, kinematics and phase-space density of dark matter haloes in galaxies.


title: Algorithmic Complexity of Weakly Semiregular Partitioning and the Representation Number

abstract: A graph $G$ is {\it weakly semiregular} if there are two numbers $a,b$, such that the degree of every vertex is $a$ or $b$. The {\it weakly semiregular number} of a graph $G$, denoted by $wr(G)$, is the minimum number of subsets into which the edge set of $G$ can be partitioned so that the subgraph induced by each subset is a weakly semiregular graph. We present a polynomial time algorithm to determine whether the weakly semiregular number of a given tree is two. On the other hand, we show that determining whether $ wr(G) = 2 $ for a given bipartite graph $ G $ with at most three numbers in its degree set is {\bf NP}-complete. Among other results, for every tree $T$, we show that $wr(T)\leq 2\log_2 \Delta(T) + \mathcal{O}(1)$, where $\Delta(T)$ denotes the maximum degree of $T$. In the second part of the work, we consider the representation number. A graph $G$ has a {\it representation modulo $r$} if there exists an injective map $\ell: V (G) \rightarrow \mathbb{Z}_r$ such that vertices $v$ and $u$ are adjacent if and only if $|\ell(u) -\ell(v)|$ is relatively prime to $r$. The {\it representation number}, denoted by $rep(G)$, is the smallest $r$ such that $G$ has a representation modulo $r$. Narayan and Urick conjectured that the determination of $rep (G)$ for an arbitrary graph $G$ is a difficult problem \cite{narayan2007representations}. In this work, we confirm this conjecture and show that if $\mathbf{NP\neq P}$, then for any $\epsilon >0$, there is no polynomial time $(1-\epsilon)\frac{n}{2}$-approximation algorithm for the computation of representation number of regular graphs with $n$ vertices.


title: Integration of Preferences in Decomposition Multi-Objective Optimization

abstract: Most existing studies on evolutionary multi-objective optimization focus on approximating the whole Pareto-optimal front. Nevertheless, rather than the whole front, which demands for too many points (especially in a high-dimensional space), the decision maker might only interest in a partial region, called the region of interest. In this case, solutions outside this region can be noisy to the decision making procedure. Even worse, there is no guarantee that we can find the preferred solutions when tackling problems with complicated properties or a large number of objectives. In this paper, we develop a systematic way to incorporate the decision maker's preference information into the decomposition-based evolutionary multi-objective optimization methods. Generally speaking, our basic idea is a non-uniform mapping scheme by which the originally uniformly distributed reference points on a canonical simplex can be mapped to the new positions close to the aspiration level vector specified by the decision maker. By these means, we are able to steer the search process towards the region of interest either directly or in an interactive manner and also handle a large number of objectives. In the meanwhile, the boundary solutions can be approximated given the decision maker's requirements. Furthermore, the extent of the region of the interest is intuitively understandable and controllable in a closed form. Extensive experiments, both proof-of-principle and on a variety of problems with 3 to 10 objectives, fully demonstrate the effectiveness of our proposed method for approximating the preferred solutions in the region of interest.


title: The biglasso Package: A Memory- and Computation-Efficient Solver for Lasso Model Fitting with Big Data in R

abstract: Penalized regression models such as the lasso have been extensively applied to analyzing high-dimensional data sets. However, due to memory limitations, existing R packages like glmnet and ncvreg are not capable of fitting lasso-type models for ultrahigh-dimensional, multi-gigabyte data sets that are increasingly seen in many areas such as genetics, genomics, biomedical imaging, and high-frequency finance. In this research, we implement an R package called biglasso that tackles this challenge. biglasso utilizes memory-mapped files to store the massive data on the disk, only reading data into memory when necessary during model fitting, and is thus able to handle out-of-core computation seamlessly. Moreover, it's equipped with newly proposed, more efficient feature screening rules, which substantially accelerate the computation. Benchmarking experiments show that our biglasso package, as compared to existing popular ones like glmnet, is much more memory- and computation-efficient. We further analyze a 31 GB real data set on a laptop with only 16 GB RAM to demonstrate the out-of-core computation capability of biglasso in analyzing massive data sets that cannot be accommodated by existing R packages.


title: The frame of smashing tensor-ideals

abstract: Given a tensor-triangulated category $T$, we prove that every flat tensor-idempotent in the module category over $T^c$ (the compacts) comes from a unique smashing ideal in $T$. We deduce that the lattice of smashing ideals forms a frame.


title: Probing dark excitons in atomically thin semiconductors via near-field coupling to surface plasmon polaritons

abstract: Transition metal dichalcogenide (TMD) monolayers are direct bandgap semiconductors that feature tightly bound excitons, strong spin-orbit coupling, and spin-valley degrees of freedom. Depending on the spin configuration of the electron-hole pairs, intra-valley excitons of TMD monolayers can be either optically bright or dark. Dark excitons involve nominally spin-forbidden optical transitions with zero in-plane transition dipole moment, making their detection with conventional far-field optical techniques challenging. Here, we introduce a new method for probing the optical properties of two-dimensional (2D) materials via near-field coupling to surface plasmon polaritons (SPPs), which selectively enhances optical transitions with dipole moments normal to the 2D plane. We utilize this method to directly detect dark excitons in monolayer TMDs. When a WSe2 monolayer is placed on top of a single-crystal silver film, its emission into near-field-coupled SPPs displays new spectral features whose energies and dipole orientations are consistent with dark neutral and charged excitons. The SPP-based near-field spectroscopy significantly enhances experimental capabilities for probing and manipulating exciton dynamics of atomically thin materials.


title: ALMA and VLA Observations: Evidence for Ongoing Low-mass Star Formation near Sgr A*

abstract: Using the VLA, we recently detected a large number of protoplanetary disk (proplyd) candidates lying within a couple of light years of the massive black hole Sgr A*. The bow-shock appearance of proplyd candidates point toward the young massive stars located near Sgr A*. Similar to Orion proplyds, the strong UV radiation from the cluster of massive stars at the Galactic center is expected to photoevaporate and photoionize the circumstellar disks around young, low mass stars, thus allowing detection of the ionized outflows from the photoionized layer surrounding cool and dense gaseous disks. To confirm this picture, ALMA observations detect millimeter emission at 226 GHz from five proplyd candidates that had been detected at 44 and 34 GHz with the VLA. We present the derived disk masses for four sources as a function of the assumed dust temperature. The mass of protoplanetary disks from cool dust emission ranges between 0.03 -- 0.05 solar mass. These estimates are consistent with the disk masses found in star forming sites in the Galaxy. These measurements show the presence of on-going star formation with the implication that gas clouds can survive near Sgr A* and the relative importance of high vs low-mass star formation in the strong tidal and radiation fields of the Galactic center.


title: ImageJ2: ImageJ for the next generation of scientific image data

abstract: ImageJ is an image analysis program extensively used in the biological sciences and beyond. Due to its ease of use, recordable macro language, and extensible plug-in architecture, ImageJ enjoys contributions from non-programmers, amateur programmers, and professional developers alike. Enabling such a diversity of contributors has resulted in a large community that spans the biological and physical sciences. However, a rapidly growing user base, diverging plugin suites, and technical limitations have revealed a clear need for a concerted software engineering effort to support emerging imaging paradigms, to ensure the software's ability to handle the requirements of modern science. Due to these new and emerging challenges in scientific imaging, ImageJ is at a critical development crossroads. We present ImageJ2, a total redesign of ImageJ offering a host of new functionality. It separates concerns, fully decoupling the data model from the user interface. It emphasizes integration with external applications to maximize interoperability. Its robust new plugin framework allows everything from image formats, to scripting languages, to visualization to be extended by the community. The redesigned data model supports arbitrarily large, N-dimensional datasets, which are increasingly common in modern image acquisition. Despite the scope of these changes, backwards compatibility is maintained such that this new functionality can be seamlessly integrated with the classic ImageJ interface, allowing users and developers to migrate to these new methods at their own pace. ImageJ2 provides a framework engineered for flexibility, intended to support these requirements as well as accommodate future needs.


title: An Efficient Time-splitting Method for the Ehrenfest Dynamics

abstract: The Ehrenfest dynamics, representing a quantum-classical mean-field type coupling, is a widely used approximation in quantum molecular dynamics. In this paper, we propose a time-splitting method for an Ehrenfest dynamics, in the form of a nonlinearly coupled Schr\"odinger-Liouville system. We prove that our splitting scheme is stable uniformly with respect to the semiclassical parameter, and, moreover, that it preserves a discrete semiclassical limit. Thus one can accurately compute physical observables using time steps induced only by the classical Liouville equation, i.e., independent of the small semiclassical parameter - in addition to classical mesh sizes for the Liouville equation. Numerical examples illustrate the validity of our meshing strategy.


title: A Python Calculator for Supernova Remnant Evolution

abstract: A freely available Python code for modelling SNR evolution has been created. This software is intended for two purposes: to understand SNR evolution; and to use in modelling observations of SNR for obtaining good estimates of SNR properties. It includes all phases for the standard path of evolution for spherically symmetric SNRs. In addition, alternate evolutionary models are available, including evolution in a cloudy ISM, the fractional energy loss model, and evolution in a hot low-density ISM. The graphical interface takes in various parameters and produces outputs such as shock radius and velocity vs. time, SNR surface brightness profile and spectrum. Some interesting properties of SNR evolution are demonstrated using the program.


title: Structure of optimal strategies for remote estimation over Gilbert-Elliott channel with feedback

abstract: We investigate remote estimation over a Gilbert-Elliot channel with feedback. We assume that the channel state is observed by the receiver and fed back to the transmitter with one unit delay. In addition, the transmitter gets ACK/NACK feedback for successful/unsuccessful transmission. Using ideas from team theory, we establish the structure of optimal transmission and estimation strategies and identify a dynamic program to determine optimal strategies with that structure. We then consider first-order autoregressive sources where the noise process has unimodal and symmetric distribution. Using ideas from majorization theory, we show that the optimal transmission strategy has a threshold structure and the optimal estimation strategy is Kalman-like.


title: Representations of the Multicast Network Problem

abstract: We approach the problem of linear network coding for multicast networks from different perspectives. We introduce the notion of the coding points of a network, which are edges of the network where messages combine and coding occurs. We give an integer linear program that leads to choices of paths through the network that minimize the number of coding points. We introduce the code graph of a network, a simplified directed graph that maintains the information essential to understanding the coding properties of the network. One of the main problems in network coding is to understand when the capacity of a multicast network is achieved with linear network coding over a finite field of size q. We explain how this problem can be interpreted in terms of rational points on certain algebraic varieties.


title: Exploiting the Cloud Control Plane for Fun and Profit

abstract: Cloud providers typically charge for their services. There are diverse pricing models which often follow a pay-per-use paradigm. The consumers' payments are expected to cover all cost which incurs to the provider for processing, storage, bandwidth, data centre operation and engineering efforts, among others. In contrast, the consumer management interfaces are free of charge as they are expected to cause only a minority of the load compared to the actual computing services. With new service models and more complex and powerful management abilities, it is time to rethink this decision. The paper shows how to exploit the control plane of AWS Lambda to implement stateful services practically for free and under some circumstances even guaranteed for free which if widely deployed would cause a monetary loss for the provider. It also elaborates on the consistency model for AWS Lambda.


title: GSP - The Cinderella of Mechanism Design

abstract: Nearly fifteen years ago, Google unveiled the generalized second price (GSP) auction. By all theoretical accounts including their own [Varian 14], this was the wrong auction --- the Vickrey-Clarke-Groves (VCG) auction would have been the proper choice --- yet GSP has succeeded spectacularly. We give a deep justification for GSP's success: advertisers' preferences map to a model we call value maximization, they do not maximize profit as the standard theory would believe. For value maximizers, GSP is the truthful auction [Aggarwal 09]. Moreover, this implies an axiomatization of GSP --- it is an auction whose prices are truthful for value maximizers --- that can be applied much more broadly than the simple model for which GSP was originally designed. In particular, applying it to arbitrary single-parameter domains recovers the folklore definition of GSP. Through the lens of value maximization, GSP metamorphosizes into a powerful auction, sound in its principles and elegant in its simplicity.


title: On the Symmetry of Images of Word Maps in Groups

abstract: Word maps in a group, an analogue of polynomials in groups, are defined by substitution of formal words. Lubotzky gave a characterization of the images of word maps in finite simple groups, and a consequence of his characterization is the existence of a group G such that the image of some word map on G is not closed under inversion. We explore sufficient conditions on a group that ensure that the image of all word maps on G are closed under inversion. We then show that there are only two groups with order less than 108 with the property that there is a word map with image not closed under inversion. We also study this behavior in nilpotent groups.


title: Sponsored Search Auctions with Rich Ads

abstract: The generalized second price (GSP) auction has served as the core selling mechanism for sponsored search ads for over a decade. However, recent trends expanding the set of allowed ad formats---to include a variety of sizes, decorations, and other distinguishing features---have raised critical problems for GSP-based platforms. Alternatives such as the Vickrey-Clarke-Groves (VCG) auction raise different complications because they fundamentally change the way prices are computed. In this paper we report on our efforts to redesign a search ad selling system from the ground up in this new context, proposing a mechanism that optimizes an entire slate of ads globally and computes prices that achieve properties analogous to those held by GSP in the original, simpler setting of uniform ads. A careful algorithmic coupling of allocation-optimization and pricing-computation allows our auction to operate within the strict timing constraints inherent in real-time ad auctions. We report performance results of the auction in Yahoo's Gemini Search platform.


title: $U(1)\otimes BRST$ symmetry, of on-shell T-matrix elements and (1-$\phi$-I) Green's functions, determines the vacuum state of the Abelian Higgs Model from symmetry alone: minimization of the scalar-sector effective potential is unnecessary

abstract: The weak-scale $U(1)_{Y}$ Abelian Higgs Model (AHM) is the spontaneous-symmetry-breaking gauge theory of a complex scalar $\phi = \frac{1}{\sqrt{2}}(H + i \pi)$ and a vector $A_{\mu}$. Global $U(1)_{Y}\otimes BRST$ symmetry emerges: when it is realized that on-shell T-matrix elements enjoy an extra $U(1)_{Y}$ global symmetry beyond the Lagragian's BRST symmetry. The symmetries co-exist: $U(1)_{Y}$ generators $\delta_{U(1)_Y}$ commute with BRST generators s and $[\delta_{U(1)_Y},s]{\cal L} = 0$. Two towers of Ward Takahashi identities (WTI), which include all-loop-orders quantum corrections, emerge: a tower of relations among off-shell 1-$\phi$-I (but 1-$A_{\mu}$-Reducible) Green's functions; another tower of Adler-zero WTI for on-shell T-matrix elements. The T-matrix's LSS theorem forces tadpoles to automatically vanish (equivalently $m^{2}_{\pi} = 0$) by symmetry alone. We show that, when the full symmetries of Lorenz gauge AHM are enforced on the scalar-sector effective potential, the vacuum state of the theory is specified/decided by symmetry alone. We use recursive WTI relations among Green's functions to include opeators of dimension $\geq 1$. We express the fully renormalized scalar-sector effective potential in a form which shows explicitly that, for small scalar field values, the gauge-independent vacuum state of the theory $\langle H\rangle_{renormalized} = Z^{1/2}_{\phi}\langle H\rangle_{bare}$ is determined by $U(1)_{Y}\otimes BRST$ symmetry alone, without minimizing the effective potential.


title: Modeling the absorption spectrum of the permanganate ion in vacuum and in aqueous solution

abstract: The absorption spectrum of the MnO$_{4}$$^{-}$ ion has been a test-bed for quantum-chemical methods over the last decades. Its correct description requires highly-correlated multiconfigurational methods, which are incompatible with the inclusion of finite-temperature and solvent effects due to their high computational demands. Therefore, implicit solvent models are usually employed. Here we show that implicit solvent models are not sufficiently accurate to model the solvent shift of MnO$_{4}$$^{-}$, and we analyze the origins of their failure. We obtain the correct solvent shift for MnO$_{4}$$^{-}$ in aqueous solution by employing the polarizable embedding (PE) model combined with a range-separated complete active space short-range density functional theory method (CAS-srDFT). Finite-temperature effects are taken into account by averaging over structures obtained from ab initio molecular dynamics simulations. The explicit treatment of finite-temperature and solvent effects facilitates the interpretation of the bands in the low-energy region of the MnO$_{4}$$^{-}$ absorption spectrum, whose assignment has been elusive.


title: Controlling electron spin dynamics in bichromatic Kapitza-Dirac scattering by the laser field polarization

abstract: Spin-dependent Kapitza-Dirac scattering of electron beams from counterpropagating bichromatic laser waves in various polarization geometries is studied. The corresponding scattering probabilities are obtained by analytical and numerical solutions of the time-dependent Dirac equation, assuming a field frequency ratio of 2. When the fundamental field mode is circular-polarized, we show that spin dynamics are generally suppressed at low intensities, but can become distinct at high intensities. Conversely, when a linearly or elliptically polarized fundamental mode is combined with a second harmonic of circular polarization, strong spin effects arise already at low field intensities. In particular, a polarization configuration is identified which acts as a spin filter for free electrons.


title: Algebraic Properties of Wyner Common Information Solution under Graphical Constraints

abstract: The Constrained Minimum Determinant Factor Analysis (CMDFA) setting was motivated by Wyner's common information problem where we seek a latent representation of a given Gaussian vector distribution with the minimum mutual information under certain generative constraints. In this paper, we explore the algebraic structures of the solution space of the CMDFA, when the underlying covariance matrix $\Sigma_x$ has an additional latent graphical constraint, namely, a latent star topology. In particular, sufficient and necessary conditions in terms of the relationships between edge weights of the star graph have been found. Under such conditions and constraints, we have shown that the CMDFA problem has either a rank one solution or a rank $n-1$ solution where $n$ is the dimension of the observable vector. Numerical results are provided to demonstrate the difference between the optimal mutual information and that derived under a naive star constraint.


title: Zooming in to Massive Star Birth

abstract: We present high resolution (0.2", 1000 AU) 1.3 mm ALMA observations of massive infrared dark cloud clump, G028.37+00.07-C1, thought to harbor the early stages of massive star formation. Using $\rm N_2D^+$(3-2) we resolve the previously identified C1-S core, separating the bulk of its emission from two nearby protostellar sources. C1-S is thus identified as a massive ($\sim50\:M_\odot$), compact ($\sim0.1\:$pc diameter) starless core, e.g., with no signs of outflow activity. Being highly deuterated, this is a promising candidate for a pre-stellar core on the verge of collapse. An analysis of its dynamical state indicates a sub-virial velocity dispersion compared to a trans-Alfv\'enic turbulent core model. However, virial equilibrium could be achieved with sub-Alfv\'enic conditions involving $\sim2\:$mG magnetic field strengths.


title: Learning Policies for Markov Decision Processes from Data

abstract: We consider the problem of learning a policy for a Markov decision process consistent with data captured on the state-actions pairs followed by the policy. We assume that the policy belongs to a class of parameterized policies which are defined using features associated with the state-action pairs. The features are known a priori, however, only an unknown subset of them could be relevant. The policy parameters that correspond to an observed target policy are recovered using $\ell_1$-regularized logistic regression that best fits the observed state-action samples. We establish bounds on the difference between the average reward of the estimated and the original policy (regret) in terms of the generalization error and the ergodic coefficient of the underlying Markov chain. To that end, we combine sample complexity theory and sensitivity analysis of the stationary distribution of Markov chains. Our analysis suggests that to achieve regret within order $O(\sqrt{\epsilon})$, it suffices to use training sample size on the order of $\Omega(\log n \cdot poly(1/\epsilon))$, where $n$ is the number of the features. We demonstrate the effectiveness of our method on a synthetic robot navigation example.


title: Polar Coding for Achieving the Capacity of Marginal Channels in Nonbinary-Input Setting

abstract: Achieving information-theoretic security using explicit coding scheme in which unlimited computational power for eavesdropper is assumed, is one of the main topics is security consideration. It is shown that polar codes are capacity achieving codes and have a low complexity in encoding and decoding. It has been proven that polar codes reach to secrecy capacity in the binary-input wiretap channels in symmetric settings for which the wiretapper's channel is degraded with respect to the main channel. The first task of this paper is to propose a coding scheme to achieve secrecy capacity in asymmetric nonbinary-input channels while keeping reliability and security conditions satisfied. Our assumption is that the wiretap channel is stochastically degraded with respect to the main channel and message distribution is unspecified. The main idea is to send information set over good channels for Bob and bad channels for Eve and send random symbols for channels that are good for both. In this scheme the frozen vector is defined over all possible choices using polar codes ensemble concept. We proved that there exists a frozen vector for which the coding scheme satisfies reliability and security conditions. It is further shown that uniform distribution of the message is the necessary condition for achieving secrecy capacity.


title: Cominuscule points and Schubert varieties

abstract: We introduce the notion of a cominuscule point in a Schubert variety in a generalized flag variety for a semisimple group. We derive formulas expressing the Hilbert series and multiplicity of a Schubert variety at a cominuscule point in terms of the restrictions of classes in torus-equivariant K-theory and cohomology to that point, generalizing previously known formulas for flag varieties of cominuscule type. Thus, we can calculate Hilbert series and multiplicities in cases where these were previously unknown. The formulas for Schubert varieties are special cases of more general formulas valid at generalized cominuscule points of schemes with torus actions.


title: Image De-raining Using a Conditional Generative Adversarial Network

abstract: Severe weather conditions such as rain and snow adversely affect the visual quality of images captured under such conditions thus rendering them useless for further usage and sharing. In addition, such degraded images drastically affect performance of vision systems. Hence, it is important to solve the problem of single image de-raining/de-snowing. However, this is a difficult problem to solve due to its inherent ill-posed nature. Existing approaches attempt to introduce prior information to convert it into a well-posed problem. In this paper, we investigate a new point of view in addressing the single image de-raining problem. Instead of focusing only on deciding what is a good prior or a good framework to achieve good quantitative and qualitative performance, we also ensure that the de-rained image itself does not degrade the performance of a given computer vision algorithm such as detection and classification. In other words, the de-rained result should be indistinguishable from its corresponding clear image to a given discriminator. This criterion can be directly incorporated into the optimization framework by using the recently introduced conditional generative adversarial networks (GANs). To minimize artifacts introduced by GANs and ensure better visual quality, a new refined loss function is introduced. Based on this, we propose a novel single image de-raining method called Image De-raining Conditional General Adversarial Network (ID-CGAN), which considers quantitative, visual and also discriminative performance into the objective function. Experiments evaluated on synthetic images and real images show that the proposed method outperforms many recent state-of-the-art single image de-raining methods in terms of quantitative and visual performance.


title: The uniqueness of the Enneper surfaces and Chern-Ricci functions on minimal surfaces

abstract: We construct the first and second Chern-Ricci functions on negatively curved minimal surfaces in ${\mathbb{R}}^{3}$ using Gauss curvature and angle functions, and establish that they become harmonic functions on the minimal surfaces. We prove that a minimal surface has constant first Chern-Ricci function if and only if it is Enneper's surface. We explicitly determine the moduli space of minimal surfaces having constant second Chern-Ricci function, which contains catenoids, helicoids, and their associate families.


title: Essential dimension of the spin groups in characteristic 2

abstract: We determine the essential dimension of the spin group Spin(n) as an algebraic group over a field of characteristic 2, for n at least 15. In this range, the essential dimension is the same as in characteristic not 2. In particular, it is exponential in n. This is surprising in that the essential dimension of the orthogonal groups is smaller in characteristic 2. We also find the essential dimension of Spin(n) in characteristic 2 for n at most 10.


title: Au13(8e): A Secondary Block for Describing a Special Group of Liganded Gold Clusters Containing Icosahedral Au13 Motifs

abstract: A grand unified model (GUM) has been proposed recently to understand structure anatomy and evolution of liganded gold clusters. In this work, besidesthe two types of elementary blocks (triangular Au3(2e) and tetrahedral Au4(2e)), we introduce a secondary block, namely, the icosahedral Au13 with 8e valence electrons, noted as Au13(8e). Using this secondary block, structural anatomy and evolution of a special group of liganded gold nanoclusters containing icosahedral Au13 motifs can be conveniently analyzed. In addition, a new ligand-protected cluster Au49(PR3)10(SR)15Cl2 is predicted to exhibit high chemical and thermal stability, suggesting likelihood of its synthesis in the laboratory.


title: Approximations of the domination number of a graph

abstract: Given a graph G, the domination number gamma(G) of G is the minimum order of a set S of vertices such that each vertex not in S is adjacent to some vertex in S. Equivalently, label the vertices from {0, 1} so that the sum over each closed neighborhood is at least one; the minimum value of the sum of all labels, with this restriction, is the domination number. The fractional domination number gamma_f(G) is defined in the same way, except that the vertex labels are chosen from [0, 1]. Given an ordering of the vertex set of G, let gamma_g(G) be the approximation of the domination number by the standard greedy algorithm. Computing the domination number is NP-complete; however, we can bound gamma by these two more easily computed parameters: gamma_f(G) <= gamma(G) <= gamma_g(G). How good are these approximations? Using techniques from the theory of hypergraphs, one can show that, for every graph G of order n, gamma_g(G) / gamma_f(G) = O(log n). On the other hand, we provide examples of graphs for which gamma / gamma_f = Theta(log n) and graphs for which gamma_g / gamma = Theta(log n). Lastly, we use our examples to compare two bounds on gamma_g.


title: Detection of a Coherent Magnetic Field in the Magellanic Bridge through Faraday Rotation

abstract: We present an investigation into the magnetism of the Magellanic Bridge, carried out through the observation of Faraday rotation towards 167 polarized extragalactic radio sources spanning the continuous frequency range of 1.3 - 3.1 GHz with the Australia Telescope Compact Array. Comparing measured Faraday depth values of sources 'on' and 'off' the Bridge, we find that the two populations are implicitly different. Assuming that this difference in populations is due to a coherent field in the Magellanic Bridge, the observed Faraday depths indicate a median line-of-sight coherent magnetic-field strength of $B_{\parallel}\,\simeq\,0.3\,\mu$G directed uniformly away from us. Motivated by the varying magnitude of Faraday depths of sources on the Bridge, we speculate that the coherent field observed in the Bridge is a consequence of the coherent magnetic fields from the Large and Small Magellanic Clouds being pulled into the tidal feature. This is the first observation of a coherent magnetic field spanning the entirety of the Magellanic Bridge and we argue that this is a direct probe of a 'pan-Magellanic' field.


title: The effects of the overshooting of the convective core on main-sequence turnoffs of young- and intermediate-age star clusters

abstract: Recent investigations have shown that the extended main-sequence turnoffs (eMSTOs) are a common feature of intermediate-age star clusters in the Magellanic Clouds. The eMSTOs are also found in the color-magnitude diagram (CMD) of young-age star clusters. The origin of the eMSTOs is still an open question. Moreover, asteroseismology shows that the value of the overshooting parameter $\delta_{\rm ov}$ of the convective core is not fixed for the stars with an approximatelly equal mass. Thus the MSTO of star clusters may be affected by the overshooting of the convective core (OVCC). We calculated the effects of the OVCC with different $\delta_{\rm ov}$ on the MSTO of young- and intermediate-age star clusters. \textbf{If $\delta_{\rm ov}$ varies between stars in a cluster,} the observed eMSTOs of young- and intermediate-age star clusters can be explained well by the effects. The equivalent age spreads of MSTO caused by the OVCC are related to the age of star clusters and are in good agreement with observed results of many clusters. Moreover, the observed eMSTOs of NGC 1856 are reproduced by the coeval populations with different $\delta_{\rm ov}$. The eMSTOs of star clusters may be relevant to the effects of the OVCC. The effects of the OVCC \textbf{are similar to that of rotation in some respects. But the effects cannot result in a significant split of main sequence of young star clusters at $m_{U}\lesssim 21$.} The presence of a rapid rotation can make the split of main sequence of young star clusters more significant.


title: Centered Isotonic Regression: Point and Interval Estimation for Dose-Response Studies

abstract: Univariate isotonic regression (IR) has been used for nonparametric estimation in dose-response and dose-finding studies. One undesirable property of IR is the prevalence of piecewise-constant stretches in its estimates, whereas the dose-response function is usually assumed to be strictly increasing. We propose a simple modification to IR, called centered isotonic regression (CIR). CIR's estimates are strictly increasing in the interior of the dose range. In the absence of monotonicity violations, CIR and IR both return the original observations. Numerical examination indicates that for sample sizes typical of dose-response studies and with realistic dose-response curves, CIR provides a substantial reduction in estimation error compared with IR when monotonicity violations occur. We also develop analytical interval estimates for IR and CIR, with good coverage behavior. An R package implements these point and interval estimates.


title: An infinite family of Steiner systems $S(2, 4, 2^m)$ from cyclic codes

abstract: Steiner systems are a fascinating topic of combinatorics. The most studied Steiner systems are $S(2, 3, v)$ (Steiner triple systems), $S(3, 4, v)$ (Steiner quadruple systems), and $S(2, 4, v)$. There are a few infinite families of Steiner systems $S(2, 4, v)$ in the literature. The objective of this paper is to present an infinite family of Steiner systems $S(2, 4, 2^m)$ for all $m \equiv 2 \pmod{4} \geq 6$ from cyclic codes. This may be the first coding-theoretic construction of an infinite family of Steiner systems $S(2, 4, v)$. As a by-product, many infinite families of $2$-designs are also reported in this paper.


title: Continuous Covers on Symplectic Manifolds

abstract: In this article, we first introduce the notion of a {\it continuous cover} of a manifold parametrised by any compact manifold endowed with a mass 1 volume-form. We prove that any such cover admits a partition of unity where the usual sum is replaced by integrals. We then generalize Polterovich's notion of Poisson non-commutativity to such a context in order to get a richer definition of non-commutativity and to be in a position where one can compare various invariants of symplectic manifolds, for instance the relation between critical values of phase transitions of symplectic balls and eventual critical values of the Poisson non-commutativity. Our first main theorem states that our generalisation of Poisson non-commutativity depends only on real one-parameter spaces since intuitively the Hilbert curve in any high dimensional parameter space fills out the entire manifold and preserves the measure. Our second main theorem states that the Poisson non-commutativity is a (not necessarily strictly) decreasing function of the size of the symplectic balls used to cover continuously any given symplectic manifold. This function has other nice properties as well that do not prevent it from undergoing singularities similar to phase transitions.


title: Fatou Property, representations, and extensions of law-invariant risk measures on general Orlicz spaces

abstract: We provide a variety of results for (quasi)convex, law-invariant functionals defined on a general Orlicz space, which extend well-known results in the setting of bounded random variables. First, we show that Delbaen's representation of convex functionals with the Fatou property, which fails in a general Orlicz space, can be always achieved under the assumption of law-invariance. Second, we identify the range of Orlicz spaces where the characterization of the Fatou property in terms of norm lower semicontinuity by Jouini, Schachermayer and Touzi continues to hold. Third, we extend Kusuoka's representation to a general Orlicz space. Finally, we prove a version of the extension result by Filipovi\'{c} and Svindland by replacing norm lower semicontinuity with the (generally non-equivalent) Fatou property. Our results have natural applications to the theory of risk measures.


title: The Klein-Gordon-Zakharov equations with the positive fractional power terms and their exact solutions

abstract: In this paper, the famous Klein-Gordon-Zakharov equations are firstly generalized, the new special types of Klein-Gordon-Zakharov equations with the positive fractional power terms (gKGZE) are presented. In order to derive the exact solutions of new special gKGZE, the subsidiary higher order ordinary differential equations (sub-ODEs) with the positive fractional power terms are introduced, and with the aids of the Sub-ODE, the exact solutions of three special types of the gKGZE are derived, which are the bell-type solitary wave solution, the algebraic solitary wave solution, the kink-type solitary wave solution and the sinusoidal traveling wave solution, provided that the coefficients of gKGZE satisfy certain constraint conditions.


title: Solitary Wave Solutions of KP equation, Cylindrical KP Equation and Spherical KP Equation

abstract: Three (2+1)-dimensional equations, they are KP equation, cylindrical KP equation and spherical KP equation, have been reduced to the same KdV equation by different transformation of variables respectively. Since the single solitary wave solution and 2-solitary wave solution of the KdV equation have been known already, substituting the solutions of the KdV equation into the corresponding transformation of variables respectively, the single and 2-solitary wave solutions of the three (2+1)-dimensional equations can be obtained successfully.


title: Convection shapes the trade-off between antibiotic efficacy and the selection for resistance in spatial gradients

abstract: Since penicillin was discovered about 90 years ago, we have become used to using drugs to eradicate unwanted pathogenic cells. However, using drugs to kill bacteria, viruses or cancer cells has the serious side effect of selecting for mutant types that survive the drug attack. A key question therefore is how one could eradicate as many cells as possible for a given acceptable risk of drug resistance evolution. We address this general question in a model of drug resistance evolution in spatial drug gradients, which recent experiments and theories have suggested as key drivers of drug resistance. Importantly, our model takes into account the influence of convection, resulting for instance from blood flow. Using stochastic simulations, we study the fates of individual resistance mutations and quantify the trade-off between the killing of wild-type cells and the rise of resistance mutations: shallow gradients and convection into the antibiotic region promote wild-type death, at the cost of increasing the establishment probability of resistance mutations. We can explain these observed trends by modeling the adaptation process as a branching random walk. Our analysis reveals that the trade-off between death and adaptation depends on the relative length scales of the spatial drug gradient and random dispersal, and the strength of convection. Our results show that convection can have a momentous effect on the rate of establishment of new mutations, and may heavily impact the efficiency of antibiotic treatment.


title: From Half-metal to Semiconductor: Electron-correlation Effects in Zigzag SiC Nanoribbons From First Principles

abstract: We performed electronic structure calculations based on the first-principles many-body theory approach in order to study quasiparticle band gaps, and optical absorption spectra of hydrogen-passivated zigzag SiC nanoribbons. Self-energy corrections are included using the GW approximation, and excitonic effects are included using the Bethe-Salpeter equation. We have systematically studied nanoribbons that have widths between 0.6 $\text{nm}$ and 2.2 $\text{nm}$. Quasiparticle corrections widened the Kohn-Sham band gaps because of enhanced interaction effects, caused by reduced dimensionality. Zigzag SiC nanoribbons with widths larger than 1 nm, exhibit half-metallicity at the mean-field level. The self-energy corrections increased band gaps substantially, thereby transforming the half-metallic zigzag SiC nanoribbons, to narrow gap spin-polarized semiconductors. Optical absorption spectra of these nanoribbons get dramatically modified upon inclusion of electron-hole interactions, and the narrowest ribbon exhibits strongly bound excitons, with binding energy of 2.1 eV. Thus, the narrowest zigzag SiC nanoribbon has the potential to be used in optoelectronic devices operating in the IR region of the spectrum, while the broader ones, exhibiting spin polarization, can be utilized in spintronic applications.


title: Plasmonic Doped Semiconductor Nanocrystals: Properties, Fabrication, Applications and Perspectives

abstract: Degenerately doped semiconductor nanocrystals (NCs) are of recent interest to the NC community due to their tunable localized surface plasmon resonances (LSPRs) in the near infrared (NIR). The high level of doping in such materials with carrier densities in the range of 1021 cm^-3 leads to degeneracy of the doping levels and intense plasmonic absorption in the NIR. The lower carrier density in degenerately doped semiconductor NCs compared to noble metals enables LSPR tuning over a wide spectral range, since even a minor change of the carrier density strongly affects the spectral position of the LSPR. We focus on copper chalcogenide NCs and impurity doped metal oxide NCs as the most investigated alternatives to noble metals. We shed light on the structural changes upon LSPR tuning in vacancy doped copper chalcogenide NCs and deliver a picture for the fundamentally different mechanism of LSPR modification of impurity doped metal oxide NCs. We review on the peculiar optical properties of plasmonic degenerately doped NCs by highlighting the variety of different optical measurements and optical modeling approaches. These findings are merged in an exhaustive section on new and exciting applications based on the special characteristics that plasmonic semiconductor NCs bring along.


title: Coded Computation over Heterogeneous Clusters

abstract: In large-scale distributed computing clusters, such as Amazon EC2, there are several types of "system noise" that can result in major degradation of performance: bottlenecks due to limited communication bandwidth, latency due to straggler nodes, etc. On the other hand, these systems enjoy abundance of redundancy - a vast number of computing nodes and large storage capacity. There have been recent results that demonstrate the impact of coding for efficient utilization of computation and storage redundancy to alleviate the effect of stragglers and communication bottlenecks in homogeneous clusters. In this paper, we focus on general heterogeneous distributed computing clusters consisting of a variety of computing machines with different capabilities. We propose a coding framework for speeding up distributed computing in heterogeneous clusters by trading redundancy for reducing the latency of computation. In particular, we propose Heterogeneous Coded Matrix Multiplication (HCMM) algorithm for performing distributed matrix multiplication over heterogeneous clusters that is provably asymptotically optimal for a broad class of processing time distributions. Moreover, we show that HCMM is unboundedly faster than any uncoded scheme. To demonstrate practicality of HCMM, we carry out experiments over Amazon EC2 clusters where HCMM is found to be up to $61\%$, $46\%$ and $36\%$ respectively faster than three benchmark load allocation schemes - Uniform Uncoded, Load-balanced Uncoded, and Uniform Coded. Additionally, we provide a generalization to the problem of optimal load allocation in heterogeneous settings, where we take into account the monetary costs associated with the clusters. We argue that HCMM is asymptotically optimal for budget-constrained scenarios as well, and we develop a heuristic algorithm for (HCMM) load allocation for budget-limited computation tasks.


title: Quasi-Monte Carlo integration with product weights for elliptic PDEs with log-normal coefficients

abstract: Quasi-Monte Carlo (QMC) integration of output functionals of solutions of the diffusion problem with a log-normal random coefficient is considered. The random coefficient is assumed to be given by an exponential of a Gaussian random field that is represented by a series expansion of some system of functions. Graham et al. [16] developed a lattice-based QMC theory for this problem and established a quadrature error decay rate $\approx 1$ with respect to the number of quadrature points. The key assumption there was a suitable summability condition on the aforementioned system of functions. As a consequence, product-order-dependent (POD) weights were used to construct the lattice rule. In this paper, a different assumption on the system is considered. This assumption, originally considered by Bachmayr et al. [3] to utilise the locality of support of basis functions in the context of polynomial approximations applied to the same type of the diffusion problem, is shown to work well in the same lattice-based QMC method considered by Graham et al.: the assumption leads us to product weights, which enables the construction of the QMC method with a smaller computational cost than Graham et al. A quadrature error decay rate $\approx 1$ is established, and the theory developed here is applied to a wavelet stochastic model. By a characterisation of the Besov smoothness, it is shown that a wide class of path smoothness can be treated with this framework.


title: A GPU-Based Solution to Fast Calculation of Betweenness Centrality on Large Weighted Networks

abstract: Recent decades have witnessed the tremendous development of network science, which indeed brings a new and insightful language to model real systems of different domains. Betweenness, a widely employed centrality in network science, is a decent proxy in investigating network loads and rankings. However, the extremely high computational cost greatly prevents its applying on large networks. Though several parallel algorithms have been presented to reduce its calculation cost on unweighted networks, a fast solution for weighted networks, which are in fact more ubiquitous than unweighted ones in reality, is still missing. In this study, we develop an efficient parallel GPU-based approach to boost the calculation of betweenness centrality on very large and weighted networks. Comprehensive and systematic evaluations on both synthetic and real-world networks demonstrate that our solution can arrive the performance of 30x to 150x speedup over the CPU implementation by integrating the work-efficient and warp-centric strategies. Our algorithm is completely open-sourced and free to the community and it is public available through https://dx.doi.org/10.6084/m9.figshare.4542405. Considering the pervasive deployment and declining price of GPU on personal computers and servers, our solution will indeed offer unprecedented opportunities for exploring the betweenness related problems in network science.


title: How often does the best team win? A unified approach to understanding randomness in North American sport

abstract: Statistical applications in sports have long centered on how to best separate signal (e.g. team talent) from random noise. However, most of this work has concentrated on a single sport, and the development of meaningful cross-sport comparisons has been impeded by the difficulty of translating luck from one sport to another. In this manuscript, we develop Bayesian state-space models using betting market data that can be uniformly applied across sporting organizations to better understand the role of randomness in game outcomes. These models can be used to extract estimates of team strength, the between-season, within-season, and game-to-game variability of team strengths, as well each team's home advantage. We implement our approach across a decade of play in each of the National Football League (NFL), National Hockey League (NHL), National Basketball Association (NBA), and Major League Baseball (MLB), finding that the NBA demonstrates both the largest dispersion in talent and the largest home advantage, while the NHL and MLB stand out for their relative randomness in game outcomes. We conclude by proposing new metrics for judging competitiveness across sports leagues, both within the regular season and using traditional postseason tournament formats. Although we focus on sports, we discuss a number of other situations in which our generalizable models might be usefully applied.


title: A remark on conditions that a diffusion in the natural scale is a martingale

abstract: We consider a diffusion processes $\{ X_t \}$ on an interval in the natural scale. Some results are known under which $\{ X_t \}$ is a martingale, and we give simple and analytic proofs for them.


title: Perturbations and projections of Kalman-Bucy semigroups

abstract: We analyse various perturbations and projections of Kalman-Bucy semigroups and Riccati equations. For example, covariance inflation-type perturbations and localisation methods (projections) are common in the ensemble Kalman filtering literature. In the limit of these ensemble methods, the regularised sample covariance tends toward a solution of a perturbed/projected Riccati equation. With this motivation, results are given characterising the error between the nominal and regularised Riccati flows and Kalman-Bucy filtering distributions. New projection-type models are also discussed; e.g. Bose-Mesner projections. These regularisation models are also of interest on their own, and in, e.g., differential games, control of stochastic/jump processes, and robust control.


title: A wavelet integral collocation method for nonlinear boundary value problems in Physics

abstract: A high order wavelet integral collocation method (WICM) is developed for general nonlinear boundary value problems in physics. This method is established based on Coiflet approximation of multiple integrals of interval bounded functions combined with an accurate and adjustable boundary extension technique. The convergence order of this approximation has been proven to be N as long as the Coiflet with N-1 vanishing moment is adopted, which can be any positive even integers. Before the conventional collocation method is applied to the general problems, the original differential equation is changed into its equivalent form by denoting derivatives of the unknown function as new functions and constructing relations between the low and high order derivatives. For the linear cases, error analysis has proven that the proposed WICM is order N, and condition numbers of relevant matrices are almost independent of the number of collocation points. Numerical examples of a wide range of nonlinear differential equations in physics demonstrate that accuracy of the proposed WICM is even greater than N, and most interestingly, such accuracy is independent of the order of the differential equation to be solved. Comparison to existing numerical methods further justifies the accuracy and efficiency of the proposed method.


title: The Least Square-free Primitive Root Modulo a Prime

abstract: $ $The aim of this thesis is to lower the bound on square-free primitive roots modulo primes. Let $g^{\Box}(p)$ be the least square-free primitive root modulo $p$. We have proven the following two theorems. Theorem 0.1. $$g^{\Box}(p) < p^{0.88}\quad\text{for all primes }p.$$ Theorem 0.2. $$g^{\Box}(p) < p^{0.63093}\quad\text{for all primes } p < 2.5\times10^{15} \text{ and }p > 9.63\times10^{65}.$$ Theorem 0.1 shows an improvement in the best known bound while Theorem 0.2 shows for which primes we can prove the theoretical lower bound. After some introductory information in Chapter 1, we will start to prove the above theorems in Chapter 2. We will introduce an indicator function for primitive roots of primes in {\S}2.1 and together with results from {\S}1.2.1, {\S}1.2.3 and {\S}1.2.4 we will outline the first step in proving a general theorem of the above form. The next two stages in the proof will be outlined in Chapter 3. These two stages require the introduction of the prime sieve. Before defining the sieve in {\S}3.2 we will introduce the $e-$free integers which will play an important role in defining the sieve. In {\S}3.2 we will obtain results that do not require computation, including Theorem 0.2. An algorithm is then introduced in {\S}3.3 which is the last stage of the proof. There we will complete the proof of Theorem 0.1.


title: Asynchronous Physical-layer Network Coding: Symbol Misalignment Estimation and Its Effect on Decoding

abstract: In asynchronous physical-layer network coding (APNC) systems, the symbols from multiple transmitters to a common receiver may be misaligned. The knowledge of the amount of symbol misalignment, hence its estimation, is important to PNC decoding. This paper addresses the problem of symbol-misalignment estimation and the problem of optimal PNC decoding given the misalignment estimate, assuming the APNC system uses the root-raised-cosine pulse to carry signals (RRC-APNC). First, we put forth an optimal symbol-misalignment estimator that makes use of double baud-rate samples. Then, we devise optimal decoders for RRC-APNC in the presence of inaccurate symbol-misalignment estimates. In particular, we present a new whitening transformation to whiten the noise of the double baud-rate samples. Finally, we investigate the decoding performance of various estimation-and-decoding schemes for RRC-APNC. Extensive simulations show that: (i) Our double baud-rate estimator yields substantially more accurate symbol-misalignment estimates than the baud-rate estimator does. The mean-square-error (MSE) gains are up to 8 dB. (ii) An overall estimation-and-decoding scheme in which both estimation and decoding are based on double baud-rate samples yields much better performance than other schemes. Compared with a scheme in which both estimation and decoding are based on baud-rate samples), the double baud-rate sampling scheme yields 4.5 dB gains on symbol error rate (SER) performance in an AWGN channel, and 2 dB gains on packet error rate (PER) performance in a Rayleigh fading channel.


title: Observations on Factors Affecting Performance of MapReduce based Apriori on Hadoop Cluster

abstract: Designing fast and scalable algorithm for mining frequent itemsets is always being a most eminent and promising problem of data mining. Apriori is one of the most broadly used and popular algorithm of frequent itemset mining. Designing efficient algorithms on MapReduce framework to process and analyze big datasets is contemporary research nowadays. In this paper, we have focused on the performance of MapReduce based Apriori on homogeneous as well as on heterogeneous Hadoop cluster. We have investigated a number of factors that significantly affects the execution time of MapReduce based Apriori running on homogeneous and heterogeneous Hadoop Cluster. Factors are specific to both algorithmic and non-algorithmic improvements. Considered factors specific to algorithmic improvements are filtered transactions and data structures. Experimental results show that how an appropriate data structure and filtered transactions technique drastically reduce the execution time. The non-algorithmic factors include speculative execution, nodes with poor performance, data locality & distribution of data blocks, and parallelism control with input split size. We have applied strategies against these factors and fine tuned the relevant parameters in our particular application. Experimental results show that if cluster specific parameters are taken care of then there is a significant reduction in execution time. Also we have discussed the issues regarding MapReduce implementation of Apriori which may significantly influence the performance.


title: A Minimum Reconfiguration Probability Routing Algorithm for RWA in All-Optical Networks

abstract: In this paper, we present a detailed study of Minimum Reconfiguration Probability Routing (MRPR) algorithm, and its performance evaluation in comparison with Adaptive unconstrained routing (AUR) and Least Loaded routing (LLR) algorithms. We have minimized the effects of failures on link and router failure in the network under changing load conditions, we assess the probability of service and number of light path failures due to link or route failure on Wavelength Interchange(WI) network. The computation complexity is reduced by using Kalman Filter(KF) techniques. The minimum reconfiguration probability routing (MRPR) algorithm selects most reliable routes and assign wavelengths to connections in a manner that utilizes the light path(LP) established efficiently considering all possible requests.


title: We can't hear the shape of drum: revisited in 3D case

abstract: Can one hear the shape of a drum? was proposed by Kac in 1966. The simple answer is NO as shown through the construction of iso-spectral domains. There already exists 17 families of planar domains which are non-isometric but display the same spectra of frequencies. These frequencies, deduced from the eigenvalues of the Laplacian, are determined by solving the wave equation in a domain, which is subject to Dirichlet boundary conditions. This paper revisits the serials of reflection rule inherent in the 17 families of iso-spectral domains. In accordance with the reflection rule visualized by red-blue-black, we construct real 3D isospectral models successfully. What is more, accompanying with the proof of transplantation method, we also use the numerical method to verify the isospectrality of the 3D models.


title: Bouc's conjecture on $B$-groups

abstract: Bouc proposed the following conjecture: a finite group $G$ is nilpotent if and only if its largest quotient $B$-group $\beta(G)$ is nilpotent. And he has prove that this conjecture holds when $G$ is solvable. In this paper, we consider the case when $G$ is not solvable. Let $S$ be a nonabelian simple group except the Chevalley groups $A_{n}(q)$, $D_{n}(q)$, $E_{6}(q)$, and $^2A_{n}(q)$, if there exists only one factor of $G$ which is isomorphic to $S$, then $\beta(G)$ is not solvable, of course, is not nilpotent. That means we prove the conjecture in these cases.


title: Distributed Random-Fixed Projected Algorithm for Constrained Optimization Over Digraphs

abstract: This paper is concerned with a constrained optimization problem over a directed graph (digraph) of nodes, in which the cost function is a sum of local objectives, and each node only knows its local objective and constraints. To collaboratively solve the optimization, most of the existing works require the interaction graph to be balanced or "doubly-stochastic", which is quite restrictive and not necessary as shown in this paper. We focus on an epigraph form of the original optimization to resolve the "unbalanced" problem, and design a novel two-step recursive algorithm with a simple structure. Under strongly connected digraphs, we prove that each node asymptotically converges to some common optimal solution. Finally, simulations are performed to illustrate the effectiveness of the proposed algorithms.


title: Dynamics of isolated orders

abstract: We study some properties of the dynamical realization of isolated left orders of a countable group G. We show that the dynamical realization admits a unique minimal set provided G is not infinite cyclic. We show that convex subgroup of an isolated left order is finite in number. Using this, we give a dynamical proof of the Tararin theorem. We also show that there is a new isolated order on the braid group B_3.


title: Quantifying the uncertainties in an ensemble of decadal climate predictions

abstract: Meaningful climate predictions must be accompanied by their corresponding range of uncertainty. Quantifying the uncertainties is non-trivial, and different methods have been suggested and used in the past. Here, we propose a method that does not rely on any assumptions regarding the distribution of the ensemble member predictions. The method is tested using the CMIP5 1981-2010 decadal predictions and is shown to perform better than two other methods considered here. The improved estimate of the uncertainties is of great importance for both practical use and for better assessing the significance of the effects seen in theoretical studies.


title: Bounds and Constructions for Linear Locally Repairable Codes over Binary Fields

abstract: For binary $[n,k,d]$ linear locally repairable codes (LRCs), two new upper bounds on $k$ are derived. The first one applies to LRCs with disjoint local repair groups, for general values of $n,d$ and locality $r$, containing some previously known bounds as special cases. The second one is based on solving an optimization problem and applies to LRCs with arbitrary structure of local repair groups. Particularly, an explicit bound is derived from the second bound when $d\geq 5$. A specific comparison shows this explicit bound outperforms the Cadambe-Mazumdar bound for $5\leq d\leq 8$ and large values of $n$. Moreover, a construction of binary linear LRCs with $d\geq6$ attaining our second bound is provided.


title: The LNED and LFED Conjectures for Algebraic Algebras

abstract: Let $K$ be a field of characteristic zero and $\mathcal A$ a $K$-algebra such that all the $K$-subalgebras generated by finitely many elements of $\mathcal A$ are finite dimensional over $K$. A $K$-$\mathcal E$-derivation of $\mathcal A$ is a $K$-linear map of the form $\operatorname{I}-\phi$ for some $K$-algebra endomorphism $\phi$ of $\mathcal A$, where $\operatorname{I}$ denotes the identity map of $\mathcal A$. In this paper we first show that for all locally finite $K$-derivations $D$ and locally finite $K$-algebra automorphisms $\phi$ of $\mathcal A$, the images of $D$ and $\operatorname{I}-\phi$ do not contain any nonzero idempotent of $\mathcal A$. We then use this result to show some cases of the LFED and LNED conjectures proposed in [Z4]. More precisely, We show the LNED conjecture for $\mathcal A$, and the LFED conjecture for all locally finite $K$-derivations of $\mathcal A$ and all locally finite $K$-$\mathcal E$-derivations of the form $\delta=\operatorname{I}-\phi$ with $\phi$ being surjective. In particular, both conjectures are proved for all finite dimensional $K$-algebras. Furthermore, some finite extensions of derivations and automorphism to inner derivations and inner automorphisms, respectively, have also been established. This result is not only crucial in the proofs of the results above, but also interesting on its own right.


title: Fluctuations for stationary $q$-TASEP

abstract: We consider the $q$-totally asymmetric simple exclusion process ($q$-TASEP) in the stationary regime and study the fluctuation of the position of a particle. We first observe that the problem can be studied as a limiting case of an $N$-particle $q$-TASEP with a random initial condition and with particle dependent hopping rate. Then we explain how this $N$-particle $q$-TASEP can be encoded in a dynamics on a two-sided Gelfand-Tsetlin cone described by a two-sided $q$-Whittaker process and present a Fredholm determinant formula for the $q$-Laplace transform of the position of a particle. Two main ingredients in its derivation is the Ramanujan's bilateral summation formula and the Cauchy determinant identity for the theta function with an extra parameter. Based on this we establish that the position of a particle obeys the universal stationary KPZ distribution (the Baik-Rains distribution) in the long time limit.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: Some Open Problems on Locally Finite or Locally Nilpotent Derivations and ${\mathcal E}$-Derivations

abstract: Let $R$ be a commutative ring and $\mathcal A$ an $R$-algebra. An $R$-$\mathcal E$-derivation of $\mathcal A$ is an $R$-linear map of the form $\operatorname{I}-\phi$ for some $R$-algebra endomorphism $\phi$ of $\mathcal A$, where $\operatorname{I}$ denotes the identity map of $\mathcal A$. In this paper we discuss some open problems on whether or not the image of a locally finite $R$-derivation or $R$-$\mathcal E$-derivation of $\mathcal A$ is a Mathieu subspace [Z2, Z3] of $\mathcal A$, and whether or not a locally nilpotent $R$-derivation or $R$-$\mathcal E$-derivation of $\mathcal A$ maps every ideal of $\mathcal A$ to a Mathieu subspace of $\mathcal A$. We propose and discuss two conjectures which state that both questions above have positive answers if the base ring $R$ is a field of characteristic zero. We give some examples to show the necessity of the conditions of the two conjectures, and discuss some positive cases known in the literature. We also show some cases of the two conjectures. In particular, both the conjectures are proved for locally finite or locally nilpotent algebraic derivations and $\mathcal E$-derivations of integral domains of characteristic zero.


title: Idempotents in Intersection of the Kernel and the Image of Locally Finite Derivations and $\mathcal E$-derivations

abstract: Let $K$ be a field of characteristic zero, $\mathcal A$ a $K$-algebra and $\delta$ a $K$-derivation of $\mathcal A$ or $K$-$\mathcal E$-derivation of $\mathcal A$ (i.e., $\delta=\operatorname{Id}_A-\phi$ for some $K$-algebra endomorphism $\phi$ of $\mathcal A$). Motivated by the Idempotent conjecture proposed in [Z4], we first show that for every idempotent $e$ lying in both the kernel ${\mathcal A}^\delta$ and the image $\operatorname{Im}\delta \!:=\delta ({\mathcal A})$ of $\delta$, the principal ideal $(e)\subseteq \operatorname{Im} \delta$ if $\delta$ is a locally finite $K$-derivation or a locally nilpotent $K$-$\mathcal E$-derivation of $\mathcal A$; and $e{\mathcal A}, {\mathcal A}e \subseteq \operatorname{Im} \delta$ if $\delta$ is a locally finite $K$-$\mathcal E$-derivation of $\mathcal A$. Consequently, the Idempotent conjecture holds for all locally finite $K$-derivations and all locally nilpotent $K$-$\mathcal E$-derivations of $\mathcal A$. We then show that $1_{\mathcal A} \in \operatorname{Im} \delta$, (if and) only if $\delta$ is surjective, which generalizes the same result [GN, W] for locally nilpotent $K$-derivations of commutative $K$-algebras to locally finite $K$-derivations and $K$-$\mathcal E$-derivations $\delta$ of all $K$-algebras $\mathcal A$.


title: Estimation of the shape of the density contours of star-shaped distributions

abstract: Elliptically contoured distributions generalize the multivariate normal distributions in such a way that the density generators need not be exponential. However, as the name suggests, elliptically contoured distributions remain to be restricted in that the similar density contours ought to be elliptical. Kamiya, Takemura and Kuriki [Star-shaped distributions and their generalizations, Journal of Statistical Planning and Inference 138 (2008), 3429--3447] proposed star-shaped distributions, for which the density contours are allowed to be boundaries of arbitrary similar star-shaped sets. In the present paper, we propose a nonparametric estimator of the shape of the density contours of star-shaped distributions, and prove its strong consistency with respect to the Hausdorff distance. We illustrate our estimator by simulation.


title: Optomechanical Microwave Quantum Illumination in Weak Coupling Regime

abstract: We propose to realize microwave quantum illumination in weak coupling regime based on multimode optomechanical systems. In our proposal the multimode together with a frequency-mismatch process could reduce mechanical thermal noise. Therefore, we achieve a significant reduction of error probability than conventional detector in weak coupling regime. Moreover, we optimize the signal-to-noise ratio for limited bandwidth by tuning the delay time of entangled wave-packets.


title: ARM Wrestling with Big Data: A Study of Commodity ARM64 Server for Big Data Workloads

abstract: ARM processors have dominated the mobile device market in the last decade due to their favorable computing to energy ratio. In this age of Cloud data centers and Big Data analytics, the focus is increasingly on power efficient processing, rather than just high throughput computing. ARM's first commodity server-grade processor is the recent AMD A1100-series processor, based on a 64-bit ARM Cortex A57 architecture. In this paper, we study the performance and energy efficiency of a server based on this ARM64 CPU, relative to a comparable server running an AMD Opteron 3300-series x64 CPU, for Big Data workloads. Specifically, we study these for Intel's HiBench suite of web, query and machine learning benchmarks on Apache Hadoop v2.7 in a pseudo-distributed setup, for data sizes up to $20GB$ files, $5M$ web pages and $500M$ tuples. Our results show that the ARM64 server's runtime performance is comparable to the x64 server for integer-based workloads like Sort and Hive queries, and only lags behind for floating-point intensive benchmarks like PageRank, when they do not exploit data parallelism adequately. We also see that the ARM64 server takes $\frac{1}{3}^{rd}$ the energy, and has an Energy Delay Product (EDP) that is $50-71\%$ lower than the x64 server. These results hold promise for ARM64 data centers hosting Big Data workloads to reduce their operational costs, while opening up opportunities for further analysis.


title: The LFED and LNED Conjectures for Laurent Polynomial Algebras

abstract: Let $R$ be an integral domain of characteristic zero, $x=(x_1, x_2, ..., x_n)$ $n$ commutative free variables, and ${\mathcal A}_n:=R[x^{-1}, x]$, i.e., the Laurent polynomial algebra in $x$ over $R$. In this paper we first classify all locally finite or locally nilpotent $R$-derivations and $R$-$\mathcal E$-derivations of ${\mathcal A}_n$, where by an $R$-$\mathcal E$-derivation of ${\mathcal A}_n$ we mean an $R$-linear map of the form $\operatorname{Id}_{{\mathcal A}_n}-\phi$ for some $R$-algebra endomorphism $\phi$ of ${\mathcal A}_n$. In particular, we show that ${\mathcal A}_n$ has no nonzero locally nilpotent $R$-derivations or $R$-$\mathcal E$-derivations. Consequently, the LNED conjecture proposed in [Z4] for ${\mathcal A}_n$ follows. We then show some cases of the LFED conjecture proposed in [Z4] for ${\mathcal A}_n$. In particular, we show that both the LFED and LNED conjectures hold for the Laurent polynomial algebras in one or two commutative free variables over a field of characteristic zero.


title: Polarizations of gravitational waves in $f(R)$ gravity

abstract: We point out that there are only three polarizations for gravitational waves in $f(R)$ gravity, and the polarization due to the massive scalar mode is a mix of the pure longitudinal and transverse breathing polarization. The classification of the six polarizations by the Newman-Penrose quantities is based on weak, plane and null gravitational waves, so it is not applicable to the massive mode.


title: Conflict-Free Coloring of Planar Graphs

abstract: A conflict-free k-coloring of a graph assigns one of k different colors to some of the vertices such that, for every vertex v, there is a color that is assigned to exactly one vertex among v and v's neighbors. Such colorings have applications in wireless networking, robotics, and geometry, and are well-studied in graph theory. Here we study the natural problem of the conflict-free chromatic number chi_CF(G) (the smallest k for which conflict-free k-colorings exist). We provide results both for closed neighborhoods N[v], for which a vertex v is a member of its neighborhood, and for open neighborhoods N(v), for which vertex v is not a member of its neighborhood. For closed neighborhoods, we prove the conflict-free variant of the famous Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case bound: three colors are sometimes necessary and always sufficient. We also give a complete characterization of the computational complexity of conflict-free coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G, but polynomial for outerplanar graphs. Furthermore, deciding whether chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for outerplanar graphs. For the bicriteria problem of minimizing the number of colored vertices subject to a given bound k on the number of colors, we give a full algorithmic characterization in terms of complexity and approximation for outerplanar and planar graphs. For open neighborhoods, we show that every planar bipartite graph has a conflict-free coloring with at most four colors; on the other hand, we prove that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite graph has a conflict-free k-coloring. Moreover, we establish that any general} planar graph has a conflict-free coloring with at most eight colors.


title: Applying empirical software engineering to software architecture: challenges and lessons learned

abstract: In the last 15 years, software architecture has emerged as an important software engineering field for managing the development and maintenance of large, software- intensive systems. Software architecture community has developed numerous methods, techniques, and tools to support the architecture process (analysis, design, and review). Historically, most advances in software architecture have been driven by talented people and industrial experience, but there is now a growing need to systematically gather empirical evidence about the advantages or otherwise of tools and methods rather than just rely on promotional anecdotes or rhetoric. The aim of this paper is to promote and facilitate the application of the empirical paradigm to software architecture. To this end, we describe the challenges and lessons learned when assessing software architecture research that used controlled experiments, replications, expert opinion, systematic literature reviews, obser- vational studies, and surveys. Our research will support the emergence of a body of knowledge consisting of the more widely-accepted and well-formed software architecture theories.


title: Calibration of a Hybrid Local-Stochastic Volatility Stochastic Rates Model with a Control Variate Particle Method

abstract: We propose a novel and generic calibration technique for four-factor foreign-exchange hybrid local-stochastic volatility models with stochastic short rates. We build upon the particle method introduced by Guyon and Labord\`ere [Nonlinear Option Pricing, Chapter 11, Chapman and Hall, 2013] and combine it with new variance reduction techniques in order to accelerate convergence. We use control variates derived from a calibrated pure local volatility model, a two-factor Heston-type LSV model (both with deterministic rates), and the stochastic (CIR) short rates. The method can be applied to a large class of hybrid LSV models and is not restricted to our particular choice of the diffusion. The calibration procedure is performed on real-world market data for the EUR-USD currency pair and has a comparable run-time to the PDE calibration of a two-factor LSV model alone.


title: Possible Superconductivity in Electron-doped Chromium Pnictide LaOCrAs

abstract: We constructed an effective tight-binding model with five Cr $3d$ orbitals for LaOCrAs according to first-principles calculations. Basing on this model, we investigated possible superconductivity induced by correlations in doped LaOCrAs using the functional renormalization group (FRG). We find that there are two domes of superconductivity in electron-doped LaOCrAs. With increasing electron doping, the ground state of the system evolves from G-type antiferromagnetism in the parent compound to an incipient $s_\pm$-wave superconducting phase dominated by electron bands derived from the $d_{3z^2-r^2}$ orbital as the filling is above $4.2$ electrons per site on the $d$-orbitals of Cr. The gap function has strong octet anisotropy on the Fermi pocket around the zone center and diminishes on the other pockets. In electron over-doped LaOCrAs, the system develops $d_{x^2-y^2}$-wave superconducting phase and the active band derives from the $d_{xy}$ orbital. Inbetween the two superconducting domes, a time-reversal symmetry breaking $s+id$ SC phase is likely to occur. We also find $s_\pm$-wave superconducting phase in the hole-doped case.


title: Investigation of energy gap and observation of electron-phonon interaction in high-temperature superconductor $La_{1.8}Sr_{0.2}CuO_{4}$ - normal metal point contacts

abstract: Electrical characteristics $(I(eV), dV/dI(eV), d^{2}V/dI^{2}(eV))$ are studied comprehensively for pressed submicron point contacts between fresh fractures of LaSrCuO ceramic pellets and a normal metal (Cu). Point contacts (PC) with the direct-type conductivity are investigated, which are characterized by a considerable excess current due to Andreev reflection of quasiparticles at an NS boundary of high transparency. Basic requirements for point contacts suitable for PC measurements are formulated. The models of investigated point contacts permitting the interpretation of the observed characteristics are considered. The results of measurement of the energy gap reveal that LaSrCuO is a superconductor with a strong coupling since the maximum value of the ratio $2\Delta/kT\simeq 11$. It is found that superconducting properties may vary appreciably over distances of several tens of angstroms, resulting in some cases in the simultaneous emergence of two gaps corresponding to two critical temperatures. The $dV/dI(eV)$ and $d^{2}V/dI^{2}(eV)$ curves display some high-intensity singularities whose position on the eV-axis is practically independent of temperature and correlates with the phonon spectrum obtained in neutron scattering experiments. This points to a strong electron-phonon interaction in LaSrCuO.


title: Light traffic behavior under the power-of-two load balancing strategy: The case of heterogeneous servers

abstract: We consider a multi-server queueing system under the power-of-two policy with Poisson job arrivals, heterogeneous servers and a general job requirement distribution; each server operates under the first-come first-serve policy and there are no buffer constraints. We analyze the performance of this system in light traffic by evaluating the first two light traffic derivatives of the average job response time. These expressions point to several interesting structural features associated with server heterogeneity in light traffic: For unequal capacities, the average job response time is seen to decrease for small values of the arrival rate, and the more diverse the server speeds, the greater the gain in performance. These theoretical findings are assessed through limited simulations.


title: Reliable Virtual Machine Placement and Routing in Clouds

abstract: In current cloud computing systems, when leveraging virtualization technology, the customer's requested data computing or storing service is accommodated by a set of communicated virtual machines (VM) in a scalable and elastic manner. These VMs are placed in one or more server nodes according to the node capacities or failure probabilities. The VM placement availability refers to the probability that at least one set of all customer's requested VMs operates during the requested lifetime. In this paper, we first study the problem of placing at most H groups of k requested VMs on a minimum number of nodes, such that the VM placement availability is no less than $\delta$, and that the specified communication delay and connection availability for each VM pair under the same placement group are not violated. We consider this problem with and without Shared-Risk Node Group (SRNG) failures, and prove this problem is NP-hard in both cases. We subsequently propose an exact Integer Nonlinear Program (INLP) and an efficient heuristic to solve this problem. We conduct simulations to compare the proposed algorithms with two existing heuristics in terms of performance. Finally, we study the related reliable routing problem of establishing a connection over at most w link-disjoint paths from a source to a destination, such that the connection availability requirement is satisfied and each path delay is no more than a given value. We devise an exact algorithm and two heuristics to solve this NP-hard problem, and evaluate them via simulations.


title: Computational design of acoustic materials using an adaptive optimization algorithm

abstract: We consider the problem of the construction of the acoustic structure of arbitrary geometry with prescribed desired properties. We use optimization approach for the solution of this problem and minimize the Tikhonov functional on adaptively refined meshes. These meshes are refined locally only in places where the acoustic structure should be designed. Our special symmetric mesh refinement strategy together with interpolation procedure allows the construction of the symmetric acoustic material with prescribed properties. Efficiency of the presented adaptive optimization algorithm is illustrated on the construction of the symmetric acoustic material in two dimensions.


title: Study on the reaction of $\gamma p \to f_1(1285) p$ in Regge-effective Lagrangian approach

abstract: The production of the $f_1(1285)$ resonance in the reaction of $\gamma p \rightarrow f_1(1285) p$ is investigated within a Regge-effective Lagrangian approach. Besides the contributions of the $t$-channel $\rho$ and $\omega$ trajectories exchanges, we also take into account the contributions of $s/u$-channel $N(2300)$ terms, $s/u$-channel nucleon terms, and the contact term. By fitting to the CLAS data, we find that the $s$-channel $N(2300)$ term plays an important role in this reaction. We predict the total cross section for this reaction, and find a clear bump structure around $W=2.3$ GeV, which is associated with the $N(2300)$ state. The reaction of $\gamma p \to f_1(1285) p$ could be useful to further study of the $N(2300)$ experimentally.


title: Computation Diversity in Emerging Networking Paradigms

abstract: Nowadays, computation is playing an increasingly more important role in the future generation of computer and communication networks, as exemplified by the recent progress in software defined networking (SDN) for wired networks as well as cloud radio access networks (C-RAN) and mobile cloud computing (MCC) for wireless networks. This paper proposes a unified concept, i.e., computation diversity, to describe the impact and diverse forms of the computation resources on both wired and wireless communications. By linking the computation resources to the communication networks based on quality of service (QoS) requirements, we can show how computation resources influence the networks. Moreover, by analyzing the different functionalities of computation resources in SDN, C-RAN, and MCC, we can show diverse and flexible form that the computation resources present in different networks. The study of computation diversity can provide guidance to the future networks design, i.e., how to allocate the resources jointly between computation (e.g., CPU capacity) and communication (e.g., bandwidth), and thereby saving system energy and increase users' experiences.


title: On the optimality of sliced inverse regression in high dimensions

abstract: The central subspace of a pair of random variables $(y,x) \in \mathbb{R}^{p+1}$ is the minimal subspace $\mathcal{S}$ such that $y \perp \hspace{-2mm} \perp x\mid P_{\mathcal{S}}x$. In this paper, we consider the minimax rate of estimating the central space of the multiple index models $y=f(\beta_{1}^{\tau}x,\beta_{2}^{\tau}x,...,\beta_{d}^{\tau}x,\epsilon)$ with at most $s$ active predictors where $x \sim N(0,I_{p})$. We first introduce a large class of models depending on the smallest non-zero eigenvalue $\lambda$ of $var(\mathbb{E}[x|y])$, over which we show that an aggregated estimator based on the SIR procedure converges at rate $d\wedge((sd+s\log(ep/s))/(n\lambda))$. We then show that this rate is optimal in two scenarios: the single index models; and the multiple index models with fixed central dimension $d$ and fixed $\lambda$. By assuming a technical conjecture, we can show that this rate is also optimal for multiple index models with bounded dimension of the central space. We believe that these (conditional) optimal rate results bring us meaningful insights of general SDR problems in high dimensions.


title: Covariance Functions for Multivariate Gaussian Fields Evolving Temporally over Planet Earth

abstract: The construction of valid and flexible cross-covariance functions is a fundamental task for modeling multivariate space-time data arising from climatological and oceanographical phenomena. Indeed, a suitable specification of the covariance structure allows to capture both the space-time dependencies between the observations and the development of accurate predictions. For data observed over large portions of planet Earth it is necessary to take into account the curvature of the planet. Hence the need for random field models defined over spheres across time. In particular, the associated covariance function should depend on the geodesic distance, which is the most natural metric over the spherical surface. In this work, we propose a flexible parametric family of matrix-valued covariance functions, with both marginal and cross structure being of the Gneiting type. We additionally introduce a different multivariate Gneiting model based on the adaptation of the latent dimension approach to the spherical context. Finally, we assess the performance of our models through the study of a bivariate space-time data set of surface air temperatures and precipitations.


title: Picture-valued biquandle bracket

abstract: In [14], the second named author constructed the bracket invariant [.] of virtual knots valued in pictures (linear combinations of virtual knot diagrams with some crossing information omitted), such that for many diagrams K, the following formula holds: [K]=K', where K' is the underlying graph of the diagram, i.e., the value of the invariant on a diagram equals the diagram itself with some crossing information omitted. This phenomenon allows one to reduce many questions about virtual knots to questions about their diagrams. In [25], the authors discovered the following phenomenon: having a biquandle colouring of a certain knot, one can enhance various state-sum invariants (say, Kauffman bracket) by using various coefficients depending on colours. Taking into account that the parity can be treated in terms of biquandles, we bring together the two ideas from these papers and construct the the picture-valued parity biquandle bracket for classical and virtual knots. This is an invariant of virtual knots valued in pictures. Both the parity bracket and Nelson-Orrison-Rivera invariants are partial cases of this invariants, hence this invariant enjoys many properties of various kinds.


title: An evasion game on a graph

abstract: This paper introduced a pursuit and evasion game to be played on a connected graph. One player moves invisibly around the graph, and the other player must guess his position. At each time step the second player guesses a vertex, winning if it is the current location of the first player; if not the first player must move along an edge. It is shown that the graphs on which the second player can guarantee to win are precisely the trees that do not contain a particular forbidden subgraph, and best possible capture times on such graphs are obtained.


title: Using 81Kr and Noble Gases to Characterize and Date Groundwater and Brines in the Baltic Artesian Basin on the One-Million-Year Timescale

abstract: Analyses for $^{81}$Kr and noble gases on groundwater from the deepest aquifer system of the Baltic Artesian Basin (BAB) were performed to determine groundwater ages and uncover the flow dynamics of the system on a timescale of several hundred thousand years. We find that the system is controlled by mixing of three distinct water masses: Interglacial or recent meteoric water $(\delta^{18}\text{O} \approx -10.4\unicode{x2030})$ with a poorly evolved chemical and noble gas signature, glacial meltwater $(\delta^{18}\text{O} \leq -18\unicode{x2030})$ with elevated noble gas concentrations, and an old, high-salinity brine component $(\delta^{18}\text{O} \geq -4.5\unicode{x2030}, \geq 90 \text{g Cl}^{-}/\text{L})$ with strongly depleted atmospheric noble gas concentrations. The $^{81}$Kr measurements are interpreted within this mixing framework to estimate the age of the end-members. Deconvoluted $^{81}$Kr ages range from 300 ka to 1.3 Ma for interglacial or recent meteoric water and glacial meltwater. For the brine component, ages exceed the dating range of the ATTA 3 instrument of 1.3 Ma. The radiogenic noble gas components $^{4}$He* and $^{40}$Ar* are less conclusive but also support an age of > 1 Ma for the brine. Based on the chemical and noble gas concentrations and the dating results, we conclude that the brine originates from evaporated seawater that has been modified by later water-rock interaction. As the obtained tracer ages cover several glacial cycles, we discuss the impact of the glacial cycles on flow patterns in the studied aquifer system.