title: Enhancing parameter precision of optimal quantum estimation by direct quantum feedback

abstract: Various schemes have been proposed to overcome the drawback of the decoherence on quantum-enhanced parameter estimation. Here we suggest an alternative method, quantum feedback, to enhance the parameter precision of optimal quantum estimation of a dissipative qubit by investigating its dynamics of quantum Fisher information. We find that compared with the case without feedback, the quantum Fisher information of the dissipative qubit in the case of feedback has a large maximum value in time evolution and a smaller decay rate in the long time.


title: Task Allocation in Robotic Swarms: Explicit Communication Based Approaches

abstract: In this paper we study multi robot cooperative task allocation issue in a situation where a swarm of robots is deployed in a confined unknown environment where the number of colored spots which represent tasks and the ratios of them are unknown. The robots should cover this spots as far as possible to do cleaning and sampling actions desirably. It means that they should discover the spots cooperatively and spread proportional to the spots area and avoid from remaining idle. We proposed 4 self-organized distributed methods which are called hybrid methods for coping with this scenario. In two different experiments the performance of the methods is analyzed. We compared them with each other and investigated their scalability and robustness in term of single point of failure.


title: Geometric formulation of quantum mechanics

abstract: Quantum mechanics is among the most important and successful mathematical model for describing our physical reality. The traditional formulation of quantum mechanics is linear and algebraic. In contrast classical mechanics is a geometrical and non-linear theory that is defined on a symplectic manifold. However, after invention of general relativity, we are convinced that geometry is physical and effect us in all scale. Hence the geometric formulation of quantum mechanics sought to give a unified picture of physical systems based on its underling geometrical structures, e.g., now, the states are represented by points of a symplectic manifold with a compatible Riemannian metric, the observables are real-valued functions on the manifold, and the quantum evolution is governed by a symplectic flow that is generated by a Hamiltonian function. In this work we will give a compact introduction to main ideas of geometric formulation of quantum mechanics. We will provide the reader with the details of geometrical structures of both pure and mixed quantum states. We will also discuss and review some important applications of geometric quantum mechanics.


title: Implications and applications of the variance-based uncertainty equalities

abstract: In quantum mechanics, the variance-based Heisenberg-type uncertainty relations are a series of mathematical inequalities posing the fundamental limits on the achievable accuracy of the state preparations. In contrast, we construct and formulate two quantum uncertainty equalities, which hold for all pairs of incompatible observables and indicate the new uncertainty relations recently introduced by L. Maccone and A. K. Pati [Phys. Rev. Lett. 113, 260401 (2014)]. Furthermore, we present an explicit interpretation lying behind the derivations and relate these relations to the so-called intelligent states. As an illustration, we investigate the properties of these uncertainty inequalities in the qubit system and a state-independent bound is obtained for the sum of variances. Finally, we apply these inequalities to the spin squeezing scenario and its implication in interferometric sensitivity is also discussed.


title: Stability and Markov Property of Forward Backward Minimal Supersolutions

abstract: We show stability and locality of the minimal supersolution of a forward backward stochastic differential equation with respect to the underlying forward process under weak assumptions on the generator. The forward process appears both in the generator and the terminal condition. Painlev\'e-Kuratowski and Convex Epi-convergence are used to establish the stability. For Markovian forward processes the minimal supersolution is shown to have the Markov property. Furthermore, it is related to a time-shifted problem and identified as the unique minimal viscosity supersolution of a corresponding PDE.


title: Direct Growth Graphene on Cu Nanoparticles by Chemical Vapor Deposition as Surface-Enhanced Raman Scattering Substrate for Label-Free Detection of Adenosine

abstract: We present a graphene/Cu nanoparticle hybrids (G/CuNPs) system as a surface-enhanced Raman scattering (SERS) substrate for adenosine detection. The Cu nanoparticles wrapped around a monolayer graphene shell were directly synthesized on flat quartz by chemical vapor deposition in a mixture of methane and hydrogen. The G/CuNPs showed an excellent SERS enhancement activity for adenosine. The minimum detected concentration of the adenosine in serum was demonstrated as low as 5 nM, and the calibration curve showed a good linear response from 5 to 500 nM. The capability of SERS detection of adenosine in real normal human urine samples based on G/CuNPs was also investigated and the characteristic peaks of adenosine were still recognizable. The reproducible and the ultrasensitive enhanced Raman signals could be due to the presence of an ultrathin graphene layer. The graphene shell was able to enrich and fix the adenosine molecules, which could also efficiently maintain chemical and optical stability of G/CuNPs. Based on G/CuNPs system, the ultrasensitive SERS detection of adenosine in varied matrices was expected for the practical applications of medicine and biotechnology


title: Topological Spin Hall Effect due to Magnetic Skyrmions

abstract: The intrinsic spin Hall effect (SHE) originates from the topology of the Bloch bands in momentum space. The duality between real space and momentum space calls for a spin Hall effect induced from a real space topology in analogy to the topological Hall effect (THE) of skyrmions. We theoretically demonstrate the topological spin Hall effect (TSHE) in which a pure transverse spin current is generated from a skyrmion spin texture.


title: Engineering nuclear spin dynamics with optically pumped nitrogen-vacancy center

abstract: We present a general theory for using an optically pumped diamond nitrogen-vacancy center as a tunable, non-equilibrium bath to control a variety of nuclear spin dynamics (such as dephasing, relaxation, squeezing, polarization, etc.) and the nuclear spin noise. It opens a new avenue towards engineering the dissipative and collective nuclear spin evolution and solves an open problem brought up by the $^{13}$C nuclear spin noise suppression experiment [E. Togan \textit{et al}., Nature 478, 497 (2011)].


title: 23-bit Metaknowledge Template Towards Big Data Knowledge Discovery and Management

abstract: The global influence of Big Data is not only growing but seemingly endless. The trend is leaning towards knowledge that is attained easily and quickly from massive pools of Big Data. Today we are living in the technological world that Dr. Usama Fayyad and his distinguished research fellows discussed in the introductory explanations of Knowledge Discovery in Databases (KDD) predicted nearly two decades ago. Indeed, they were precise in their outlook on Big Data analytics. In fact, the continued improvement of the interoperability of machine learning, statistics, database building and querying fused to create this increasingly popular science- Data Mining and Knowledge Discovery. The next generation computational theories are geared towards helping to extract insightful knowledge from even larger volumes of data at higher rates of speed. As the trend increases in popularity, the need for a highly adaptive solution for knowledge discovery will be necessary. In this research paper, we are introducing the investigation and development of 23 bit-questions for a Metaknowledge template for Big Data Processing and clustering purposes. This research aims to demonstrate the construction of this methodology and proves the validity and the beneficial utilization that brings Knowledge Discovery from Big Data.


title: Novel Metaknowledge-based Processing Technique for Multimedia Big Data clustering challenges

abstract: Past research has challenged us with the task of showing relational patterns between text-based data and then clustering for predictive analysis using Golay Code technique. We focus on a novel approach to extract metaknowledge in multimedia datasets. Our collaboration has been an on-going task of studying the relational patterns between datapoints based on metafeatures extracted from metaknowledge in multimedia datasets. Those selected are significant to suit the mining technique we applied, Golay Code algorithm. In this research paper we summarize findings in optimization of metaknowledge representation for 23-bit representation of structured and unstructured multimedia data in order to


title: Simultaneous production of charmonium and bottomonium mesons at LHC

abstract: Inclusive production of $\Upsilon J/\psi$ pair in proton-proton interation at LHCb is considered. This process is forbidden at leading order of perturbation theory, so such channels as double parton scattering, $\chi_b\chi_c$ pair production with subsequent radiative decays of $P$-wave quarkonia, contributions of color-octet states, and NLO corrections are studied in details. For all these channels we present theoretical predictions of total cross sections at LHCb and distributions over different kinematical variables. According to presented in the paper results, double parton interaction gives main contribution to the cross section of the considered reaction.


title: Laser-driven platform for generation and characterization of strong quasi-static magnetic fields

abstract: Quasi-static magnetic-fields up to $800\,$T are generated in the interaction of intense laser pulses ($500\,$J, $1\,$ns, $10^{17}\,$W/cm$^2$) with capacitor-coil targets of different materials. The reproducible magnetic-field peak and rise-time, consistent with the laser pulse duration, were accurately inferred from measurements with GHz-bandwidth inductor pickup coils (B-dot probes). Results from Faraday rotation of polarized optical laser light and deflectometry of energetic proton beams are consistent with the B-dot probe measurements at the early stages of the target charging, up to $t\approx 0.35\,$ns, and then are disturbed by radiation and plasma effects. The field has a dipole-like distribution over a characteristic volume of $1\,$mm$^3$, which is coherent with theoretical expectations. These results demonstrate a very efficient conversion of the laser energy into magnetic fields, thus establishing a robust laser-driven platform for reproducible, well characterized, generation of quasi-static magnetic fields at the kT-level, as well as for magnetization and accurate probing of high-energy-density samples driven by secondary powerful laser or particle beams.


title: Explicit solver for the electronic V-representation problem

abstract: One route to numerically propagating quantum systems is time dependent density functional theory (TDDFT). The application of TDDFT to a particular system's time evolution is predicated on V-representability which we have analyzed in a previous publication. In this work, we provide new insights concerning lattice V-representability using an newly developed explicit solver for the time-dependent Kohn-Sham potential which contrast with implicit solvers studied in the past few years. We present and interpret the force-balance equation central to our numerical method, describe details of its implementation, and present illustrative numerical results. A new characterization of V-representability for one-electron systems is also included. Taken together, the results here open the door to deeper theoretical and numerical investigations of the foundations of TDDFT.


title: Improvement of Control System Performance by Modification of Time Delay

abstract: This paper presents a mathematical approach for improving the performance of a control system by modifying the time delay at certain operating conditions. This approach converts a continuous time loop into a discrete time loop. The formula derived is applied successfully to an applicable control system. The results show that the proposed approach efficiently improves the control system performance. The relation between the sampling time and the time delay is obtained. Two different operating conditions are examined to assess the proposed approach in improving the performance of the control system.


title: Sub-Poissonian and anti-bunching criteria via majorization of statistics

abstract: We use majorization and confidence intervals as a convenient tool to compare the uncertainty in photon number for different quantum light states. To this end majorization is formulated in terms of confidence intervals. As a suitable case study we apply this tool to sub- and super-Posissonian behavior and bunching and anti- bunching effects. We focus on the most significant classical and nonclassical states, such as Glauber coherent, thermal, photon number, and squeezed states. We show that majorization provides a more complete analysis that in some relevant situations contradicts the predictions of variance.


title: Vibronic resonances facilitate excited state coherence in light harvesting proteins at room temperature

abstract: Until recently it was believed that photosynthesis, a fundamental process for life on earth, could be fully understood with semi-classical models. However, puzzling quantum phenomena have been observed in several photosynthetic pigment-protein complexes, prompting questions regarding the nature and role of these effects. Recent attention has focused on discrete vibrational modes that are resonant or quasi-resonant with excitonic energy splittings and strongly coupled to these excitonic states. Here we unambiguously identify excited state coherent superpositions in photosynthetic light-harvesting complexes using a new experimental approach. Decoherence on the timescale of the excited state lifetime allows low energy (56 cm-1) oscillations on the signal intensity to be observed. In conjunction with an appropriate model, these oscillations provide clear and direct experimental evidence that the persistent coherences observed require strong vibronic mixing among excited states.

categories: physics.bio-ph physics.chem-ph physics.optics quant-ph


title: The observation of photon echoes from evanescently coupled rare-earth ions in a planar waveguide

abstract: We report the measurement of the inhomogeneous linewidth, homogeneous linewidth and spin state lifetime of Pr3+ ions in a novel waveguide architecture. The TeO2 slab waveguide deposited on a bulk Pr3+:Y2SiO5 crystal allows the 3H4 - 1D2 transition of Pr3+ ions to be probed by the optical evanescent field that extends into the substrate. The 2 GHz inhomogeneous linewidth, the optical coherence time of 70 +- 5 us, and the spin state lifetime of 9.8 +- 0.3 s indicate that the properties of ions interacting with the waveguide mode are consistent with those of bulk ions. This result establishes the foundation for large, integrated and high performance rare-earth-ion quantum systems based on a waveguide platform.


title: A Simple Method for Finding the Scattering Coefficients of Quantum Graphs

abstract: Quantum walks are roughly analogous to classical random walks, and like classical walks they have been used to find new (quantum) algorithms. When studying the behavior of large graphs or combinations of graphs it is useful to find the response of a subgraph to signals of different frequencies. In so doing we can replace an entire subgraph with a single vertex with frequency dependent scattering coefficients. In this paper a simple technique for quickly finding the scattering coefficients of any quantum graph will be presented. These scattering coefficients can be expressed entirely in terms of the characteristic polynomial of the graph's time step operator. Moreover, with these in hand we can easily derive the "impulse response" which is the key to predicting the response of a graph to any signal. This gives us a powerful set of tools for rapidly understanding the behavior of graphs or for reducing a large graph into its constituent subgraphs regardless of how they are connected.


title: Many-body critical Casimir interactions in colloidal suspensions

abstract: We study the fluctuation-induced Casimir interactions in colloidal suspensions, especially between colloids immersed in a binary liquid close to its critical demixing point. To simulate these systems, we present a highly efficient cluster Monte Carlo algorithm based on geometric symmetries of the Hamiltonian. Utilizing the principle of universality, the medium is represented by an Ising system while the colloids are areas of spins with fixed orientation. Our results for the Casimir interaction potential between two particles at the critical point in two dimensions perfectly agree with the exact predictions. However, we find that in finite systems the behavior strongly depends on whether the $Z_{2}$ symmetry of the system is broken by the particles. Eventually we present Monte Carlo results for the three-body Casimir interaction potential and take a close look onto the case of one particle in the vicinity of two adjacent particles, which can be calculated from the two-particle interaction by a conformal mapping. These results emphasize the failure of the common decomposition approach for many-particle critical Casimir interactions.


title: An Online Convex Optimization Approach to Blackwell's Approachability

abstract: The notion of approachability in repeated games with vector payoffs was introduced by Blackwell in the 1950s, along with geometric conditions for approachability and corresponding strategies that rely on computing {\em steering directions} as projections from the current average payoff vector to the (convex) target set. Recently, Abernethy, Batlett and Hazan (2011) proposed a class of approachability algorithms that rely on the no-regret properties of Online Linear Programming for computing a suitable sequence of steering directions. This is first carried out for target sets that are convex cones, and then generalized to any convex set by embedding it in a higher-dimensional convex cone. In this paper we present a more direct formulation that relies on the support function of the set, along with suitable Online Convex Optimization algorithms, which leads to a general class of approachability algorithms. We further show that Blackwell's original algorithm and its convergence follow as a special case.


title: Constructing Priors that Penalize the Complexity of Gaussian Random Fields

abstract: Priors are important for achieving proper posteriors with physically meaningful covariance structures for Gaussian random fields (GRFs) since the likelihood typically only provides limited information about the covariance structure under in-fill asymptotics. We extend the recent Penalised Complexity prior framework and develop a principled joint prior for the range and the marginal variance of one-dimensional, two-dimensional and three-dimensional Mat\'ern GRFs with fixed smoothness. The prior is weakly informative and penalises complexity by shrinking the range towards infinity and the marginal variance towards zero. We propose guidelines for selecting the hyperparameters, and a simulation study shows that the new prior provides a principled alternative to reference priors that can leverage prior knowledge to achieve shorter credible intervals while maintaining good coverage. We extend the prior to a non-stationary GRF parametrized through local ranges and marginal standard deviations, and introduce a scheme for selecting the hyperparameters based on the coverage of the parameters when fitting simulated stationary data. The approach is applied to a dataset of annual precipitation in southern Norway and the scheme for selecting the hyperparameters leads to concervative estimates of non-stationarity and improved predictive performance over the stationary model.


title: Rings and Radial Waves in the Disk of the Milky Way

abstract: We show that in the anticenter region, between Galactic longitudes of $110^\circ<l<229^\circ$, there is an oscillating asymmetry in the main sequence star counts on either side of the Galactic plane using data from the Sloan Digital Sky Survey. This asymmetry oscillates from more stars in the north at distances of about 2 kpc from the Sun to more stars in the south at 4-6 kpc from the Sun to more stars in the north at distances of 8-10 kpc from the Sun. We also see evidence that there are more stars in the south at distances of 12-16 kpc from the Sun. The three more distant asymmetries form roughly concentric rings around the Galactic center, opening in the direction of the Milky Way's spiral arms. The northern ring, 9 kpc from the Sun, is easily identified with the previously discovered Monoceros Ring. Parts of the southern ring at 14 kpc from the Sun (which we call the TriAnd Ring) have previously been identified as related to the Monoceros Ring and others have been called the Triangulum Andromeda Overdensity. The two nearer oscillations are approximated by a toy model in which the disk plane is offset by of the order 100 pc up and then down at different radii. We also show that the disk is not azimuthally symmetric around the Galactic anticenter and that there could be a correspondence between our observed oscillations and the spiral structure of the Galaxy. Our observations suggest that the TriAnd and Monoceros Rings (which extend to at least 25 kpc from the Galactic center) are primarily the result of disk oscillations.


title: Decidable Horn Systems with Difference Constraints Arithmetic

abstract: This paper tackles the problem of the existence of solutions for recursive systems of Horn clauses with second-order variables interpreted as integer relations, and harnessed by quantifier-free difference bounds arithmetic. We start by proving the decidability of the problem "does the system have a solution ?" for a simple class of Horn systems with one second-order variable and one non-linear recursive rule. The proof relies on a construction of a tree automaton recognizing all cycles in the weighted graph corresponding to every unfolding tree of the Horn system. We constrain the tree to recognize only cycles of negative weight by adding a Presburger formula that harnesses the number of times each rule is fired, and reduce our problem to the universality of a Presburger-constrained tree automaton. We studied the complexity of this problem and found it to be in \textsc{NEXPtime} with an \textsc{EXPtime}-hard lower bound. Second, we drop the univariate restriction and consider multivariate second-order Horn systems with a structural restriction, called \emph{flatness}. This more general class of Horn systems is found to be decidable, within the same complexity bounds. Finally, we encode the reachability problem for Alternating Branching Vector Addition Systems (ABVASS) using Horn systems and prove that, for flat ABVASS, this problem is in co-\textsc{NEXPtime}.


title: Engineering of quantum dot photon sources via electro-elastic fields

abstract: The possibility to generate and manipulate non-classical light using the tools of mature semiconductor technology carries great promise for the implementation of quantum communication science. This is indeed one of the main driving forces behind ongoing research on the study of semiconductor quantum dots. Often referred to as artificial atoms, quantum dots can generate single and entangled photons on demand and, unlike their natural counterpart, can be easily integrated into well-established optoelectronic devices. However, the inherent random nature of the quantum dot growth processes results in a lack of control of their emission properties. This represents a major roadblock towards the exploitation of these quantum emitters in the foreseen applications. This chapter describes a novel class of quantum dot devices that uses the combined action of strain and electric fields to reshape the emission properties of single quantum dots. The resulting electro-elastic fields allow for control of emission and binding energies, charge states, and energy level splittings and are suitable to correct for the quantum dot structural asymmetries that usually prevent these semiconductor nanostructures from emitting polarization-entangled photons. Key experiments in this field are presented and future directions are discussed.


title: Parameter Compilation

abstract: In resolving instances of a computational problem, if multiple instances of interest share a feature in common, it may be fruitful to compile this feature into a format that allows for more efficient resolution, even if the compilation is relatively expensive. In this article, we introduce a formal framework for classifying problems according to their compilability. The basic object in our framework is that of a parameterized problem, which here is a language along with a parameterization---a map which provides, for each instance, a so-called parameter on which compilation may be performed. Our framework is positioned within the paradigm of parameterized complexity, and our notions are relatable to established concepts in the theory of parameterized complexity. Indeed, we view our framework as playing a unifying role, integrating together parameterized complexity and compilability theory.


title: Universally Finite Gravitational & Gauge Theories

abstract: It is well known that standard gauge theories are renormalizable in D=4 while Einstein gravity is renormalizable in D=2. This is where the research in the field of two derivatives theories is currently standing. We hereby present a class of weakly non-local higher derivative gravitational and gauge theories universally consistent at quantum level in any spacetime dimension. These theories are unitary (ghost-free) and perturbatively renormalizable. Moreover, we can always find a simple extension of these theories that is super-renormalizable or finite at quantum level in even and odd spacetime dimensions. Finally, we propose a super-renormalizable or finite theory for gravity coupled to matter laying the groundwork for a "finite standard model of particle physics" and/or a grand unified theory of all fundamental interactions.


title: Realization of mutually unbiased bases for a qubit with only one wave plate: Theory and experiment

abstract: We consider the problem of implementing mutually unbiased bases (MUB) for a polarization qubit with only one wave plate, the minimum number of wave plates. We show that one wave plate is sufficient to realize two MUB as long as its phase shift (modulo $360^\circ$) ranges between $45^\circ$ and $315^\circ$. {It can realize} three MUB (a complete set of MUB for a qubit) if the phase shift of the wave plate is within $[111.5^\circ, 141.7^\circ]$ or its symmetric range with respect to 180$^\circ$. The systematic error of the realized MUB using a third-wave plate (TWP) with $120^\circ$ phase is calculated to be a half of that using the combination of a quarter-wave plate (QWP) and a half-wave plate (HWP). As experimental applications, TWPs are used in single-qubit and two-qubit quantum state tomography experiments and the results show a systematic error reduction by $50\%$. This technique not only saves one wave plate but also reduces the systematic error, which can be applied to quantum state tomography and other applications involving MUB. The proposed TWP may become a useful instrument in optical experiments, replacing multiple elements like QWP and HWP.


title: Error-compensation measurements on polarization qubits

abstract: Systematic errors are inevitable in most measurements performed in real life because of imperfect measurement devices. Reducing systematic errors is crucial to ensuring the accuracy and reliability of measurement results. To this end, delicate error-compensation design is often necessary in addition to device calibration to reduce the dependence of the systematic error on the imperfection of the devices. The art of error-compensation design is well appreciated in nuclear magnetic resonance system by using composite pulses. In contrast, there are few works on reducing systematic errors in quantum optical systems. Here we propose an error-compensation design to reduce the systematic error in projective measurements on a polarization qubit. It can reduce the systematic error to the second order of the phase errors of both the half-wave plate (HWP) and the quarter-wave plate (QWP) as well as the angle error of the HWP. This technique is then applied to experiments on quantum state tomography on polarization qubits, leading to a 20-fold reduction in the systematic error. Our study may find applications in high-precision tasks in polarization optics and quantum optics.


title: Achieving quantum precision limit in adaptive qubit state tomography

abstract: The precision limit in quantum state tomography is of great interest not only to practical applications but also to foundational studies. However, little is known about this subject in the multiparameter setting even theoretically due to the subtle information tradeoff among incompatible observables. In the case of a qubit, the theoretic precision limit was determined by Hayashi as well as Gill and Massar, but attaining the precision limit in experiments has remained a challenging task. Here we report the first experiment which achieves this precision limit in adaptive quantum state tomography on optical polarization qubits. The two-step adaptive strategy employed in our experiment is very easy to implement in practice. Yet it is surprisingly powerful in optimizing most figures of merit of practical interest. Our study may have significant implications for multiparameter quantum estimation problems, such as quantum metrology. Meanwhile, it may promote our understanding about the complementarity principle and uncertainty relations from the information theoretic perspective.


title: Multi-Server Coded Caching

abstract: In this paper, we consider multiple cache-enabled clients connected to multiple servers through an intermediate network. We design several topology-aware coding strategies for such networks. Based on topology richness of the intermediate network, and types of coding operations at internal nodes, we define three classes of networks, namely, dedicated, flexible, and linear networks. For each class, we propose an achievable coding scheme, analyze its coding delay, and also, compare it with an information theoretic lower bound. For flexible networks, we show that our scheme is order-optimal in terms of coding delay and, interestingly, the optimal memory-delay curve is achieved in certain regimes. In general, our results suggest that, in case of networks with multiple servers, type of network topology can be exploited to reduce service delay.


title: Biased Online Parameter Inference for State-Space Models

abstract: We consider Bayesian online static parameter estimation for state-space models. This is a very important problem, but is very computationally challenging as the state- of-the art methods that are exact, often have a computational cost that grows with the time parameter; perhaps the most successful algorithm is that of SMC2 [9]. We present a version of the SMC2 algorithm which has computational cost that does not grow with the time parameter. In addition, under assumptions, the algorithm is shown to provide consistent estimates of expectations w.r.t. the posterior. However, the cost to achieve this consistency can be exponential in the dimension of the parameter space; if this exponential cost is avoided, typically the algorithm is biased. The bias is investigated from a theoretical perspective and, under assumptions, we find that the bias does not accumulate as the time parameter grows. The algorithm is implemented on several Bayesian statistical models.


title: Distributed Cloud Association in Downlink Multicloud Radio Access Networks

abstract: This paper considers a multicloud radio access network (M-CRAN), wherein each cloud serves a cluster of base-stations (BS's) which are connected to the clouds through high capacity digital links. The network comprises several remote users, where each user can be connected to one (and only one) cloud. This paper studies the user-to-cloud-assignment problem by maximizing a network-wide utility subject to practical cloud connectivity constraints. The paper solves the problem by using an auction-based iterative algorithm, which can be implemented in a distributed fashion through a reasonable exchange of information between the clouds. The paper further proposes a centralized heuristic algorithm, with low computational complexity. Simulations results show that the proposed algorithms provide appreciable performance improvements as compared to the conventional cloud-less assignment solutions.


title: Cusp Summations and Cusp Relations of Simple Quad Lenses

abstract: We review five often used quad lens models, each of which has analytical solutions and can produce four images at most. Each lens model has two parameters, including one that describes the intensity of non-dimensional mass density, and the other one that describes the deviation from the circular lens. In our recent work, we have found that the cusp and the fold summations are not equal to 0, when a point source infinitely approaches a cusp or a fold from inner side of the caustic. Based on the magnification invariant theory, which states that the sum of signed magnifications of the total images of a given source is a constant, we calculate the cusp summations for the five lens models. We find that the cusp summations are always larger than 0 for source on the major cusps, while can be larger or smaller than 0 for source on the minor cusps. We also find that if these lenses tend to the circular lens, the major and minor cusp summations will have infinite values, and with positive and negative signs respectively. The cusp summations do not change significantly if the sources are slightly deviated from the cusps. In addition, through the magnification invariants, we also derive the analytical signed cusp relations on the axes for three lens models. We find that both on the major and the minor axes the larger the lenses deviated from the circular lens, the larger the signed cusp relations. The major cusp relations are usually larger than the absolute minor cusp relations, but for some lens models with very large deviation from circular lens, the minor cusp relations can be larger than the major cusp relations.


title: Contrastive Pessimistic Likelihood Estimation for Semi-Supervised Classification

abstract: Improvement guarantees for semi-supervised classifiers can currently only be given under restrictive conditions on the data. We propose a general way to perform semi-supervised parameter estimation for likelihood-based classifiers for which, on the full training set, the estimates are never worse than the supervised solution in terms of the log-likelihood. We argue, moreover, that we may expect these solutions to really improve upon the supervised classifier in particular cases. In a worked-out example for LDA, we take it one step further and essentially prove that its semi-supervised version is strictly better than its supervised counterpart. The two new concepts that form the core of our estimation principle are contrast and pessimism. The former refers to the fact that our objective function takes the supervised estimates into account, enabling the semi-supervised solution to explicitly control the potential improvements over this estimate. The latter refers to the fact that our estimates are conservative and therefore resilient to whatever form the true labeling of the unlabeled data takes on. Experiments demonstrate the improvements in terms of both the log-likelihood and the classification error rate on independent test sets.


title: Microwave magnetoelectric fields: An analytical study of topological characteristics

abstract: The near fields originated from a small quasi-two-dimensional ferrite disk with magnetic-dipolar-mode (MDM) oscillations are the fields with broken dual (electric-magnetic) symmetry. Numerical studies show that such fields, called the magnetoelectric (ME) fields, are distinguished by the power-flow vortices and helicity parameters [E. O. Kamenetskii, R. Joffe, and R. Shavit, Phys. Rev. E 87, 023201 (2013)]. These numerical studies can well explain recent experimental results with MDM ferrite disks. In the present paper, we obtain analytically topological characteristics of the ME-field modes. For this purpose, we use a method of successive approximations. In the second approximation we take into account the influence of the edge regions of an open ferrite disk, which are excluded in the first-approximation solving of the magnetostatic (MS) spectral problem. Based on the analytical method, we obtain a 'pure' structure of the electric and magnetic fields outside the MDM ferrite disk. The analytical studies can display some fundamental features that are non-observable in the numerical results. While in numerical investigations, one cannot separate the ME fields from the external electromagnetic (EM) radiation, the present theoretical analysis allows clearly distinguish the eigen topological structure of the ME fields. Importantly, this ME-field structure gives evidence for certain phenomena that can be related to the Tellegen and bianisotropic coupling effects. We discuss the question whether the MDM ferrite disk can exhibit properties of the cross magnetoelectric polarizabilities.


title: On fractional Laplacians -- 3

abstract: We investigate the role of the noncompact group of dilations in $\mathbb R^n$ on the difference of the quadratic forms associated to the fractional Dirichlet and Navier Laplacians. Then we apply our results to study the Brezis--Nirenberg effect in two families of noncompact boundary value problems involving the Navier-Laplacian.


title: Computing the maximum violation of a Bell inequality is NP-complete

abstract: The number of steps required in order to maximize a Bell inequality for arbitrary number of qubits is shown to grow exponentially with either the number of steps and the number of parties involved. The proof that the optimization of such correlation measure is a NP-problem is based on an operational perspective involving a Turing machine, which follows a general algorithm. The implications for the computability of the so called {\it nonlocality} for any number of qubits is similar to recent results involving entanglement or similar quantum correlation-based measures.


title: Foliated backgrounds for M-theory compactifications (II)

abstract: We summarize the foliation approach to ${\cal N}=1$ compactifications of eleven-dimensional supergravity on eight-manifolds $M$ down to $\mathrm{AdS}_3$ spaces for the case when the internal part $\xi$ of the supersymmetry generator is chiral on some proper subset ${\cal W}$ of $M$. In this case, a topological no-go theorem implies that the complement $M\setminus {\cal W}$ must be a dense open subset, while $M$ admits a singular foliation ${\bar {\cal F}}$ (in the sense of Haefliger) which is defined by a closed one-form $\boldsymbol{\omega}$ and is endowed with a longitudinal $G_2$ structure. The geometry of this foliation is determined by the supersymmetry conditions. We also describe the topology of ${\bar {\cal F}}$ in the case when $\boldsymbol{\omega}$ is a Morse form.


title: Sharp Moser-Trudinger inequalities on Riemannian manifolds with Negative curvature

abstract: Let $M$ be a complete, simply connected Riemannian manifold with negative curvature. We obtain some Moser-Trudinger inequalities with sharp constants on $M$.


title: Comparator Circuits over Finite Bounded Posets

abstract: Comparator circuit model was originally introduced by Mayr and Subramanian (1992) (and further studied by Cook, Filmus and Le (2012)) to capture problems which are not known to be P-complete but still not known to admit efficient parallel algorithms. The class CC is the complexity class of problems many-one logspace reducible to the Comparator Circuit Value Problem and we know that NL is contained in CC which is inturn contained in P. Cook, Filmus and Le (2012) showed that CC is also the class of languages decided by polynomial size comparator circuits. We study generalizations of the comparator circuit model that work over fixed finite bounded posets. We observe that there are universal comparator circuits even over arbitrary fixed finite bounded posets. Building on this, we show that general (resp. skew) comparator circuits of polynomial size over fixed finite distributive lattices characterizes CC (resp. L). Complementing this, we show that general comparator circuits of polynomial size over arbitrary fixed finite lattices exactly characterizes P even when the comparator circuit is skew. In addition, we show a characterization of the class NP by a family of polynomial sized comparator circuits over fixed {\em finite bounded posets}. These results generalize the results by Cook, Filmus and Le (2012) regarding the power of comparator circuits. As an aside, we consider generalizations of Boolean formulae over arbitrary lattices. We show that Spira's theorem (1971) can be extended to this setting as well and show that polynomial sized Boolean formulae over finite fixed lattices capture exactly NC^1.


title: Particle-In-Cell Modeling of Plasma-Based Accelerators in Two and Three Dimensions

abstract: In this dissertation, a fully object-oriented, fully relativistic, multi-dimensional Particle-In-Cell code was developed and applied to answer key questions in plasma-based accelerator research. The simulations increase the understanding of the processes in laser plasma and beam-plasma interaction, allow for comparison with experiments, and motivate the development of theoretical models. The simulations support the idea that the injection of electrons in a plasma wave by using a transversely propagating laser pulse is possible. The beam parameters of the injected electrons found in the simulations compare reasonably with beams produced by conventional methods and therefore laser injection is an interesting concept for future plasma-based accelerators. Simulations of the optical guiding of a laser wakefield driver in a parabolic plasma channel support the idea that electrons can be accelerated over distances much longer than the Rayleigh length in a channel. Simulations of plasma wakefield acceleration in the nonlinear blowout regime give a detailed picture of of the highly nonlinear processes involved. Using OSIRIS, we have also been able to perform full scale simulations of the E-157 experiment at the Stanford Linear Accelerator Center. These simulations have aided the experimentalists and they have assisted in the development of a theoretical model that is able to reproduce some important aspects of the full PIC simulations. Update (2015): This dissertation was originally written in 2000. I am making it now available on arXiv with the hope that some its content might proof useful to the users of the OSIRIS code which has continued to be utilized by a number of research groups since it was originally written as part of the research presented in this dissertation.


title: Analytical Energy Gradients in Range-Separated Hybrid Density Functional Theory with Random Phase Approximation

abstract: Analytical forces have been derived in the Lagrangian framework for several random phase approximation (RPA) correlated total energy methods based on the range separated hybrid (RSH) approach, which combines a short-range density functional approximation for the short-range exchange-correlation energy with a Hartree-Fock-type long-range exchange and RPA long-range correlation. The RPA correlation energy has been expressed as a ring coupled cluster doubles (rCCD) theory. The resulting analytical gradients have been implemented and tested for geometry optimization of simple molecules and intermolecular charge transfer complexes, where intermolecular interactions are expected to have a non-negligible effect even on geometrical parameters of the monomers.


title: An Introduction to Temporal Graphs: An Algorithmic Perspective

abstract: A \emph{temporal graph} is, informally speaking, a graph that changes with time. When time is discrete and only the relationships between the participating entities may change and not the entities themselves, a temporal graph may be viewed as a sequence $G_1,G_2\ldots,G_l$ of static graphs over the same (static) set of nodes $V$. Though static graphs have been extensively studied, for their temporal generalization we are still far from having a concrete set of structural and algorithmic principles. Recent research shows that many graph properties and problems become radically different and usually substantially more difficult when an extra time dimension in added to them. Moreover, there is already a rich and rapidly growing set of modern systems and applications that can be naturally modeled and studied via temporal graphs. This, further motivates the need for the development of a temporal extension of graph theory. We survey here recent results on temporal graphs and temporal graph problems that have appeared in the Computer Science community.


title: Partial Derivative Automaton for Regular Expressions with Shuffle

abstract: We generalize the partial derivative automaton to regular expressions with shuffle and study its size in the worst and in the average case. The number of states of the partial derivative automata is in the worst case at most 2^m, where m is the number of letters in the expression, while asymptotically and on average it is no more than (4/3)^m.


title: The resolved star-formation relation in nearby active galactic nuclei

abstract: We present an analysis of the relation between star formation rate (SFR) surface density (sigmasfr) and mass surface density of molecular gas (sigmahtwo), commonly referred to as the Kennicutt-Schmidt (K-S) relation, at its intrinsic spatial scale, i.e. the size of giant molecular clouds (10-150 pc), in the central, high-density regions of four nearby low-luminosity active galactic nuclei (AGN). We used interferometric IRAM CO(1-0) and CO(2-1), and SMA CO(3-2) emission line maps to derive sigmahtwo and HST-Halpha images to estimate sigmasfr. Each galaxy is characterized by a distinct molecular SF relation at spatial scales between 20 to 200 pc. The K-S relations can be sub-linear, but also super-linear, with slopes ranging from 0.5 to 1.3. Depletion times range from 1 and 2Gyr, compatible with results for nearby normal galaxies. These findings are valid independently of which transition, CO(1-0), CO(2-1), or CO(3-2), is used to derive sigmahtwo. Because of star-formation feedback, life-time of clouds, turbulent cascade, or magnetic fields, the K-S relation might be expected to degrade on small spatial scales (<100 pc). However, we find no clear evidence for this, even on scales as small as 20 pc, and this might be because of the higher density of GMCs in galaxy centers which have to resist higher shear forces. The proportionality between sigmahtwo and sigmasfr found between 10 and 100 Msun/pc2 is valid even at high densities, 10^3 Msun/pc2. However, by adopting a common CO-to-H2 conversion factor (alpha_CO), the central regions of the galaxies have higher sigmasfr for a given gas column than those expected from the models, with a behavior that lies between the mergers/high-redshift starburst systems and the more quiescent star-forming galaxies, assuming that the first ones require a lower value of alpha_CO.


title: Resonance expansions of massless Dirac fields propagating in the exterior of a de Sitter-Reissner-Nordstr\"om black hole

abstract: We give an expansion of the solution of the evolution equation for the massless Dirac fields in the outer region of de Sitter-Reissner-Nordstr\"om black hole in terms of resonances. By means of this method we describe the decay of local energy for compactly supported data. The proof uses the cut-off resolvent estimates for the semi-classical Schr\"odinger operators from Bony and H\"afner, 2008. The method extends to the Dirac operators on spherically symmetric asymptotically hyperbolic manifolds.


title: Constructive sparse trigonometric approximation for functions with small mixed smoothness

abstract: The paper gives a constructive method, based on greedy algorithms, that provides for the classes of functions with small mixed smoothness the best possible in the sense of order approximation error for the $m$-term approximation with respect to the trigonometric system.


title: The nonlinear 2D supercritical inviscid shallow water equations in a rectangle

abstract: In this article we consider the inviscid two-dimensional shallow water equations in a rectangle. The flow occurs near a stationary solution in the so called supercritical regime and we establish short term existence of smooth solutions for the corresponding initial and boundary value problem.


title: Relationships between charge density response functions, exchange holes and localized orbitals

abstract: The charge density response function and the exchange hole are closely related to each other via the fundamental fluctuation-dissipation theorem of physics. A simple approximate model of the static response function is visually compared on several examples in order to demonstrate this relationship. This study is completed by illustrating the well-known isomorphism between the exchange hole and the square of the dominant localized orbital lying in the space region of the reference point of the exchange hole function. The implications of these relationships for the interpretation of common chemical concepts, such as delocalization, are discussed.


title: $\tau$-tilting finite algebras, bricks and $g$-vectors

abstract: The class of support $\tau$-tilting modules was introduced to provide a completion of the class of tilting modules from the point of view of mutations. In this article we study $\tau$-tilting finite algebras, i.e. finite dimensional algebras $A$ with finitely many isomorphism classes of indecomposable $\tau$-rigid modules. We show that $A$ is $\tau$-tilting finite if and only if very torsion class in $\mod A$ is functorially finite. We observe that cones generated by $g$-vectors of indecomposable direct summands of each support $\tau$-tilting module form a simplicial complex $\Delta(A)$. We show that if $A$ is $\tau$-tilting finite, then $\Delta(A)$ is homeomorphic to an $(n-1)$-dimensional sphere, and moreover the partial order on support $\tau$-tilting modules can be recovered from the geometry of $\Delta(A)$. Finally we give a bijection between indecomposable $\tau$-rigid $A$-modules and bricks of $A$ satisfying a certain finiteness condition, which is automatic for $\tau$-tilting finite algebras.


title: Magnetic-dipolar-mode Fano resonances for microwave spectroscopy of high absorption matter

abstract: Study of interaction between high absorption matter and microwave radiated energy is a subject of great importance. Especially, this concerns microwave spectroscopic characterization of biological liquids. Use of effective testing methods to obtain information about physical properties of different liquids on the molecular level is one of the most important problems in biophysics. However, the standard methods based on the microwave resonant techniques are not sufficiently suitable for biological liquids because the resonance peak in a resonator with high-loss liquids is so broad that the material parameters cannot be measured correctly. Although molecular vibrations of biomolecules may have microwave frequencies, it is not thought that such resonant coupling is significant due to their low energy compared with thermal energy and the strongly dampening aqueous environment. This paper presents an innovative microwave sensing technique for different types of lossy materials, including biological liquids. The technique is based on the combination of the microwave perturbation method and the Fano-resonance effects observed recently in microwave structures with embedded magnetic-dipolar quantum dots. When frequency of the magnetic-dipolar-mode (MDM) resonance is not equal to the cavity resonance frequency, one gets Fano transmission intensity. With tuning, by a bias magnetic field, the MDM resonance frequency to the cavity resonance frequency, one observes a Lorentz line shape. Use of an extremely narrow Lorentzian peak allows exact probing the resonant frequency of a cavity loaded by a high-lossy-material sample. For different kinds of samples, one has different frequencies of Lorentzian peaks. This gives a picture for precise spectroscopic characterization of high absorption matter in microwaves.


title: Estimating the principal components of correlation matrices from all their empirical eigenvectors

abstract: We consider the problem of estimating the principal components of a population correlation matrix from a limited number of measurement data. Using a combination of random matrix and information-theoretic tools, we show that all the eigenmodes of the sample correlation matrices are informative, and not only the top ones. We show how this information can be exploited when prior information about the principal component, such as whether it is localized or not, is available by mapping the estimation problem onto the search for the ground state of a spin-glass-like effective Hamiltonian encoding the prior. Results are illustrated numerically on the spiked covariance model.


title: Success factors for Crowdfunding founders and funders

abstract: Crowdfunding has been used as one of the effective ways for entrepreneurs to raise funding especially in creative industries. Individuals as well as organizations are paying more attentions to the emergence of new crowdfunding platforms. In the Netherlands, the government is also trying to help artists access financial resources through crowdfunding platforms. This research aims at discovering the success factors for crowdfunding projects through crowdfunding platforms from both founders and funders perspective. We designed our own website for founders and funders to observe crowdfunding behaviors. Our research will contribute to crowdfunding success factors related to issues of trust and decision making and provide practical recommendations for practitioners and researchers.


title: Inverse spectral problem for GK integrable system

abstract: A.Goncharov and R.Kenyon has defined a class of integrable system on a cluster varieties constructed out of a Newton polygon on the plane. In the present note we show that thiest cluster varieties coincides with the configuration spaces of collections of complete flags in an infinite dimensional space invariant with respect to two commuting operators. We use this interpretation to give explicit solution for these integrable systems in terms of theta-functions.


title: Constraining the Charm Yukawa and Higgs-quark Coupling Universality

abstract: We introduce four different types of data-driven analyses with different level of robustness that constrain the size of the Higgs-charm Yukawa coupling: (i) recasting the vector-boson associated, Vh, analyses that search for bottom-pair final state. We use this mode to directly and model independently constrain the Higgs to charm coupling, y_c/y_c^{SM} < 234; (ii) the direct measurement of the total width, y_c/y_c^{SM} < 120-140; (iii) the search to h -> J/\psi\gamma, y_c/y_c^{SM} < 220; (iv) a global fit to the Higgs signal strengths, y_c/y_c^{SM} < 6.2. A comparison with t\bar{t}h data allows us to show that current data eliminates the possibility that the Higgs couples to quarks in a universal way, as is consistent with the Standard Model (SM) prediction. Finally, we demonstrate how the experimental collaborations can further improve our direct bound by roughly an order of magnitude by charm-tagging, as already used in new physics searches.


title: First Passage processes in cellular biology

abstract: Often sharp changes in cellular behavior are triggered by thresholded events, i.e., by the attainment of a threshold value of a relevant cellular or molecular dynamical variable. Since the governing variable itself typically undergoes noisy or stochastic dynamics, there is a corresponding variability in the times when the same change occurs in each cell of a population. This time is called the "first passage" time and the corresponding process is a "first passage" (FP) process, referring to the event when a random variable first passes the threshold value. In this review we first present and elucidate fundamentals of the FP formalism within a unified conceptual framework, which naturally integrates the existing techniques. We then discuss applications thereof, with emphasis on the practical use of FP techniques in biophysical systems. Our focus here is on covering a diverse set of analytical techniques; the number of reviewed biological applications is thus limited, out of necessity. We focus on three specific areas: channel transport; receptor binding and adhesion; and single-cell growth and division.


title: A combined first-principles and thermodynamic approach to M-Nitronyl Nitroxide (M=Co, Mn) spin helices

abstract: The properties of two molecular-based magnetic helices, composed of 3$d$ metal Co and Mn ions bridged by Nitronyl Nitroxide radicals, are investigated by density functional calculations. Their peculiar and distinctive magnetic behavior is here elucidated by a thorough description of their magnetic, electronic, and anisotropy properties. Metal ions are antiferromagnetically coupled with the radicals, leading to a ferrimagnetically ordered ground state. A strong metal-radical exchange coupling is found, about 44 meV and 48 meV for Co- and Mn-helices, respectively. The latter have also relevant next-nearest-neighbor Mn-Mn antiferromagnetic interactions (of $\sim$ 6 meV). Co-sites are characterized by non-collinear uniaxial anisotropies, whereas Mn-sites are rather isotropic. A key result pertains to the Co-helix: the microscopic picture resulting from density-functional calculations allows us to propose a spin Hamiltonian of increased complexity with respect to the commonly employed Ising Hamiltonian, suitable for the study of finite-temperature behavior, and that seems to clarify the puzzling scenario of multiple characteristic energy scales observed in experiments.


title: Renormalised solutions in thermo-visco-plasticity for a Norton-Hoff type model. Part I: the truncated case

abstract: We prove existence of global in time strong solutions to the truncated thermo- visco-plasticity with an inelastic constitutive function of Norton-Hoff type. This result is a starting point to obtain renoramlised solutions for the considered model without truncations. The method of our proof is based on Yosida approximation of the maximal monotone term and a passage to the limit.


title: Perturbations of Weyl sums

abstract: Write $f_k({\boldsymbol \alpha};X)=\sum_{x\le X}e(\alpha_1x+\ldots +\alpha_kx^k)$ $(k\ge 3)$. We show that there is a set ${\mathfrak B}\subseteq [0,1)^{k-2}$ of full measure with the property that whenever $(\alpha_2,\ldots ,\alpha_{k-1})\in {\mathfrak B}$ and $X$ is sufficiently large, then $$\sup_{(\alpha_1,\alpha_k)\in [0,1)^2}|f_k({\boldsymbol \alpha};X)|\le X^{1/2+4/(2k-1)}.$$ For $k\ge 5$, this improves on work of Flaminio and Forni, in which a Diophantine condition is imposed on $\alpha_k$, and the exponent of $X$ is $1-2/(3k(k-1))$.


title: Regular realizability problems and context-free languages

abstract: We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language -- the input of the problem -- and fixed language called filter is non-empty. In this paper we focus on the case of context-free filters. Algorithmic complexity of the RR problem is a very coarse measure of context-free languages complexity. This characteristic is compatible with rational dominance. We present examples of P-complete RR problems as well as examples of RR problems in the class NL. Also we discuss RR problems with context-free filters that might have intermediate complexity. Possible candidates are the languages with polynomially bounded rational indices.


title: Physical interpretation of point-like interactions of one-dimensional Schr\"odinger operator

abstract: We consider physical interpretations of non-trivial boundary conditions of self-adjoint extensions for one-dimensional Schr\"odinger operator of free spinless particle. Despite its model and rather abstract character this question is worth of investigation due to application for one-dimensional nanostructures. The main result is the physical interpretation of peculiar self-adjoint extension with discontinuity of both the probability density and the derivative of the wave function. We show that this case differs very much from other three which were considered before and corresponds to the presence of mass-jump in a sense of works of Ganella et. al., (Journal of Physics A: Mathematical and Theoretical 42, 465207 (2009)) along with the quantized magnetic flux. Real physical system which can be modeled by such boundary conditions is the localized quantazied flux in the Josephson junction of two superconductors with different effective masses of the elementary excitations.


title: Theta functions of superelliptic curves

abstract: In this short survey we give a description of the theta functions of algebraic curves, half-integer theta-nulls, and the fundamental theta functions. We describe how to determine such fundamental theta functions and describe the components of the moduli space in terms of such functions.


title: Jamison sequences in countably infinite discrete abelian groups

abstract: We extend the definition of Jamison sequences in the context of topological abelian groups. Then we study such sequences when the abelian group is discrete and countably infinite. An arithmetical characterization of such sequences is obtained, extending the result of Badea and Grivaux about Jamison sequences of integers. In particular, we prove that the sequence consisting of all elements of the group is a Jamison sequence. In the opposite, a sequence which generates a subgroup of infinite index in the group is never a Jamison sequence.


title: Statistical detection of movement activities in a human brain by separation of mixture distributions

abstract: One of most popular experimental techniques for investigation of brain activity is the so-called method of evoked potentials: the subject repeatedly makes some movements (by his/her finger) whereas brain activity and some auxiliary signals are recorded for further analysis. The key problem is the detection of points in the myogram which correspond to the beginning of the movements. The more precisely the points are detected, the more successfully the magnetoencephalogram is processed aiming at the identification of sensors which are closest to the activity areas. The paper proposes a statistical approach to this problem based on mixtures models which uses a specially modified method of moving separation of mixtures of probability distributions (MSM-method) to detect the start points of the finger's movements. We demonstrate the correctness of the new procedure and its advantages as compared with the method based on the notion of the myogram window variance.


title: Spinor Condensates on a Cylindrical Surface in Synthetic Gauge Fields

abstract: We point out that by modifying the setup of a recent experiment that generates a Dirac string, one can create a quasi 2D spinor Bose condensate on a cylindrical surface with a synthetic magnetic field pointing radially outward from the cylindrical surface. The synthetic magnetic field takes the form of the Landau gauge. It is generated by the Berry's phase of a spin texture, frozen by an external quadrupolar magnetic field. Unlike in the planar case, there are two types of vortices (called A and B) with the same vorticity. The ground state for $5\le S\le 9$ consists of a row of alternating AB vortices lying at the equatorial circle of the cylinder. For higher values of $S$, the A and B vortices split into two rows and are displaced from each other along the cylindrical axis $z$. The fact that many properties of a BEC are altered in a cylindrical surface implies many rich phenomena will emerge for ground states in curved surfaces.


title: On Defining SPARQL with Boolean Tensor Algebra

abstract: The Resource Description Framework (RDF) represents information as subject-predicate-object triples. These triples are commonly interpreted as a directed labelled graph. We propose an alternative approach, interpreting the data as a 3-way Boolean tensor. We show how SPARQL queries - the standard queries for RDF - can be expressed as elementary operations in Boolean algebra, giving us a complete re-interpretation of RDF and SPARQL. We show how the Boolean tensor interpretation allows for new optimizations and analyses of the complexity of SPARQL queries. For example, estimating the size of the results for different join queries becomes much simpler.


title: From Data Fusion to Knowledge Fusion

abstract: The task of {\em data fusion} is to identify the true values of data items (eg, the true date of birth for {\em Tom Cruise}) among multiple observed values drawn from different sources (eg, Web sites) of varying (and unknown) reliability. A recent survey\cite{LDL+12} has provided a detailed comparison of various fusion methods on Deep Web data. In this paper, we study the applicability and limitations of different fusion techniques on a more challenging problem: {\em knowledge fusion}. Knowledge fusion identifies true subject-predicate-object triples extracted by multiple information extractors from multiple information sources. These extractors perform the tasks of entity linkage and schema alignment, thus introducing an additional source of noise that is quite different from that traditionally considered in the data fusion literature, which only focuses on factual errors in the original sources. We adapt state-of-the-art data fusion techniques and apply them to a knowledge base with 1.6B unique knowledge triples extracted by 12 extractors from over 1B Web pages, which is three orders of magnitude larger than the data sets used in previous data fusion papers. We show great promise of the data fusion approaches in solving the knowledge fusion problem, and suggest interesting research directions through a detailed error analysis of the methods.


title: Truth Finding on the Deep Web: Is the Problem Solved?

abstract: The amount of useful information available on the Web has been growing at a dramatic pace in recent years and people rely more and more on the Web to fulfill their information needs. In this paper, we study truthfulness of Deep Web data in two domains where we believed data are fairly clean and data quality is important to people's lives: {\em Stock} and {\em Flight}. To our surprise, we observed a large amount of inconsistency on data from different sources and also some sources with quite low accuracy. We further applied on these two data sets state-of-the-art {\em data fusion} methods that aim at resolving conflicts and finding the truth, analyzed their strengths and limitations, and suggested promising research directions. We wish our study can increase awareness of the seriousness of conflicting data on the Web and in turn inspire more research in our community to tackle this problem.


title: Some geometric interpretations of quantum fidelity

abstract: We consider quantum fidelity between two states $\rho$ and $\sigma$, where we fix $\rho$ and allow $\sigma$ to be sent through a quantum channel. We determine the minimal fidelity where one minimizes over (a) all unital channels, (b) all mixed unitary channels, and (c) arbitrary channels. We derive results involving the minimal eigenvalue of $\rho$, which we can interpret as a convex combination coefficient. As a consequence, we give a new geometric interpretation of the minimal fidelity with respect to the closed, convex set of density matrices and with respect to the closed, convex set of quantum channels. We further investigate the geometric nature of fidelity by considering density matrices arising as normalized projections onto subspaces; in this way, fidelity can be viewed as a geometric measure of distance between two spaces. We give a connection between fidelity and the canonical (principal) angles between the subspaces.


title: An upper bound for the probability of visiting a distant point by critical branching random walk in $\mathbb{Z}^4$

abstract: In this paper, we study the probability of visiting a distant point $a\in \mathbb{Z}^4$ by critical branching random walk starting from the origin. We prove that this probability is bounded by $1/(|a|^2\log |a|)$ up to a constant.


title: Fusing Data with Correlations

abstract: Many applications rely on Web data and extraction systems to accomplish knowledge-driven tasks. Web information is not curated, so many sources provide inaccurate, or conflicting information. Moreover, extraction systems introduce additional noise to the data. We wish to automatically distinguish correct data and erroneous data for creating a cleaner set of integrated data. Previous work has shown that a na\"ive voting strategy that trusts data provided by the majority or at least a certain number of sources may not work well in the presence of copying between the sources. However, correlation between sources can be much broader than copying: sources may provide data from complementary domains (\emph{negative correlation}), extractors may focus on different types of information (\emph{negative correlation}), and extractors may apply common rules in extraction (\emph{positive correlation, without copying}). In this paper we present novel techniques modeling correlations between sources and applying it in truth finding.


title: How to best sample a solution manifold?

abstract: Model reduction attempts to guarantee a desired "model quality", e.g. given in terms of accuracy requirements, with as small a model size as possible. This article highlights some recent developments concerning this issue for the so called Reduced Basis Method (RBM) for models based on parameter dependent families of PDEs. In this context the key task is to sample the {\em solution manifold} at judiciously chosen parameter values usually determined in a {\em greedy fashion}. The corresponding {\em space growth} concepts are closely related to so called {\em weak greedy} algorithms in Hilbert and Banach spaces which can be shown to give rise to convergence rates comparable to the best possible rates, namely the {\em Kolmogorov $n$-widths} rates. Such algorithms can be interpreted as {\em adaptive sampling} strategies for approximating compact sets in Hilbert spaces. We briefly discuss the results most relevant for the present RBM context. The applicability of the results for weak greedy algorithms has however been confined so far essentially to well-conditioned coercive problems. A critical issue is therefore an extension of these concepts to a wider range of problem classes for which the conventional methods do not work well. A second main topic of this article is therefore to outline recent developments of RBMs that do realize $n$-width rates for a much wider class of variational problems covering indefinite or singularly perturbed unsymmetric problems. A key element in this context is the design of {\em well-conditioned variational formulations} and their numerical treatment via saddle point formulations. We conclude with some remarks concerning the relevance of uniformly approximating the whole solution manifold also when the {\em quantity of interest} is only of a {\em functional} of the parameter dependent solutions.


title: On 2-absorbing primary submodules of modules over commutative rings

abstract: All rings are commutative with $1\neq0$, and all modules are unital. The purpose of this paper is to investigate the concept of $2$-absorbing primary submodules generalizing $2$-absorbing primary ideals of rings. Let $M$ be an $R$-module. A proper submodule $N$ of an $R$-module $M$ is called a $2$-absorbing primary submodule of $M$ if whenever $a,b\in R$ and $m\in M$ and $abm\in N$, then $am\in M$-$rad(N)$ or $bm\in M$-$rad(N)$ or $ab\in(N:_RM)$. It is shown that a proper submodule $N$ of $M$ is a $2$-absorbing primary submodule if and only if whenever $I_1I_2K\subseteq N$ for some ideals $I_1,I_2$ of $R$ and some submodule $K$ of $M$, then $I_1I_2\subseteq(N:_RM)$ or $I_1K\subseteq M$-$rad(N)$ or $I_2K\subseteq M$-$rad(N)$. We prove that for a submodule $N$ of an $R$-module $M$ if $M$-$rad(N)$ is a prime submodule of $M$, then $N$ is a $2$-absorbing primary submodule of $M$. If $N$ is a $2$-absorbing primary submodule of a finitely generated multiplication $R$-module $M$, then $(N:_RM)$ is a $2$-absorbing primary ideal of $R$ and $M$-$rad(N)$ is a $2$-absorbing submodule of $M$.


title: Scaling up Copy Detection

abstract: Recent research shows that copying is prevalent for Deep-Web data and considering copying can significantly improve truth finding from conflicting values. However, existing copy detection techniques do not scale for large sizes and numbers of data sources, so truth finding can be slowed down by one to two orders of magnitude compared with the corresponding techniques that do not consider copying. In this paper, we study {\em how to improve scalability of copy detection on structured data}. Our algorithm builds an inverted index for each \emph{shared} value and processes the index entries in decreasing order of how much the shared value can contribute to the conclusion of copying. We show how we use the index to prune the data items we consider for each pair of sources, and to incrementally refine our results in iterative copy detection. We also apply a sampling strategy with which we are able to further reduce copy-detection time while still obtaining very similar results as on the whole data set. Experiments on various real data sets show that our algorithm can reduce the time for copy detection by two to three orders of magnitude; in other words, truth finding can benefit from copy detection with very little overhead.


title: Data Fusion: Resolving Conflicts from Multiple Sources

abstract: Many data management applications, such as setting up Web portals, managing enterprise data, managing community data, and sharing scientific data, require integrating data from multiple sources. Each of these sources provides a set of values and different sources can often provide conflicting values. To present quality data to users, it is critical to resolve conflicts and discover values that reflect the real world; this task is called {\em data fusion}. This paper describes a novel approach that finds true values from conflicting information when there are a large number of sources, among which some may copy from others. We present a case study on real-world data showing that the described algorithm can significantly improve accuracy of truth discovery and is scalable when there are a large number of data sources.


title: Reducing ADC Sampling Rate with Compressive Sensing

abstract: Many communication systems involve high bandwidth, while sparse, radio frequency (RF) signals. Working with high frequency signals requires appropriate system-level components such as high-speed analog-to-digital converters (ADC). In particular, an analog signal should be sampled at rates that meet the Nyquist requirements to avoid aliasing. However, implementing high-speed ADC devices can be a limiting factor as well as expensive. To mitigate the caveats with high-speed ADC, the solution space can be explored in several dimensions such as utilizing the compressive sensing (CS) framework in order to reduce the sampling rate to the order of information rate of the signal rather than a rate dictated by the Nyquist. In this note, we review the compressive sensing structure and its extensions for continuous-time signals, which is ultimately used to reduce the sampling rate of high-speed ADC devices. Moreover, we consider the application of the compressive sensing framework in wireless sensor networks to save power by reducing the transmission rate of sensor nodes. We propose an alternative solution for the CS minimization problem that can be solved using gradient descent methods. The modified minimization problem is potentially faster and simpler to implement at the hardware level.


title: Matrix Lie groups as 3-dimensional almost contact B-metric manifolds

abstract: The object of investigation are Lie groups considered as almost contact B-metric manifolds of the lowest dimension three. It is established a correspondence of all basic-class-manifolds of the Ganchev-Mihova-Gribachev classification of the studied manifolds and the explicit matrix representation of Lie groups. Some known Lie groups are equiped with almost contact B-metric structure of different types.


title: Comparing halo bias from abundance and clustering

abstract: We model the abundance of haloes in the $\sim(3 \ \text{Gpc}/h)^3$ volume of the MICE Grand Challenge simulation by fitting the universal mass function with an improved Jack-Knife error covariance estimator that matches theory predictions. We present unifying relations between different fitting models and new predictions for linear ($b_1$) and non-linear ($c_2$ and $c_3$) halo clustering bias. Different mass function fits show strong variations in their performance when including the low mass range ($M_h \lesssim 3 \ 10^{12} \ M_{\odot}/h$) in the analysis. Together with fits from the literature we find an overall variation in the amplitudes of around $10$% in the low mass and up to $50$% in the high mass (galaxy cluster) range ($M_h > 10^{14} \ M_{\odot}/h$). These variations propagate into a $10$% change in $b_1$ predictions and a $50$% change in $c_2$ or $c_3$. Despite these strong variations we find universal relations between $b_1$ and $c_2$ or $c_3$ for which we provide simple fits. Excluding low mass haloes, different models fitted with reasonable goodness in this analysis, show percent level agreement in their $b_1$ predictions, but are systematically $5-10$% lower than the bias directly measured with two-point halo-mass clustering. This result confirms previous findings derived from smaller volumes (and smaller masses). Inaccuracies in the bias predictions lead to $5-10$% errors in growth measurements. They also affect any HOD fitting or (cluster) mass calibration from clustering measurements.


title: Uncertainties in polarimetric 3D reconstructions of coronal mass ejections

abstract: This work is aimed at quantifying the uncertainties in the 3D reconstruction of the location of coronal mass ejections (CMEs) obtained with the polarization ratio technique. The method takes advantage of the different distributions along the line of sight (LOS) of total (tB) and polarized (pB) brightnesses to estimate the average location of the emitting plasma. To this end, we assumed two simple electron density distributions along the LOS (a constant density and Gaussian density profiles) for a plasma blob and synthesized the expected tB and pB for different distances $z$ of the blob from the plane of the sky (POS) and different projected altitudes $\rho$. Reconstructed locations of the blob along the LOS were thus compared with the real ones, allowing a precise determination of uncertainties in the method. Independently of the analytical density profile, when the blob is centered at a small distance from the POS (i.e. for limb CMEs) the distance from the POS starts to be significantly overestimated. Polarization ratio technique provides the LOS position of the center of mass of what we call folded density distribution, given by reflecting and summing in front of the POS the fraction of density profile located behind that plane. On the other hand, when the blob is far from the POS, but with very small projected altitudes (i.e. for halo CMEs, $\rho < 1.4$ R$_\odot$), the inferred distance from that plane is significantly underestimated. Better determination of the real blob position along the LOS is given for intermediate locations, and in particular when the blob is centered at an angle of $20^\circ$ from the POS. These result have important consequences not only for future 3D reconstruction of CMEs with polarization ratio technique, but also for the design of future coronagraphs aimed at providing a continuous monitoring of halo-CMEs for space weather prediction purposes.


title: Surreal numbers, derivations and transseries

abstract: Several authors have conjectured that Conway's field of surreal numbers, equipped with the exponential function of Kruskal and Gonshor, can be described as a field of transseries and admits a compatible differential structure of Hardy-type. In this paper we give a complete positive solution to both problems. We also show that with this new differential structure, the surreal numbers are Liouville closed, namely the derivation is surjective.


title: Exploring the high-pressure behavior of the three known polymorphs of BiPO4: Discovery of a new polymorph

abstract: We have studied the structural behavior of bismuth phosphate under compression. We performed x-ray powder diffraction measurements up to 31.5 GPa and ab initio calculations. Experiments were carried out on different polymorphs; trigonal (phase I) and monoclinic (phases II and III). Phases I and III, at low pressure (0.2-0.8 GPa), transform into phase II, which has a monazite-type structure. At room temperature, this polymorph is stable up to 31.5 GPa. Calculations support these findings and predict the occurrence of an additional transition from the monoclinic monazite-type to a tetragonal scheelite-type structure (phase IV). This transition was experimentally found after the simultaneous application of pressure (28 GPa) and temperature (1500 K), suggesting that at room temperature the transition might by hindered by kinetic barriers. Calculations also predict an additional phase transition at 52 GPa, which exceeds the maximum pressure achieved in the experiments. This transition is from phase IV to an orthorhombic barite-type structure (phase V). We also studied the axial and bulk compressibility of BiPO4. Room-temperature pressure-volume equations of state are reported. BiPO4 was found to be more compressible than isomorphic rare-earth phosphates. The discovered phase IV was determined to be the less compressible polymorph of BiPO4. On the other hand, the theoretically predicted phase V has a bulk modulus comparable with that of monazite-type BiPO4. Finally, the isothermal compressibility tensor for the monazite-type structure is reported at 2.4 GPa showing that the direction of maximum compressibility is in the (010) plane at approximately 15 (21) degrees to the a axis for the case of our experimental (theoretical) study.


title: Analogy between the cyclotomic trace map $K \rightarrow TC$ and the Grothendieck trace formula via noncommutative geometry

abstract: In this article, we suggest a categorification procedure in order to capture an analogy between Crystalline Grothendieck-Lefschetz trace formula and the cyclotomic trace map $K\rightarrow TC$ from the algebraic $K$-theory to the topological cyclic homology $TC$. First, we categorify the category of schemes to the $(2, \infty)$-category of noncommuatative schemes a la Kontsevich. This gives a categorification of the set of rational points of a scheme. Then, we categorify the Crystalline Grothendieck-Lefschetz trace formula and find an analogue to the Crystalline cohomology in the setting of noncommuative schemes over $\mathbf{F}_{p}$. Our analogy suggests the existence of a categorification of the $l$-adic cohomology trace formula in the noncommutative setting for $l\neq p$. Finally, we write down the corresponding dictionary.


title: Constructing many atomic models in $\aleph_1$

abstract: We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of $L_{\omega_1,\omega}$. Theorem: Let $T$ be any complete first-order theory in a countable language with an atomic model. If the pseudo-minimal types are not dense, then there are $2^{\aleph_1}$ pairwise non-isomorphic atomic models of $T$, each of size $\aleph_1$.


title: Moduli of vector bundles on higher-dimensional base manifolds - Construction and Variation

abstract: We survey recent progress in the study of moduli of vector bundles on higher-dimensional base manifolds. In particular, we discuss an algebro-geometric construction of an analogue for the Donaldson-Uhlenbeck compactification and explain how to use moduli spaces of quiver representations to show that Gieseker-Maruyama moduli spaces with respect to two different chosen polarisations are related via Thaddeus-flips through other "multi-Gieseker"-moduli spaces of sheaves. Moreover, as a new result, we show the existence of a natural morphism from a multi-Gieseker moduli space to the corresponding Donaldson-Uhlenbeck moduli space.


title: Excitation properties of galaxies with the highest [OIII]/[OII] ratios: No evidence for massive escape of ionizing photons

abstract: The possibility that star-forming galaxies may leak ionizing photons is at the heart of many present-day studies that investigate the reionization of the Universe. We test this hypothesis on local blue compact dwarf galaxies of very high excitation. We assembled a sample of such galaxies by examining the spectra from Data Releases 7 and 10 of the Sloan Digital Sky Survey. We argue that reliable conclusions cannot be based on strong lines alone, and adopt a strategy that includes important weak lines such as [OI] and the high-excitation HeII and [ArIV] lines. Our analysis is based on purely observational diagrams and on a comparison of photoionization models with well-chosen emission-line ratio diagrams. We show that spectral energy distributions from current stellar population synthesis models cannot account for all the observational constraints, which led us to mimick several scenarios that could explain the data. These include the additional presence of hard X-rays or of shocks. We find that only ionization-bounded models (or models with an escape fraction of ionizing photons lower than 10%) are able to simultaneously explain all the observational constraints.


title: A Sampling Technique of Proving Lower Bounds for Noisy Computations

abstract: We present a technique of proving lower bounds for noisy computations. This is achieved by a theorem connecting computations on a kind of randomized decision trees and sampling based algorithms. This approach is surprisingly powerful, and applicable to several models of computation previously studied. As a first illustration we show how all the results of Evans and Pippenger (SIAM J. Computing, 1999) for noisy decision trees, some of which were derived using Fourier analysis, follow immediately if we consider the sampling-based algorithms that naturally arise from these decision trees. Next, we show a tight lower bound of $\Omega(N \log\log N)$ on the number of transmissions required to compute several functions (including the parity function and the majority function) in a network of $N$ randomly placed sensors, communicating using local transmissions, and operating with power near the connectivity threshold. This result considerably simplifies and strengthens an earlier result of Dutta, Kanoria Manjunath and Radhakrishnan (SODA 08) that such networks cannot compute the parity function reliably with significantly fewer than $N\log \log N$ transmissions. The lower bound for parity shown earlier made use of special properties of the parity function and is inapplicable, e.g., to the majority function. In this paper, we use our approach to develop an interesting connection between computation of boolean functions on noisy networks that make few transmissionss, and algorithms that work by sampling only a part of the input. It is straightforward to verify that such sampling-based algorithms cannot compute the majority function.


title: Seeded PageRank Solution Paths

abstract: We study the behavior of network diffusions based on the PageRank random walk from a set of seed nodes. These diffusions are known to reveal small, localized clusters (or communities) and also large macro-scale clusters by varying a parameter that has a dual-interpretation as an accuracy bound and as a regularization level. We propose a new method that quickly approximates the result of the diffusion for all values of this parameter. Our method efficiently generates an approximate $\textit{solution path}$ or $\textit{regularization path}$ associated with a PageRank diffusion, and it reveals cluster structures at multiple size-scales between small and large. We formally prove a runtime bound on this method that is independent of the size of the network, and we investigate multiple optimizations to our method that can be more practical in some settings. We demonstrate that these methods identify refined clustering structure on a number of real-world networks with up to 2 billion edges.


title: Sparse Approximation of a Kernel Mean

abstract: Kernel means are frequently used to represent probability distributions in machine learning problems. In particular, the well known kernel density estimator and the kernel mean embedding both have the form of a kernel mean. Unfortunately, kernel means are faced with scalability issues. A single point evaluation of the kernel density estimator, for example, requires a computation time linear in the training sample size. To address this challenge, we present a method to efficiently construct a sparse approximation of a kernel mean. We do so by first establishing an incoherence-based bound on the approximation error, and then noticing that, for the case of radial kernels, the bound can be minimized by solving the $k$-center problem. The outcome is a linear time construction of a sparse kernel mean, which also lends itself naturally to an automatic sparsity selection scheme. We show the computational gains of our method by looking at three problems involving kernel means: Euclidean embedding of distributions, class proportion estimation, and clustering using the mean-shift algorithm.


title: On endo-prime and endo-coprime modules

abstract: The aim of this paper is to investigate properties of endo-prime and endo-coprime modules which are generalizations of prime and simple rings, respectively. Various properties of endo-coprime modules are obtained. Duality-like connections are established for endo-prime and endo-coprime modules.


title: $(s,p)$-Valent Functions

abstract: We introduce the notion of $(\mathcal F,p)$-valent functions. We concentrate in our investigation on the case, where $\mathcal F$ is the class of polynomials of degree at most $s$. These functions, which we call $(s,p)$-valent functions, provide a natural generalization of $p$-valent functions (see~\cite{Ha}). We provide a rather accurate characterizing of $(s,p)$-valent functions in terms of their Taylor coefficients, through "Taylor domination", and through linear non-stationary recurrences with uniformly bounded coefficients. We prove a "distortion theorem" for such functions, comparing them with polynomials sharing their zeroes, and obtain an essentially sharp Remez-type inequality in the spirit of~\cite{Y3} for complex polynomials of one variable. Finally, based on these results, we present a Remez-type inequality for $(s,p)$-valent functions.


title: K\"ahler-Einstein metrics with conic singularities along self-intersecting divisors

abstract: In this paper, we extend the existence and regularity theorems for K\"ahler-Einstein metrics having conic singularities along a simple normal crossing divisor to the case of normal crossing divisor, i.e. when components of the divisor are allowed to intersect themselves transversely.


title: Computing in continuous space with self-assembling polygonal tiles

abstract: In this paper we investigate the computational power of the polygonal tile assembly model (polygonal TAM) at temperature 1, i.e. in non-cooperative systems. The polygonal TAM is an extension of Winfree's abstract tile assembly model (aTAM) which not only allows for square tiles (as in the aTAM) but also allows for tile shapes that are polygons. Although a number of self-assembly results have shown computational universality at temperature 1, these are the first results to do so by fundamentally relying on tile placements in continuous, rather than discrete, space. With the square tiles of the aTAM, it is conjectured that the class of temperature 1 systems is not computationally universal. Here we show that the class of systems whose tiles are composed of a regular polygon P with n > 6 sides is computationally universal. On the other hand, we show that the class of systems whose tiles consist of a regular polygon P with n <= 6 cannot compute using any known techniques. In addition, we show a number of classes of systems whose tiles consist of a non-regular polygon with n >= 3 sides are computationally universal.


title: Nonlinear Young integrals via fractional calculus

abstract: For H\"older continuous functions $W(t,x)$ and $\varphi_t$, we define nonlinear integral $\int_a^b W(dt, \varphi_t)$ via fractional calculus. This nonlinear integral arises naturally in the Feynman-Kac formula for stochastic heat equations with random coefficients. We also define iterated nonlinear integrals.


title: Restricting invariants of unitary reflection groups

abstract: Suppose that G is a finite, unitary reflection group acting on a complex vector space V and X is the fixed point subspace of an element of G. Define N to be the setwise stabilizer of X in G, Z to be the pointwise stabilizer, and C=N/Z. Then restriction defines a homomorphism from the algebra of G-invariant polynomial functions on V to the algebra of C-invariant functions on X. Extending earlier work by Douglass and Roehrle for Coxeter groups, we characterize when the restriction mapping is surjective for arbitrary unitary reflection groups G in terms of the exponents of G and C, and their reflection arrangements. A consequence of our main result is that the variety of G-orbits in the G-saturation of X is smooth if and only if it is normal.


title: GPU Based Path Integral Control with Learned Dynamics

abstract: We present an algorithm which combines recent advances in model based path integral control with machine learning approaches to learning forward dynamics models. We take advantage of the parallel computing power of a GPU to quickly take a massive number of samples from a learned probabilistic dynamics model, which we use to approximate the path integral form of the optimal control. The resulting algorithm runs in a receding-horizon fashion in realtime, and is subject to no restrictive assumptions about costs, constraints, or dynamics. A simple change to the path integral control formulation allows the algorithm to take model uncertainty into account during planning, and we demonstrate its performance on a quadrotor navigation task. In addition to this novel adaptation of path integral control, this is the first time that a receding-horizon implementation of iterative path integral control has been run on a real system.


title: Guided design of copper oxysulfide superconductors

abstract: We describe a framework for designing novel materials, combining modern first-principles electronic structure tools, materials databases, and evolutionary algorithms capable of exploring large configurational spaces. Guided by the chemical principles introduced by Antipov, \emph{et. al.}, for the design and synthesis of the Hg-based high-temperature superconductors, we apply our framework to design a new layered copper oxysulfide, Hg(CaS)$_2$CuO$_2$. We evaluate the prospects of superconductivity in this oxysulfide using theories based on charge-transfer energies, orbital distillation and uniaxial strain.


title: JUMP-Means: Small-Variance Asymptotics for Markov Jump Processes

abstract: Markov jump processes (MJPs) are used to model a wide range of phenomena from disease progression to RNA path folding. However, maximum likelihood estimation of parametric models leads to degenerate trajectories and inferential performance is poor in nonparametric models. We take a small-variance asymptotics (SVA) approach to overcome these limitations. We derive the small-variance asymptotics for parametric and nonparametric MJPs for both directly observed and hidden state models. In the parametric case we obtain a novel objective function which leads to non-degenerate trajectories. To derive the nonparametric version we introduce the gamma-gamma process, a novel extension to the gamma-exponential process. We propose algorithms for each of these formulations, which we call \emph{JUMP-means}. Our experiments demonstrate that JUMP-means is competitive with or outperforms widely used MJP inference approaches in terms of both speed and reconstruction accuracy.


title: Fully parameter-free calculation of optical spectra for insulators, semiconductors and metals from a simple polarization functional

abstract: We present a fully parameter-free density-functional approach for the accurate description of optical absorption spectra of insulators, semiconductors and metals. We show that this can be achieved within time-dependent current-density-functional theory using a simple dynamical polarization functional. We derive this functional from physical principles that govern optical spectra. Our method is truly predictive because not a single parameter is used. In particular, we do not use an \textit{ad-hoc} material-dependent broadening parameter to compare theory to experiment as is usually done. Our approach is numerically efficient; the cost equals that of a calculation within the random-phase approximation.