title: Nonlinear Luenberger-like observers for some anthracnose models

abstract: In this paper, we propose observers for the dynamics of anthracnose disease described in [12]. Spatial and non spatial versions of the observers are given following an approach similar to [12]. The models given in [12] are improved in order to be more realistic. The conditions on parameters are more general. There are also changes in the equations modelling the dynamics of the berry volume (v) and the rot volume (v_r). We study theoretically the proposed observers in terms of well-posedness and convergence. We make several simulations to assess the effectiveness of observers which definitely display fairly good behaviour.


title: Mackey-complete spaces and power series -- A topological model of Differential Linear Logic

abstract: In this paper, we have described a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted by bounded linear functions. So as to interpret non-linear proofs of Linear Logic, we have used a notion of power series between Mackey-complete spaces, generalizing the notion of entire functions in C. Finally, we have obtained a quantitative model of Intuitionist Differential Linear Logic, where the syntactic differentiation correspond to the usual one and where the interpretations of proofs satisfy a Taylor expansion decomposition.


title: A non-parametric Bayesian approach to decompounding from high frequency data

abstract: Given a sample from a discretely observed compound Poisson process, we consider non-parametric estimation of the density $f_0$ of its jump sizes, as well as of its intensity $\lambda_0.$ We take a Bayesian approach to the problem and specify the prior on $f_0$ as the Dirichlet location mixture of normal densities. An independent prior for $\lambda_0$ is assumed to be compactly supported and to possess a positive density with respect to the Lebesgue measure. We show that under suitable assumptions the posterior contracts around the pair $(\lambda_0,f_0)$ at essentially (up to a logarithmic factor) the $\sqrt{n\Delta}$-rate, where $n$ is the number of observations and $\Delta$ is the mesh size at which the process is sampled. The emphasis is on high frequency data, $\Delta\to 0$, but the obtained results are also valid for fixed $\Delta$. In either case we assume that $n\Delta\rightarrow\infty$. Our main result implies existence of Bayesian point estimates converging (in the frequentist sense, in probability) to $(\lambda_0,f_0)$ at the same rate. We also discuss a practical implementation of our approach. The computational problem is dealt with by inclusion of auxiliary variables and we develop a Markov Chain Monte Carlo algorithm that samples from the joint distribution of the unknown parameters in the mixture density and the introduced auxiliary variables. Numerical examples illustrate the feasibility of this approach.


title: Probing Anomalous FCNC Top-Higgs Yukawa Couplings at the Large Hadron Electron Collider

abstract: In this paper, we study the anomalous flavor changing neutral current Yukawa interactions between the top quark, the Higgs boson, and either an up or charm quark ($\rm tqH, q=u, c$). We probe these couplings in $\rm e^- p\rightarrow \nu_e \bar{t} \rightarrow \nu_e H \bar{q}$ and the channel $\rm e^- p \rightarrow \nu_e H b$. Both channels are induced by charged current interactions through $\rm e^- p$ collision at the Large Hadron Electron Collider(LHeC). We study the signatures with the Higgs decay modes $\rm H\rightarrow \gamma\gamma, b\bar{b}$ and $\tau^+\tau^-$. Our results show that the flavor changing couplings $\rm \kappa_{tqH}$ can be probed down to a value of 0.0162 in $\rm e^- p \rightarrow \nu_e \bar{t} \rightarrow \nu_e H \bar{q}$ with $\rm H\rightarrow b \bar{b}$ at a 14 TeV LHeC with a 150 GeV electron beam and 200 $\rm fb^{-1}$ luminosity. This value of the coupling corresponds to the branching ratio $\rm Br(t\rightarrow qH)=1.34 \times 0^{-4}$.


title: Shear-free Anisotropic Cosmological Models in f(R) Gravity

abstract: We study a class of shear-free, homogeneous but anisotropic cosmological models with imperfect matter sources in the context of f(R) gravity. We show that the anisotropic stresses are related to the electric part of the Weyl tensor in such a way that they balance each other. We also show that within the class of orthogonal f(R) models, small perturbations of shear are damped, and that the electric part of the Weyl tensor and the anisotropic stress tensor decay with the expansion as well as the heat flux of the curvature fluid. Specializing in locally rotationally symmetric spacetimes in orthonormal frames, we examine the late-time behaviour of the de Sitter universe in $f(R)$ gravity. For the Starobinsky model of f(R), we study the evolutionary behavior of the Universe by numerically integrating the Friedmann equation, where the initial conditions for the expansion, acceleration and jerk parameters are taken from observational data.


title: Inverse Optimization with Noisy Data

abstract: Inverse optimization refers to the inference of unknown parameters of an optimization problem based on knowledge of its optimal solutions. This paper considers inverse optimization in the setting where measurements of the optimal solutions of a convex optimization problem are corrupted by noise. We first provide a formulation for inverse optimization and prove it to be NP-hard. In contrast to existing methods, we show that the parameter estimates produced by our formulation are statistically consistent. Our approach involves combining a new duality-based reformulation for bilevel programs with a regularization scheme that smooths discontinuities in the formulation. Using epi-convergence theory, we show the regularization parameter can be adjusted to approximate the original inverse optimization problem to arbitrary accuracy, which we use to prove our consistency results. Next, we propose two solution algorithms based on our duality-based formulation. The first is an enumeration algorithm that is applicable to settings where the dimensionality of the parameter space is modest, and the second is a semiparametric approach that combines nonparametric statistics with a modified version of our formulation. These numerical algorithms are shown to maintain the statistical consistency of the underlying formulation. Lastly, using both synthetic and real data, we demonstrate that our approach performs competitively when compared with existing heuristics.


title: One-way surface magnetoplasmon cavity and its application for nonreciprocal devices

abstract: We theoretically analyze surface magnetoplasmon modes in a compact circular cavity made of magneto-optical material under a static magnetic field. Such a cavity provides two different physical mechanisms for the surface wave to circulate in a unidirectional manner around the cavity, which offers more freedom to realize one-way surface wave. We also show the interaction between this one-way cavity and waveguides, through an example of a circulator, which lays the fundamental groundwork for potential nonreciprocal devices.


title: Measurement of the W+ W- cross section in pp collisions at sqrt(s) = 8 TeV and limits on anomalous gauge couplings

abstract: A measurement of the W boson pair production cross section in proton-proton collisions at sqrt(s) = 8 TeV is presented. The data collected with the CMS detector at the LHC correspond to an integrated luminosity of 19.4 inverse femtobarns. The W+W- candidates are selected from events with two charged leptons, electrons or muons, and large missing transverse energy. The measured W+W- cross section is 60.1 +/- 0.9 (stat) +/- 3.2 (exp) +/- 3.1 (theo) +/- 1.6 (lum) pb = 60.1 +/- 4.8 pb, consistent with the standard model prediction. The W+W- cross sections are also measured in two different fiducial phase space regions. The normalized differential cross section is measured as a function of kinematic variables of the final-state charged leptons and compared with several perturbative QCD predictions. Limits on anomalous gauge couplings associated with dimension-six operators are also given in the framework of an effective field theory. The corresponding 95% confidence level intervals are -5.7 < c[WWW]/Lambda^2 < 5.9 TeV^{-2}, -11.4 < c[W]/Lambda^2 < 5.4 TeV^{-2}, -29.2 < c[B]/Lambda^2 < 23.9 TeV^{-2}, in the HISZ basis.


title: Tensor principal component analysis via sum-of-squares proofs

abstract: We study a statistical model for the tensor principal component analysis problem introduced by Montanari and Richard: Given a order-$3$ tensor $T$ of the form $T = \tau \cdot v_0^{\otimes 3} + A$, where $\tau \geq 0$ is a signal-to-noise ratio, $v_0$ is a unit vector, and $A$ is a random noise tensor, the goal is to recover the planted vector $v_0$. For the case that $A$ has iid standard Gaussian entries, we give an efficient algorithm to recover $v_0$ whenever $\tau \geq \omega(n^{3/4} \log(n)^{1/4})$, and certify that the recovered vector is close to a maximum likelihood estimator, all with high probability over the random choice of $A$. The previous best algorithms with provable guarantees required $\tau \geq \Omega(n)$. In the regime $\tau \leq o(n)$, natural tensor-unfolding-based spectral relaxations for the underlying optimization problem break down (in the sense that their integrality gap is large). To go beyond this barrier, we use convex relaxations based on the sum-of-squares method. Our recovery algorithm proceeds by rounding a degree-$4$ sum-of-squares relaxations of the maximum-likelihood-estimation problem for the statistical model. To complement our algorithmic results, we show that degree-$4$ sum-of-squares relaxations break down for $\tau \leq O(n^{3/4}/\log(n)^{1/4})$, which demonstrates that improving our current guarantees (by more than logarithmic factors) would require new techniques or might even be intractable. Finally, we show how to exploit additional problem structure in order to solve our sum-of-squares relaxations, up to some approximation, very efficiently. Our fastest algorithm runs in nearly-linear time using shifted (matrix) power iteration and has similar guarantees as above. The analysis of this algorithm also confirms a variant of a conjecture of Montanari and Richard about singular vectors of tensor unfoldings.


title: Homomorphisms and principal congruences of bounded lattices

abstract: Two years ago, I characterized the order $\Princl L$ of principal congruences of a bounded lattice $L$ as a bounded order. If $K$ and $L$ are bounded lattices and $\gf$ is a \zo homomorphism of $K$ into~$L$, then there is a natural isotone \zo-map $\gf_{\Hom}$ from $\Princl K$ into $\Princl L$. We prove the converse: For bounded orders $P$ and $Q$ and an isotone \zo map $\gy$ of $P$ into $Q$, we represent $P$ and $Q$ as $\Princl K$ and $\Princl L$ for bounded lattices $K$ and $L$ with a \zo homomorphism $\gf$ of $K$ into $L$, so that $\gy$ is represented as $\gf_{\Hom}$.


title: Quantum chemistry beyond Born-Oppenheimer approximation on a quantum computer: a simulated phase estimation study

abstract: We present an efficient quantum algorithm for beyond-Born-Oppenheimer molecular energy computations. Our approach combines the quantum full configuration interaction method with the nuclear orbital plus molecular orbital (NOMO) method. We give the details of the algorithm and demonstrate its performance by classical simulations. Two isotopomers of the hydrogen molecule (H$_2$, HT) were chosen as representative examples and calculations of the lowest rotationless vibrational transition energies were simulated.


title: Explicit Hodge decomposition on Riemann surfaces

abstract: We present a construction of the explicit Hodge decomposition for $\bar\partial$-equation on Riemann surfaces.


title: The structure and dynamics of the AC114 galaxy cluster revisited

abstract: We present a dynamical analysis of the galaxy cluster AC114 based on a catalogue of 524 velocities. Of these, 169 (32%) are newly obtained at ESO (Chile) with the VLT and the VIMOS spectrograph. Data on individual galaxies are presented and the accuracy of the measured velocities is discussed. Dynamical properties of the cluster are derived. We obtain an improved mean redshift value z= 0.31665 +/- 0.0008 and velocity dispersion \sigma= 1893+73-82 \kms. A large velocity dispersion within the core radius and the shape of the infall pattern suggests that this part of the cluster is in a radial phase of relaxation with a very elongated radial filament spanning 12000 \kms. A radial foreground structure is detected within the central 0.5/h Mpc radius, recognizable as a redshift group at the same central redshift value. We analyze the color distribution for this archetype Butcher-Oemler galaxy cluster and identify the separate red and blue galaxy sequences. The latter subset contains 44% of confirmed members of the cluster, reaching magnitudes as faint as R_{f}= 21.1 (1.0 magnitude fainter than previous studies). We derive a mass M_{200}= (4.3 \pm 0.7) x 10^15 Msun/h. In a subsequent paper we will utilize the spectral data presented here to explore the mass-metallicity relation for this intermediate redshift cluster.


title: Using RDMA for Lock Management

abstract: In this work, we aim to evaluate different Distributed Lock Management service designs with Remote Direct Memory Access (RDMA). In specific, we implement and evaluate the centralized and the RDMA-enabled lock manager designs for fast network settings. Experimental results confirms a couple of hypotheses. First, in the traditional centralized lock manager design, CPU is the bottleneck and bypassing CPU on client-to-server communication using RDMA results in better lock service perofrmance. Second, different lock manager designs with RDMA in consideration result in even better performance; we need to re-design lock management system for RDMA and fast networks.


title: Simple dimension groups that are isomorphic to stationary inductive limits

abstract: A dimension group is an ordered abelian group that is an inductive limit of a sequence of simplicial groups, and a stationary dimension group is such an inductive limit in which the homomorphism is the same at every stage. If a simple dimension group is stationary then up to scalar multiplication it admits a unique trace (positive real-valued homomorphism), but the short exact sequence associated to this trace need not split. In an earlier paper, Handelman described these ordered groups concretely in the case when the trace has trivial kernel---i.e., the group is totally ordered---and in the case when the group is free. The main result here is a concrete description of how a stationary simple dimension group is built from the kernel and image of its trace. Specifically, every stationary simple dimension group contains the direct sum of the kernel of its trace with a copy of the image, and is generated by that direct sum and finitely many extra elements. Moreover, any ordered abelian group of this description is stationary. The following interesting fact is proved along the way to the main result: given any positive integer m and any square integer matrix B, there are two distinct integer powers of B, the difference of which has all entries divisible by m.


title: A Stefan-type stochastic moving boundary problem

abstract: Motivated by applications in economics and finance, in particular to the modeling of limit order books, we study a class of stochastic second-order PDEs with non-linear Stefan-type boundary interaction. To solve the equation we transform the problem from a moving boundary problem into a stochastic evolution equation with fixed boundary conditions. Using results from interpolation theory we obtain existence and uniqueness of local strong solutions, extending results of Kim, Zheng and Sowers. In addition, we formulate conditions for existence of global solutions and provide a refined analysis of possible blow-up behavior in finite time.


title: Ellipsoidal BGK model near a global Maxwellian

abstract: The BGK model has been widely used in place of the Boltzmann equation because of the qualitatively satisfactory results it provides at relatively low computational cost. There is, however, a major drawback to the BGK model: The hydrodynamic limit at the Navier-Stokes level is not correct. One evidence is that the Prandtl number computed using the BGK model does not agree with what is derived from the Boltzmann equation. To overcome this problem, Holway \cite{Holway} introduced the ellipsoidal BGK model where the local Maxwellian is replaced by a non-isotropic Gaussian. In this paper, we prove the existence of classical solutions of the ES-BGK model when the initial data is a small perturbation of the global Maxwellian. The key observation is that the degeneracy of the ellipsoidal BGK model is comparable to that of the original BGK model or the Boltzmann equation in the range $-1/2<\nu<1$.


title: Contagion effects in the world network of economic activities

abstract: Using the new data from the OECD-WTO world network of economic activities we construct the Google matrix $G$ of this directed network and perform its detailed analysis. The network contains 58 countries and 37 activity sectors for years 1995, 2000, 2005, 2008, 2009. The construction of $G$, based on Markov chain transitions, treats all countries on equal democratic grounds while the contribution of activity sectors is proportional to their exchange monetary volume. The Google matrix analysis allows to obtain reliable ranking of countries and activity sectors and to determine the sensitivity of CheiRank-PageRank commercial balance of countries in respect to price variations and labor cost in various countries. We demonstrate that the developed approach takes into account multiplicity of network links with economy interactions between countries and activity sectors thus being more efficient compared to the usual export-import analysis. Our results highlight the striking increase of the influence of German economic activity on other countries during the period 1995 to 2009 while the influence of Eurozone decreases during the same period. We compare our results with the similar analysis of the world trade network from the UN COMTRADE database. We argue that the knowledge of network structure allows to analyze the effects of economic influence and contagion propagation over the world economy.


title: Symmetry potential of $\Delta(1232)$ resonance and its effects on the $\pi^-/\pi^+$ ratio in heavy-ion collisions near the pion production threshold

abstract: Effects of the completely unknown symmetry (isovector) potential of the \D on the total and differential \rpi in heavy-ion collisions at beam energies from 100 to 1000 MeV/A are explored within an isospin-dependent transport model IBUU. The effects are found to be negligible at beam energies above the pion production threshold due to the very short lifetimes of less than 2 fm/c for $\Delta$ resonances with masses around $m_{\Delta}=1232$ MeV, leaving the $\pi^-/\pi^+$ ratios of especially the energetic pions still a reliable probe of the high-density behavior of nuclear symmetry energy $E_{sym}(\rho)$. However, as the beam energy becomes deeply sub-threshold for pion production, effects of the $\Delta$ symmetry potential becomes appreciable especially on the \rpi of low-energy pions from the decays of low-mass $\Delta$ resonances which have lived long enough to be affected by their mean-field potentials, providing a useful tool to study the symmetry potential and spectroscopy of $\Delta$ resonances in neutron-rich nuclear matter. Interestingly though, even at the deeply sub-threshold beam energies, the differential \rpi of energetic pions remains sensitive to the \esym at supra saturation densities with little influence from the uncertain symmetry potential of the $\Delta$ resonance.


title: A Tale of Three Galaxies: Deciphering the Infrared Emission of the Spectroscopically Anomalous Galaxies IRAS F10398+1455, IRAS F21013-0739 and SDSS J0808+3948

abstract: The \textit{Spitzer}/Infrared Spectrograph spectra of three spectroscopically anomalous galaxies (IRAS~F10398+1455, IRAS~F21013-0739 and SDSS~J0808+3948) are modeled in terms of a mixture of warm and cold silicate dust, and warm and cold carbon dust. Their unique infrared (IR) emission spectra are characterized by a steep $\simali$5--8$\mum$ emission continuum, strong emission bands from polycyclic aromatic hydrocarbon (PAH) molecules, and prominent silicate emission. The steep $\simali$5--8$\mum$ emission continuum and strong PAH emission features suggest the dominance of starbursts, while the silicate emission is indicative of significant heating from active galactic nuclei (AGNs). With warm and cold silicate dust of various compositions ("astronomical silicate," amorphous olivine, or amorphous pyroxene) combined with warm and cold carbon dust (amorphous carbon, or graphite), we are able to closely reproduce the observed IR emission of these %spectroscopically anomalous galaxies. We find that the dust temperature is the primary cause in regulating the steep $\sim$5--8$\mum$ continuum and silicate emission, insensitive to the exact silicate or carbon dust mineralogy and grain size $a$ as long as $a\simlt1\mum$. More specifically, the temperature of the $\simali$5--8$\mum$ continuum emitter (which is essentially carbon dust) of these galaxies is $\sim$250--400$\K$, much lower than that of typical quasars which is $\sim$640$\K$. Moreover, it appears that larger dust grains are preferred in quasars. The lower dust temperature and smaller grain sizes inferred for these three galaxies compared with that of quasars could be due to the fact that they may harbor a young/weak AGN which is not maturely developed yet.


title: Maximizing information on the environment by dynamically controlled qubit probes

abstract: We explore the ability of a qubit probe to characterize unknown parameters of its environment. By resorting to quantum estimation theory, we analytically find the ultimate bound on the precision of estimating key parameters of a broad class of ubiquitous environmental noises ("baths") which the qubit may probe. These include the probe-bath coupling strength, the correlation time of generic bath spectra, the power laws governing these spectra, as well as their dephasing times T2. Our central result is that by optimizing the dynamical control on the probe under realistic constraints one may attain the maximal accuracy bound on the estimation of these parameters by the least number of measurements possible. Applications of this protocol that combines dynamical control and estimation theory tools to quantum sensing are illustrated for a nitrogen-vacancy center in diamond used as a probe.


title: Comparisons of Exact Amplitude-Based Resummation Predictions and LHCb data

abstract: We present the current status of the comparisons with the respective data of the predictions of our approach of exact amplitude-based resummation in quantum field theory as applied to precision QCD calculations as needed for LHC physics. The agreement between the theoretical predictions and the data exhibited continues to be encouraging.


title: A Nonanticipative Analog Method for Long-Term Forecasting of Air Temperature Extremes

abstract: A nonanticipative analog method is used for the long-term forecast of air temperature extremes. The data to be used for prediction include average daily air temperature, mean visibility, mean wind speed, mean dew point, maximum and minimum temperatures reported during the day from 66 places around the world, as well as sea level, average monthly Darwin and Tahiti sea level pressures, SOI, equatorial SOI, sea surface temperature, and multivariate ENSO index. Every dataset is split into two samples - learning (1973-2010) and validation (2011-2013). Initially, the sum of variables in datasets for two locations, minus corresponding climatological values, is calculated over a summation interval of length from 1 to 365 days. A "quality criterion" selects datasets for two locations with appropriate lead-time and summation interval, which have maximum (or minimum) sum compared with the rest of data four times at least, when extreme events occur later within the learning sample. Up to 18.2% of all extremes are specifically predicted. The methodology has 100% accuracy with respect to the sign of predicted and actual values. It is more useful than current methods for predicting extreme values because it does not require the estimation of a probability distribution from scarce observations.


title: Unbounded orbits for the Plaid Model

abstract: This paper is a sequel to my paper "Introducing the Plaid Model". In this paper it is shown that the plaid model has unbounded polygonal paths for every irrational parameter. This result parallels my result that outer billiards on kites has unbounded orbits for every irrational parameter


title: Scatter Matrix Concordance: A Diagnostic for Regressions on Subsets of Data

abstract: Linear regression models depend directly on the design matrix and its properties. Techniques that efficiently estimate model coefficients by partitioning rows of the design matrix are increasingly popular for large-scale problems because they fit well with modern parallel computing architectures. We propose a simple measure of {\em concordance} between a design matrix and a subset of its rows that estimates how well a subset captures the variance-covariance structure of a larger data set. We illustrate the use of this measure in a heuristic method for selecting row partition sizes that balance statistical and computational efficiency goals in real-world problems.


title: Minimum distance of linear codes and the $\alpha$-invariant

abstract: The simple interpretation of the minimum distance of a linear code obtained by De Boer and Pellikaan, and later refined by the second author, is further developed through the study of various finitely generated graded modules. We use the methods of commutative/homological algebra to find connections between the minimum distance and the $\alpha$-invariant of such modules.


title: Constructor Theory of Probability

abstract: Unitary quantum theory, having no Born Rule, is non-probabilistic. Hence the notorious problem of reconciling it with the unpredictability and appearance of stochasticity in quantum measurements. Generalising and improving upon the so-called 'decision-theoretic approach' (Deutsch, 1999; Wallace, 2003, 2007, 2012), I shall recast that problem in the recently proposed constructor theory of information - where quantum theory is represented as one of a class of superinformation theories, which are local, non-probabilistic theories conforming to certain constructor-theoretic conditions. I prove that the unpredictability of measurement outcomes (to which I give an exact meaning via constructor theory), necessarily arises in superinformation theories. Then I explain how the appearance of stochasticity in (finitely many) repeated measurements can arise under superinformation theories. And I establish sufficient conditions for a superinformation theory to inform decisions (made under it) as if it were probabilistic, via a Deutsch-Wallace-type argument - thus defining a class of decision-supporting superinformation theories. This broadens the domain of applicability of that argument to cover constructor-theory compliant theories. In addition, in this version some of the argument's assumptions, previously construed as merely decision-theoretic, follow from physical properties expressed by constructor-theoretic principles.


title: Stability of Logarithmic Bose-Einstein Condensate in Harmonic Trap

abstract: In this paper we investigate the stability of a recently introduced Bose-Einstein condensate (BEC) which involves logarithmic interaction between atoms. The Gaussian variational approach is employed to derive equations of motion for condensate widths in the presence of a harmonic trap. Then we derive the analytical solutions for these equations and find them to be in good agrement with numerical data. By analyzing deeply the frequencies of collective oscillations, and the mean-square radius, we find that the system is always stable for both negative and positive week logarithmic coupling. However, for strong interaction the situation is quite different: our condensate collapses for positive coupling and oscillates with fixed frequency for negative one. These special results remain the most characteristic features of the logarithmic BEC compared to that involving two-body and three-body interactions.


title: Optimal Multi-Robot Path Planning on Graphs: Structure and Computational Complexity

abstract: We study the problem of optimal multi-robot path planning on graphs (MPP) over four distinct minimization objectives: the total arrival time, the makespan (last arrival time), the total distance, and the maximum (single-robot traveled) distance. On the structure side, we show that each pair of these four objectives induces a Pareto front and cannot always be optimized simultaneously. Then, through reductions from 3-SAT, we further establish that computation over each objective is an NP-hard task, providing evidence that solving MPP optimally is generally intractable. Nevertheless, in a related paper, we design complete algorithms and efficient heuristics for optimizing all four objectives, capable of solving MPP optimally or near-optimally for hundreds of robots in challenging setups.


title: Optimal Multi-Robot Path Planning on Graphs: Complete Algorithms and Effective Heuristics

abstract: We study the problem of optimal multi-robot path planning on graphs MPP over four distinct minimization objectives: the makespan (last arrival time), the maximum (single-robot traveled) distance, the total arrival time, and the total distance. In a related paper, we show that these objectives are distinct and NP-hard to optimize. In this work, we focus on efficiently algorithmic solutions for solving these optimal MPP problems. Toward this goal, we first establish a one-to-one solution mapping between MPP and network-flow. Based on this equivalence and integer linear programming (ILP), we design novel and complete algorithms for optimizing over each of the four objectives. In particular, our exact algorithm for computing optimal makespan solutions is a first such that is capable of solving extremely challenging problems with robot-vertex ratio as high as 100%. Then, we further improve the computational performance of these exact algorithms through the introduction of principled heuristics, at the expense of some optimality loss. The combination of ILP model based algorithms and the heuristics proves to be highly effective, allowing the computation of 1.x-optimal solutions for problems containing hundreds of robots, densely populated in the environment, often in just seconds.


title: Asynchronous Block-Iterative Primal-Dual Decomposition Methods for Monotone Inclusions

abstract: We propose new primal-dual decomposition algorithms for solving systems of inclusions involving sums of linearly composed maximally monotone operators. The principal innovation in these algorithms is that they are block-iterative in the sense that, at each iteration, only a subset of the monotone operators needs to be processed, as opposed to all operators as in established methods. Deterministic strategies are used to select the blocks of operators activated at each iteration. In addition, we allow for operator processing "lags", permitting asynchronous implementation. The decomposition phase of each iteration of our methods is to generate points in the graphs of the selected monotone operators, in order to construct a half-space containing the Kuhn-Tucker set associated with the system. The coordination phase of each iteration involves a projection onto this half-space. We present two related methods: the first method provides weakly convergent primal and dual sequences under general conditions, while the second is a variant in which strong convergence is guaranteed without additional assumptions. Neither algorithm requires prior knowledge of bounds on the linear operators involved or the inversion of linear operators. Our algorithmic framework unifies and significantly extends the approaches taken in earlier work on primal-dual projective splitting methods.


title: Cluster-Aided Mobility Predictions

abstract: Predicting the future location of users in wireless net- works has numerous applications, and can help service providers to improve the quality of service perceived by their clients. The location predictors proposed so far estimate the next location of a specific user by inspecting the past individual trajectories of this user. As a consequence, when the training data collected for a given user is limited, the resulting prediction is inaccurate. In this paper, we develop cluster-aided predictors that exploit past trajectories collected from all users to predict the next location of a given user. These predictors rely on clustering techniques and extract from the training data similarities among the mobility patterns of the various users to improve the prediction accuracy. Specifically, we present CAMP (Cluster-Aided Mobility Predictor), a cluster-aided predictor whose design is based on recent non-parametric bayesian statistical tools. CAMP is robust and adaptive in the sense that it exploits similarities in users' mobility only if such similarities are really present in the training data. We analytically prove the consistency of the predictions provided by CAMP, and investigate its performance using two large-scale datasets. CAMP significantly outperforms existing predictors, and in particular those that only exploit individual past trajectories.


title: Tail Analysis without Parametric Models: A Worst-case Perspective

abstract: A common bottleneck in evaluating extremal performance measures is that, due to their very nature, tail data are often very limited. The conventional approach selects the best probability distribution from tail data using parametric fitting, but the validity of the parametric choice can be difficult to verify. This paper describes an alternative based on the computation of worst-case bounds under the geometric premise of tail convexity, a feature shared by all common parametric tail distributions. We characterize the optimality structure of the resulting optimization problem, and demonstrate that the worst-case convex tail behavior is in a sense either extremely light-tailed or extremely heavy-tailed. We develop low-dimensional nonlinear programs that distinguish between the two cases and compute the worst-case bound. We numerically illustrate how the proposed approach can give more reliable performances than conventional parametric methods.


title: On generic vanishing for pluricanonical bundles

abstract: We study cohomology support loci and higher direct images of (log) pluricanonical bundles of smooth projective varieties or log canonical pairs. We prove that the 0-th cohomology support loci of log pluricanonical bundles are finite unions of torsion translates of subtori. We also construct an example of morphism from a smooth projective variety to an abelian variety such that a higher direct image of a pluricanonical bundle to the abelian variety is not a GV-sheaf.


title: On a mechanism of high-temperature superconductivity: Spin-electron acoustic wave as a mechanism for the Cooper pair formation

abstract: We have found the mechanism of the electron Cooper pair formation via the electron interaction by means of the spin-electron acoustic waves. This mechanism takes place in metals with rather high spin polarization, like ferromagnetic, ferrimagnetic and antiferromagnetic materials. The spin-electron acoustic wave mechanism leads to transition temperatures 100 times higher than the transition temperature allowed by the electron-phonon interaction. Therefore, spin-electron acoustic waves give the explanation for the high-temperature superconductivity. We find that the transition temperature has strong dependence on the electron concentration and the spin polarization of the electrons.


title: Amenability and covariant injectivity of locally compact quantum groups II

abstract: Building on our previous work, we study the non-relative homology of quantum group convolution algebras. Our main result establishes the equivalence of amenability of a locally compact quantum group $\mathbb{G}$ and 1-injectivity of $L^{\infty}(\widehat{\mathbb{G}})$ as an operator $L^1(\widehat{\mathbb{G}})$-module. In particular, a locally compact group $G$ is amenable if and only if its group von Neumann algebra $VN(G)$ is 1-injective as an operator module over the Fourier algebra $A(G)$. As an application, we provide a decomposability result for completely bounded $L^1(\widehat{\mathbb{G}})$-module maps on $L^{\infty}(\widehat{\mathbb{G}})$, and give a simplified proof that amenable discrete quantum groups have co-amenable compact duals which avoids the use of modular theory and the Powers--St{\o}rmer inequality, suggesting that our homological techniques may yield a new approach to the open problem of duality between amenability and co-amenability.


title: Periods and $(\chi,b)$-factors of Cuspidal Automorphic Forms of Symplectic Groups

abstract: In this paper, we introduce a new family of period integrals attached to irreducible cuspidal automorphic representations $\sigma$ of symplectic groups $\mathrm{Sp}_{2n}(\mathbb{A})$, which detects the right-most pole of the $L$-function $L(s,\sigma\times\chi)$ for some character $\chi$ of $F^\times\backslash\mathbb{A}^\times$ of order at most $2$, and hence the occurrence of a simple global Arthur parameter $(\chi,b)$ in the global Arthur parameter $\psi$ attached to $\sigma$. We also give a characterisation of first occurrences of theta correspondence by (regularised) period integrals of residues of certain Eisenstein series.


title: Beyond relativistic mean-field approach for nuclear octupole excitations

abstract: We report the first beyond-mean-field study of low-lying parity-doublet states in 224Ra by extending the multireference relativistic energy density functional method to include dynamical correlations related to symmetry restoration and quadrupole-octupole shape fluctuation with a generator coordinate method combined with parity, particle-number, and angular-momentum projections. We clarify full microscopically that the origin of spin-dependent parity splitting in low-spin states is related to the octupole shape stabilization of positive-parity states, the dominated shapes of which drift gradually to that of negative-parity ones.


title: Generalized spectrum of the $\boldsymbol{(p,2)}$-Laplacian under a parametric boundary condition

abstract: In this paper we study an eigenvalue problem for the so called $(p,2)$-Laplace operator on a smooth bounded domain under a nonlinear Steklov type boundary condition, namely \begin{equation} \left\{ \begin{aligned} -\Delta_pu-\Delta u & =\lambda a(x)u \ \ \text{in}\ \Omega,\\ (|\nabla u|^{p-2}+1)\dfrac{\partial u}{\partial\nu} & =\lambda b(x)u \ \ \text{on}\ \partial\Omega . \end{aligned} \right. \end{equation} Under suitable integrability and boundedness assumptions on the positive weight functions $a$ and $b$, we show that, for all $p>1$, the eigenvalue set consists of an isolated null eigenvalue plus a continuous family of eigenvalues located away from zero.


title: Measurement Error Effects of Beam Parameters Determined by Beam Profiles

abstract: A conventional method to determine beam parameters is using the profile measurements and converting them into the values of twiss parameters and beam emittance at a specified position. The beam information can be used to improve transverse beam matching between two different beam lines or accelerating structures. This work is related with the measurement error effects of the beam parameters and the optimal number of profile monitors in a section between MEBT (medium energy beam transport) and QWR (quarter wave resonator) of RAON linear accelerator.


title: Relationship Between Solar Wind Speed and Coronal Magnetic Field Properties

abstract: We have studied the relationship between the solar-wind speed $[V]$ and the coronal magnetic-field properties (a flux expansion factor [$f$] and photospheric magnetic-field strength [$B_{\mathrm{S}}$]) at all latitudes using data of interplanetary scintillation and solar magnetic field obtained for 24 years from 1986 to 2009. Using a cross-correlation analyses, we verified that $V$ is inversely proportional to $f$ and found that $V$ tends to increase with $B_{\mathrm{S}}$ if $f$ is the same. As a consequence, we find that $V$ has extremely good linear correlation with $B_{\mathrm{S}}/f$. However, this linear relation of $V$ and $B_{\mathrm{S}}/f$ cannot be used for predicting the solar-wind velocity without information on the solar-wind mass flux. We discuss why the inverse relation between $V$ and $f$ has been successfully used for solar-wind velocity prediction, even though it does not explicitly include the mass flux and magnetic-field strength, which are important physical parameters for solar-wind acceleration.


title: Femtosecond response time measurements of a Cs2Te photocathode

abstract: We present the response time measurements of a Cs2Te photocathode illuminated with two 100 fs duration, variable time separation laser pulses at 266 nm wavelength. The response time was confirmed in dispersive region downstream of a 12-cell standing wave S-band acceleration structure using a well-known RF zero-crossing technique. At the same time it was also measured by changing mechanical path-length difference between two micro-bunches. Both methods agree that Cs2Te photocathode time response is of the order of 250 fs and thereby it is possible to generate and control a THz sequence of relativistic electron bunches by a conventional S-band RF gun. This result further opens a possibility to construct wide-range tunable THz FEL.


title: Managing Hybrid Main Memories with a Page-Utility Driven Performance Model

abstract: Hybrid memory systems comprised of dynamic random access memory (DRAM) and non-volatile memory (NVM) have been proposed to exploit both the capacity advantage of NVM and the latency and dynamic energy advantages of DRAM. An important problem for such systems is how to place data between DRAM and NVM to improve system performance. In this paper, we devise the first mechanism, called UBM (page Utility Based hybrid Memory management), that systematically estimates the system performance benefit of placing a page in DRAM versus NVM and uses this estimate to guide data placement. UBM's estimation method consists of two major components. First, it estimates how much an application's stall time can be reduced if the accessed page is placed in DRAM. To do this, UBM comprehensively considers access frequency, row buffer locality, and memory level parallelism (MLP) to estimate the application's stall time reduction. Second, UBM estimates how much each application's stall time reduction contributes to overall system performance. Based on this estimation method, UBM can determine and place the most critical data in DRAM to directly optimize system performance. Experimental results show that UBM improves system performance by 14% on average (and up to 39%) compared to the best of three state-of-the-art mechanisms for a large number of data-intensive workloads from the SPEC CPU2006 and Yahoo Cloud Serving Benchmark (YCSB) suites.


title: Unboundedness and Downward Closures of Higher-Order Pushdown Automata

abstract: We show the diagonal problem for higher-order pushdown automata (HOPDA), and hence the simultaneous unboundedness problem, is decidable. From recent work by Zetzsche this means that we can construct the downward closure of the set of words accepted by a given HOPDA. This also means we can construct the downward closure of the Parikh image of a HOPDA. Both of these consequences play an important role in verifying concurrent higher-order programs expressed as HOPDA or safe higher-order recursion schemes.


title: Spin glass behavior of the antiferromagnetic Heisenberg model on scale free network

abstract: Randomness and frustration are considered to be the key ingredients for the existence of spin glass (SG) phase. In a canonical system, these ingredients are realized by the random mixture of ferromagnetic (FM) and antiferromagnetic (AF) couplings. The study by Bartolozzi {\it et al.} [Phys. Rev. B{\bf 73}, 224419 (2006)] who observed the presence of SG phase on the AF Ising model on scale free network (SFN) is stimulating. It is a new type of SG system where randomness and frustration are not caused by the presence of FM and AF couplings. To further elaborate this type of system, here we study Heisenberg model on AF SFN and search for the SG phase. The canonical SG Heisenberg model is not observed in $d$-dimensional regular lattices for ($d \leq 3$). We can make an analogy for the connectivity density ($m$) of SFN with the dimensionality of the regular lattice. It should be plausible to find the critical value of $m$ for the existence of SG behaviour, analogous to the lower critical dimension ($d_l$) for the canonical SG systems. Here we study system with $m=2,3,4$ and $5$. We used Replica Exchange algorithm of Monte Carlo Method and calculated the SG order parameter. We observed SG phase for each value of $m$ and estimated its corersponding critical temperature.


title: On Orbifold Theory

abstract: Let V be a simple vertex operator algebra and G a finite automorphism group of V such that V^G is regular. It is proved that every irreducible V^G-module occurs in an irreducible g-twisted V-module for some g in G. Moreover, the quantum dimensions of each irreducible V^G-module are determined and a global dimension formula for V in terms of twisted modules is obtained.


title: Almost Gorenstein homogeneous rings and their $h$-vectors

abstract: In this paper, for the development of the study of almost Gorenstein graded rings, we discuss some relations between almost Gorensteinness of Cohen--Macaulay homogeneous rings and their $h$-vectors. Concretely, for a Cohen--Macaulay homogeneous ring $R$, we give a sufficient condition for $R$ to be almost Gorenstein in terms of the $h$-vector of $R$ and we also characterize almost Gorenstein homogeneous domains with small socle degrees in terms of the $h$-vector of $R$. Moreover, we also provide the examples of almost Gorenstein homogeneous domains arising from lattice polytopes.


title: Effective 90-degree magnetization rotation in Co2FeAl thin film/Piezoelectric system probed by microstripline ferromagnetic

abstract: Microstripline ferromagnetic resonance technique has been used to study the indirect magnetoelectric coupling occurring in an artificial magnetoelectric heterostructure consisting of a magnetostrictive thin film cemented onto a piezoelectric actuator. Two different modes (sweep-field and sweep-frequency modes) of this technique have been employed to quantitatively probe the indirect magnetoelectric coupling and to observe a voltage induced magnetization rotation (of 90 degree). This latter has been validated by the experimental frequency variation of the uniform mode and by the amplitude of the sweep-frequency spectra.


title: Simple improvements to classical bubble nucleation models

abstract: We revisit classical nucleation theory (CNT) for the homogeneous bubble nucleation rate and improve the classical formula using a new prefactor in the nucleation rate. Most of the previous theoretical studies have used the constant prefactor determined by the bubble growth due to the evaporation process from the bubble surface. However, the growth of bubbles is also regulated by the thermal conduction, the viscosity, and the inertia of liquid motion. These effects can decrease the prefactor significantly, especially when the liquid pressure is much smaller than the equilibrium one. The deviation in the nucleation rate between the improved formula and the CNT can be as large as several orders of magnitude. Our improved, accurate prefactor and recent advances in molecular dynamics simulations and laboratory experiments for argon bubble nucleation enable us to precisely constrain the free energy barrier for bubble nucleation. Assuming the correction to the CNT free energy is of the functional form suggested by Tolman, the precise evaluations of the free energy barriers suggest the Tolman length is $\simeq 0.3 \sigma$ independently of the temperature for argon bubble nucleation, where $\sigma$ is the unit length of the Lenard-Jones potential. With this Tolman correction and our new prefactor one gets accurate bubble nucleation rate predictions in the parameter range probed by current experiments and molecular dynamics simulations.


title: First Detection of 350 Micron Polarization From a Radio-loud AGN

abstract: We report the first detection of linearly polarized emission at an observing wavelength of 350 $\mu$m from the radio-loud Active Galactic Nucleus 3C 279. We conducted polarization observations for 3C 279 using the SHARP polarimeter in the Caltech Submillimeter Observatory on 2014 March 13 and 14. For the first time, we detected the linear polarization with the degree of polarization of 13.3\%$\pm$3.4\% ($3.9\sigma$) and the Electric Vector Position Angle (EVPA) of 34.7$^\circ\pm5.6^\circ$. We also observed 3C~279 simultaneously at 13, 7, and 3.5 mm in dual polarization with the Korean very long baseline interferometry (VLBI) Network on 2014 March 6 (single dish) and imaged in milliarcsecond (mas) scales at 13, 7, 3.5, and 2.3 mm on March 22 (VLBI). We found that the degree of linear polarization increases from 10\% to 13\% at 13 mm to 350 $\mu$m and the EVPAs at all observing frequencies are parallel within $<10^\circ$ to the direction of the jet at mas scale, implying that the integrated magnetic fields are perpendicular to the jet in the innermost regions. We also found that the Faraday rotation measures RM are in a range of $-6.5\times10^2 \sim -2.7\times10^3$ rad m$^{-2}$ between 13 and 3.5 mm, and are scaled as a function of wavelength: $|{\rm RM}|\propto\lambda^{-2.2}$. These results indicate that the mm and sub-mm polarization emission are generated in the compact jet within 1~mas scale and affected by a Faraday screen in or in the close proximity of the jet.


title: Effect of Inter-Modular Connection on Fast Sparse Synchronization in Clustered Small-World Neural Networks

abstract: We consider a clustered network with small-world sub-networks of inhibitory fast spiking interneurons, and investigate the effect of inter-modular connection on emergence of fast sparsely synchronized rhythms by varying both the inter-modular coupling strength $J_{inter}$ and the average number of inter-modular links per interneuron $M_{syn}^{(inter)}$. In contrast to the case of non-clustered networks, two kinds of sparsely synchronized states such as modular and global synchronization are found. For the case of modular sparse synchronization, the population behavior reveals the modular structure, because the intra-modular dynamics of sub-networks make some mismatching. On the other hand, in the case of global sparse synchronization, the population behavior is globally identical, independently of the cluster structure, because the intra-modular dynamics of sub-networks make perfect matching. We introduce a realistic cross-correlation modularity measure, representing the matching-degree between the instantaneous sub-population spike rates of the sub-networks, and examine whether the sparse synchronization is global or modular. Furthermore, we characterize the modular and global sparse synchronization by employing the realistic sub- and whole-population order parameters and statistical-mechanical measures. The roles of $J_{inter}$ and $M_{syn}^{(inter)}$ are thus found as follows. For large $J_{inter}$, due to strong inhibition it plays a destructive role to "spoil" the pacing between spikes, while for small $J_{inter}$ it plays a constructive role to "favor" the pacing between spikes. In contrast, $M_{syn}^{(inter)}$ seems to play a role just to favor the pacing between spikes. With increasing $M_{syn}^{(inter)}$, the pacing degree between spikes increases monotonically thanks to the increase in the degree of effectiveness of global communication between spikes.


title: Automorphisms of braid groups on orientable surfaces

abstract: In this paper we compute the automorphism groups $\operatorname{Aut}(\mathbf{P}_n(\Sigma))$ and $\operatorname{Aut}(\mathbf{B}_n(\Sigma))$ of braid groups $\mathbf{P}_n(\Sigma)$ and $\mathbf{B}_n(\Sigma)$ on every orientable surface $\Sigma$, which are isomorphic to group extensions of the extended mapping class group $\mathcal{M}^*_n(\Sigma)$ by the transvection subgroup except for a few cases. We also prove that $\mathbf{P}_n(\Sigma)$ is always a characteristic subgroup of $\mathbf{B}_n(\Sigma)$ unless $\Sigma$ is a twice-punctured sphere and $n=2$.


title: Single Ion Adsorption and Switching in Nano-Electronics

abstract: Single ion detection has, for many years, been the domain of large devices such as the Geiger counter, and studies on interactions of ionized gasses with materials have been limited to large systems. To date, there have been no reports on single gaseous ion interaction with microelectronic devices, and single neutral atom detection techniques have shown only small, barely detectable responses. Here, we report the first observation of single ion adsorption onto individual carbon nanotubes (CNTs), which, due to the severely restricted one-dimensional current path, experience discrete, quantized resistance increases of over two orders of magnitude. Only positive ions cause changes, by the mechanism of ion potential induced carrier depletion, which is supported by density functional and Landauer transport theory. Our observations reveal a new single-ion/CNT heterostructure with novel electronic properties, and demonstrate that as electronics are ultimately scaled towards the one-dimensional limit, atomic scale effects become increasingly important.


title: Evaluation of the citation matching algorithms of CWTS and iFQ in comparison to Web of Science

abstract: The results of bibliometric studies provided by bibliometric research groups, e.g. the Centre for Science and Technology Studies (CWTS) and the Institute for Research Information and Quality Assurance (iFQ), are often used in the process of research assessment. Their databases use Web of Science (WoS) citation data, which they match according to their own matching algorithms - in the case of CWTS for standard usage in their studies and in the case of iFQ on an experimental basis. Since the problem of non-matched citations in WoS persists because of inaccuracies in the references or inaccuracies introduced in the data extraction process, it is important to ascertain how well these inaccuracies are rectified in these citation matching algorithms. This paper evaluates the algorithms of CWTS and iFQ in comparison to WoS in a quantitative and a qualitative analysis. The analysis builds upon the methodology and the manually verified corpus of a previous study. The algorithm of CWTS performs best, closely followed by that of iFQ. The WoS algorithm still performs quite well (F1 score: 96.41 percent), but shows deficits in matching references containing inaccuracies. An additional problem is posed by incorrectly provided cited reference information in source articles by WoS.


title: Estimation of mean form and mean form difference under elliptical laws

abstract: Some ideas studied by Lele (1993), under a Gaussian perturbation model, are generalised in the setting of matrix multivariate elliptical distributions. In particular, several inaccuracies in the published statistical perturbation model are revised. In addition, a number of aspects about identifiability and estimability are also considered. Instead of using the Euclidean distance matrix for proposing consistent estimates, this paper determines exact formulae for the moments of matrix $\mathbf{B} = \mathbf{X}^{c}\left(\mathbf{X}^{c}\right)^{T}$, where $\mathbf{X}^{c}$ is the centered landmarks matrix. Consistent estimation of mean form difference under elliptical laws is also studied. Finally, the main results of the paper and some methodologies for selecting models and hypothesis testing are applied to a real landmark data. comparing correlation shape structure is proposed and applied in handwritten differentiation.


title: Double lines on quadric hypersurfaces

abstract: We study double line structures in projective spaces and quadric hypersurfaces, and investigate the geometry of irreducible components of Hilbert scheme of curves and moduli of stable sheaves of pure dimension 1 on a smooth quadric threefold.


title: The spectrum of the growth rate of the tunnel number is infinite

abstract: In a previous paper Kobayashi and Rieck defined the growth rate of the tunnel number of a knot $K$, a knot invariant that measures the asymptotic behavior of the tunnel number under iterated connected sum of $K$. We denote the growth rate by $\mbox{gr}_t(K)$. In this paper we construct, for any $\epsilon > 0$, a hyperbolic knots $K \subset S^{3}$ for which $1 - \epsilon < \mbox{gr}_t(K) < 1$. This is the first proof that the spectrum of the growth rate of the tunnel number is infinite.


title: Localized High Frequency Electrodynamic Behavior of Optimally-doped Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$ Single Crystal films

abstract: Localized high frequency (several GHz) electrodynamic properties of a high quality epitaxial, single-crystal Iron-Pnicitde Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$ thin film near optimal doping (x=0.08) are measured under a localized and strong RF magnetic field, created by a near-field microwave microscope. Two reflection electrodynamic measurements, including linear and the third harmonic responses, are performed to understand the electromagnetic properties of Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$. Our measurement results show that Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$ has have a wide superconducting transition width and may have a multi-gap nature. In addition, based on the $1/T^2$ dependence of the third harmonics signal at lower temperature, Ba(Fe$_{1-x}$Co$_x$)$_2$As$_2$ shows the possibility of nodal behavior.


title: GIOVE - A New Detector Setup for High Sensitivity Germanium Spectroscopy At Shallow Depth

abstract: We report on the development and construction of the high-purity germanium spectrometer setup GIOVE (Germanium Inner Outer Veto), recently built and now operated at the shallow underground laboratory of the Max-Planck-Institut f\"ur Kernphysik, Heidelberg. Particular attention was paid to the design of a novel passive and active shield, aiming at efficient rejection of environmental and muon induced radiation backgrounds. The achieved sensitivity level of <100 {\mu}Bq/kg for primordial radionuclides from U and Th in typical {\gamma} ray sample screening measurements is unique among instruments located at comparably shallow depths and can compete with instruments at far deeper underground sites.


title: Structural, and Magnetic properties of flux free large FeTe Single crystal

abstract: We report synthesis of non superconducting parent compound of iron chalcogenide, i.e., FeTe single crystal by self flux method. The FeTe single crystal is crystallized in tetragonal structure with the P4/nmm space group. The detailed SEM (scanning electron microscopy) results showed that the crystals are formed in slab like morphology and are near (slight deficiency of Te) stoichiometric with homogenous distribution of Fe and Te. The coupled structural and magnetic phase transition is seen at around 70K in both electrical resistivity and magnetization measurements, which is hysteric (deltaT = 5K) in nature with cooling and warming cycles. Magnetic susceptibility (chi-T) measurements showed the magnetic transition to be of antiferromagnetic nature, which is substantiated by isothermal magnetization (M-H) plots as well. The temperature dependent electrical resistivity measured in 10kOe field in both in plane and out of plane field directions showed that the hysteric width nearly becomes double to deltaT = 10K, and is maximum for the out of plane field direction for the studied FeTe single crystal. We also obtained a sharp spike like peak in heat capacity Cp(T) measurement due to the coupled structural and magnetic order phase transitions.


title: Tunable generation of entangled photons in a nonlinear directional coupler

abstract: The on-chip integration of quantum light sources has enabled the realization of complex quantum photonic circuits. However, for the practical implementation of such circuits in quantum information applications it is crucial to develop sources delivering entangled quantum photon states with on-demand tunability. Here we propose and experimentally demonstrate the concept of a widely tunable quantum light source based on spontaneous parametric down-conversion in a nonlinear directional coupler. We show that spatial photon-pair correlations and entanglement can be reconfigured on-demand by tuning the phase difference between the pump beams and the phase mismatch inside the structure. We demonstrate the generation of split states, robust N00N states, various intermediate regimes and biphoton steering. This fundamental scheme provides an important advance towards the realization of reconfigurable quantum circuitry.


title: Forgetting in the Synchronization of Quantum Networks

abstract: In this paper, we study the decoherence property of synchronization master equation for networks of qubits interconnected by swapping operators. The network Hamiltonian is assumed to be diagonal with different entries so that it might not be commutative with the swapping operators. We prove a theorem establishing a general condition under which almost complete decohernece is achieved, i.e., all but two of the off-diagonal entries of the network density operator asymptotically tend to zero. This result explicitly shows that quantum dissipation networks tend to forget the information initially encoded when the internal (induced by network Hamiltonian) and external (induced by swapping operators) qubit interactions do not comply with each other.


title: Boolean Gossip Networks

abstract: This paper proposes and investigates a Boolean gossip model as a simplified but non-trivial probabilistic Boolean network. With positive node interactions, in view of standard theories from Markov chains, we prove that the node states asymptotically converge to an agreement at a binary random variable, whose distribution is characterized for large-scale networks by mean-field approximation. Using combinatorial analysis, we also successfully count the number of communication classes of the positive Boolean network explicitly in terms of the topology of the underlying interaction graph, where remarkably minor variation in local structures can drastically change the number of network communication classes. With general Boolean interaction rules, emergence of absorbing network Boolean dynamics is shown to be determined by the network structure with necessary and sufficient conditions established regarding when the Boolean gossip process defines absorbing Markov chains. Particularly, it is shown that for the majority of the Boolean interaction rules, except for nine out of the total $2^{16}-1$ possible nonempty sets of binary Boolean functions, whether the induced chain is absorbing has nothing to do with the topology of the underlying interaction graph, as long as connectivity is assumed. These results illustrate possibilities of {relating dynamical} properties of Boolean networks to graphical properties of the underlying interactions.


title: An efficient basis set representation for calculating electrons in molecules

abstract: The method of McCurdy, Baertschy, and Rescigno, J. Phys. B, 37, R137 (2004) is generalized to obtain a straightforward, surprisingly accurate, and scalable numerical representation for calculating the electronic wave functions of molecules. It uses a basis set of product sinc functions arrayed on a Cartesian grid, and yields 1 kcal/mol precision for valence transition energies with a grid resolution of approximately 0.1 bohr. The Coulomb matrix elements are replaced with matrix elements obtained from the kinetic energy operator. A resolution-of-the-identity approximation renders the primitive one- and two-electron matrix elements diagonal; in other words, the Coulomb operator is local with respect to the grid indices. The calculation of contracted two-electron matrix elements among orbitals requires only O(N log(N)) multiplication operations, not O(N^4), where N is the number of basis functions; N = n^3 on cubic grids. The representation not only is numerically expedient, but also produces energies and properties superior to those calculated variationally. Absolute energies, absorption cross sections, transition energies, and ionization potentials are reported for one- (He^+, H_2^+ ), two- (H_2, He), ten- (CH_4) and 56-electron (C_8H_8) systems.


title: Scientific Computing Meets Big Data Technology: An Astronomy Use Case

abstract: Scientific analyses commonly compose multiple single-process programs into a dataflow. An end-to-end dataflow of single-process programs is known as a many-task application. Typically, tools from the HPC software stack are used to parallelize these analyses. In this work, we investigate an alternate approach that uses Apache Spark -- a modern big data platform -- to parallelize many-task applications. We present Kira, a flexible and distributed astronomy image processing toolkit using Apache Spark. We then use the Kira toolkit to implement a Source Extractor application for astronomy images, called Kira SE. With Kira SE as the use case, we study the programming flexibility, dataflow richness, scheduling capacity and performance of Apache Spark running on the EC2 cloud. By exploiting data locality, Kira SE achieves a 2.5x speedup over an equivalent C program when analyzing a 1TB dataset using 512 cores on the Amazon EC2 cloud. Furthermore, we show that by leveraging software originally designed for big data infrastructure, Kira SE achieves competitive performance to the C implementation running on the NERSC Edison supercomputer. Our experience with Kira indicates that emerging Big Data platforms such as Apache Spark are a performant alternative for many-task scientific applications.


title: Amplitude Correction Factors of KVN Observations

abstract: We report results of investigation of amplitude calibration for very long baseline interferometry (VLBI) observations with Korean VLBI Network (KVN). Amplitude correction factors are estimated based on comparison of KVN observations at 22~GHz correlated by Daejeon hardware correlator and DiFX software correlator in Korea Astronomy and Space Science Institute (KASI) with Very Long Baseline Array (VLBA) observations at 22~GHz by DiFX software correlator in National Radio Astronomy Observatory (NRAO). We used the observations for compact radio sources, 3C 454.3, NRAO 512, OJ 287, BL Lac, 3C 279, 1633+382, and 1510-089, which are almost unresolved for baselines in a range of 350-477 km. Visibility data of the sources obtained with similar baselines at KVN and VLBA are selected, fringe-fitted, calibrated, and compared for their amplitudes. We found that visibility amplitudes of KVN observations should be corrected by factors of 1.10 and 1.35 when correlated by DiFX and Daejeon correlators, respectively. These correction factors are attributed to the combination of two steps of 2-bit quantization in KVN observing systems and characteristics of Daejeon correlator.


title: The origin of dust extinction curves with or without the 2175 A bump in galaxies: The case of the Magellanic Clouds

abstract: The Large and Small Magellanic Clouds (LMC and SMC, respectively) are observed to have characteristic dust extinction curves that are quite different from those of the Galaxy (e.g., strength of the 2175 A bump). Although the dust composition and size distribution of the Magellanic Clouds (MCs) that can self-consistently explain their observed extinction curves have been already proposed, it remain unclear whether and how the required dust properties can be achieved in the formation histories of the MCs. We therefore investigate the time evolution of the dust properties of the MCs and thereby derive their extinction curves using one-zone chemical evolution models with formation and evolution of small and large silicate and carbonaceous dust grains and dusty winds associated with starburst events. We find that the observed SMC extinction curve without a conspicuous 2175 A bump can be reproduced well by our SMC model, if the small carbon grains can be selectively lost through the dust wind during the latest starburst about 0.2 Gyr ago. We also find that the LMC extinction curve with a weak 2175 A bump can be reproduced by our LMC model with less efficient removal of dust through dust wind. We discuss possible physical reasons for different dust wind efficiencies between silicate and graphite and among galaxies.


title: Combining Traditional Marketing and Viral Marketing with Amphibious Influence Maximization

abstract: In this paper, we propose the amphibious influence maximization (AIM) model that combines traditional marketing via content providers and viral marketing to consumers in social networks in a single framework. In AIM, a set of content providers and consumers form a bipartite network while consumers also form their social network, and influence propagates from the content providers to consumers and among consumers in the social network following the independent cascade model. An advertiser needs to select a subset of seed content providers and a subset of seed consumers, such that the influence from the seed providers passing through the seed consumers could reach a large number of consumers in the social network in expectation. We prove that the AIM problem is NP-hard to approximate to within any constant factor via a reduction from Feige's k-prover proof system for 3-SAT5. We also give evidence that even when the social network graph is trivial (i.e. has no edges), a polynomial time constant factor approximation for AIM is unlikely. However, when we assume that the weighted bi-adjacency matrix that describes the influence of content providers on consumers is of constant rank, a common assumption often used in recommender systems, we provide a polynomial-time algorithm that achieves approximation ratio of $(1-1/e-\epsilon)^3$ for any (polynomially small) $\epsilon > 0$. Our algorithmic results still hold for a more general model where cascades in social network follow a general monotone and submodular function.


title: Knoerrer Periodicity and Bott Periodicity

abstract: The goal of this article is to explain a precise sense in which Knoerrer periodicity in commutative algebra and Bott periodicity in topological K-theory are compatible phenomena. Along the way, we prove an 8-periodic version of Knoerrer periodicity for real isolated hypersurface singularities, and we construct a homomorphism from the Grothendieck group of the homotopy category of matrix factorizations of a complex (real) polynomial $f$ into the topological K-theory of its Milnor fiber (positive or negative Milnor fiber).


title: On the physical significance of London's equation

abstract: The Meissner effect is analysed by using an approach based on Newton and Maxwell's equations, in order to assess the relevance of London's equation. The Hall effect is predicted. Two test experiments are proposed in detail to check the validity of this theory and to measure London's length.


title: Certified Roundoff Error Bounds Using Semidefinite Programming

abstract: Roundoff errors cannot be avoided when implementing numerical programs with finite precision. The ability to reason about rounding is especially important if one wants to explore a range of potential representations, for instance for FPGAs or custom hardware implementations. This problem becomes challenging when the program does not employ solely linear operations, and non-linearities are inherent to many interesting computational problems in real-world applications. Existing solutions to reasoning possibly lead to either inaccurate bounds or high analysis time in the presence of nonlinear correlations between variables. Furthermore, while it is easy to implement a straightforward method such as interval arithmetic, sophisticated techniques are less straightforward to implement in a formal setting. Thus there is a need for methods which output certificates that can be formally validated inside a proof assistant. We present a framework to provide upper bounds on absolute roundoff errors of floating-point nonlinear programs. This framework is based on optimization techniques employing semidefinite programming and sums of squares certificates, which can be checked inside the Coq theorem prover to provide formal roundoff error bounds for polynomial programs. Our tool covers a wide range of nonlinear programs, including polynomials and transcendental operations as well as conditional statements. We illustrate the efficiency and precision of this tool on non-trivial programs coming from biology, optimization and space control. Our tool produces more accurate error bounds for 23% of all programs and yields better performance in 66% of all programs.


title: Randomized Derivative-Free Optimization of Noisy Convex Functions

abstract: We propose STARS, a randomized derivative-free algorithm for unconstrained optimization when the function evaluations are contaminated with random noise. STARS takes dynamic, noise-adjusted smoothing step-sizes that minimize the least-squares error between the true directional derivative of a noisy function and its finite difference approximation. We provide a convergence rate analysis of STARS for solving convex problems with additive or multiplicative noise. Experimental results show that (1) STARS exhibits noise-invariant behavior with respect to different levels of stochastic noise; (2) the practical performance of STARS in terms of solution accuracy and convergence rate is significantly better than that indicated by the theoretical result; and (3) STARS outperforms a selection of randomized zero-order methods on both additive and multiplicative-noisy functions.


title: Practical Quantum Digital Signature

abstract: Guaranteeing nonrepudiation, unforgeability as well as transferability of a signature is one of the most vital safeguards in today's e-commerce era. Based on fundamental laws of quantum physics, quantum digital signature (QDS) aims to provide information-theoretic security for this cryptographic task. However, up to date, the previously proposed QDS protocols are impractical due to various challenging problems and most importantly, the requirement of authenticated (secure) quantum channels between participants. Here, we present the first quantum digital signature protocol that removes the assumption of authenticated quantum channels while remaining secure against the collective attacks. Besides, our QDS protocol can be practically implemented over more than 100 km under current mature technology as used in quantum key distribution.


title: On the summablility of truncated double Fourier series

abstract: We estimate the truncated double trigonometric series $\sum_{n=0}^{N}\sum_{m=0}^{M}a_{mn} {e}^{2\pi \imath \left(m x+n y\right)}$, $a_{mn} \in\mathbb{C}$, in Lebesgue spaces with mixed norms in terms of the $p^{th}-q^{th}$ power finite double sums of its coefficients. We obtain these estimates for all possible values of the exponents involved then we provide examples of matrices in ${\mathbb{C}}^{M\times N}$ that maximize some of them up to a constant independent of $M$ and $N$.


title: Surface electronic state of superconducting topological crystalline insulator

abstract: We study the surface state of a doped topological crystalline insulator in the superconducting state. Motivated by Sn$_{1-x}$In$_x$Te, we consider fully gapped pair potentials and calculate the surface spectral function. It is found that mirror-protected zero-energy Andreev bound states appear at the (001) surface and that these states can move along the mirror symmetric line on the surface Brillouin zone. We also show that the surface Andreev bound state changes systematically with doping due to the presence of the Dirac surface state in the normal state.


title: Nonanalyticity, Valley Quantum Phases, and Light-like Exciton Dispersion in Monolayer TMDs: Theory and First-Principles Calculations

abstract: Exciton dispersion as a function of center-of-mass momentum, \textbf{Q}, is essential to the understanding of exciton dynamics. We use the ab-initio GW-Bethe Salpeter equation method to calculate the dispersion of excitons in monolayer MoS$_2$ and find a nonanalytic light-like dispersion. This behavior arises from an unusual $|Q|$ term in both the intra- and inter-valley exchange of the electron-hole interaction, which concurrently gives rise to a valley quantum phase of winding number two. A simple effective Hamiltonian to $Q^2$ order with analytic solutions is derived to describe quantitatively these behaviors.


title: Defect induced structural and thermoelectric properties of Sb2Te3 alloy

abstract: Structural and thermoelectric properties of metallic and semiconducting Sb2Te3 are reported. X-Ray diffraction and Raman spectroscopy studies reveal that semiconducting sample have higher defect density. Nature and origin of possible defects are highlighted. Semiconducting Sb2Te3 hosts larger numbers of defects, which act as scattering center and give rise to the increased value of resistivity, thermopower and power factor. Thermopower data indicates p-type nature of the synthesized samples. It is evidenced that the surface states are often mixed with the bulk state, giving rise to metallicity in Sb2Te3. Role of different scattering mechanism on the thermoelectric property of Sb2Te3 is discussed.


title: Aren't we all nearest neighbors: Spatial trees, high dimensional reductions and batch nearest neighbor search

abstract: We start with a review of the pervasiveness of the nearest neighbor search problem and techniques used to solve it along with some experimental results. In the second chapter, we show reductions between two different classes of geo- metric proximity problems: the nearest neighbor problems to solve the Euclidean minimum spanning tree problem and the farthest neighbor problems to solve the k-centers problem. In the third chapter, we unify spatial partitioning trees un- der one framework the meta-tree. Finally, we propose a dual tree algorithm for Bichromatic Closest Pair and measure the complexity of batch nearest neighbor search.


title: Accurate non-covalent interaction energies via an efficient MP2 scaling procedure

abstract: Using the observed proportionality of CCSD(T) and MP2 correlation interaction energies [I. Grabowski, E. Fabiano, F. Della Sala, Phys. Chem. Chem. Phys. 15, 15485 (2013)] we propose a simple scaling procedure to compute accurate interaction energies of non-covalent complexes. Our method makes use of MP2 and CCSD(T) correlation energies, computed in relatively small basis sets, and fitted scaling coefficients to yield interaction energies of almost complete basis set limit CCSD(T) quality. Thanks to the good transferability of the scaling coefficients involved in the calculations, good results can be easily obtained for different intermolecular distances.


title: Quantitative Evaluation of Performance and Validity Indices for Clustering the Web Navigational Sessions

abstract: Clustering techniques are widely used in Web Usage Mining to capture similar interests and trends among users accessing a Web site. For this purpose, web access logs generated at a particular web site are preprocessed to discover the user navigational sessions. Clustering techniques are then applied to group the user session data into user session clusters, where intercluster similarities are minimized while the intra cluster similarities are maximized. Since the application of different clustering algorithms generally results in different sets of cluster formation, it is important to evaluate the performance of these methods in terms of accuracy and validity of the clusters, and also the time required to generate them, using appropriate performance measures. This paper describes various validity and accuracy measures including Dunn's Index, Davies Bouldin Index, C Index, Rand Index, Jaccard Index, Silhouette Index, Fowlkes Mallows and Sum of the Squared Error (SSE). We conducted the performance evaluation of the following clustering techniques: k-Means, k-Medoids, Leader, Single Link Agglomerative Hierarchical and DBSCAN. These techniques are implemented and tested against the Web user navigational data. Finally their performance results are presented and compared.


title: Scattering by a reflectionless modified P\"oschl-Teller potential: Bohmian trajectories and arrival times

abstract: A nonreflecting wavepacket is constructed by the superposition of reflectionless eigenstates of sech2 potential. Free propagation and propagation in the presence of the above potential of such a wavepacket is considered using the concept of arrival time. Comparison is made with the free evolving Gaussian wavepacket. Mean arrival time at a detector behind the well is given as a function of mass for separate cases. A selection of Bohmian trajectories in the interacting case are computed and compared to the trajectories of a free particle guided by a Gaussian packet.


title: Outflows in Sodium Excess Objects

abstract: van Dokkum and Conroy revisited the unexpectedly strong Na I lines at 8200 A found in some giant elliptical galaxies and interpreted it as evidence for unusually bottom-heavy initial mass function. Jeong et al. later found a large population of galaxies showing equally-extraordinary Na D doublet absorption lines at 5900 A (Na D excess objects: NEOs) and showed that their origins can be different for different types of galaxies. While a Na D excess seems to be related with the interstellar medium (ISM) in late-type galaxies, smooth-looking early-type NEOs show little or no dust extinction and hence no compelling sign of ISM contributions. To further test this finding, we measured the doppler components in the Na D lines. We hypothesized that ISM would have a better (albeit not definite) chance of showing a blueshift doppler departure from the bulk of the stellar population due to outflow caused by either star formation or AGN activities. Many of the late-type NEOs clearly show blueshift in their Na D lines, which is consistent with the former interpretation that the Na D excess found in them is related with star formation-caused gas outflow. On the contrary, smooth-looking early-type NEOs do not show any notable doppler component, which is also consistent with the interpretation of Jeong et al. that the Na D excess in early-type NEOs is likely not related with ISM activities but is purely stellar in origin.


title: On conjectures of Itoh and of Lipman on the cohomology of normalized blow-ups

abstract: Let $(R, \mathfrak{m}, \Bbbk)$ be a Noetherian three-dimensional Cohen-Macaulay analytically unramified ring and $I$ an $\mathfrak{m}$-primary $R$-ideal. Write $X = \mathrm{Proj}\left(\oplus_{n \in \mathbb{N}} \overline{I^n}t^n\right)$. We prove some consequences of the vanishing of $\mathrm{H}^2(X, \mathscr{O}_X)$, whose length equals the the constant term $\bar e_3(I)$ of the normal Hilbert polynomial of $I$. Firstly, $X$ is Cohen-Macaulay. Secondly, if the extended Rees ring $A := \oplus_{n \in \mathbb{Z}} \overline{I^n}t^n$ is not Cohen-Macaulay, and either $R$ is equicharacteristic or $\overline{I} = \mathfrak{m}$, then $\bar e_2(I) - \mathrm{length}_R\left(\frac{\overline{I^2}}{I\overline{I}}\right) \geq 3$; this estimate is proved using Boij-S\"oderberg theory of coherent sheaves on $\mathbb{P}^2_\Bbbk$. The two results above are related to a conjecture of S. Itoh (J. Algebra, 1992). Thirdly, $\mathrm{H}^2_E(X, I^m\mathscr{O}_X) = 0$ for all integers $m$, where $E$ is the exceptional divisor in $X$. Finally, if additionally $R$ is regular and $X$ is pseudo-rational, then the adjoint ideals $\widetilde{I^n}, n \geq 1$ satisfy $\widetilde{I^n} = I\widetilde{I^{n-1}}$ for all $n \geq 3$. The last two results are related to conjectures of J. Lipman (Math. Res. Lett., 1994).


title: Reversible Quantum Process Algebra with Guards

abstract: Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, $\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra. And we also did some work on reversible process algebra and probabilistic truly concurrent process algebra. In this book, we utilize reversible truly concurrent process algebras APRTC and probabilistic process algebra APPTC to model quantum computing and unify quantum and classical computing.


title: Masses of Heavy and Light Scalar Tetraquarks in a Non-Relativistic Quark Model

abstract: Scalar tetraquark states are studied within the diquark-antidiquark picture in a non-relativistic approach. We consider two types of confining potentials, a quadratic and a linear one, to which we also add spin-spin, isospin-isospin, and spin-isospin interactions. We calculate the masses of the scalar diquarks and of the ground-state open and hidden charmed and bottom scalar tetraquarks. Our results indicate that the scalar resonances $D_{0}^{\ast}(2400)$ and $D_{s}(2632)$ have a sizable tetraquark amount in their wave function, while, on the other hand, it turns out that the scalar states $D_{s0}^{\ast}(2317)$ and $X(3915)$ should not be considered as being predominantly diquark-antidiquark bound states. We also investigate the masses of light scalar diquarks and tetraquarks, which are comparable to the measured masses of the light scalar mesons.


title: $L^p$-$L^q$ boundedness of integral operators with oscillatory kernels: Linear versus quadratic phases

abstract: Let $\,T^{j,k}_{N}:L^{p}(B)\, \rightarrow\,L^{q}([0,1])\,$ be the oscillatory integral operators defined by $\;\displaystyle T^{j,k}_{N}f(s):=\int_{B} \,f(x)\,e^{\imath N{|x|}^{j}s^{k}}\,dx, \quad (j,k)\in\{1,2\}^{2},\,$ where $\,B\,$ is the unit ball in ${\mathbb{R}}^{n}\,$ and $\,N\,>>1.$ We compare the asymptotic behaviour as $\,N\rightarrow +\infty\,$ of the operator norms $\,\parallel T^{j,k}_{N} \parallel_ {L^{p}(B)\rightarrow L^{q}([0,1])}\,$ for all $\,p,\,q\in [1,+\infty].\,$ We prove that, except for the dimension $n=1,\,$ this asymptotic behaviour depends on the linearity or quadraticity of the phase in $s$ only. We are led to this problem by an observation on inhomogeneous Strichartz estimates for the Schr\"{o}dinger equation.


title: Ambipolar spin-spin coupling in p$^+$-GaAs

abstract: A novel spin-spin coupling mechanism that occurs during the transport of spin-polarized minority electrons in semiconductors is described. Unlike the Coulomb spin drag, this coupling arises from the ambipolar electric field which is created by the differential movement of the photoelectrons and the photoholes. Like the Coulomb spin drag, it is a pure spin coupling that does not affect charge diffusion. Experimentally, the coupling is studied in $p^+$ GaAs using polarized microluminescence. The coupling manifests itself as an excitation power dependent reduction in the spin polarization at the excitation spot \textit{without} any change of the spatially averaged spin polarization.


title: Deciding Circular-Arc Graph Isomorphism in Parameterized Logspace

abstract: We compute a canonical circular-arc representation for a given circular-arc (CA) graph which implies solving the isomorphism and recognition problem for this class. To accomplish this we split the class of CA graphs into uniform and non-uniform ones and employ a generalized version of the argument given by K\"obler et al (2013) that has been used to show that the subclass of Helly CA graphs can be canonized in logspace. For uniform CA graphs our approach works in logspace and in addition to that Helly CA graphs are a strict subset of uniform CA graphs. Thus our result is a generalization of the canonization result for Helly CA graphs. In the non-uniform case a specific set of ambiguous vertices arises. By choosing the parameter to be the cardinality of this set the obstacle can be solved by brute force. This leads to an O(k + log n) space algorithm to compute a canonical representation for non-uniform and therefore all CA graphs.


title: Tailoring the height of ultrathin PbS nanosheets and their application as field-effect transistors

abstract: Two-dimensional, solution-processable semiconductor materials are anticipated to be used in low-cost electronic applications, such as transistors and solar cells. Here, lead sulfide nanosheets with a lateral size of several microns are synthesized and it is shown how their height can be tuned by the variation of the ligand concentrations. As a consequence of the adjustability of the nanosheets' height between 2 to more than 20 nm charge carriers are in confinement, which has a decisive impact on their electronic properties. This is demonstrated by their use as conduction channel in a field-effect transistor. The experiments show that the performance in terms of current, On/Off ratio, and sub-threshold swing is tunable over a large range.


title: A Complete Set of Invariants for LU-Equivalence of Density Operators

abstract: We show that two density operators of mixed quantum states are in the same local unitary orbit if and only if they agree on polynomial invariants in a certain Noetherian ring for which degree bounds are known in the literature. This implicitly gives a finite complete set of invariants for local unitary equivalence. This is done by showing that local unitary equivalence of density operators is equivalent to local ${\rm GL}$ equivalence and then using techniques from algebraic geometry and geometric invariant theory. We also classify the SLOCC polynomial invariants and give a degree bound for generators of the invariant ring in the case of $n$-qubit pure states. Of course it is well known that polynomial invariants are not a complete set of invariants for SLOCC.


title: On Smooth 3D Frame Field Design

abstract: We analyze actual methods that generate smooth frame fields both in 2D and in 3D. We formalize the 2D problem by representing frames as functions (as it was done in 3D), and show that the derived optimization problem is the one that previous work obtain via "representation vectors." We show (in 2D) why this non linear optimization problem is easier to solve than directly minimizing the rotation angle of the field, and observe that the 2D algorithm is able to find good fields. Now, the 2D and the 3D optimization problems are derived from the same formulation (based on representing frames by functions). Their energies share some similarities from an optimization point of view (smoothness, local minima, bounds of partial derivatives, etc.), so we applied the 2D resolution mechanism to the 3D problem. Our evaluation of all existing 3D methods suggests to initialize the field by this new algorithm, but possibly use another method for further smoothing.


title: Self-Modeling Based Diagnosis of Software-Defined Networks

abstract: Networks built using SDN (Software-Defined Networks) and NFV (Network Functions Virtualization) approaches are expected to face several challenges such as scalability, robustness and resiliency. In this paper, we propose a self-modeling based diagnosis to enable resilient networks in the context of SDN and NFV. We focus on solving two major problems: On the one hand, we lack today of a model or template that describes the managed elements in the context of SDN and NFV. On the other hand, the highly dynamic networks enabled by the softwarisation require the generation at runtime of a diagnosis model from which the root causes can be identified. In this paper, we propose finer granular templates that do not only model network nodes but also their sub-components for a more detailed diagnosis suitable in the SDN and NFV context. In addition, we specify and validate a self-modeling based diagnosis using Bayesian Networks. This approach differs from the state of the art in the discovery of network and service dependencies at run-time and the building of the diagnosis model of any SDN infrastructure using our templates.


title: Kinematic formulas for area measures

abstract: We obtain a Principal Kinematic Formula and a Crofton Formula for surface area measures of convex bodies, both involving linear operators on the vector space of signed measures on the unit sphere $S^{d-1}$. These formulas are related to a localization of Hadwiger's Integral Geometric Theorem. The operators, mentioned above, will be shown to be compositions of spherical Fourier transforms originating in the work of Koldobsky. As an application of our Crofton Formula, we will find an extension of Koldobsky's orthogonality relation for such transforms from the case of even spherical functions to centered functions.


title: SCDM-k: Localized orbitals for solids via selected columns of the density matrix

abstract: The recently developed selected columns of the density matrix (SCDM) method [J. Chem. Theory Comput. 11, 1463, 2015] is a simple, robust, efficient and highly parallelizable method for constructing localized orbitals from a set of delocalized Kohn-Sham orbitals for insulators and semiconductors with $\Gamma$ point sampling of the Brillouin zone. In this work we generalize the SCDM method to Kohn-Sham density functional theory calculations with k-point sampling of the Brillouin zone, which is needed for more general electronic structure calculations for solids. We demonstrate that our new method, called SCDM-k, is by construction gauge independent and is a natural way to describe localized orbitals. SCDM-k computes localized orbitals without the use of an optimization procedure, and thus does not suffer from the possibility of being trapped in a local minimum. Furthermore, the computational complexity of using SCDM-k to construct orthogonal and localized orbitals scales as O(N log N ) where N is the total number of k-points in the Brillouin zone. SCDM-k is therefore efficient even when a large number of k-points are used for Brillouin zone sampling. We demonstrate the numerical performance of SCDM-k using systems with model potentials in two and three dimensions.


title: Radio source evolution

abstract: Baldwin (1982) wrote that \emph{the distribution of sources in the radio luminosity, $P$, overall physical size, $D$, diagram} could be considered as \emph{the radio astronomer's $H-R$ diagram}. However, unlike the case of stars, not only the intrinsic properties of the jets, but also those of the host galaxy and the intergalactic medium are relevant to explain the evolutionary tracks of radio radio sources. In this contribution I review the current status of our understanding of the evolution of radio sources from a theoretical and numerical perspective, using the $P-D$ diagram as a framework. An excess of compact (linear size $\leq 10$~kpc) sources could be explained by low-power jets being decelerated within the host galaxy, as shown by recent numerical simulations. Finally, I discuss the possible tracks that radio sources may follow within this diagram, and the physical processes that can explain the different tracks.


title: Chromospheric Polarization in the Photospheric Solar Oxygen Infrared Triplet

abstract: We present multilevel radiative transfer modeling of the scattering polarization observed in the solar O I infrared triplet around 777 nm. We demonstrate that the scattering polarization pattern observed on the solar disk forms in the chromosphere, far above the photospheric region where the bulk of the emergent intensity profiles originates. We study the sensitivity of the polarization pattern to the thermal structure of the solar atmosphere and to the presence of weak magnetic fields (0.01 - 100 G) through the Hanle effect, showing that the scattering polarization signals of the oxygen infrared triplet encode information on the magnetism of the solar chromosphere.


title: Quantum mechanical calculation of Rydberg-Rydberg autoionization rates

abstract: We present quantum mechanical calculations of Auger decay rates for two Rubidium Rydberg atoms with weakly overlapping electron clouds. We neglect exchange effects and consider tensor products of independent atom states forming an approximate basis of the two-electron state space. We consider large sets of two-atom states with randomly chosen quantum numbers and find that the charge overlap between the two Rydberg electrons allows one to characterise the magnitude of the Auger decay rates. If the electron clouds overlap by more than one percent, the Auger decay rates increase approximately exponentially with the charge overlap. This finding is independent of the energy of the initial state.


title: Simple operation sequences to couple and interchange quantum information between spin qubits of different kinds

abstract: Efficient operation sequences to couple and interchange quantum information between quantum dot spin qubits of different kinds are derived using exchange interactions. In the qubit encoding of a single-spin qubit, a singlet-triplet qubit, and an exchange-only (triple-dot) qubit, some of the single-qubit interactions remain on during the entangling operation; this greatly simplifies the operation sequences that construct entangling operations. In the ideal setup, the gate operations use the intra-qubit exchange interactions only once. The limitations of the entangling sequences are discussed, and it is shown how quantum information can be converted between different kinds of quantum dot spin qubits.


title: Well-posedness and exact controllability of the mass balance equations for an extrusion process

abstract: In this paper, we study the well-posedness and exact controllability of a physical model for a food extrusion process in the isothermal case. The model expresses the mass balance in the extruder chamber and consists of a hyperbolic Partial Differential Equation (PDE) and a nonlinear Ordinary Differential Equation (ODE) whose dynamics describes the evolution of a moving interface. By suitable change of coordinates and fixed point arguments, we prove the existence, uniqueness and regularity of the solution, and finally the exact controllability of the coupled system.