title: A Machine Learning Approach for Power Allocation in HetNets Considering QoS

abstract: There is an increase in usage of smaller cells or femtocells to improve performance and coverage of next-generation heterogeneous wireless networks (HetNets). However, the interference caused by femtocells to neighboring cells is a limiting performance factor in dense HetNets. This interference is being managed via distributed resource allocation methods. However, as the density of the network increases so does the complexity of such resource allocation methods. Yet, unplanned deployment of femtocells requires an adaptable and self-organizing algorithm to make HetNets viable. As such, we propose to use a machine learning approach based on Q-learning to solve the resource allocation problem in such complex networks. By defining each base station as an agent, a cellular network is modelled as a multi-agent network. Subsequently, cooperative Q-learning can be applied as an efficient approach to manage the resources of a multi-agent network. Furthermore, the proposed approach considers the quality of service (QoS) for each user and fairness in the network. In comparison with prior work, the proposed approach can bring more than a four-fold increase in the number of supported femtocells while using cooperative Q-learning to reduce resource allocation overhead.


title: Hadron-Quark Combustion as a Nonlinear, Dynamical System

abstract: The hadron-quark combustion front is a system that couples various processes, such as chemical reactions, hydrodynamics, diffusion, and neutrino transport. Previous numerical work has shown that this system is very nonlinear, and can be very sensitive to some of these processes. In these proceedings, we contextualize the hadron-quark combustion as a nonlinear system, subject to dramatic feedback triggered by leptonic weak decays and neutrino transport.


title: Towards an Efficient Anomaly-Based Intrusion Detection for Software-Defined Networks

abstract: Software-defined networking (SDN) is a new paradigm that allows developing more flexible network applications. SDN controller, which represents a centralized controlling point, is responsible for running various network applications as well as maintaining different network services and functionalities. Choosing an efficient intrusion detection system helps in reducing the overhead of the running controller and creates a more secure network. In this study, we investigate the performance of the well-known anomaly-based intrusion detection approaches in terms of accuracy, false alarm rate, precision, recall, f1-measure, area under ROC curve, execution time and Mc Nemar's test. Precisely, we focus on supervised machine-learning approaches where we use the following classifiers: Decision Trees (DT), Extreme Learning Machine (ELM), Naive Bayes (NB), Linear Discriminant Analysis (LDA), Neural Networks (NN), Support Vector Machines (SVM), Random Forest (RT), K Nearest-Neighbour (KNN), AdaBoost, RUSBoost, LogitBoost and BaggingTrees where we employ the well-known NSL-KDD benchmark dataset to compare the performance of each one of these classifiers.


title: Differentially Private Data Release via Statistical Election to Partition Sequentially

abstract: Differential Privacy (DP) formalizes privacy in mathematical terms and provides a robust concept for privacy protection. DIfferentially Private Data Synthesis (DIPS) techniques produce and release synthetic individual-level data in the DP framework. One key challenge to developing DIPS methods is preservation of the statistical utility of synthetic data, especially in high-dimensional settings. We propose a new DIPS approach, STatistical Election to Partition Sequentially (STEPS) that partitions data by attributes according to their importance ranks according to either a practical or statistical importance measure. STEPS aims to achieve better original information preservation for the attributes with higher importance ranks and produce thus more useful synthetic data overall. We present an algorithm to implement the STEPS procedure and employ the privacy budget composability to ensure the overall privacy cost is controlled at the pre-specified value. We apply the STEPS procedure to both simulated data and the 2000-2012 Current Population Survey youth voter data. The results suggest STEPS can better preserve the population-level information and the original information for some analyses compared to PrivBayes, a modified Uniform histogram approach, and the flat Laplace sanitizer.


title: Exact holographic RG flows and the $A_{1}\times A_{1}$ Toda chain

abstract: We construct analytic solutions of Einstein gravity coupled to a dilaton field with a potential given by a sum of two exponentials, by rewriting the equations of motion in terms of an integrable Toda chain. These solutions can be interpreted as domain walls interpolating between different asymptotics, and as such they can have interesting applications in holography. In some cases, we can construct a solution which interpolates between an AdS fixed point in the UV limit and a hyperscaling violating boundary in the IR region. We also find analytic black brane solutions at finite temperature. We discuss the properties of the solutions and the interpretation in terms of RG flow.


title: Sparse Regularization via Convex Analysis

abstract: Sparse approximate solutions to linear equations are classically obtained via L1 norm regularized least squares, but this method often underestimates the true solution. As an alternative to the L1 norm, this paper proposes a class of non-convex penalty functions that maintain the convexity of the least squares cost function to be minimized, and avoids the systematic underestimation characteristic of L1 norm regularization. The proposed penalty function is a multivariate generalization of the minimax-concave (MC) penalty. It is defined in terms of a new multivariate generalization of the Huber function, which in turn is defined via infimal convolution. The proposed sparse-regularized least squares cost function can be minimized by proximal algorithms comprising simple computations.


title: Automated Localization for Unreproducible Builds

abstract: Reproducibility is the ability of recreating identical binaries under pre-defined build environments. Due to the need of quality assurance and the benefit of better detecting attacks against build environments, the practice of reproducible builds has gained popularity in many open-source software repositories such as Debian and Bitcoin. However, identifying the unreproducible issues remains a labour intensive and time consuming challenge, because of the lacking of information to guide the search and the diversity of the causes that may lead to the unreproducible binaries. In this paper we propose an automated framework called RepLoc to localize the problematic files for unreproducible builds. RepLoc features a query augmentation component that utilizes the information extracted from the build logs, and a heuristic rule-based filtering component that narrows the search scope. By integrating the two components with a weighted file ranking module, RepLoc is able to automatically produce a ranked list of files that are helpful in locating the problematic files for the unreproducible builds. We have implemented a prototype and conducted extensive experiments over 671 real-world unreproducible Debian packages in four different categories. By considering the topmost ranked file only, RepLoc achieves an accuracy rate of 47.09%. If we expand our examination to the top ten ranked files in the list produced by RepLoc, the accuracy rate becomes 79.28%. Considering that there are hundreds of source code, scripts, Makefiles, etc., in a package, RepLoc significantly reduces the scope of localizing problematic files. Moreover, with the help of RepLoc, we successfully identified and fixed six new unreproducible packages from Debian and Guix.


title: Generation and detection of non-Gaussian phonon-added coherent states in optomechanical systems

abstract: Adding excitations on a coherent state provides an effective way to observe nonclassical properties of radiation fields. Here we describe and analyse how to apply this concept to the motional state of a mechanical oscillator and present a full scheme to prepare non-Gaussian {\it phonon}-added coherent states of the mechanical motion in cavity optomechanics. We first generate a mechanical coherent state using electromagnetically induced transparency. We then add a single phonon onto the coherent state via optomechanical parametric down-conversion combined with single photon detection. We validate this single-phonon-added coherent state by using a red-detuned beam and reading out the state of the optical output field. This approach allows us to verify nonclassical properties of the phonon state, such as sub-Poissonian character and quadrature squeezing. We further show that our scheme can be directly implemented using existing devices, and is generic in nature and hence applicable to a variety of systems in opto- and electromechanics.


title: Gallai's path decomposition conjecture for triangle-free planar graphs

abstract: A path decomposition of a graph $G$ is a collection of edge-disjoint paths of $G$ that covers the edge set of $G$. Gallai (1968) conjectured that every connected graph on $n$ vertices admits a path decomposition of cardinality at most $\lfloor (n+1)/2\rfloor$. Gallai's Conjecture has been verified for many classes of graphs. In particular, Lov\'asz (1968) verified this conjecture for graphs with at most one vertex with even degree, and Pyber (1996) verified it for graphs in which every cycle contains a vertex with odd degree. Recently, Bonamy and Perrett (2016) verified Gallai's Conjecture for graphs with maximum degree at most $5$, and Botler et al. (2017) verified it for graphs with treewidth at most $3$. In this paper, we verify Gallai's Conjecture for triangle-free planar graphs.


title: High temperature magnetism and microstructure of semiconducting ferromagnetic alloy (GaSb)$_{1-x}$(MnSb)$_{x}$

abstract: We have studied the properties of relatively thick (about 120 nm) magnetic composite films grown by pulsed laser deposition method using (GaSb)$_{0.59}$(MnSb)$_{0.41}$ eutectic compound as a target for sputtering. For the studied films we have observed ferromagnetism and anomalous Hall effect above the room temperature, it manifests the presence of spin-polarized carriers. Electron microscopy, atomic and magnetic force microscopy results suggests that films under study have homogenous columnar structure in the bulk while MnSb inclusions accumulate near it's surface. This is in good agreement with high mobility values of charge carriers. Based on our data we conclude that room temperature magnetic and magnetotransport properties of the films are defined by MnSb inclusions.


title: Kepler's laws without calculus

abstract: Kepler's laws are derived from the inverse square law without the use of calculus and are simplified over previous such derivations.


title: Tuning phase-stability and short-range order through Al-doping in (CoCrFeMn)100-xAlx high entropy alloys

abstract: For (CoCrFeMn)$_{100-x}$Al$_{x}$ high-entropy alloys, we investigate the phase evolution with increasing Al-content (0 $\le$ x $\le$ 20 at.%). From first-principles theory, the Al-doping drives the alloy structurally from FCC to BCC separated by a narrow two-phase region (FCC+BCC), which is well supported by our experiments. We highlight the effect of Al-doping on the formation enthalpy and electronic structure of (CoCrFeMn)$_{100-x}$Al$_{x}$ alloys. As chemical short-range order (SRO) in multicomponent alloys indicates the nascent local order (and entropy changes), as well as expected low-temperature ordering behavior, we use thermodynamic linear-response within density-functional theory to predict SRO and ordering transformation and temperatures inherent in (CoCrFeMn)$_{100-x}$Al$_{x}$. The predictions agree with our present experimental findings, and other reported ones.


title: SybilFuse: Combining Local Attributes with Global Structure to Perform Robust Sybil Detection

abstract: Sybil attacks are becoming increasingly widespread and pose a significant threat to online social systems; a single adversary can inject multiple colluding identities in the system to compromise security and privacy. Recent works have leveraged social network-based trust relationships to defend against Sybil attacks. However, existing defenses are based on oversimplified assumptions about network structure, which do not necessarily hold in real-world social networks. Recognizing these limitations, we propose SybilFuse, a defense-in-depth framework for Sybil detection when the oversimplified assumptions are relaxed. SybilFuse adopts a collective classification approach by first training local classifiers to compute local trust scores for nodes and edges, and then propagating the local scores through the global network structure via weighted random walk and loopy belief propagation mechanisms. We evaluate our framework on both synthetic and real-world network topologies, including a large-scale, labeled Twitter network comprising 20M nodes and 265M edges, and demonstrate that SybilFuse outperforms state-of-the-art approaches significantly. In particular, SybilFuse achieves 98% of Sybil coverage among top-ranked nodes.


title: Composable Deep Reinforcement Learning for Robotic Manipulation

abstract: Model-free deep reinforcement learning has been shown to exhibit good performance in domains ranging from video games to simulated robotic manipulation and locomotion. However, model-free methods are known to perform poorly when the interaction time with the environment is limited, as is the case for most real-world robotic tasks. In this paper, we study how maximum entropy policies trained using soft Q-learning can be applied to real-world robotic manipulation. The application of this method to real-world manipulation is facilitated by two important features of soft Q-learning. First, soft Q-learning can learn multimodal exploration strategies by learning policies represented by expressive energy-based models. Second, we show that policies learned with soft Q-learning can be composed to create new policies, and that the optimality of the resulting policy can be bounded in terms of the divergence between the composed policies. This compositionality provides an especially valuable tool for real-world manipulation, where constructing new policies by composing existing skills can provide a large gain in efficiency over training from scratch. Our experimental evaluation demonstrates that soft Q-learning is substantially more sample efficient than prior model-free deep reinforcement learning methods, and that compositionality can be performed for both simulated and real-world tasks.


title: Toda type equations over multi-dimensional lattices

abstract: We introduce a class of recursions defined over the $d$-dimensional integer lattice. The discrete equations we study are interpreted as higher dimensional extensions to the discrete Toda lattice equation. We shall prove that the equations satisfy the coprimeness property, which is one of integrability detectors analogous to the singularity confinement test. While the degree of their iterates grows exponentially, their singularities exhibit a nature similar to that of integrable systems in terms of the coprimeness property. We also prove that the equations can be expressed as mutations of a seed in the sense of the Laurent phenomenon algebra.


title: Comparing and Integrating Constraint Programming and Temporal Planning for Quantum Circuit Compilation

abstract: Recently, the makespan-minimization problem of compiling a general class of quantum algorithms into near-term quantum processors has been introduced to the AI community. The research demonstrated that temporal planning is a strong approach for a class of quantum circuit compilation (QCC) problems. In this paper, we explore the use of constraint programming (CP) as an alternative and complementary approach to temporal planning. We extend previous work by introducing two new problem variations that incorporate important characteristics identified by the quantum computing community. We apply temporal planning and CP to the baseline and extended QCC problems as both stand-alone and hybrid approaches. Our hybrid methods use solutions found by temporal planning to warm start CP, leveraging the ability of the former to find satisficing solutions to problems with a high degree of task optionality, an area that CP typically struggles with. The CP model, benefiting from inferred bounds on planning horizon length and task counts provided by the warm start, is then used to find higher quality solutions. Our empirical evaluation indicates that while stand-alone CP is only competitive for the smallest problems, CP in our hybridization with temporal planning out-performs stand-alone temporal planning in the majority of problem classes.


title: A Decade of MWC 758 Disk Images: Where Are the Spiral-Arm-Driving Planets?

abstract: Large-scale spiral arms have been revealed in scattered light images of a few protoplanetary disks. Theoretical models suggest that such arms may be driven by and co-rotate with giant planets, which has called for remarkable observational efforts to look for them. By examining the rotation of the spiral arms for the MWC 758 system over a 10-yr timescale, we are able to provide dynamical constraints on the locations of their perturbers. We present reprocessed Hubble Space Telescope (HST)/NICMOS F110W observations of the target in 2005, and the new Keck/NIRC2 $L'$-band observations in 2017. MWC~758's two well-known spiral arms are revealed in the NICMOS archive at the earliest observational epoch. With additional Very Large Telescope (VLT)/SPHERE data, our joint analysis leads to a pattern speed of ${0.6^\circ}^{+3.3^\circ}_{-0.6^\circ}\, \mathrm{yr}^{-1}$ at $3\sigma$ for the two major spiral arms. If the two arms are induced by a perturber on a near-circular orbit, its best fit orbit is at $89$ au ($0.59"$), with a $3\sigma$ lower limit of 30 au ($0.20"$). This finding is consistent with the simulation prediction of the location of an arm-driving planet for the two major arms in the system.


title: Dual-phase-modulated plug-and-play measurement-device-independent continuous-variable quantum key distribution

abstract: We suggest an improved plug-and-play measurement-device-independent (MDI) continuous-variable quantum key distribution (CVQKD) via the dual-phase modulation (DPM), aiming to solve an implementation problem with no extra performance penalty. The synchronous loophole of different lasers from Alice and Bob can be elegantly eliminated in the plug-and-play configuration, which gives birth to the convenient implementation when comparing to the Gaussian-modulated coherent-state protocol. While the local oscillator (LO) can be locally generated by the trusted part Charlie, the LO-aimed attacks can be accurately detected in the data post-processing. We derive the security bounds of the DPM-based MDI-CVQKD against optimal Gaussian collective attacks. Taking the finite-size effect into account, the secret key rate can be increased due to the fact that almost all raw keys of the MDI-CVQKD system can be fully exploited for the final secret key generation without sacrificing raw keys in parameter estimation. Moreover, we give an experimental concept of the proposed scheme which can be deemed guideline for final implementation.


title: Weighted composition operator on quaternionic Fock space

abstract: In this paper, we study the weighted composition operator on the Fock space $\mf$ of slice regular functions. First, we characterize the boundedness and compactness of the weighted composition operator. Subsequently, we describe all the isometric composition operators. Finally, we introduce a kind of (right)-anti-complex-linear weighted composition operator on $\mf$ and obtain some concrete forms such that this (right)-anti-linear weighted composition operator is a (right)-conjugation. Specially, we present equivalent conditions ensuring weighted composition operators which are conjugate $\mathcal{C}_{a,b,c}-$commuting or complex $\mathcal{C}_{a,b,c}-$ symmetric on $\mf$, which generalized the classical results on $\mathcal{F}^2(\mathbb{C}).$ At last part of the paper, we exhibit the closed expression for the kernel function of $\mf.$


title: A novel Dual Chiral Density Wave in nuclear matter based on a parity doublet structure

abstract: We study the Dual Chiral Density Wave (DCDW) in nuclear matter using a hadronic model with the parity doublet structure. We first extend the ordinary DCDW ansatz so as to incorporate the effect of an explicit chiral symmetry breaking. Then via numerically evaluating and minimizing the effective potential, we determine the phase structure. We find, in addition to the ordinary DCDW phase where the space average of the chiral condensate vanishes, a new DCDW phase (sDCDW) with a nonvanishing space average depending on the value of the chiral invariant mass parameter.


title: Giant photoinduced lattice distortion in oxygen-vacancy ordered SrCoO2.5 thin films

abstract: Despite of the tremendous efforts spent on the oxygen vacancy migration in determining the property optimization of oxygen-vacancy enrichment transition metal oxides, few has focused on their dynamic behaviors non-equilibrium states. In this work, we performed multi-timescale ultrafast X-ray diffraction measurements by using picosecond synchrotron X-ray pulses and femtosecond table-top X-ray pulses to monitor the structural dynamics in the oxygen-vacancy ordered SrCoO2.5 thin films. A giant photoinduced strain ({\Delta}c/c > 1%) was observed, whose distinct correlation with the pump photon energy indicates a non-thermal origin of the photoinduced strain. The sub-picosecond resolution X-ray diffraction reveals the formation and propagation of the coherent acoustic phonons inside the film. We also simulate the effect of photoexcited electron-hole pairs and the resulting lattice changes using the Density Function Theory method to obtain further insight on the microscopic mechanism of the measured photostriction effect. Comparable photostrictive responses and the strong dependence on excitation wavelength are predicted, revealing a bonding to anti-bonding charge transfer or high spin to intermediate spin crossover induced lattice expansion in the oxygen-vacancy films.


title: Orbital Stability Close to Asteroid 624 Hektor using the Polyhedral Model

abstract: We investigate the orbital stability close to the unique L4-point Jupiter binary Trojan asteroid 624 Hektor. The gravitational potential of 624 Hektor is calculated using the polyhedron model with observational data of 2038 faces and 1021 vertexes. Previous studies have presented three different density values for 624 Hektor. The equilibrium points in the gravitational potential of 624 Hektor with different density values have been studied in detail. There are five equilibrium points in the gravitational potential of 624 Hektor no matter the density value. The positions, Jacobian, eigenvalues, topological cases, stability, as well as the Hessian matrix of the equilibrium points are investigated. For the three different density values the number, topological cases, and the stability of the equilibrium points with different density values are the same. However, the positions of the equilibrium points vary with the density value of the asteroid 624 Hektor. The outer equilibrium points move away from the asteroid s mass center when the density increases, and the inner equilibrium point moves close to the asteroid s mass center when the density increases. There exist unstable periodic orbits near the surface of 624 Hektor. We calculated an orbit near the primary s equatorial plane of this binary Trojan asteroid, the results indicate that the orbit remains stable after 28.8375 d.


title: White matter hyperintensity segmentation from T1 and FLAIR images using fully convolutional neural networks enhanced with residual connections

abstract: Segmentation and quantification of white matter hyperintensities (WMHs) are of great importance in studying and understanding various neurological and geriatric disorders. Although automatic methods have been proposed for WMH segmentation on magnetic resonance imaging (MRI), manual corrections are often necessary to achieve clinically practical results. Major challenges for WMH segmentation stem from their inhomogeneous MRI intensities, random location and size distributions, and MRI noise. The presence of other brain anatomies or diseases with enhanced intensities adds further difficulties. To cope with these challenges, we present a specifically designed fully convolutional neural network (FCN) with residual connections to segment WMHs by using combined T1 and fluid-attenuated inversion recovery (FLAIR) images. Our customized FCN is designed to be straightforward and generalizable, providing efficient end-to-end training due to its enhanced information propagation. We tested our method on the open WMH Segmentation Challenge MICCAI2017 dataset, and, despite our method's relative simplicity, results show that it performs amongst the leading techniques across five metrics. More importantly, our method achieves the best score for hausdorff distance and average volume difference in testing datasets from two MRI scanners that were not included in training, demonstrating better generalization ability of our proposed method over its competitors.


title: Low Rank Matrix Approximation for Geometry Filtering

abstract: We propose a robust normal estimation method for both point clouds and meshes using a low rank matrix approximation algorithm. First, we compute a local feature descriptor for each point and find similar, non-local neighbors that we organize into a matrix. We then show that a low rank matrix approximation algorithm can robustly estimate normals for both point clouds and meshes. Furthermore, we provide a new filtering method for point cloud data to smooth the position data to fit the estimated normals. We show applications of our method to point cloud filtering, point set upsampling, surface reconstruction, mesh denoising, and geometric texture removal. Our experiments show that our method outperforms current methods in both visual quality and accuracy.


title: TOMAAT: volumetric medical image analysis as a cloud service

abstract: Deep learning has been recently applied to a multitude of computer vision and medical image analysis problems. Although recent research efforts have improved the state of the art, most of the methods cannot be easily accessed, compared or used by either researchers or the general public. Researchers often publish their code and trained models on the internet, but this does not always enable these approaches to be easily used or integrated in stand-alone applications and existing workflows. In this paper we propose a framework which allows easy deployment and access of deep learning methods for segmentation through a cloud-based architecture. Our approach comprises three parts: a server, which wraps trained deep learning models and their pre- and post-processing data pipelines and makes them available on the cloud; a client which interfaces with the server to obtain predictions on user data; a service registry that informs clients about available prediction endpoints that are available in the cloud. These three parts constitute the open-source TOMAAT framework.


title: Multiple jets and $\gamma$-jet correlation in high-energy heavy-ion collisions

abstract: $\gamma$-jet production is considered one of the best probes of the hot quark-gluon plasma in high-energy heavy-ion collisions since the direct $\gamma$ can be used to gauge the initial energy and momentum of the associated jet. This is investigated within the Linear Boltzmann Transport (LBT) model for jet propagation and jet-induced medium excitation. With both parton energy loss and medium response from jet-medium interaction included, LBT can describe experimental data well on $\gamma$-jet correlation in Pb+Pb collisions at the Large Hadron Collider. Multiple jets associated with direct $\gamma$ production are found to contribute significantly to $\gamma$-jet correlation at small $p_T^{\rm jet}<p_T^\gamma$ and large azimuthal angle relative to the opposite direction of $\gamma$. Jet medium interaction not only suppresses the leading jet at large $p_T^{\rm jet}$ but also sub-leading jets at large azimuthal angle. This effectively leads to the narrowing of $\gamma$-jet correlation in azimuthal angle instead of broadening due to jet-medium interaction. The $\gamma$-jet profile on the other hand will be broadened due to jet-medium interaction and jet-induced medium response. Energy flow measurements relative to the direct photon is illustrated to reflect well the broadening and jet-induced medium response.


title: The Optimal Compression Rate of Variable-to-Fixed Length Source Coding with a Non-Vanishing Excess-Distortion Probability

abstract: We consider the variable-to-fixed length lossy source coding (VFSC) problem. The optimal compression rate of the average length of variable-to-fixed source coding, allowing a non-vanishing probability of excess-distortion $\varepsilon$, is shown to be equal to $(1-\varepsilon)R(D)$, where $R(D)$ is the rate-distortion function of the source. In comparison to the related results of Koga and Yamamoto as well as Kostina, Polyanskiy, and Verd\'{u} for fixed-to-variable length source coding, our results demonstrate an interesting feature that variable-to-fixed length source coding has the same first-order compression rate as fixed-to-variable length source coding.


title: Depletion of heavy nitrogen in the cold gas of star-forming regions

abstract: We investigate nitrogen isotope fractionation in forming and evolving molecular clouds using gas-ice astrochemical simulations. We find that the bulk gas can become depleted in heavy nitrogen (15N) due to the formation of 15N-enriched ices. Around the chemical transition from atomic nitrogen to N2, N15N is selectively photodissociated, which results in the enrichment of 15N in atomic nitrogen. As 15N-enriched atomic nitrogen is converted to ammonia ice via grain surface reactions, the bulk gas is depleted in 15N. The level of 15N depletion in the bulk gas can be up to a factor of two compared to the elemental nitrogen isotope ratio, depending on the photodesorption yield of ammonia ice. Once the nitrogen isotopes are differentially partitioned between gas and solids in a molecular cloud, it should remain in the later stages of star formation (e.g., prestellar core) as long as the sublimation of ammonia ice is inefficient. Our model suggests that all the N-bearing molecules in the cold gas of star-forming regions can be depleted in 15N, which is at least qualitatively consistent with the observations toward prestellar core L1544. In our models, icy species show both 15N and deuterium fractionation. The fractionation pattern within ice mantles is different between 15N and deuterium, reflecting their fractionation mechanisms; while the concentration of deuterium almost monotonically increases from the lower layers of the ice mantles to the upper layers, the concentration of 15N reaches the maximum at a certain depth and declines towards the surface.


title: The Cohomology for Wu Characteristics

abstract: While Euler characteristic X(G)=sum_x w(x) super counts simplices, Wu characteristics w_k(G) = sum_(x_1,x_2,...,x_k) w(x_1)...w(x_k) super counts simultaneously pairwise interacting k-tuples of simplices in a finite abstract simplicial complex G. More general is the k-intersection number w_k(G_1,...G_k), where x_i in G_i. We define interaction cohomology H^p(G_1,...,G_k) compatible with w_k and invariant under Barycentric subdivison. It allows to distinguish spaces which simplicial cohomology can not: it can identify algebraically the Moebius strip and the cylinder for example. The cohomology satisfies the Kuenneth formula: the Poincare polynomials p_k(t) are ring homomorphisms from the strong ring to the ring of polynomials in t. The Dirac operator D=d+d^* defines the block diagonal Hodge Laplacian L=D^2 which leads to the generalized Hodge correspondence b_p(G)=dim(H^p_k(G)) = dim(ker(L_p)) and Euler-Poincare w_k(G)=sum_p (-1)^p dim(H^p_k(G)) for Wu characteristic. Also, like for traditional simplicial cohomology, isospectral Lax deformation D' = [B(D),D], with B(t)=d(t)-d^*(t)-ib(t), D(t)=d(t)+d(t)^* + b(t) can deform the exterior derivative d. The Brouwer-Lefschetz fixed point theorem generalizes to all Wu characteristics: given an endomorphism T of G, the super trace of its induced map on k'th cohomology defines a Lefschetz number L_k(T). The Brouwer index i_T,k(x_1,...,x_k) = product_j=1^k w(x_j) sign(T|x_j) attached to simplex tuple which is invariant under T leads to the formula L_k(T) = sum_T(x)=x i_T,k(x). For T=Id, the Lefschetz number L_k(Id) is equal to the k'th Wu characteristic w_k(G) of the graph G and the Lefschetz formula reduces to the Euler-Poincare formula for Wu characteristic.


title: Clear variation of spin splitting by changing electron distribution at non-magnetic metal/Bi2O3 interfaces

abstract: Large spin splitting at Rashba interface, giving rise to strong spin-momentum locking, is essential for efficient spin-to-charge conversion. Recently, a Cu/Bismuth oxide (Bi2O3) interface has been found to exhibit an efficient spin-to-charge conversion similar to a Ag/Bi interface with large Rashba spin splitting. However, the guiding principle of designing the metal/oxide interface for the efficient conversion has not been clarified yet. Here we report strong non-magnetic (NM) material dependence of spin splitting at NM/Bi2O3 interfaces. We employed spin pumping technique to inject spin current into the interface and evaluated the magnitude of interfacial spin-to-charge conversion. We observed large modulation and sign change in conversion coefficient which corresponds to the variation of spin splitting. Our experimental results together with first-principles calculations indicate that such large variation is caused by material dependent electron distribution near the interface. The results suggest that control of interfacial electron distribution by tuning the difference in work function across the interface may be an effective way to tune the magnitude and sign of spin-to-charge conversion and Rashba parameter at interface.


title: Simultaneous high-probability bounds on the false discovery proportion in structured, regression, and online settings

abstract: While traditional multiple testing procedures prohibit adaptive analysis choices made by users, Goeman and Solari (2011) proposed a simultaneous inference framework that allows users such flexibility while preserving high-probability bounds on the false discovery proportion (FDP) of the chosen set. In this paper, we propose a new class of such simultaneous FDP bounds, tailored for nested sequences of rejection sets. While most existing simultaneous FDP bounds are based on closed testing using global null tests based on sorted p-values, we additionally consider the setting where side information can be leveraged to boost power, the variable selection setting where knockoff statistics can be used to order variables, and the online setting where decisions about rejections must be made as data arrives. Our finite-sample, closed form bounds are based on repurposing the FDP estimates from false discovery rate (FDR) controlling procedures designed for each of the above settings. These results establish a novel connection between the parallel literatures of simultaneous FDP bounds and FDR control methods, and use proof techniques employing martingales and filtrations that are new to both these literatures. We demonstrate the utility of our results by augmenting a recent knockoffs analysis of the UK Biobank dataset.


title: Depth-aware CNN for RGB-D Segmentation

abstract: Convolutional neural networks (CNN) are limited by the lack of capability to handle geometric information due to the fixed grid kernel structure. The availability of depth data enables progress in RGB-D semantic segmentation with CNNs. State-of-the-art methods either use depth as additional images or process spatial information in 3D volumes or point clouds. These methods suffer from high computation and memory cost. To address these issues, we present Depth-aware CNN by introducing two intuitive, flexible and effective operations: depth-aware convolution and depth-aware average pooling. By leveraging depth similarity between pixels in the process of information propagation, geometry is seamlessly incorporated into CNN. Without introducing any additional parameters, both operators can be easily integrated into existing CNNs. Extensive experiments and ablation studies on challenging RGB-D semantic segmentation benchmarks validate the effectiveness and flexibility of our approach.


title: Zenith angle distribution of cosmic ray showers measured with the Yakutsk array and its application to analysis of arrival directions in equatorial coordinates

abstract: The Yakutsk array dataset in the energy interval $(10^{17},10^{19})$ eV is revisited in order to interpret the zenith angle distribution of an extensive air shower event rate of ultra-high energy cosmic rays. The close relation of the distribution to the attenuation of the main measurable parameter of showers, $S_{600}$, is examined. Measured and expected distributions are used to analyze the arrival directions of cosmic rays on an equatorial map including the energy range below $10^{18}$ eV, which was previously avoided due to the reduced trigger efficiency of the array in the range. While the null hypothesis cannot be rejected with data from the Yakutsk array, an upper limit on the fraction of cosmic rays from a separable source in the uniform background is derived as a function of declination and energy.


title: $Z^\prime$ portal dark matter in the minimal $B-L$ model

abstract: In this review article, we consider a dark matter scenario in the context of the minimal extension of the Standard Model (SM) with a $B-L$ (baryon number minus lepton number) gauge symmetry, where three right-handed neutrinos with a $B-L$ charge $-1$ and a $B-L$ Higgs field with a $B-L$ charge $+2$ are introduced to make the model anomaly-free and to break the $B-L$ gauge symmetry, respectively. The $B-L$ gauge symmetry breaking generates the Majorana masses for the right-handed neutrinos. We introduce a Z$_2$ symmetry to the model and assign an odd parity only for one right-handed neutrino, and hence the Z$_2$-odd right-handed neutrino is stable and the unique dark matter candidate in the model. The so-called minimal seesaw works with the other two right-handed neutrinos and reproduces the current neutrino oscillation data. We consider the case that the dark matter particle communicates with the SM particles through the $B-L$ gauge boson ($Z^{\prime}_{B-L}$ boson), and obtain a lower bound on the $B-L$ gauge coupling ($\alpha_{B-L}$) as a function of the $Z^{\prime}_{B-L}$ boson mass ($m_{Z^{\prime}}$) from the observed dark matter relic density. On the other hand, we interpret the recent LHC Run-2 results on the search for a $Z^{\prime}$ boson resonance to an upper bound on $\alpha_{B-L}$ as a function of $m_{Z^{\prime}}$. These two constraints are complementary to narrow down an allowed parameter region for this "$Z^{\prime}$ portal" dark matter scenario, leading to a lower mass bound of $m_{Z^{\prime}} \geq 3.9$ TeV.


title: Short Proof of a Conjecture Concerning Split-By-Nilpotent Extensions

abstract: Let C be a finite dimensional algebra with B a split extension by a nilpotent bimodule E. We provide a short proof to a conjecture by Assem and Zacharia concerning properties of mod B inherited by mod C. We show if B is a tilted algebra, then C is a tilted algebra.


title: Nonlocal Low-Rank Tensor Factor Analysis for Image Restoration

abstract: Low-rank signal modeling has been widely leveraged to capture non-local correlation in image processing applications. We propose a new method that employs low-rank tensor factor analysis for tensors generated by grouped image patches. The low-rank tensors are fed into the alternative direction multiplier method (ADMM) to further improve image reconstruction. The motivating application is compressive sensing (CS), and a deep convolutional architecture is adopted to approximate the expensive matrix inversion in CS applications. An iterative algorithm based on this low-rank tensor factorization strategy, called NLR-TFA, is presented in detail. Experimental results on noiseless and noisy CS measurements demonstrate the superiority of the proposed approach, especially at low CS sampling rates.


title: Different Statistical Future of Dynamical Orbits over Expanding or Hyperbolic Systems (II): Nonempty Syndetic Center

abstract: In [30] different statistical behavior of dynamical orbits without syndetic center are considered. In present paper we continue this project and consider different statistical behavior of dynamical orbits with nonempty syndetic center: Two of sixteen cases appear (for which other fourteen cases are still unknown) in transive topologically expanding or hyperbolic systems and are discovered to have full topological entropy for which it is also true if combined with non-recurrence and multifractal analysis such as quasi-regular set, irregular set and level sets. In this process a strong entropy-dense property, called minimal-entropy-dense, is established. In particular, we show that points that are minimal (or called almost periodic), a classical and important concept in the study of dynamical systems, form a set with full topological entropy if the dynamical system satisfies shadowing or almost specification property.


title: Revenue Management on an On-Demand Service Platform

abstract: I consider the optimal hourly (or per-unit-time in general) pricing problem faced by a freelance worker (or a service provider) on an on-demand service platform. Service requests arriving while the worker is busy are lost forever. Thus, the optimal hourly prices need to capture the average hourly opportunity costs incurred by accepting jobs. Due to potential asymmetries in these costs, price discrimination across jobs based on duration, characteristics of the arrival process, etc., may be necessary for optimality, even if the customers' hourly willingness to pay is identically distributed. I first establish that such price discrimination is not necessary if the customer arrival process is Poisson: in this case, the optimal policy charges an identical hourly rate for all jobs. This result holds even if the earnings are discounted over time. I then consider the case where the customers belong to different classes that are differentiated in their willingness to pay. I present a simple and practical iterative procedure to compute the optimal prices in this case under standard regularity assumptions on the distributions of customer valuations. I finally show that these insights continue to hold in the presence of competition between multiple quality-differentiated workers, assuming a natural customer choice model in which a customer always chooses the best available worker that she can afford.


title: Attention-GAN for Object Transfiguration in Wild Images

abstract: This paper studies the object transfiguration problem in wild images. The generative network in classical GANs for object transfiguration often undertakes a dual responsibility: to detect the objects of interests and to convert the object from source domain to target domain. In contrast, we decompose the generative network into two separat networks, each of which is only dedicated to one particular sub-task. The attention network predicts spatial attention maps of images, and the transformation network focuses on translating objects. Attention maps produced by attention network are encouraged to be sparse, so that major attention can be paid to objects of interests. No matter before or after object transfiguration, attention maps should remain constant. In addition, learning attention network can receive more instructions, given the available segmentation annotations of images. Experimental results demonstrate the necessity of investigating attention in object transfiguration, and that the proposed algorithm can learn accurate attention to improve quality of generated images.


title: Revisiting RCNN: On Awakening the Classification Power of Faster RCNN

abstract: Recent region-based object detectors are usually built with separate classification and localization branches on top of shared feature extraction networks. In this paper, we analyze failure cases of state-of-the-art detectors and observe that most hard false positives result from classification instead of localization. We conjecture that: (1) Shared feature representation is not optimal due to the mismatched goals of feature learning for classification and localization; (2) multi-task learning helps, yet optimization of the multi-task loss may result in sub-optimal for individual tasks; (3) large receptive field for different scales leads to redundant context information for small objects.We demonstrate the potential of detector classification power by a simple, effective, and widely-applicable Decoupled Classification Refinement (DCR) network. DCR samples hard false positives from the base classifier in Faster RCNN and trains a RCNN-styled strong classifier. Experiments show new state-of-the-art results on PASCAL VOC and COCO without any bells and whistles.


title: Computational topology and the Unique Games Conjecture

abstract: Covering spaces of graphs have long been useful for studying expanders (as "graph lifts") and unique games (as the "label-extended graph"). In this paper we advocate for the thesis that there is a much deeper relationship between computational topology and the Unique Games Conjecture. Our starting point is Linial's 2005 observation that the only known problems whose inapproximability is equivalent to the Unique Games Conjecture - Unique Games and Max-2Lin - are instances of Maximum Section of a Covering Space on graphs. We then observe that the reduction between these two problems (Khot-Kindler-Mossel-O'Donnell, FOCS 2004; SICOMP, 2007) gives a well-defined map of covering spaces. We further prove that inapproximability for Maximum Section of a Covering Space on (cell decompositions of) closed 2-manifolds is also equivalent to the Unique Games Conjecture. This gives the first new "Unique Games-complete" problem in over a decade. Our results partially settle an open question of Chen and Freedman (SODA 2010; Disc. Comput. Geom., 2011) from computational topology, by showing that their question is almost equivalent to the Unique Games Conjecture. (The main difference is that they ask for inapproximability over $\mathbb{Z}/2\mathbb{Z}$, and we show Unique Games-completeness over $\mathbb{Z}/k\mathbb{Z}$ for large $k$.) This equivalence comes from the fact that when the structure group $G$ of the covering space is Abelian - or more generally for principal $G$-bundles - Maximum Section of a $G$-Covering Space is the same as the well-studied problem of 1-Homology Localization. Although our most technically demanding result is an application of Unique Games to computational topology, we hope that our observations on the topological nature of the Unique Games Conjecture will lead to applications of algebraic topology to the Unique Games Conjecture in the future.


title: On the existence problem of Einstein-Maxwell K\"ahler metrics

abstract: In this expository paper we review on the existence problem of Einstein-Maxwell K\"ahler metrics, and make several remarks. Firstly, we consider a slightly more general set-up than Einstein-Maxwell K\"ahler metrics, and give extensions of volume minimization principle, the notion of toric K-stability and other related results to the general set-up. Secondly, we consider the toric case when the manifold is the one point blow-up of the complex project plane and the K\"ahler class $\Omega$ is chosen so that the area of the exceptional curve is sufficiently close to the area of the rational curve of self-intersection number 1. We observe by numerical analysis that there should be a Killing vector field $K$ which gives a toric K-stable pair $(\Omega, K)$ in the sense of Apostolov-Maschler.


title: Alive Caricature from 2D to 3D

abstract: Caricature is an art form that expresses subjects in abstract, simple and exaggerated view. While many caricatures are 2D images, this paper presents an algorithm for creating expressive 3D caricatures from 2D caricature images with a minimum of user interaction. The key idea of our approach is to introduce an intrinsic deformation representation that has a capacity of extrapolation enabling us to create a deformation space from standard face dataset, which maintains face constraints and meanwhile is sufficiently large for producing exaggerated face models. Built upon the proposed deformation representation, an optimization model is formulated to find the 3D caricature that captures the style of the 2D caricature image automatically. The experiments show that our approach has better capability in expressing caricatures than those fitting approaches directly using classical parametric face models such as 3DMM and FaceWareHouse. Moreover, our approach is based on standard face datasets and avoids constructing complicated 3D caricature training set, which provides great flexibility in real applications.


title: Hadamard powers of some positive matrices

abstract: Positivity properties of the Hadamard powers of the matrix $\begin{bmatrix}1+x_ix_j\end{bmatrix}$ for distinct positive real numbers $x_1,\ldots,x_n$ and the matrix $\begin{bmatrix}|\cos((i-j)\pi/n)|\end{bmatrix}$ are studied. In particular, it is shown that $\begin{bmatrix}(1+x_ix_j)^r\end{bmatrix}$ is not positive semidefinite for any positive real number $r<n-2$ that is not an integer, and $\begin{bmatrix}|\cos((i-j)\pi/n)|^r\end{bmatrix}$ is positive semidefinite for every odd integer $n\ge 3$ and $n-3\le r<n-2.$


title: Stochastic maximum principle, dynamic programming principle, and their relationship for fully coupled forward-backward stochastic control systems

abstract: Within the framework of viscosity solution, we study the relationship between the maximum principle (MP) in [9] and the dynamic programming principle (DPP) in [10] for a fully coupled forward-backward stochastic controlled system (FBSCS) with a nonconvex control domain. For a fully coupled FBSCS, both the corresponding MP and the corresponding Hamilton-Jacobi-Bellman (HJB) equation combine an algebra equation respectively. So this relationship becomes more complicated and almost no work involves this issue. With the help of a new decoupling technique, we obtain the desirable estimates for the fully coupled forward-backward variational equations and establish the relationship. Furthermore, for the smooth case, we discover the connection between the derivatives of the solution to the algebra equation and some terms in the first and second-order adjoint equations. Finally, we study the local case under the monotonicity conditions as in [14,27] and obtain the relationship between the MP in [27] and the DPP in [14].


title: Acoustic feature learning using cross-domain articulatory measurements

abstract: Previous work has shown that it is possible to improve speech recognition by learning acoustic features from paired acoustic-articulatory data, for example by using canonical correlation analysis (CCA) or its deep extensions. One limitation of this prior work is that the learned feature models are difficult to port to new datasets or domains, and articulatory data is not available for most speech corpora. In this work we study the problem of acoustic feature learning in the setting where we have access to an external, domain-mismatched dataset of paired speech and articulatory measurements, either with or without labels. We develop methods for acoustic feature learning in these settings, based on deep variational CCA and extensions that use both source and target domain data and labels. Using this approach, we improve phonetic recognition accuracies on both TIMIT and Wall Street Journal and analyze a number of design choices.


title: On certain unimodal sequences and strict partitions

abstract: Building on a bijection of Vandervelde, we enumerate certain unimodal sequences whose alternating sum equals zero. This enables us to refine the enumeration of strict partitions with respect to the number of parts and the BG-rank.


title: Centralized Caching with Unequal Cache Sizes

abstract: We address a centralized caching problem with unequal cache sizes. We consider a system with a server of files connected through a shared error-free link to a group of cache-enabled users where one subgroup has a larger cache size than the other. We propose an explicit caching scheme for the considered system aimed at minimizing the load of worst-case demands over the shared link. As suggested by numerical evaluations, our scheme improves upon the best existing explicit scheme by having a lower worst-case load; also, our scheme performs within a multiplicative factor of 1.11 from the scheme that can be obtained by solving an optimisation problem in which the number of parameters grows exponentially with the number of users.


title: Local martingales associated with Schramm-Loewner evolutions with internal symmetry

abstract: We consider Schramm-Loewner evolutions (SLEs) with internal degrees of freedom that are associated with representations of affine Lie algebras, following group theoretical formulation of SLEs. We reconstruct the SLEs considered by Bettelheim {\it et al.} [Phys. Rev. Lett. {\bf 95}, 251601 (2005)] and Alekseev {\it et al.} [Lett. Math. Phys. {\bf 97}, 243-261 (2011)] in correlation function formulation. We also explicitly formulate stochastic differential equations on internal degrees of freedom for Heisenberg algebras and the affine $\mathfrak{sl}_{2}$. Our formulation enables us to find several local martingales associated with SLEs with internal degrees of freedom from computation on a representation of an affine Lie algebra. Indeed, we formulate local martingales associated with SLEs with internal degrees of freedom described by Heisenberg algebras and the affine $\mathfrak{sl}_{2}$. We also find an affine $\mathfrak{sl}_{2}$ symmetry of a space of SLE local martingales for the affine $\mathfrak{sl}_{2}$.

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


title: Absorption interferometer based on phase modulation

abstract: We propose a scheme in which an arbitrary incidence can be made perfectly reflected/transmitted if a phase setup is adjusted under a specific condition. We analyze the intracavity field variation as well as the output field with changing closed-loop phase of atomic system and relative phase of input probe beams. And we obtain the condition for perfect transmitter or reflector. By adjusting two phase setups, the medium absorption and light interference can be controlled so that photon escape from cavity can be modulated, thus the intensity switching based on phase control can be realized. Then based on the transmission/reflection analysis, total absorption of this system can be investigated. Therefore our scheme can be used as an absorption interferometer to explore the optical absorption in some complicated system. The phase delay dependent on phi_1 or phi_2 in output light intensity can be applied in the realization of quantum phase gate and subtle wave filter. And based on this scheme, we implement the state transfer between perfect transmitter/reflector and non-perfect coherent photon absorber via relative-phase modulation.


title: Learning to Coordinate in a Decentralized Cognitive Radio Network in Presence of Jammers

abstract: Efficient utilization of licensed spectrum in the cognitive radio network is challenging due to lack of coordination among the Secondary Users (SUs). Distributed algorithms proposed in the literature aim to maximize the network throughput by ensuring orthogonal channel allocation for the SUs. However, these algorithms work under the assumption that all the SUs faithfully follow the algorithms which may not always hold due to the decentralized nature of the network. In this paper, we study distributed algorithms that are robust against malicious behavior (jamming attack). We consider both the cases of jammers launching coordinated and uncoordinated attacks. In the coordinated attack, the jammers select non-overlapping channels to attack in each time slot and can significantly increase the number of collisions for SUs. We setup the problem in each scenario as a multi-player bandit and develop algorithms. The analysis shows that when the SUs faithfully implement proposed algorithms, the regret is constant with high probability. We validate our claims through exhaustive synthetic experiments and also through a realistic USRP based experiments.


title: Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors

abstract: Categorical studies of recursive data structures and their associated reasoning principles have mostly focused on two extremes: initial algebras and induction, and final coalgebras and coinduction. In this paper we study their in-betweens. We formalize notions of alternating fixed points of functors using constructions that are similar to that of free monads. We find their use in categorical modeling of accepting run trees under the Buechi and parity acceptance condition. This modeling abstracts away from states of an automaton; it can thus be thought of as the "behaviors" of systems with the Buechi or parity conditions, in a way that follows the tradition of coalgebraic modeling of system behaviors.


title: Quantifying the effect of interactions in quantum many-body systems

abstract: Free fermion systems enjoy a privileged place in physics. With their simple structure they can explain a variety of effects, ranging from insulating and metallic behaviours to superconductivity and the integer quantum Hall effect. Interactions, e.g. in the form of Coulomb repulsion, can dramatically alter this picture by giving rise to emerging physics that may not resemble free fermions. Examples of such phenomena include high-temperature superconductivity, fractional quantum Hall effect, Kondo effect and quantum spin liquids. The non-perturbative behaviour of such systems remains a major obstacle to their theoretical understanding that could unlock further technological applications. Here, we present a pedagogical review of "interaction distance" [Nat. Commun. 8, 14926 (2017)] -- a systematic method that quantifies the effect interactions can have on the energy spectrum and on the quantum correlations of generic many-body systems. In particular, the interaction distance is a diagnostic tool that identifies the emergent physics of interacting systems. We illustrate this method on the simple example of a one-dimensional Fermi-Hubbard dimer.


title: Weakly Supervised Object Localization on grocery shelves using simple FCN and Synthetic Dataset

abstract: We propose a weakly supervised method using two algorithms to predict object bounding boxes given only an image classification dataset. First algorithm is a simple Fully Convolutional Network (FCN) trained to classify object instances. We use the property of FCN to return a mask for images larger than training images to get a primary output segmentation mask during test time by passing an image pyramid to it. We enhance the FCN output mask into final output bounding boxes by a Convolutional Encoder-Decoder (ConvAE) viz. the second algorithm. ConvAE is trained to localize objects on an artificially generated dataset of output segmentation masks. We demonstrate the effectiveness of this method in localizing objects in grocery shelves where annotating data for object detection is hard due to variety of objects. This method can be extended to any problem domain where collecting images of objects is easy and annotating their coordinates is hard.


title: Proton-$\eta^\prime$ interactions at threshold

abstract: Recent data on photoproduction of $\eta'$ mesons off protons have been included in the data base for the Bonn-Gatchina partial wave analysis. The real and imaginary parts of the $S$-wave $\eta^\prime p\to \eta^\prime p$ scattering amplitude in the threshold region were fit to yield the $\eta^\prime p$ scattering length and the interaction range. This new analysis found $|a_{\eta^\prime p}|= (0.403\pm 0.015\pm 0.060)$ fm and a phase $\phi=(87\pm2)^\circ$, while the range parameter is not well-constrained. The striking behavior of the GRAAL data on the beam asymmetry in the threshold region suggests that a narrow proton-$\eta'$ resonance might exist. However, the scattering length was found to be relatively insensitive to the possible existence of this narrow resonance.


title: ESPNet: Efficient Spatial Pyramid of Dilated Convolutions for Semantic Segmentation

abstract: We introduce a fast and efficient convolutional neural network, ESPNet, for semantic segmentation of high resolution images under resource constraints. ESPNet is based on a new convolutional module, efficient spatial pyramid (ESP), which is efficient in terms of computation, memory, and power. ESPNet is 22 times faster (on a standard GPU) and 180 times smaller than the state-of-the-art semantic segmentation network PSPNet, while its category-wise accuracy is only 8% less. We evaluated ESPNet on a variety of semantic segmentation datasets including Cityscapes, PASCAL VOC, and a breast biopsy whole slide image dataset. Under the same constraints on memory and computation, ESPNet outperforms all the current efficient CNN networks such as MobileNet, ShuffleNet, and ENet on both standard metrics and our newly introduced performance metrics that measure efficiency on edge devices. Our network can process high resolution images at a rate of 112 and 9 frames per second on a standard GPU and edge device, respectively.


title: Swapping Colored Tokens on Graphs

abstract: We investigate the computational complexity of the following problem. We are given a graph in which each vertex has an initial and a target color. Each pair of adjacent vertices can swap their current colors. Our goal is to perform the minimum number of swaps so that the current and target colors agree at each vertex. When the colors are chosen from {1,2,...,c}, we call this problem c-Colored Token Swapping since the current color of a vertex can be seen as a colored token placed on the vertex. We show that c-Colored Token Swapping is NP-complete for c = 3 even if input graphs are restricted to connected planar bipartite graphs of maximum degree 3. We then show that 2-Colored Token Swapping can be solved in polynomial time for general graphs and in linear time for trees. Besides, we show that, the problem for complete graphs is fixed-parameter tractable when parameterized by the number of colors, while it is known to be NP-complete when the number of colors is unbounded.


title: Annular Representations of Free Product Categories

abstract: We provide a description of the annular representation category of the free product of two rigid C*-tensor categories.


title: Artificial Intelligence Enabled Software Defined Networking: A Comprehensive Overview

abstract: Software defined networking (SDN) represents a promising networking architecture that combines central management and network programmability. SDN separates the control plane from the data plane and moves the network management to a central point, called the controller, that can be programmed and used as the brain of the network. Recently, the research community has showed an increased tendency to benefit from the recent advancements in the artificial intelligence (AI) field to provide learning abilities and better decision making in SDN. In this study, we provide a detailed overview of the recent efforts to include AI in SDN. Our study showed that the research efforts focused on three main sub-fields of AI namely: machine learning, meta-heuristics and fuzzy inference systems. Accordingly, in this work we investigate their different application areas and potential use, as well as the improvements achieved by including AI-based techniques in the SDN paradigm.


title: Generalized Hermite Polynomials and Monodromy-Free Schr\"odinger Operators

abstract: The paper gives a review of recent progress in the classification of monodromy-free Schr\"odinger operators with rational potentials. We concentrate on a class of potentials constituted by generalized Hermite polynomials. These polynomials defined as Wronskians of classic Hermite polynomials appear in a number of mathematical physics problems as well as in the theory of random matrices and 1D SUSY quantum mechanics. Being quadratic at infinity, those potentials demonstrate localized oscillatory behavior near the origin. We derive an explicit condition of non-singularity of the corresponding potentials and estimate a localization range with respect to indices of polynomials and distribution of their zeros in the complex plane. It turns out that 1D SUSY quantum non-singular potentials come as a dressing of the harmonic oscillator by polynomial Heisenberg algebra ladder operators. To this end, all generalized Hermite polynomials are produced by appropriate periodic closure of this algebra which leads to rational solutions of the Painlev\'e IV equation. We discuss the structure of the discrete spectrum of Schr\"odinger operators and its link to the monodromy-free condition.


title: Rescaled weighted determinantal random balls

abstract: We consider a collection of weighted Euclidian random balls in R^d distributed according a determinantal point process. We perform a zoom-out procedure by shrinking the radii while increasing the number of balls. We observe that the repulsion between the balls is erased and three different regimes are obtained, the same as in the weighted Poissonian case.


title: Development of co-located ${}^{129}$Xe and ${}^{131}$Xe nuclear spin masers with external feedback scheme

abstract: We report on the operation of co-located ${}^{129}$Xe and ${}^{131}$Xe nuclear spin masers with an external feedback scheme, and discuss the use of ${}^{131}$Xe as a comagnetometer in measurements of the ${}^{129}$Xe spin precession frequency. By applying a correction based on the observed change in the ${}^{131}$Xe frequency, the frequency instability due to magnetic field and cell temperature drifts are eliminated by two orders of magnitude. The frequency precision of 6.2 $\mu$Hz is obtained for a 10$^4$ s averaging time, suggesting the possibility of future improvement to $\approx$ 1 nHz by improving the signal-to-noise ratio of the observation.


title: The Strong Decays of $P-$wave Mixing Heavy-Light $1^+$ States

abstract: Many $P-$wave mixing heavy-light $1^+$ states have not been discovered by experiment, some of them have been discovered but without the information of width, or with large uncertainty widths. In this paper, we study the strong decays of $P-$wave mixing heavy-light $1^+$ states $D^0$, $D^\pm$, $D_s^\pm$, $B^0$, $B^\pm$ and $B_s$ by the improved Bethe-Salpeter(B-S) method in two conditions of mixing angle $\theta$: one is $\theta=35.3^\circ$; another is considering the correction to mixing angle $\theta=35.3^\circ+\theta_1$. And we get some valuable predictions of the strong decay widths: $\Gamma(D_1^{\prime0})=232$ MeV, $\Gamma(D_1^0)=21.5$ MeV, $\Gamma(D_1^{\prime\pm})=232$ MeV, $\Gamma(D_1^\pm)=21.5$ MeV, $\Gamma(D_{s1}^{\prime\pm})=0.0101$ MeV, $\Gamma(D_{s1}^{\pm})=0.950$ MeV, $\Gamma(B_1^{\prime\pm})=263$ MeV, $\Gamma(B_1^{\pm})=16.8$ MeV, $\Gamma(B_{s1}^{\prime})=0.01987$ MeV and $\Gamma(B_{s1})=0.412$ MeV. We find that the decay widths of $D_{s1}^{\pm}$ and $B_{s1}$ are very sensitive to the mixing angle. And our results will provide the theoretical assistance by the future experiments.


title: Nonparametric forecasting of multivariate probability density functions

abstract: The study of dependence between random variables is the core of theoretical and applied statistics. Static and dynamic copula models are useful for describing the dependence structure, which is fully encrypted in the copula probability density function. However, these models are not always able to describe the temporal change of the dependence patterns, which is a key characteristic of financial data. We propose a novel nonparametric framework for modelling a time series of copula probability density functions, which allows to forecast the entire function without the need of post-processing procedures to grant positiveness and unit integral. We exploit a suitable isometry that allows to transfer the analysis in a subset of the space of square integrable functions, where we build on nonparametric functional data analysis techniques to perform the analysis. The framework does not assume the densities to belong to any parametric family and it can be successfully applied also to general multivariate probability density functions with bounded or unbounded support. Finally, a noteworthy field of application pertains the study of time varying networks represented through vine copula models. We apply the proposed methodology for estimating and forecasting the time varying dependence structure between the S\&P500 and NASDAQ indices.


title: Indeterminism in Physics, Classical Chaos and Bohmian Mechanics. Are Real Numbers Really Real?

abstract: It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can't contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is ``random numbers'', as their series of bits are truly random. I propose an alternative classical mechanics, which is empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality.


title: A counterexample to Las Vergnas' strong map conjecture on realizable oriented matroids

abstract: The Las Vergnas' strong map conjecture, states that any strong map of oriented matroids $f:\mathcal{M}_1\rightarrow\mathcal{M}_2$ can be factored into extensions and contractions. The conjecture is known to be false due to a construction by Richter-Gebert, he find a non-factorizable strong map $f:\mathcal{M}_1\rightarrow\mathcal{M}_2$, however in his example $\mathcal{M}_1$ is not realizable. The problem that whether there exists a non-factorizable strong map between realizable oriented matroids still remains open. In this paper we provide a counterexample to the strong map conjecture on realizable oriented matroids, which is a strong map $f:\mathcal{M}_1\rightarrow\mathcal{M}_2$, $\mathcal{M}_1$ is an alternating oriented matroid of rank $4$ and $f$ has corank $2$. We prove it is not factorizable by showing that there is no uniform oriented matroid $\mathcal{M}^{\prime}$ of rank $3$ such that $\mathcal{M}_1\rightarrow\mathcal{M}^{\prime}\rightarrow\mathcal{M}_2$.


title: Terahertz radiation by subpicosecond spin-polarized photocurrent originating from Dirac electrons in a Rashba-type polar semiconductor

abstract: The spin-splitting energy bands induced by the relativistic spin-orbit interaction in solids provide a new opportunity to manipulate the spin-polarized electrons on the sub-picosecond time scale. Here, we report one such example in a bulk Rashba-type polar semiconductor BiTeBr. Strong terahertz electromagnetic waves are emitted after the resonant excitation of the interband transition between the Rashba-type spin-splitting energy bands with a femtosecond laser pulse circularly polarized. The phase of the emitted terahertz waves is reversed by switching the circular polarization. This suggests that the observed terahertz radiation originates from the subpicosecond spin-polarized photocurrents, which are generated by the asymmetric depopulation of the Dirac state. Our result provides a new way for the current-induced terahertz radiation and its phase control by the circular polarization of incident light without external electric fields.


title: $AdS_2$ dilaton gravity from reductions of some nonrelativistic theories

abstract: We study dilaton-gravity theories in 2-dimensions obtained by dimensional reduction of higher dimensional nonrelativistic theories. Focussing on certain families of extremal charged hyperscaling violating Lifshitz black branes in Einstein-Maxwell-scalar theories with an extra gauge field in 4-dimensions, we obtain $AdS_2$ backgrounds in the near horizon throats. We argue that these backgrounds can be obtained in equivalent theories of 2-dim dilaton-gravity with an extra scalar, descending from the higher dimensional scalar, and an interaction potential with the dilaton. A simple subcase here is the relativistic black brane in Einstein-Maxwell theory. We then study linearized fluctuations of the metric, dilaton and the extra scalar about these $AdS_2$ backgrounds. The coefficient of the leading Schwarzian derivative term is proportional to the entropy of the (compactified) extremal black branes.


title: Multipole Modes for Triaxially Deformed Superfluid Nuclei

abstract: To study shape fluctuations of nuclei in transitional regions, the collective Hamiltonian method has often been employed. We intend to construct the quadrupole collective Hamiltonian with the collective inertial functions given by the local quasiparticle random-phase approximation (QRPA) based on the Skyrme energy density functional. For this purpose, we first construct a practical framework of Skyrme QRPA for triaxial nuclear shapes with the finite amplitude method (FAM). We show quadrupole strength functions for a triaxial superfluid nucleus $^{188}$Os and the Thouless-Valatin rotational moment of inertia by the local FAM-QRPA for $^{106}$Pd.


title: Exact confirmation of 1D nonlinear fluctuating hydrodynamics for a two-species exclusion process

abstract: We consider current statistics for a two species exclusion process of particles hopping in opposite directions on a one-dimensional lattice. We derive an exact formula for the Green's function as well as for a joint current distribution of the model, and study its long time behavior. For a step type initial condition, we show that the limiting distribution is a product of the Gaussian and the GUE Tracy-Widom distribution. This is the first analytic confirmation for a multi-component system of a prediction from the recently proposed non-linear fluctuating hydrodynamics for one dimensional systems.

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


title: IRAS 22150+6109 - a young B-type star with a large disc

abstract: We present the results of a spectroscopic analysis and spectral energy distribution (SED) modelling of the optical counterpart of the infrared source IRAS 22150+6109. The source was suggested to be as a Herbig Be star located in the star forming region L 1188. Absorption lines in the optical spectrum indicate a spectral type B3, while weak Balmer emission lines reflect the presence of a circumstellar gaseous disc. The star shows no excess radiation in the near-infrared spectral region and a strong excess in the far-infrared that we interpret as radiation from a large disc, whose inner edge is located very far from the star (550 au) and does not attenuate its radiation. We conclude that IRAS 22150+6109 is an intermediate-mass star that is currently undergoing a short pre-main-sequence evolutionary stage.


title: Electromagnetic multipole moments of the $P_c^+(4380)$ pentaquark in light-cone QCD

abstract: We calculate the electromagnetic multipole moments of the $P_c^+(4380)$ pentaquark by modeling it as the diquark-diquark-antiquark and $\bar D^*\Sigma_c$ molecular state with quantum numbers $J^P = \frac{3}{2}^-$. In particular, the magnetic dipole, electric quadrupole and magnetic octupole moments of this particle are extracted in the framework of light-cone QCD sum rule. The values of the electromagnetic multipole moments obtained via two pictures differ substantially from each other, which can be used to pin down the underlying structure of $P_c^+(4380)$. The comparison of any future experimental data on the electromagnetic multipole moments of the $P_c^+(4380)$ pentaquark with the results of the present work can shed light on the nature and inner quark organization of this state.


title: Boosting the Maxwell double layer potential using a right spin factor

abstract: We construct new spin singular integral equations for solving scattering problems for Maxwell's equations, both against perfect conductors and in media with piecewise constant permittivity, permeability and conductivity, improving and extending earlier formulations by the author. These differ in a fundamental way from classical integral equations, which use double layer potential operators, and have the advantage of having a better condition number, in particular in Fredholm sense and on Lipschitz regular interfaces, and do not suffer from spurious resonances. The construction of the integral equations builds on the observation that the double layer potential factorises into a boundary value problem and an ansatz. We modify the ansatz, inspired by a non-selfadjoint local elliptic boundary condition for Dirac equations.


title: An adaptive minimum spanning tree multi-element method for uncertainty quantification of smooth and discontinuous responses

abstract: A novel approach for non-intrusive uncertainty propagation is proposed. Our approach overcomes the limitation of many traditional methods, such as generalised polynomial chaos methods, which may lack sufficient accuracy when the quantity of interest depends discontinuously on the input parameters. As a remedy we propose an adaptive sampling algorithm based on minimum spanning trees combined with a domain decomposition method based on support vector machines. The minimum spanning tree determines new sample locations based on both the probability density of the input parameters and the gradient in the quantity of interest. The support vector machine efficiently decomposes the random space in multiple elements, avoiding the appearance of Gibbs phenomena near discontinuities. On each element, local approximations are constructed by means of least orthogonal interpolation, in order to produce stable interpolation on the unstructured sample set. The resulting minimum spanning tree multi-element method does not require initial knowledge of the behaviour of the quantity of interest and automatically detects whether discontinuities are present. We present several numerical examples that demonstrate accuracy, efficiency and generality of the method.


title: Ground-state wavefunction of macroscopic electron systems

abstract: Wavefunctions for large electron numbers $N$ are plagued by the Exponential Wall Problem (EWP), i.e., an exponential increase in the dimensions of Hilbert space with $N$. Therefore they loose their meaning for macroscopic systems, a point stressed in particular by W. Kohn. The EWP has to be resolved in order to be able to perform electronic structure calculations, e.g., for solids. The origin of the EWP is the multiplicative property of wavefunctions when independent subsystems are considered. Therefore it can only be avoided when wavefunctions are formulated so that they are additive instead, in particular when matrix elements involving them are calculated. We describe how this is done for the ground state of a macroscopic electron system. Going over from a multiplicative to an additive quantity requires taking a logarithm. Here it implies going over from Hilbert space to the operator- or Liouville space with a metric based on cumulants. The operators which define the ground-state wavefunction generate fluctuations from a mean-field state. The latter does not suffer from an EWP and therefore may serve as a vacuum state. The fluctuations have to be {\it connected} like the ones caused by pair interactions in a classical gas when the free energy is calculated (Meyer's cluster expansion). This fixes the metric in Liouville space. The scheme presented here provides a solid basis for electronic structure calculations for the ground state of solids. In fact, its applicability has already been proven. We discuss also matrix product states, which have been applied to one-dimensional systems with results of high precision. Although these states are formulated in Hilbert space they are processed by using operators in Liouville space. We show that they fit into the general formalism described above.


title: Prediction of two-dimensional nodal-line semimetal in a carbon nitride covalent network

abstract: Carbon nitride compounds have emerged recently as a prominent member of 2D materials beyond graphene. The experimental realizations of 2D graphitic carbon nitride g-C$_3$N$_4$, nitrogenated holey grahpene C$_2$N, polyaniline C$_3$N have shown their promising potential in energy and environmental applications. In this work, we predict a new type of carbon nitride network with a C$_9$N$_4$ stoichiometry from first principle calculations. Unlike common C-N compounds and covalent organic frameworks (COFs), which are typically insulating, surprisingly C$_9$N$_4$ is found to be a 2D nodal-line semimetal (NLSM). The nodal line in C$_9$N$_4$ forms a closed ring centered at $\Gamma$ point, which originates from the pz orbitals of both C and N. The linear crossing happens right at Fermi level contributed by two sets of dispersive Kagome and Dirac bands, which is robust due to negligible spin-orbital-coupling (SOC) in C and N. Besides, it is revealed that the formation of nodal ring is of accidental band degeneracy in nature induced by the chemical potential difference of C and N, as validated by a single orbital tight-binding model, rather than protected by crystal in-plane mirror symmetry or band topology. Interestingly, a new structure of nodal line, i.e., nodal-cylinder, is found in momentum space for AA-stacking C$_9$N$_4$. Our results imply possible functionalization for a novel metal-free C-N covalent network with interesting semimetallic properties.


title: The art of the state

abstract: Quantum field theory on curved spacetimes lacks an obvious distinguished vacuum state. We review a recent no-go theorem that establishes the impossibility of finding a preferred state in each globally hyperbolic spacetime, subject to certain natural conditions. The result applies in particular to the free scalar field, but the proof is model-independent and therefore of wider applicability. In addition, we critically examine the recently proposed "SJ states", that are determined by the spacetime geometry alone, but which fail to be Hadamard in general. We describe a modified construction that can yield an infinite family of Hadamard states, and also explain recent results that motivate the Hadamard condition without direct reference to ultra-high energies or ultra-short distance structure.


title: Nonhomogeneous Dirichlet problems without the Ambrosetti-Rabinowitz condition

abstract: We consider the existence of solutions of the following $p(x)$-Laplacian Dirichlet problem without the Ambrosetti-Rabinowitz condition: $-\mbox{div}(|\nabla u|^{p(x)-2}\nabla u)=f(x,u) \text{ in }\Omega,$ and $u=0,\text{ on }\partial \Omega.$ We give a new growth condition and we point out its importance for checking the Cerami compactness condition. We prove the existence of solutions of the above problem via the critical point theory, and also provide some multiplicity properties. Our results extend previous work by Q. Zhang and C. Zhao, Existence of strong solutions of a $p(x)$-Laplacian Dirichlet problem without the Ambrosetti-Rabinowitz condition, Comp. Math. Appl. 69 (2015), 1-12, and we establish the existence of solutions under weaker hypotheses on the nonlinear term.


title: NLOS Mitigation Using Sparsity Feature And Iterative Methods

abstract: Well-known methods are employed to localize mobile station (MS) using line of sight (LOS) measurements. These methods may result in large error if they are fed with non LOS (NLOS) measurements. Our proposed algorithm, referred to as Sparse Recovery of NLOS using IMAT (SRNI), considers NLOS as unknown variables and solves the resultant underdetermined system emphasizing on its sparsity feature based on IMAT methods. Simulations are conducted to investigate the performance of SRNI in comparison of other conventional algorithms. Results demonstrate that SRNI is fast enough to deal with large combination of BSs and also accurate in lower number of BSs


title: Using a Model-driven Approach in Building a Provenance Framework for Tracking Policy-making Processes in Smart Cities

abstract: The significance of provenance in various settings has emphasised its potential in the policy-making process for analytics in Smart Cities. At present, there exists no framework that can capture the provenance in a policy-making setting. This research therefore aims at defining a novel framework, namely, the Policy Cycle Provenance (PCP) Framework, to capture the provenance of the policy-making process. However, it is not straightforward to design the provenance framework due to a number of associated policy design challenges. The design challenges revealed the need for an adaptive system for tracking policies therefore a model-driven approach has been considered in designing the PCP framework. Also, suitability of a networking approach is proposed for designing workflows for tracking the policy-making process.


title: On n-Hom-Leibniz algebras and cohomology

abstract: The purpose of this paper is to provide a cohomology of $n$-Hom-Leibniz algebras. Moreover, we study some higher operations on cohomology spaces and deformations.


title: Music Style Transfer: A Position Paper

abstract: Led by the success of neural style transfer on visual arts, there has been a rising trend very recently in the effort of music style transfer. However, "music style" is not yet a well-defined concept from a scientific point of view. The difficulty lies in the intrinsic multi-level and multi-modal character of music representation (which is very different from image representation). As a result, depending on their interpretation of "music style", current studies under the category of "music style transfer", are actually solving completely different problems that belong to a variety of sub-fields of Computer Music. Also, a vanilla end-to-end approach, which aims at dealing with all levels of music representation at once by directly adopting the method of image style transfer, leads to poor results. Thus, we vitally propose a more scientifically-viable definition of music style transfer by breaking it down into precise concepts of timbre style transfer, performance style transfer and composition style transfer, as well as to connect different aspects of music style transfer with existing well-established sub-fields of computer music studies. In addition, we discuss the current limitations of music style modeling and its future directions by drawing spirit from some deep generative models, especially the ones using unsupervised learning and disentanglement techniques.


title: Production Line Technique for Autonomous Vehicle Scheduling

abstract: This paper considers the problem of scheduling autonomous vehicles in intersections. A new system is proposed that could be an additional choice to the recently introduced Autonomous Intersection Management (AIM) model. The proposed system is based on the production line technique, where the environment of the intersection, vehicles position, speeds and turning are specified and determined in advance. The goal of the proposed system is to eliminate vehicle collision and the waiting time inside the intersection. Three different patterns of the vehicles flow toward the intersection have been considered for the evaluation of the model. The system requires less waiting time (compared to the other models) in the random case where the flow is unpredictable. The KNN algorithm is used to predict the right turn vehicle. The experimental results show that there is no single chance of collision inside the intersection, however, the system requires more free space in the traffic lane.


title: Linear-time geometric algorithm for evaluating B\'ezier curves

abstract: A new algorithm for computing a point on a polynomial or rational curve in B\'{e}zier form is proposed. The method has a geometric interpretation and uses only convex combinations of control points. The new algorithm's computational complexity is linear with respect to the number of control points and its memory complexity is $O(1)$. Some remarks on similar methods for surfaces in rectangular and triangular B\'{e}zier form are also given.


title: Revealing memory effects in phase-covariant quantum master equations

abstract: We study and compare the sensitivity of multiple non-Markovianity indicators for a qubit subjected to general phase-covariant noise. For each of the indicators, we derive analytical conditions to detect the dynamics as non-Markovian. We present these conditions as relations between the time-dependent decay rates for the general open system dynamics and its commutative and unital subclasses. These relations tell directly if the dynamics is non-Markovian w.r.t.~each indicator, without the need to explicitly derive and specify the analytic form of the time-dependent coefficients. Moreover, with a shift in perspective, we show that if one assumes only the general form of the master equation, measuring the non-Markovianity indicators gives us directly non-trivial information on the relations between the unknown decay rates.


title: Cloud Provider Capacity Augmentation Through Automated Resource Bartering

abstract: Growing interest in Cloud Computing places a heavy workload on cloud providers which is becoming increasingly difficult for them to manage with their primary datacenter infrastructures. Resource limitations can make providers vulnerable to significant reputational damage and it often forces customers to select services from the larger, more established companies, sometimes at a higher price. Funding limitations, however, commonly prevent emerging and even established providers from making continual investment in hardware speculatively assuming a certain level of growth in demand. As an alternative, they may strive to use the current inter-cloud resource sharing platforms which mainly rely on monetary payments and thus putting pressure on already stretched cash flows. To address such issues, we have designed and implemented a new multi-agent based Cloud Resource Bartering System (CRBS) that fosters the management and bartering of pooled resources without requiring costly financial transactions between providers. Agents in CRBS not only strengthen the trading relationship among providers but also enable them to handle surges in demand with their primary setup. Unlike existing systems, CRBS assigns resources by considering resource urgency which comparatively improves customers satisfaction and the resource utilization rate by more than 50%.The evaluation results provide evidence that our system assists providers to timely acquire the additional resources and to maintain sustainable service delivery. We conclude that the existence of such a system is economically beneficial for cloud providers and enables them to adapt to fluctuating workloads.


title: A primal discontinuous Galerkin method with static condensation on very general meshes

abstract: We propose an efficient variant of a primal Discontinuous Galerkin method with interior penalty for the second order elliptic equations on very general meshes (polytopes with eventually curved boundaries). Efficiency, especially when higher order polynomials are used, is achieved by static condensation, i.e. a local elimination of certain degrees of freedom element by element. This alters the original method in a way that preserves the optimal error estimates. Numerical experiments confirm that the solutions produced by the new method are indeed very close to that produced by the classical one.


title: The square negative correlation on l_p^n balls

abstract: In this paper we prove that for any $p\in[2,\infty)$ the $\ell_p^n$ unit ball, $B_p^n$, satisfies the square negative correlation property with respect to every orthonormal basis, while we show it is not always the case for $1\le p\le 2$. In order to do that we regard $B_p^n$ as the orthogonal projection of $B_p^{n+1}$ onto the hyperplane $e_{n+1}^\perp$. We will also study the orthogonal projection of $B_p^n$ onto the hyperplane orthogonal to the diagonal vector $(1,\dots,1)$. In this case, the property holds for all $p\ge 1$ and $n$ large enough.


title: Period Increase and Amplitude Distribution of Kink Oscillation of Coronal Loop

abstract: Coronal loops exist ubiquitously in the solar atmosphere. These loops puzzle astronomers over half a century. Solar magneto-seismology (SMS) provides a unique way to constrain the physical parameters of coronal loops. Here, we study the evolution of oscillations of a coronal loop observed by the Atmospheric Imaging Assembly (AIA). We measure geometric and physical parameters of the loop oscillations. In particular, we find that the mean period of the oscillations increased from 1048 to 1264 s during three oscillatory cycles. We employ the differential emission measure method and apply the tools of SMS. The evolution of densities inside and outside the loop is analyzed. We found that an increase of density inside the loop and decrease of the magnetic field strength along the loop are the main reasons for the increase in the period during the oscillations. Besides, we also found that the amplitude profile of the loop is different from a profile would it be a homogeneous loop. It is proposed that the distribution of magnetic strength along the loop rather than density stratification is responsible for this deviation. The variation in period and distribution of amplitude provide, in terms of SMS, a new and unprecedented insight into coronal loop diagnostics.


title: The arithmetic derivative and Leibniz-additive functions

abstract: An arithmetic function $f$ is Leibniz-additive if there is a completely multiplicative function $h_f$, i.e., $h_f(1)=1$ and $h_f(mn)=h_f(m)h_f(n)$ for all positive integers $m$ and $n$, satisfying $$ f(mn)=f(m)h_f(n)+f(n)h_f(m) $$ for all positive integers $m$ and $n$. A motivation for the present study is the fact that Leibniz-additive functions are generalizations of the arithmetic derivative $D$; namely, $D$ is Leibniz-additive with $h_D(n)=n$. In this paper, we study the basic properties of Leibniz-additive functions and, among other things, show that a Leibniz-additive function $f$ is totally determined by the values of $f$ and $h_f$ at primes. We also consider properties of Leibniz-additive functions with respect to the usual product, composition and Dirichlet convolution of arithmetic functions.


title: An Adaptable System to Support Provenance Management for the Public Policy-Making Process in Smart Cities

abstract: Government policies aim to address public issues and problems and therefore play a pivotal role in peoples lives. The creation of public policies, however, is complex given the perspective of large and diverse stakeholders involvement, considerable human participation, lengthy processes, complex task specification and the non-deterministic nature of the process. The inherent complexities of the policy process impart challenges for designing a computing system that assists in supporting and automating the business process pertaining to policy setup, which also raises concerns for setting up a tracking service in the policy-making environment. A tracking service informs how decisions have been taken during policy creation and can provide useful and intrinsic information regarding the policy process. At present, there exists no computing system that assists in tracking the complete process that has been employed for policy creation. To design such a system, it is important to consider the policy environment challenges; for this a novel network and goal based approach has been framed and is covered in detail in this paper. Furthermore, smart governance objectives that include stakeholders participation and citizens involvement have been considered. Thus, the proposed approach has been devised by considering smart governance principles and the knowledge environment of policy making where tasks are largely dependent on policy makers decisions and on individual policy objectives. Our approach reckons the human dimension for deciding and defining autonomous process activities at run time. Furthermore, with the network-based approach, so-called provenance data tracking is employed which enables the capture of policy process.