title: Time-dependent modeling of TeV-detected, young pulsar wind nebulae

abstract: The increasing sensitivity of instruments at X-ray and TeV energies have revealed a large number of nebulae associated with bright pulsars. Despite this large data set, the observed pulsar wind nebulae (PWNe) do not show a uniform behavior and the main parameters driving features like luminosity, magnetization, and others are still not fully understood. To evaluate the possible existence of common evolutive trends and to link the characteristics of the nebula emission with those of the powering pulsar, we selected a sub-set of 10 TeV detections which are likely ascribed to young PWNe and model the spectral energy distribution with a time-dependent description of the nebulae's electron population. In 9 of these cases, a detailed PWNe model, using up-to-date multiwavelength information, is presented. The best-fit parameters of these nebula are discussed, together with the pulsar characteristics. We conclude that TeV PWNe are particle-dominated objects with large multiplicities, in general far from magnetic equipartition, and that relatively large photon field enhancements are required to explain the high level of Comptonized photons observed. We do not find significant correlations between the efficiencies of emission at different frequencies and the magnetization. The injection parameters do not appear to be particularly correlated with the pulsar properties either. We find that a normalized comparison of the SEDs (e.g., with the corresponding spin-down flux) at the same age significantly reduces the spectral distributions dispersion.


title: Rateless-Coding-Assisted Multi-Packet Spreading over Mobile Networks

abstract: A novel Rateless-coding-assisted Multi-Packet Relaying (RMPR) protocol is proposed for large-size data spreading in mobile wireless networks. With this lightweight and robust protocol, the packet redundancy is reduced by a factor of $\sqrt n$, while the spreading time is reduced at least by a factor of $\ln (n)$. Closed-form bounds and explicit non-asymptotic results are presented, which are further validated through simulations. Besides, the packet duplication phenomenon in the network setting is analyzed for the first time.


title: Parametric Lattice Boltzmann Method

abstract: The discretized equilibrium distributions of the lattice Boltzmann method are presented by using the coefficients of the Lagrange interpolating polynomials that pass through the points related to discrete velocities and using moments of the Maxwell-Boltzmann distribution. The ranges of flow velocity and temperature providing positive valued distributions vary with regulating discrete velocities as parameters. New isothermal and thermal compressible models are proposed for flows of the level of the isothermal and thermal compressible Navier-Stokes equations. Thermal compressible shock tube flows are simulated by only five on-lattice discrete velocities. Two-dimensional isothermal and thermal vortices provoked by the Kelvin-Helmholtz instability are simulated by the parametric models.


title: Distributed Spectrum-Aware Clustering in Cognitive Radio Sensor Networks

abstract: A novel Distributed Spectrum-Aware Clustering (DSAC) scheme is proposed in the context of Cognitive Radio Sensor Networks (CRSN). DSAC aims at forming energy efficient clusters in a self-organized fashion while restricting interference to Primary User (PU) systems. The spectrum-aware clustered structure is presented where the communications consist of intra-cluster aggregation and inter-cluster relaying. In order to save communication power, the optimal number of clusters is derived and the idea of groupwise constrained clustering is introduced to minimize intra-cluster distance under spectrum-aware constraint. In terms of practical implementation, DSAC demonstrates preferable scalability and stability because of its low complexity and quick convergence under dynamic PU activity. Finally, simulation results are given to validate the proposed scheme.


title: Approximation of additive random fields based on standard information: average case and probabilistic settings

abstract: We consider approximation problems for tensor product and additive random fields based on standard information in the average case setting. We also study the probabilistic setting of the mentioned problem for tensor products. The main question we are concerned with in this paper is ``How much do we loose by considering standard information algorithms against those using general linear information?'' For both types of the fields, the error of linear algorithms has been studied in great detail. However, the power of standard information for them was not addressed so far, which we do here. Our main conclusion is that in most interesting cases there is no more than a logarithmic loss in approximation error when information is being restricted to the standard one. The results are obtained by randomization techniques.


title: A large lunar impact blast on September 11th 2013

abstract: On 2013 September 11 at 20h07m28.68 $\pm$ 0.01 s UTC, two telescopes operated in the framework of our lunar impact flashes monitoring project recorded an extraordinary flash produced by the impact on the Moon of a large meteoroid at selenographic coordinates 17.2 $\pm$ 0.2 $^{\circ}$ S, 20.5 $\pm$ 0.2 $^{\circ}$ W. The peak brightness of this flash reached 2.9 $\pm$ 0.2 mag in V and it lasted over 8 seconds. The estimated energy released during the impact of the meteoroid was 15.6 $\pm$ 2.5 tons of TNT under the assumption of a luminous efficiency of 0.002. This event, which is the longest and brightest confirmed impact flash recorded on the Moon thus far, is analyzed here. The likely origin of the impactor is discussed. Considerations in relation to the impact flux on Earth are also made.


title: An Acetate Bound Cobalt Oxide Catalyst for Water Oxidation: Role of Monovalent Anions and Cations In Lowering Overpotential

abstract: Co(II) dissolved in acetate buffer at pH 7 is found to be a good water oxidation catalyst (WOC) showing electrocatalytic water oxidation current significantly greater than Co(II) in phosphate buffer under the same conditions owing to the higher solubility of the former. When electrodeposited on ITO/FTO electrodes it forms acetate bound cobalt(II)oxide based material (Co-Ac-WOC) showing catalytic water oxidation current density of 0.1 mA/cm$^{2}$ at 830 mV and 1 mA/cm$^{2}$ at 1 V in a pH 7 buffer solution. The morphology of Co-Ac-OEC is investigated with AFM, HR-TEM and SEM (at different times and electrodeposition potentials). The chemical composition of Co-Ac-OEC is investigated using XPS, EDX, combustion analysis and ATR-FTIR which indicates that this material has a CoO core with chloride and acetate anions bound to the Co center. Sodium is found to be integrated in the Co-Ac-WOC. The presence of the sodium ions and the chloride ions lowers the onset potential for oxygen evolution reaction (OER) by 240 mV relative to the classic Co-Pi at pH 7. The lower onset potential and higher OER current lowers the exchange current density to 10$^{-6.7}$ in Co-Ac-WOC relative to 10$^{-8}$-10$^{-10}$ in Co-Pi and its derivatives.


title: Cache-Oblivious Persistence

abstract: Partial persistence is a general transformation that takes a data structure and allows queries to be executed on any past state of the structure. The cache-oblivious model is the leading model of a modern multi-level memory hierarchy.We present the first general transformation for making cache-oblivious model data structures partially persistent.


title: Residue Coulomb interaction among isobars and its influence in symmetry energy of neutron-rich fragment

abstract: The residue Coulomb interaction (RCI), which affects the results of symmetry energy of neutron-rich nucleus in isobaric yield ratio (IYR) methods, is difficult to be determined. Four RCI approximations are investigated: (1) the M1--RCI adopting the $a_{c}/T$ (the ratio of Coulomb energy coefficient to temperature) determined from the IYR of mirror-nuclei fragment; (2) the M2--RCI by fitting the difference between IYRs; (3) the M3--RCI by adopting the standard Coulomb energy at a temperature $T=2$MeV; and (4) neglecting the RCI among the three isobars. The M1--, M2-- and M3--RCI is found to no larger than 0.4. In particular, the M2--RCI is very close to zero. The effects of RCI in the $a_{sym}/T$ of fragment are also studied. The M1-- and M4--$a_{sym}/T$ are found to be the lower and upper limitations of $a_{sym}/T$, respectively. The M2--$a_{sym}/T$ overlaps the M4--$a_{sym}/T$, which indicates that the M2--RCI is negligible, at the same time the RCI among the three isobars can be neglected. A relative consistent low values of M3--$a_{sym}/T$ ($7.5\pm2.5$) are found in very neutron-rich isobars.


title: Rationality conditions for the eigenvalues of normal finite Cayley graphs

abstract: Given a finite group G, we say that a subset C of G is power-closed if, for every x in C and y in <x> with <x>=<y>, we have that y lies in C. In this paper we are interested in finite Cayley digraphs Cay(G,C) over G with connection set C, where C is a union of conjugacy classes of G. We show that each eigenvalue of Cay(G,C) is integral if and only if C is power-closed. This result will follow from a discussion of some more general rationality conditions on the eigenvalues of Cay(G,C).


title: Almost structural completeness; an algebraic approach

abstract: A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e. rules that can not be applied to theorems of the system. Neglecting passive rules leads to the notion of almost structural completeness, that means, derivablity of admissible non-passive rules. Almost structural completeness for quasivarieties and varieties of general algebras is investigated here by purely algebraic means. The results apply to all algebraizable deductive systems. Firstly, various characterizations of almost structurally complete quasivarieties are presented. Two of them are general: expressed with finitely presented algebras, and with subdirectly irreducible algebras. One is restricted to quasivarieties with finite model property and equationally definable principal relative congruences, where the condition is verifiable on finite subdirectly irreducible algebras. Secondly, examples of almost structurally complete varieties are provided Particular emphasis is put on varieties of closure algebras, that are known to constitute adequate semantics for normal extensions of S4 modal logic. A certain infinite family of such almost structurally complete, but not structurally complete, varieties is constructed. Every variety from this family has a finitely presented unifiable algebra which does not embed into any free algebra for this variety. Hence unification in it is not unitary. This shows that almost structural completeness is strictly weaker than projective unification for varieties of closure algebras.


title: Drell-Yan lepton pair production at LHC and TMD quark densities of the proton

abstract: We use the TMD quark densities of the proton to investigate unpolarized Drell-Yan lepton pair production in proton-proton collisions at the LHC energies. We investigate the case where the gluon-to-quark splitting occurs at the last evolution step and calculate the TMD sea quark density as a convolution of the CCFM-evolved gluon distribution and the TMD gluon-to-quark splitting function which contains all single logarithmic small-x corrections to the sea quark evolution for any order of perturbation theory. Based on the O(alpha) production amplitude of quark-antiquark annihilation calculated according to the reggeized quark approach, we analyze the distributions on the dilepton invariant mass, transverse momentum and rapidity as well as the specific angular correlations between the produced leptons as measured by the CMS, ATLAS and LHCb collaborations. We argue that these measurements impose stringent constraints on the TMD quark distributions of the proton.


title: Efficient Semidefinite Spectral Clustering via Lagrange Duality

abstract: We propose an efficient approach to semidefinite spectral clustering (SSC), which addresses the Frobenius normalization with the positive semidefinite (p.s.d.) constraint for spectral clustering. Compared with the original Frobenius norm approximation based algorithm, the proposed algorithm can more accurately find the closest doubly stochastic approximation to the affinity matrix by considering the p.s.d. constraint. In this paper, SSC is formulated as a semidefinite programming (SDP) problem. In order to solve the high computational complexity of SDP, we present a dual algorithm based on the Lagrange dual formalization. Two versions of the proposed algorithm are proffered: one with less memory usage and the other with faster convergence rate. The proposed algorithm has much lower time complexity than that of the standard interior-point based SDP solvers. Experimental results on both UCI data sets and real-world image data sets demonstrate that 1) compared with the state-of-the-art spectral clustering methods, the proposed algorithm achieves better clustering performance; and 2) our algorithm is much more efficient and can solve larger-scale SSC problems than those standard interior-point SDP solvers.


title: John Bell's varying interpretations of quantum mechanics

abstract: Various interpretations of quantum mechanics, favored (or neglected) by John Bell in the context of his non-locality theorem, are compared and discussed.


title: Lamplighter groups and von Neumann's continuous regular rings

abstract: Let $\Gamma$ be a discrete group. Following Linnell and Schick one can define a continuous ring $c(\Gamma)$ associated with $\Gamma$. They proved that if the Atiyah Conjecture holds for a torsion-free group $\Gamma$, then $c(\Gamma)$ is a skew field. Also, if $\Gamma$ has torsion and the Strong Atiyah Conjecture holds for $\Gamma$, then $c(\Gamma)$ is a matrix ring over a skew field. The simplest example when the Strong Atiyah Conjecture fails is the lamplighter group $\Gamma=Z_2\wr Z$. It is known that $C(Z_2\wr Z)$ does not even have a classical ring of quotients. Our main result is that if $H$ is amenable, then $c(Z_2\wr H)$ is isomorphic to a continuous ring constructed by John von Neumann in the $1930's$.


title: Handbook of Network Analysis [KONECT -- the Koblenz Network Collection]

abstract: This is the handbook for the KONECT project, the \emph{Koblenz Network Collection}, a scientific project to collect, analyse, and provide network datasets for researchers in all related fields of research, by the Namur Center for Complex Systems (naXys) at the University of Namur, Belgium, with web hosting provided by the Institute for Web Science and Technologies (WeST) at the University of Koblenz--Landau, Germany.


title: The NLO twist-3 contributions to $B \to \pi$ form factors in $k_{T}$ factorization

abstract: In this paper, we calculate the next-to-leading-order (NLO) twist-3 contribution to the form factors of $B \to \pi$ transitions by employing the $k_{T}$ factorization theorem. All the infrared divergences regulated by the logarithms $\ln(k_{iT}^{2})$ cancel between those from the quark diagrams and from the effective diagrams for the initial $B$ meson wave function and the final pion meson wave function. An infrared finite NLO hard kernel is therefore obtained, which confirms the application of the $k_{T}$ factorization theorem to $B$ meson semileptonic decays at twist-3 level. From our analytical and numerical evaluations, we find that the NLO twist-3 contributions to the form factors $f^{+,0}(q^2)$ of $B \to \pi$ transition are similar in size, but have an opposite sign with the NLO twist-2 contribution, which leads to a large cancelation between these two NLO parts. For the case of $f^+(0)$, for example, the $24\%$ NLO twist-2 enhancement to the full LO prediction is largely canceled by the negative ( about $-17\%$ ) NLO twist-3 contribution, leaving a small and stable $7\%$ enhancement to the full LO prediction in the whole range of $0\leq q^2\leq 12$ GeV$^2$. At the full NLO level, the perturbative QCD prediction is $F^{B \to \pi}(0)=0.269^{+0.054}_{-0.050}$. We also studied the possible effects on the pQCD predictions when different sets of the B meson and pion distribution amplitudes are used in the numerical evaluation.


title: A neutrino model fit to the CMB power spectrum

abstract: The standard cosmological model, LCDM, provides an excellent fit to Cosmic Microwave Background (CMB) data. However, the model has well known problems. For example, the cosmological constant, is fine-tuned to 1 part in 10^100 and the cold dark matter (CDM) particle is not yet detected in the laboratory. Shanks previously investigated a model which assumed neither exotic particles nor a cosmological constant but instead postulated a low Hubble constant (H_0) to allow a baryon density compatible with inflation and zero spatial curvature. However, recent Planck results make it more difficult to reconcile such a model with CMB power spectra. Here we relax the previous assumptions to assess the effects of assuming three active neutrinos of mass ~5eV. If we assume a low H_0~45kms^-1Mpc^-1 then, compared to the previous purely baryonic model, we find a significantly improved fit to the first 3 peaks of the Planck power spectrum. Nevertheless, the goodness-of-fit is still significantly worse than for LCDM and would require appeal to unknown systematic effects for the fit ever to be considered acceptable. A further serious problem is that the amplitude of fluctuations is low (sigma_8~0.2) making it difficult to form galaxies by the present day. This might then require seeds, perhaps from a primordial magnetic field, to be invoked for galaxy formation. These and other problems demonstrate the difficulties faced by models other than LCDM in fitting ever more precise cosmological data.


title: Distributed Compressed Wideband Sensing in Cognitive Radio Sensor Networks

abstract: A novel distributed compressed wideband sensing scheme for Cognitive Radio Sensor Networks (CRSN) is proposed in this paper. Taking advantage of the distributive nature of CRSN, the proposed scheme deploys only one single narrowband sampler with ultra-low sampling rate at each nodes to accomplish the wideband spectrum sensing. First, the practical structure of the compressed sampler at each node is described in detail. Second, we show how the Fusion Center (FC) exploits the sampled signals with their spectrum randomly-aliased to detect the global wideband spectrum activity. Finally, the proposed scheme is validated through extensive simulations, which shows that it is particularly suitable for CRSN.


title: Half the sum of positive roots, the Coxeter element, and a theorem of Kostant

abstract: Interchanging character and co-character groups of a torus $T$ over a field $k$ introduces a contravariant functor $T \rightarrow \widehat{T}$. Interpreting $\rho:T\rightarrow {\mathbb C}^\times$, half the sum of positive roots for $T$ a maximal torus in a simply connected semi-simple group $G$ (over ${\mathbb C}$) using this duality, we get a co-character $\widehat{\rho}: {\mathbb C}^\times \rightarrow \widehat{T}$ whose value at $e^{\frac{2 \pi i}{h}}$ ($h$ the Coxeter number) is the Coxeter conjugacy class of the dual group $\widehat{G}$. This point of view gives a rather transparent proof of a theorem of Kostant on the character values of irreducible finite dimensional representations of $G$ at the Coxeter element: the proof amounting to the fact that in $\widehat{G}_{sc}$, the simply connected cover of $\widehat{G}$, there is a unique regular conjugacy class whose image in $\widehat{G}$ has order $h$ (which is the Coxeter conjugacy class).


title: A character relationship on $GL_n$

abstract: In this paper we consider the character of a finite dimensional algebraic representation of $GL_{mn}({\mathbb C})$ restricted to a particular disconnected component of the normalizer of the Levi subgroup $GL_m({\mathbb C})^n$ of $GL_{mn}(\mathbb C)$, generalizing a theorem of Kostant on the character values at the Coxeter element.


title: Characters of Feigin-Stoyanovsky subspaces and Brion's theorem

abstract: We give an alternative proof of the main result of the paper http://arxiv.org/abs/math/0112104, the proof relies on Brion's theorem about convex polyhedra. The result itself can be viewed as a formula for the character of the Feigin-Stoyanovsky subspace of an integrable irreducible representation of the affine Lie algebra $\widehat{\mathfrak{sl}_n}(\mathbb{C})$. Our approach is to assign integer points of a certain polytope to the vectors comprising a monomial basis of the subspace and then compute the character via (a variation of) Brion's theorem.


title: Intrabinary Shock Emission from Black Widows and Redbacks

abstract: Eclipsing millisecond pulsars in close ($P_b < 1$~day) binary systems provide a different view of pulsar winds and shocks than do isolated pulsars. Since 2009, the numbers of these systems known in the Galactic field has increased enormously. We have been systematically studying many of these newly discovered systems at multiple wavelengths. Typically, the companion is nearly Roche-lobe filling and heated by the pulsar which drives mass loss from the companion. The pulsar wind shocks with this material just above the surface of the companion. We discuss various observational properties of this shock, including radio eclipses, orbitally modulated X-ray emission, and the potential for $\gamma$-ray emission. Redbacks, whose companions are likely non-degenerate and significantly more massive, generally have more luminous shocks than black widows which have very low mass companions. This is expected since the more massive redback companions intercept a greater fraction of the pulsar wind. We also compare these systems to accreting millisecond pulsars, which may be progenitors of black widows and in some cases can pass back and forth between redback and accretion phases.


title: BABYSCAN - a whole body counter for small children in Fukushima

abstract: BABYSCAN, a whole body counter for small children with a detection limit for $^{137}$Cs of better than 50 Bq/body, was developed, and the first unit has been installed at a hospital in Fukushima, to help families with small children who are very much concerned about internal exposures. The design principles, implementation details and the initial operating experience are described.


title: On the Cox ring of blowing up the diagonal

abstract: We compute the Cox rings of the blow-ups $\mathrm{Bl}_\Delta(X'\times X')$ and $\mathrm{Bl}_\Delta(\mathbb P_1^n)$ where $X'$ is a product of projective spaces and $\Delta$ is the (generalised) diagonal.


title: Sur une propriet\'e des polyn\^omes de Stirling

abstract: In this article, we give a positive answer to a question posed in 1960 by D.S. Mitrinovi\'{c} and R.S. Mitrinovi\'{c} (see: D.S. Mitrinovi\'{c} et R.S. Mitrinovi\'{c}, Tableaux qui fournissent des polyn\^{o}mes de Stirling, Publications de la Facult\'{e} d'Electronique, s\'{e}rie: Math\'{e}matiques et physique, 34, (1960).1-23.) concerned the Stirling numbers of the first kind $s(n,k).$ We prove that for all $k\geq 2$ there exist an integer $m_{k}$ and a primitive polynomial $P_{k}(x)$ in $\mathbb{Z}[x]$ such that for all $n\geq k$, $s(n,n-k)=\frac{1}{m_{k}}\binom{n}{k+1}\left(n(n-1)\right) ^{\mathop{\rm mod}\nolimits (k,2)}P_{k}(n)$. Moreover for all $k\geq1$, $P_{2k}(0)=P_{2k+1}(0)$.


title: A Generalized Robust Filtering Framework for Nonlinear Differential-Algebraic Systems

abstract: A generalized dynamical robust nonlinear filtering framework is established for a class of Lipschitz differential algebraic systems, in which the nonlinearities appear both in the state and measured output equations. The system is assumed to be affected by norm-bounded disturbance and to have both norm-bounded uncertainties in the realization matrices as well as nonlinear model uncertainties. We synthesize a robust H_infty filter through semidefinite programming and strict linear matrix inequalities (LMIs). The admissible Lipschitz constants of the nonlinear functions are maximized through LMI optimization. The resulting H_infty filter guarantees asymptotic stability of the estimation error dynamics with prespecified disturbance attenuation level and is robust against time-varying parametric uncertainties as well as Lipschitz nonlinear additive uncertainty. Explicit bound on the tolerable nonlinear uncertainty is derived based on a norm-wise robustness analysis.


title: Grassmannian representation of the two-dimensional monomer-dimer model

abstract: We present an application of the Grassmann algebra to the problem of the monomer-dimer statistics on a two-dimensional square lattice. The exact partition function, or total number of possible configurations, of a system of dimers with a finite set of n monomers with fixed positions can be expressed via a quadratic fermionic theory. We give an answer in terms of a product of two pfaffians and the solution is closely related to the Kasteleyn result of the pure dimer problem. Correlation functions are in agreement with previous results, both for monomers on the boundary, where a simple exact expression is available in the discrete and continuous case, and in the bulk where the expression is evaluated numerically.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP


title: Derandomization in Game-theoretic Probability

abstract: We give a general method for constructing a deterministic strategy of Reality from a randomized strategy in game-theoretic probability. The construction can be seen as derandomization in game-theoretic probability.


title: Hawking Radiation of Grumiller Black Hole

abstract: In this paper, we consider the relativistic Hamilton-Jacobi (HJ) equation and study the Hawking radiation (HR) of scalar particles from uncharged Grumiller black hole (GBH) which is affordable for testing in astrophysics. GBH is also known as Rindler modified Schwarzschild BH. Our aim is not only to investigate the effect of the Rindler parameter a on the Hawking temperature ($T_{H}$), but to examine whether there is any discrepancy between the computed horizon temperature and the standard $T_{H}$ as well. For this purpose, in addition to its naive coordinate system, we study on the three regular coordinate systems which are Painleve-Gullstrand (PG), ingoing Eddington-Finkelstein (IEF) and Kruskal-Szekeres (KS) coordinates. In all coordinate systems, we calculate the tunneling probabilities of incoming and outgoing scalar particles from the event horizon by using the HJ equation. It has been shown in detail that the considered HJ method is concluded with the conventional $T_{H}$ in all these coordinate systems without giving rise to the famous factor-2 problem. Furthermore, in the PG coordinates Parikh-Wilczek's tunneling (PWT) method is employed in order to show how one can integrate the quantum gravity (QG) corrections to the semiclassical tunneling rate by including the effects of self-gravitation and back reaction. We then show how these corrections yield a modification in the $T_{H}$.


title: Impulsive rotational Raman scattering of N2 by a remote "air laser" in femtosecond laser filament

abstract: We report on experimental realization of impulsive rotational Raman scattering from neutral nitrogen molecules in a femtosecond laser filament using an intense self-induced white-light seeding "air laser" generated during the filamentation of an 800 nm Ti: Sapphire laser in nitrogen gas. The impulsive rotational Raman fingerprint signals are observed with a maximum conversion efficiency of ~0.8%. Our observation provides a promising way of remote identification and location of chemical species in atmosphere by rotational Raman scattering of molecules.


title: Minimizing Seed Set Selection with Probabilistic Coverage Guarantee in a Social Network

abstract: A topic propagating in a social network reaches its tipping point if the number of users discussing it in the network exceeds a critical threshold such that a wide cascade on the topic is likely to occur. In this paper, we consider the task of selecting initial seed users of a topic with minimum size so that with a guaranteed probability the number of users discussing the topic would reach a given threshold. We formulate the task as an optimization problem called seed minimization with probabilistic coverage guarantee (SM-PCG). This problem departs from the previous studies on social influence maximization or seed minimization because it considers influence coverage with probabilistic guarantees instead of guarantees on expected influence coverage. We show that the problem is not submodular, and thus is harder than previously studied problems based on submodular function optimization. We provide an approximation algorithm and show that it approximates the optimal solution with both a multiplicative ratio and an additive error. The multiplicative ratio is tight while the additive error would be small if influence coverage distributions of certain seed sets are well concentrated. For one-way bipartite graphs we analytically prove the concentration condition and obtain an approximation algorithm with an $O(\log n)$ multiplicative ratio and an $O(\sqrt{n})$ additive error, where $n$ is the total number of nodes in the social graph. Moreover, we empirically verify the concentration condition in real-world networks and experimentally demonstrate the effectiveness of our proposed algorithm comparing to commonly adopted benchmark algorithms.


title: Medial/skeletal linking structures for multi-region configurations

abstract: We consider a generic configuration of regions, consisting of a collection of distinct compact regions $\{\Omega_i\}$ in $\mathbb{R}^{n+1}$ which may be either smooth regions disjoint from the others or regions which meet on their piecewise smooth boundaries $\mathcal{B}_i$ in a generic way. We introduce a skeletal linking structure for the collection of regions which simultaneously captures the regions' individual shapes and geometric properties as well as the "positional geometry" of the collection. The linking structure extends in a minimal way the individual "skeletal structures" on each of the regions, allowing us to significantly extend the mathematical methods introduced for single regions to the configuration. We prove for a generic configuration of regions the existence of a special type of Blum linking structure which builds upon the Blum medial axes of the individual regions. This requires proving several transversality theorems for certain associated "multi-distance" and "height-distance" functions for such configurations. We show that by relaxing the conditions on the Blum linking structures we obtain the more general class of skeletal linking structures which still capture the geometric properties. In addition to yielding geometric invariants which capture the shapes and geometry of individual regions, the linking structures are used to define invariants which measure positional properties of the configuration such as: measures of relative closeness of neighboring regions and relative significance of the individual regions for the configuration. These invariants, which are computed by formulas involving "skeletal linking integrals" on the internal skeletal structures, are then used to construct a "tiered linking graph," which identifies subconfigurations and provides a hierarchical ordering of the regions.


title: The Semi-Classical Limit of an Optimal Design Problem for the Stationary Quantum Drift-Diffusion Model

abstract: We consider an optimal semiconductor design problem for the quantum drift diffusion (QDD) model in the semiclassical limit. The design question is formulated as a PDE constrained optimal control problem, where the doping profile acts as control variable. The existence of minimizers for any scaled Planck constant allows for the investigation of the corresponding sequence. Using the concepts of Gamma-convergence and equi-coercivity we can show the convergence of minima and minimizers. Due to the lack of uniqueness for the state system and optimization problem, it was necessary to establish a new result for the QDD model ensuring the existence of a sequence of quantum solutions converging to an isolated classical solution. As a by-product, we obtain new insights into the regularizing property of the quantum Bohm potential. Finally, we present the numerical optimization of a MESFET device underlining our analytical results.


title: On the Effects of Bohm's Potential on a Stationary Macroscopic System of Self-Interacting Particles

abstract: We consider a macroscopic model describing a system of self-gravitating particles. We study the existence and uniqueness of non-negative stationary solutions and allude the differences to results obtained from classical gravitational models. The problem is considered on a bounded domain up to three space dimension, subject to Neumann boundary condition for the particle density, and Dirichlet boundary condition for the self-interacting potential. Finally, we show numerical simulations that affirm our findings.


title: Motivic decomposition of compactifications of certain group varieties

abstract: Let D be a central simple algebra of prime degree over a field and let E be an SL_1(D)-torsor. We determine the complete motivic decomposition of certain compactifications of E. We also compute the Chow ring of E.


title: Parallel Selective Algorithms for Big Data Optimization

abstract: We propose a decomposition framework for the parallel optimization of the sum of a differentiable (possibly nonconvex) function and a (block) separable nonsmooth, convex one. The latter term is usually employed to enforce structure in the solution, typically sparsity. Our framework is very flexible and includes both fully parallel Jacobi schemes and Gauss- Seidel (i.e., sequential) ones, as well as virtually all possibilities "in between" with only a subset of variables updated at each iteration. Our theoretical convergence results improve on existing ones, and numerical results on LASSO, logistic regression, and some nonconvex quadratic problems show that the new method consistently outperforms existing algorithms.


title: Simulations of the COMET veto counter

abstract: A computer model of a scintillator strip veto counter was built in order to verify the efficiency of the cosmic muon veto for the COMET experiment. To tune the model, experimentally measured data were utilized. Three different geometrical configuration of the counter were considered. For one of the configurations the simulation gave the inefficiency of the cosmic muon registration being below 0.0001, which meets requirements of the experiment.


title: The Linear Bound for Haar Multiplier Paraproducts

abstract: We study the natural resolution of the conjugated Haar multiplier $M_{w^{\frac{1}{2}}}T_{\sigma}M_{w^{-\frac{1}{2}}},$ where the multiplication operators $M_{w^{\pm\frac{1}{2}}}$ are decomposed into their canonical paraproduct decompositions. We prove that each constituent operator obtained from this resolution has a linear bound on $L^2(\mathbb{R}^d;w)$ in terms of the $A_{2}$ characteristic of $w$. The main tools used are a product formula for Haar coefficients, the Carleson Embedding Theorem, the linear bound for the square function, and the well-known linear bound of $T_{\sigma}$ on $L^2(\mathbb{R}^d,w).$


title: The Melbourne Shuffle: Improving Oblivious Storage in the Cloud

abstract: We present a simple, efficient, and secure data-oblivious randomized shuffle algorithm. This is the first secure data-oblivious shuffle that is not based on sorting. Our method can be used to improve previous oblivious storage solutions for network-based outsourcing of data.


title: A parametrization of two-dimensional turbulence based on a maximum entropy production principle with a local conservation of energy

abstract: In the context of two-dimensional (2D) turbulence, we apply the maximum entropy production principle (MEPP) by enforcing a local conservation of energy. This leads to an equation for the vorticity distribution that conserves all the Casimirs, the energy, and that increases monotonically the mixing entropy ($H$-theorem). Furthermore, the equation for the coarse-grained vorticity dissipates monotonically all the generalized enstrophies. These equations may provide a parametrization of 2D turbulence. They do not generally relax towards the maximum entropy state. The vorticity current vanishes for any steady state of the 2D Euler equation. Interestingly, the equation for the coarse-grained vorticity obtained from the MEPP turns out to coincide, after some algebraic manipulations, with the one obtained with the anticipated vorticity method. This shows a connection between these two approaches when the conservation of energy is treated locally. Furthermore, the newly derived equation, which incorporates a diffusion term and a drift term, has a nice physical interpretation in terms of a selective decay principle. This gives a new light to both the MEPP and the anticipated vorticity method.


title: Effects of the environment on galaxies in the Catalogue of Isolated Galaxies: physical satellites and large scale structure

abstract: We aim to identify and quantify the effects of the satellite distribution around a sample of galaxies in the Catalogue of Isolated Galaxies (CIG), as well as the effects of the Large Scale Structure (LSS) using the SDSS-DR9. To recover the physically bound galaxies we focus on the satellites which are within the escape speed of each CIG galaxy. We also propose a more conservative method using the stacked Gaussian distribution of the velocity difference of the neighbours. The tidal strengths affecting the primary galaxy are estimated to quantify the effects of the local and LSS environments. We also define the projected number density parameter at the 5$^{\rm th}$ nearest neighbour to characterise the LSS around the CIG galaxies. Out of the 386 CIG galaxies considered in this study, at least 340 (88\% of the sample) have no physically linked satellite. Out of the 386 CIG galaxies, 327 (85\% of the sample) have no physical companion within a projected distance of 0.3 Mpc. The CIG galaxies are distributed following the LSS of the local Universe, although presenting a large heterogeneity in their degree of connection with it. A clear segregation appears between early-type CIG galaxies with companions and isolated late-type CIG galaxies. Isolated galaxies are in general bluer, with likely younger stellar populations and rather high star formation with respect to older, redder CIG galaxies with companions. Reciprocally, the satellites are redder and with an older stellar populations around massive early-type CIG galaxies, while they have a younger stellar content around massive late-type CIG galaxies. This suggests that the CIG is composed of a heterogeneous population of galaxies, sampling from old to more recent, dynamical systems of galaxies.


title: The simplest geometrization of Maxwell's equations

abstract: For research in the field of transformation optics and for the calculation of optically inhomogeneous lenses the method of geometrization of the Maxwell equations seems to be perspective. The basic idea is to transform the coefficients of material equations, namely the dielectric permittivity and magnetic permeability in the effective geometry of space-time (besides the vacuum Maxwell equations). This allows us to solve the direct and inverse problems, that is, to find the permittivity and magnetic permeability for a given effective geometry (paths of rays), as well as finding an effective geometry on the dielectric permittivity and magnetic permeability. The most popular naive geometrization was proposed by J. Plebanski. Under certain limitations it is quite good for solving relevant problems. It should be noted that in his paper only the resulting formulas and exclusively for Cartesian coordinate systems are given. In our work we conducted a detailed derivation of formulas for the naive geometrization of Maxwell's equations, and these formulas are written for an arbitrary curvilinear coordinate system. This work is a step toward building a complete covariant geometrization of the macroscopic Maxwell's equations.


title: The diffuse radio emission around NGC 5580 and NGC 5588

abstract: The galaxy pair NGC 5580 and NGC 5588 are part of a loose group of galaxies. They are surrounded by steep-spectrum, extended radio emission which was previously suggested to be a down-scaled example of Mpc-size radio haloes present in galaxies clusters. We present a multi-frequency study of the radio-emission aimed to clarify its nature. The source has been observed with the Giant Meterwave Radio Telescope at 235, 325 and 610 MHz and the images obtained were combined with archival data to cover the frequency range 150-1400 MHz. The new observations revealed the presence of a second, fainter lobe on the South-East of NGC 5580. The spectral index study of the source shows a flattening of the spectrum (which implies a younger particle population) close to the two galaxies. We argue that the extended radio emission is the remnant of a past activity cycle of the active galactic nucleus present in NGC 5580 and therefore a notable example of a dying radio galaxy located outside a dense environments.


title: Global solutions of a free boundary problem via mass transport inequalities

abstract: We study a free boundary problem which arises as the continuum version of a stochastic particles system in the context of Fourier law. Local existence and uniqueness of the classical solution are well known in the literature of free boundary problems. We introduce the notion of generalized solutions (which extends that of classical solutions when the latter exist) and prove global existence and uniqueness of generalized solutions for a large class of initial data. The proof is obtained by characterizing a generalized solution as the unique element which separates suitably defined lower and upper barriers in the sense of mass transport inequalities.

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


title: Field-cycle-resolved photoionization in solids

abstract: The Keldysh theory of photoionization in a solid dielectric is generalized to the case of arbitrarily short driving pulses of arbitrary pulse shape. We derive a closed-form solution for the nonadiabatic ionization rate in a transparent solid with a periodic dispersion relation, which reveals ultrafast ionization dynamics within the field cycle and recovers the key results of the Keldysh theory in the appropriate limiting regimes.


title: Points de hauteur born\'ee sur les hypersurfaces de l'espace triprojectif

abstract: We establish an asymptotic formula for the number of points of bounded height on a singular hypersurface of the triprojective space. We will see that the final result is in accordance with Batyrev-Manin conjecture. The method used is a version of the circle method developped by Heath Brown and used by Robbiani for counting points of bounded height on an hypersurface of biprojective space. ----- Nous \'etablissons ici une formule asymptotique pour le nombre de points de hauteur born\'ee sur une hypersurface singuli\`ere de l'espace triprojectif. Nous verrons que le r\'esultat obtenu est en accord avec la conjecture de Batyrev-Manin. La m\'ethode utilis\'ee est une version de la m\'ethode du cercle d\'evelopp\'ee par Heath-Brown et reprise par Robbiani pour \'evaluer le nombre de points rationnels sur une hypersurface de l'espace biprojectif.


title: Stabilization of unstable periodic orbits in dc drives

abstract: Electric drive using dc shunt motor or permanent magnet dc (PMDC) motor as prime mover exhibits bifurcation and chaos. The characteristics of dc shunt and PMDC motors are linear in nature. These motors are controlled by pulse width modulation (PWM) technique with the help of semiconductor switches. These switches are nonlinear element that introduces nonlinear characteristics in the drive. Any nonlinear system can exhibit bifurcation and chaos. dc shunt or PMDC drives show normal behavior with certain range of parameter values. It is also observed that these drive show chaos for significantly large ranges of parameter values. In this paper we present a method for controlling chaos applicable to dc shunt and PMDC drives. The results of numerical investigation are presented.


title: Degeneracy and finiteness theorems for meromorphic mappings in several complex variables

abstract: In this article, we prove that there are at most two meromorphic mappings of $\mathbb C^m$ into $\mathbb P^n(\mathbb C)\ (n\geqslant 2)$ sharing $2n+2$ hyperplanes in general position regardless of multiplicity, where all zeros with multiplicities more than certain values do not need to be counted. We also show that if three meromorphic mappings $f^1,f^2,f^3$ of $\mathbb C^m$ into $\mathbb P^n(\mathbb C)\ (n\geqslant 5)$ share $2n+1$ hyperplanes in general position with truncated multiplicity then the map $f^1\times f^2\times f^3$ is linearly degenerate.


title: Estimation Error of Expected Shortfall

abstract: The problem of estimation error of Expected Shortfall is analyzed, with a view of its introduction as a global regulatory risk measure.


title: Thermal Anharmonic Effects in PbTe from First Principles

abstract: We investigate the harmonic and anharmonic contributions to the phonon spectrum of lead telluride, and perform a complete characterization of how the anharmonic effects dominate the phonons in PbTe as temperature increases. This effect is the strongest factor in the favorable thermoelectric properties of PbTe: an optical-acoustic phonon band crossing reduces the speed of sound and the intrinsic thermal conductivity. We present the detailed temperature dependence of the dispersion relation and compare our calculated neutron scattering cross section with recent experimental measurements. We analyze the thermal resistivity's variation with temperature and clarify misconceptions about existing experimental literature. This quantitative prediction opens the way to phonon phase space engineering, to tailor the lifetimes of crucial heat carrying phonons.


title: $SL_2(\mathbb{Z})$-tilings of the torus, Coxeter-Conway friezes and Farey triangulations

abstract: The notion of $SL_2$-tiling is a generalization of that of classical Coxeter-Conway frieze pattern. We classify doubly antiperiodic $SL_2$-tilings that contain a rectangular domain of positive integers. Every such $SL_2$-tiling corresponds to a pair of frieze patterns and a unimodular $2\times2$-matrix with positive integer coefficients. We relate this notion to triangulated $n$-gons in the Farey graph.


title: On Self-adjoint extensions and symmetries in Quantum Mechanics

abstract: Given a unitary representation of a Lie group $G$ on a Hilbert space $\mathcal{H}$, we develop the theory of $G$-invariant self-adjoint extensions of symmetric operators both using von Neumann's theorem and the theory of quadratic forms. We also analyze the relation between the reduction theory of the unitary representation and the reduction of the $G$-invariant unbounded operator. We also prove a $G$-invariant version of the representation theorem for quadratic forms. The previous results are applied to the study of $G$-invariant self-adjoint extensions of the Laplace-Beltrami operator on a smooth Riemannian manifold with boundary on which the group $G$ acts. These extensions are labeled by admissible unitaries $U$ acting on the $L^2$-space at the boundary and having spectral gap at $-1$. It is shown that if the unitary representation $V$ of the symmetry group $G$ is traceable, then the self-adjoint extension of the Laplace-Beltrami operator determined by $U$ is $G$-invariant if $U$ and $V$ commute at the boundary. Various significant examples are discussed at the end.


title: Variation of Loewner chains, extreme and support points in the class $S^0$ in higher dimensions

abstract: We introduce a family of natural normalized Loewner chains in the unit ball, which we call "ger\"aumig"---spacious---which allow to construct, by means of suitable variations, other normalized Loewner chains which coincide with the given ones from a certain time on. We apply our construction to the study of support points, extreme points and time-$\log M$-reachable functions in the class $S^0$ of mappings admitting parametric representation.


title: Ergodic properties of subcritical multitype Galton-Watson processes

abstract: We show the existance of the stationary distributions of subcritical multitype Galton-Watson processes without any conditions on the mean matrix of the offspring distributions. Some additional properties of the stationary distribution are also proven.


title: Vectorial atomic magnetometer based on coherent transients of laser absorption in Rb vapor

abstract: We have designed and tested an atomic vectorial magnetometer based on the analysis of the coherent oscillatory transients in the transmission of resonant laser light through a Rb vapor cell. We show that the oscillation amplitudes at the Larmor frequency and its first harmonic are related through a simple formula to the angles determining the orientation of the magnetic field vector. The magnetometer was successfully applied to the measurement of the ambient magnetic field.


title: Double coset problem for parabolic subgroups of braid groups

abstract: We provide the first solution to the double coset problem (DCP) for a large class of natural subgroups of braid groups, namely for all parabolic subgroups which have a connected associated Coxeter graph. Update: We succeeded to solve the DCP for all parabolic subgroups of braid groups.


title: GRB 130603B: No Compelling Evidence For Neutron Star Merger

abstract: Near infrared (NIR) flare/rebrightening in the afterglow of the short hard gamma ray burst (SHB) 130603B measured with the Hubble Space Telescope (HST) and an alleged late-time X-ray excess were interpreted as possible evidence of a neutron-star merger origin of this SHB. However, the X-ray afterglow that was measured with the Swift-XRT and Newton XMM have the canonical behaviour of a synchrotron afterglow produced by a highly relativistic jet. The H-band flux observed with HST 9.41 days after burst is that expected from the measured late-time X-ray afterglow. A late-time flare/re-brightening of a NIR-Optical afterglow of SHB can be produced by jet collision with an interstellar density bump, or by a kilonova, but jet plus kilonova can be produced also by the collapse of compact stars (neutron star, strange star, or quark star) to a more compact object due to cooling, loss of angular momentum, or mass accretion.


title: LDA+DMFT Approach to Magnetocrystalline Anisotropy of Strong Magnets

abstract: The new challenges posed by the need of finding strong rare-earth free magnets demand methods that can predict magnetization and magnetocrystalline anisotropy energy (MAE). We argue that correlated electron effects, which are normally underestimated in band structure calculations, play a crucial role in the development of the orbital component of the magnetic moments. Because magnetic anisotropy arises from this orbital component, the ability to include correlation effects has profound consequences on our predictive power of the MAE of strong magnets. Here we show that incorporating the local effects of electronic correlations with dynamical mean-field theory provides reliable estimates of the orbital moment, the mass enhancement and the MAE of YCo5.


title: The finite Fourier transform of classical polynomials

abstract: The finite Fourier transform of a family of orthogonal polynomials $A_{n}(x)$, is the usual transform of the polynomial extended by $0$ outside their natural domain. Explicit expressions are given for the Legendre, Jacobi, Gegenbauer and Chebyshev families.


title: Study of Dust and Ionized gas in Early-type Galaxies

abstract: We present results of optical broad-band and narrow-band Halpha observations of a sample of forty nearby early-type galaxies. The majority of sample galaxies are known to have dust in various forms viz. dust lanes, nuclear dust and patchy/filamentary dust. A detailed study of dust was performed for 12 galaxies with prominent dust features. The extinction curves for these galaxies run parallel to the Galactic extinction curve, implying that the properties of dust in these galaxies are similar to those of the Milky-Way. The ratio of total to selective extinction (Rv) varies between 2.1 and 3.8, with an average of 2.9 +/- 0.2, fairly close to its canonical value of 3.1 for our Galaxy. The average relative grain size <a>/a_Gal of dust particles in these galaxies turns out to be 1.01 +/- 0.2, while dust mass estimated using optical extinction lies in the range 10^2 to 10^4 M(sun) . The Halpha emission was detected in 23 out of 29 galaxies imaged through narrow- band filters with the Halpha luminosities in the range 10^38 - 10^41 erg s^-1. The mass of the ionized gas is in the range 10^3-10^5 M(sun). The morphology and extent of ionized gas is found similar to those of dust, indicating possible coexistence of dust and ionized gas in these galaxies. The absence of any apparent correlation between blue luminosity and normalized IRAS dust mass is suggestive of merger related origin of dust and gas in these galaxies.


title: Ferromagnetism and Spin-dependent Transport in n-type Mn-Bi2Te3 Thin Films

abstract: We describe a detailed study of the structural, magnetic, and magneto-transport properties of single-crystal, n-type, Mn-doped Bi2Te3 thin films grown by molecular beam epitaxy. With increasing Mn concentration, the crystal structure changes from the tetradymite structure of the Bi2Te3 parent crystal at low Mn concentrations towards a BiTe phase in the (Bi2Te3)m(Bi2)n homologous series. Magnetization measurements reveal the onset of ferromagnetism with a Curie temperature in the range 13.8 K - 17 K in films with 2 % - 10 % Mn concentration. Magnetization hysteresis loops reveal that the magnetic easy axis is along the c-axis of the crystal (perpendicular to the plane). Polarized neutron reflectivity measurements of a 68 nm-thick sample show that the magnetization is uniform through the film. The presence of ferromagnetism is also manifest in a strong anomalous Hall effect and a hysteretic magnetoresistance arising from domain wall scattering. Ordinary Hall effect measurements show that the carrier density is n-type, increases with Mn doping, and is high enough (> 2.8 x 10^{13} cm^{-2}) to place the chemical potential in the conduction band. Thus, the observed ferromagnetism is likely associated with both bulk and surface states. Surprisingly, the Curie temperature does not show any clear dependence on the carrier density but does increase with Mn concentration. Our results suggest that the ferromagnetism probed in these Mn-doped Bi2Te3 films is not mediated by carriers in the conduction band or in an impurity band.


title: On (Multi)-Collision Times

abstract: A detailed study of the waiting times for the first (multi)-collision in a drawing process.


title: Nonlinear waves in second order conformal hydrodynamics

abstract: In this work we study wave propagation in dissipative relativistic fluids described by a simplified set of the 2nd order viscous conformal hydrodynamic equations. Small amplitude waves are studied within the linearization approximation while waves with large amplitude are investigated using the reductive perturbation method. Our results indicate the presence of a "soliton-like" wave solution in 2nd order conformal hydrodynamics despite the presence of dissipation and relaxation effects.


title: Linkages in Large Graphs of Bounded Tree-Width

abstract: We show that all sufficiently large (2k+3)-connected graphs of bounded tree-width are k-linked. Thomassen has conjectured that all sufficiently large (2k+2)-connected graphs are k-linked.


title: Contact points and Schatten composition operators

abstract: We study composition operators on Hardy and Dirichlet spaces belonging to Schatten classes. We give some new examples and analyse the size of contact set of the symbol of such operators.


title: Five interpretations of Fa\`a di Bruno's formula

abstract: In these lectures we present five interpretations of the Fa' di Bruno formula which computes the n-th derivative of the composition of two functions of one variable: in terms of groups, Lie algebras and Hopf algebras, in combinatorics and within operads.


title: Criteria for Invariance of Convex Bodies for Linear Parabolic Systems

abstract: We consider systems of linear partial differential equations, which contain only second and first derivatives in the $x$ variables and which are uniformly parabolic in the sense of Petrovski\v{\i} in the layer ${\mathbb R}^n\times [0,T]$. For such systems we obtain necessary and, separately, sufficient conditions for invariance of a convex body. These necessary and sufficient conditions coincide if the coefficients of the system do not depend on $t$. The above mentioned criterion is formulated as an algebraic condition describing a relation between the geometry of the invariant convex body and coefficients of the system. The criterion is concretized for certain classes of invariant convex sets: polyhedral angles, cylindrical and conical bodies.


title: Quantum Product of Symmetric Functions

abstract: We provide an explicit description of the quantum product of multi-symmetric functions using the elementary multi-symmetric functions introduced by Vaccarino.


title: The flat closing problem for buildings

abstract: Using the notion of a strongly regular hyperbolic automorphism of a locally finite Euclidean building, we prove that any (not necessarily discrete) closed, co-compact subgroup of the type-preserving automorphisms group of a locally finite general non-spherical building contains a compact-by-Z^d subgroup, where d is the dimension of a maximal flat.


title: A new Fourier transform

abstract: In order to define a geometric Fourier transform, one usually works with either $\ell$-adic sheaves in characteristic $p>0$ or with $D$-modules in characteristic 0. If one considers $\ell$-adic sheaves on the stack quotient of a vector bundle $V$ by the homothety action of $\mathbb{G}_m$, however, Laumon provides a uniform geometric construction of the Fourier transform in any characteristic. The category of sheaves on $[V/\mathbb{G}_m]$ is closely related to the category of (unipotently) monodromic sheaves on $V$. In this article, we introduce a new functor, which is defined on all sheaves on $V$ in any characteristic, and we show that it restricts to an equivalence on monodromic sheaves. We also discuss the relation between this new functor and Laumon's homogeneous transform, the Fourier-Deligne transform, and the usual Fourier transform on $D$-modules (when the latter are defined).


title: The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)

abstract: This is the text of my talk at CMU on Feb. 4, 2010 were I gave the second public presentation of the Univalence Axiom (called "equivalence axiom" in the text). The first presentation of the axiom was in a lecture at LMU Munich in November 2009.


title: When Agile Is Not Good Enough: an initial attempt at understanding how to make the right decision

abstract: Particularly over the last ten years, Agile has attracted not only the praises of a broad range of enthusiast software developers, but also the criticism of others. Either way, adoption or rejection of Agile seems sometimes to be based more on a questionable understanding than on a critical, well-informed decision making process. In this paper, the dual nature of the above criticism is discussed, and the arguments against Agile have been classified within a critical taxonomy of risk factors. A decisional model and tool based on such taxonomy are consequently proposed for supporting software engineers and other stakeholders in the decision-making about whether or not to use Agile. The tool, which is freely available online, comes with a set of guidelines: its purpose is to facilitate the community of software developers to contribute to further assessing the potential and the criticalities of Agile Methods.


title: Modelling with measures: Approximation of a mass-emitting object by a point source

abstract: We consider a linear diffusion equation on $\Omega:=\mathbb{R}^2\setminus\bar{\Omega_\mathcal{O}}$, where $\Omega_\mathcal{O}$ is a bounded domain. The time-dependent flux on the boundary $\Gamma:=\partial\Omega_\mathcal{O}$ is prescribed. The aim of the paper is to approximate the dynamics by the solution of the diffusion equation on the whole of $\mathbb{R}^2$ with a measure-valued point source in the origin and provide estimates for the quality of approximation. For all time $t$, we derive an $L^2([0,t];L^2(\Gamma))$-bound on the difference in flux on the boundary. Moreover, we derive for all $t>0$ an $L^2(\Omega)$-bound and an $L^2([0,t];H^1(\Omega))$-bound for the difference of the solutions to the two models.


title: The geodesic ray transform on Riemannian surfaces with conjugate points

abstract: We study the geodesic X-ray transform $X$ on compact Riemannian surfaces with conjugate points. Regardless of the type of the conjugate points, we show that we cannot recover the singularities and therefore, this transform is always unstable (ill-posed). We describe the microlocal kernel of $X$ and relate it to the conjugate locus. We present numerical examples illustrating the cancellation of singularities. We also show that the attenuated X-ray transform is well posed if the attenuation is positive and there are no more than two conjugate points along each geodesic; but still ill-posed, if there are three or more conjugate points. Those results follow from our analysis of the weighted X-ray transform.


title: Existence of the Matui-Sato tracial Rokhlin property

abstract: We show by construction that when $G$ is an elementary amenable group and $A$ is a unital simple nuclear and tracially approximately divisible $C^*$-algebra, there exists an action $\omega$ of $G$ on $A$ with the tracial Rokhlin property in the sense of Matui and Sato. In particular, group actions with this Matui-Sato tracial Rokhlin property always exist for unital simple separable nuclear $C^*$-algebras with tracial rank at most one. If $A$ is simple with rational tracial rank at most one, then the crossed product $A\rtimes_{\omega}G$ is also simple with rational tracial rank at most one.


title: Ab initio quantum Monte Carlo calculations of spin superexchange in cuprates: the benchmarking case of Ca$_2$CuO$_3$

abstract: In view of the continuous theoretical efforts aimed at an accurate microscopic description of the strongly correlated transition metal oxides and related materials, we show that with continuum quantum Monte Carlo (QMC) calculations it is possible to obtain the value of the spin superexchange coupling constant of a copper oxide in a quantitatively excellent agreement with experiment. The variational nature of the QMC total energy allows us to identify the best trial wave function out of the available pool of wave functions, which makes the approach essentially free from adjustable parameters and thus truly ab initio. The present results on magnetic interactions suggest that QMC is capable of accurately describing ground state properties of strongly correlated materials.


title: Finite temperature dynamics of anionic water trimers

abstract: Utilising Car-Parrinello molecular dynamics simulations, the finite temperature behaviour of water trimers, (H2O)3, in both neutral and anionic frameworks, has been investigated. A significant structural change in the anionic structure has been observed at temperatures above 100 K where a chain geometry has formed and stabilised entropically. On the other hand, neutral trimers have remained in their ring structure, as predicted theoretically at low temperatures, for long time periods.


title: Variable-cell method for stress-controlled jamming of athermal, frictionless grains

abstract: A new method is introduced to simulate jamming of polyhedral grains under controlled stress that incorporates global degrees of freedom through the metric tensor of a periodic cell containing grains. Jamming under hydrostatic/isotropic stress and athermal conditions leads to a precise definition of the ideal jamming point at zero shear stress. The structures of tetrahedra jammed hydrostatically exhibit less translational order and lower jamming-point density than previously described `maximally random jammed' hard tetrahedra. Under the same conditions, cubes jam with negligible nematic order. Grains with octahedral symmetry jam in the large-system limit with an abundance of face-face contacts in the absence of nematic order. For sufficiently large face-face contact number, percolating clusters form that span the entire simulation box. The response of hydrostatically jammed tetrahedra and cubes to shear-stress perturbation is also demonstrated with the variable-cell method.


title: Structure Tensor Based Image Interpolation Method

abstract: Feature preserving image interpolation is an active area in image processing field. In this paper a new direct edge directed image super-resolution algorithm based on structure tensors is proposed. Using an isotropic Gaussian filter, the structure tensor at each pixel of the input image is computed and the pixels are classified to three distinct classes; uniform region, corners and edges, according to the eigenvalues of the structure tensor. Due to application of the isotropic Gaussian filter, the classification is robust to noise presented in image. Based on the tangent eigenvector of the structure tensor, the edge direction is determined and used for interpolation along the edges. In comparison to some previous edge directed image interpolation methods, the proposed method achieves higher quality in both subjective and objective aspects. Also the proposed method outperforms previous methods in case of noisy and JPEG compressed images. Furthermore, without the need for optimization in the process, the algorithm can achieve higher speed.


title: Semi-Supervised Nonlinear Distance Metric Learning via Forests of Max-Margin Cluster Hierarchies

abstract: Metric learning is a key problem for many data mining and machine learning applications, and has long been dominated by Mahalanobis methods. Recent advances in nonlinear metric learning have demonstrated the potential power of non-Mahalanobis distance functions, particularly tree-based functions. We propose a novel nonlinear metric learning method that uses an iterative, hierarchical variant of semi-supervised max-margin clustering to construct a forest of cluster hierarchies, where each individual hierarchy can be interpreted as a weak metric over the data. By introducing randomness during hierarchy training and combining the output of many of the resulting semi-random weak hierarchy metrics, we can obtain a powerful and robust nonlinear metric model. This method has two primary contributions: first, it is semi-supervised, incorporating information from both constrained and unconstrained points. Second, we take a relaxed approach to constraint satisfaction, allowing the method to satisfy different subsets of the constraints at different levels of the hierarchy rather than attempting to simultaneously satisfy all of them. This leads to a more robust learning algorithm. We compare our method to a number of state-of-the-art benchmarks on $k$-nearest neighbor classification, large-scale image retrieval and semi-supervised clustering problems, and find that our algorithm yields results comparable or superior to the state-of-the-art, and is significantly more robust to noise.


title: Spin transport and accumulation in the persistent photoconductor Al$_{0.3}$Ga$_{0.7}$As

abstract: Electrical spin transport and accumulation have been measured in highly Si doped Al0.3Ga0.7As utilizing a lateral spin transport device. Persistent photoconductivity allows for the tuning of the effective carrier density of the channel material in situ via photodoping. Hanle effect measurements are completed at various carrier densities and the measurements yield spin lifetimes on the order of nanoseconds, an order of magnitude smaller than in bulk GaAs. These measurements illustrate that this methodology can be used to obtain a detailed description of how spin lifetimes depend on carrier density in semiconductors across the metal-insulator transition.


title: Bias current dependence of the spin lifetime in insulating Al$_{0.3}$Ga$_{0.7}$As

abstract: The spin lifetime and Hanle signal amplitude dependence on bias current has been investigated in insulating Al$_{0.3}$Ga$_{0.7}$As:Si using a three-terminal Hanle effect geometry. The amplitudes of the Hanle signals are much larger for forward bias than for reverse bias, although the spin lifetimes found are statistically equivalent. The spin resistance-area product shows a strong increase with bias current for reverse bias and small forward bias until 150 $\mu$A, beyond which a weak dependence is observed. The spin lifetimes diminish substantially with increasing bias current. The dependence of the spin accumulation and lifetime diminish only moderately with temperature from 5 K to 30 K.


title: Regularized Block Toeplitz Covariance Matrix Estimation via Kronecker Product Expansions

abstract: In this work we consider the estimation of spatio-temporal covariance matrices in the low sample non-Gaussian regime. We impose covariance structure in the form of a sum of Kronecker products decomposition (Tsiligkaridis et al. 2013, Greenewald et al. 2013) with diagonal correction (Greenewald et al.), which we refer to as DC-KronPCA, in the estimation of multiframe covariance matrices. This paper extends the approaches of (Tsiligkaridis et al.) in two directions. First, we modify the diagonally corrected method of (Greenewald et al.) to include a block Toeplitz constraint imposing temporal stationarity structure. Second, we improve the conditioning of the estimate in the very low sample regime by using Ledoit-Wolf type shrinkage regularization similar to (Chen, Hero et al. 2010). For improved robustness to heavy tailed distributions, we modify the KronPCA to incorporate robust shrinkage estimation (Chen, Hero et al. 2011). Results of numerical simulations establish benefits in terms of estimation MSE when compared to previous methods. Finally, we apply our methods to a real-world network spatio-temporal anomaly detection problem and achieve superior results.


title: On nonadiabatic contributions to the neutrino oscillation probability and the formalism by Kimura, Takamura and Yokomakura

abstract: It is shown that it is possible to obtain the analytical expression for the effective mixing angle in matter using the formalism which was developed by Kimura, Takamura and Yokomakura for the neutrino oscillation probability in matter with constant density. If we assume that the imaginary part of the integral of the difference of the energy eigenvalues of the two levels at each level-crossing is given by the ratio $\gamma$ of the difference of the energy eigenvalues of the two levels to the derivative of the effective mixing angle at the level-crossing, then the nonadiabatic contribution to the oscillation probability can be expressed analytically by this formalism. We give one example in which the energy eigenvalues cannot be expressed as roots of a quadratic equation and we show that our assumption is correct in the approximation of the small mixing angle.


title: Applications of the affine structures on the Teichm\"uller spaces

abstract: We prove the existence of global sections trivializing the Hodge bundles on the Hodge metric completion space of the Torelli space of Calabi--Yau manifolds, a global splitting property of these Hodge bundles. We also prove that a compact Calabi--Yau manifold can not be deformed to its complex conjugate. These results answer certain open questions in the subject. A general result about the period map to be bi-holomorphic from the Hodge metric completion space of the Torelli space of Calabi--Yau type manifolds to their period domains is proved and applied to the cases of K$3$ surfaces, cubic fourfolds, and hyperk\"ahler manifolds.


title: Hubble Space Telescope Investigation of Main-Belt Comet 133P/Elst-Pizarro

abstract: We report new observations of the prototype main-belt comet (active asteroid) 133P/Elst-Pizarro taken at high angular resolution using the Hubble Space Telescope. The object has three main components; a) a point-like nucleus, b) a long, narrow antisolar dust tail and c) a short, sunward anti-tail. There is no resolved coma. The nucleus has a mean absolute magnitude H_V = 15.70+/-0.10 and a lightcurve range 0.42 mag., the latter corresponding to projected dimensions 3.6 x 5.4 km (axis ratio 1.5:1), at the previously measured geometric albedo of 0.05+/-0.02. We explored a range of continuous and impulsive emission models to simultaneously fit the measured surface brightness profile, width and position angle of the antisolar tail. Preferred fits invoke protracted emission, over a period of 150 days or less, of dust grains following a differential power-law size distribution with index 3.25 < q < 3.5 and having a wide range of sizes. Ultra-low surface brightness dust projected in the sunward direction is a remnant from emission activity occurring in previous orbits, and consists of the largest (>cm-sized) particles. Ejection velocities of one micron-sized particles are comparable to the ~1.8 m/s gravitational escape speed of the nucleus, while larger particles are released at speeds less than the gravitational escape velocity. The observations are consistent with, but do not prove, a hybrid hypothesis in which mass loss is driven by gas drag from the sublimation of near-surface water ice, but escape is aided by centripetal acceleration from the rotation of the elongated nucleus. No plausible alternative hypothesis has been identified.


title: Collective oscillation period of inter-coupled biological negative cyclic feedback oscillators

abstract: A number of biological rhythms originate from networks comprised of multiple cellular oscillators. But analytical results are still lacking on the collective oscillation period of inter-coupled gene regulatory oscillators, which, as has been reported, may be different from that of an autonomous oscillator. Based on cyclic feedback oscillators, we analyze the collective oscillation pattern of coupled cellular oscillators. First we give a condition under which the oscillator network exhibits oscillatory and synchronized behavior. Then we estimate the collective oscillation period based on a novel multivariable harmonic balance technique. Analytical results are derived in terms of biochemical parameters, thus giving insight into the basic mechanism of biological oscillation and providing guidance in synthetic biology design.


title: Orbit and Bulk Density of the OSIRIS-REx Target Asteroid (101955) Bennu

abstract: The target asteroid of the OSIRIS-REx asteroid sample return mission, (101955) Bennu (formerly 1999 RQ$_{36}$), is a half-kilometer near-Earth asteroid with an extraordinarily well constrained orbit. An extensive data set of optical astrometry from 1999--2013 and high-quality radar delay measurements to Bennu in 1999, 2005, and 2011 reveal the action of the Yarkovsky effect, with a mean semimajor axis drift rate $da/dt = (-19.0 \pm 0.1)\times 10^{-4}$ au/Myr or $284\pm 1.5\;\rm{m/yr}$. The accuracy of this result depends critically on the fidelity of the observational and dynamical model. As an example, neglecting the relativistic perturbations of the Earth during close approaches affects the orbit with $3\sigma$ significance in $da/dt$. The orbital deviations from purely gravitational dynamics allow us to deduce the acceleration of the Yarkovsky effect, while the known physical characterization of Bennu allows us to independently model the force due to thermal emissions. The combination of these two analyses yields a bulk density of $\rho = 1260\pm70\,\rm{kg/m^3}$, which indicates a macroporosity in the range $40\pm10$% for the bulk densities of likely analog meteorites, suggesting a rubble-pile internal structure. The associated mass estimate is $(7.8\pm0.9)\times 10^{10}\, \rm{kg}$ and $GM = 5.2\pm0.6\,\rm{m^3/s^2}$. Bennu's Earth close approaches are deterministic over the interval 1654--2135, beyond which the predictions are statistical in nature. In particular, the 2135 close approach is likely within the lunar distance and leads to strong scattering and therefore numerous potential impacts in subsequent years, from 2175--2196. The highest individual impact probability is $9.5\times 10^{-5}$ in 2196, and the cumulative impact probability is $3.7\times 10^{-4}$, leading to a cumulative Palermo Scale of -1.70.


title: The electronic Casimir-Polder force in a 1D tight-binding nanowire

abstract: We study the effect of two non-interacting impurity atoms near by a one-dimensional nanowire, which is modeled as a tight-binding hopping model. The virtual single-electron hopping between two impurities will induce an additional energy depending on the distance of two impurities, which gives a electronic Casimir-Polder effect. We find that the Casimir-Polder force between the two impurities decreases with the impurity-impurity distance exponentially. And the effects of nanowire and finite temperature on the Casimir-Polder force are also discussed in detail, respectively.


title: High-accuracy absolute distance measurement by two-wavelength double heterodyne interferometry with variable synthetic wavelengths

abstract: We present an absolute distance measurement interferometer based on a two wavelength interferometer and a variable synthetic wavelength technique. The wavelength scanning range was 12 GHz, realized with a phase accuracy of 1.0 m{\lambda} by heterodyne detection at each measurement wavelength. This small wavelength scanning range enabled the use of distributed feedback laser diodes as an interferometer light source and a fast 20 ms wavelength scanning time by injection current control. We demonstrated a measurement range of up to 1.5 m and an accuracy better than 1.2 nm in comparison with a displacement measurement interferometer, corresponding to a relative accuracy of 10-9. In addition, we also proposed expanding the range of maximum measurement and compensation of refractive index of air for linear colliders.


title: Non-Reciprocal Geometric Wave Diode by Engineering Asymmetric Shapes of Nonlinear Materials

abstract: Unidirectional nonreciprocal transport is at the heart of many fundamental problems and applications in both science and technology. Here we study the novel design of wave diode devices by engineering asymmetric shapes of nonlinear materials to realize the function of non-reciprocal wave propagations. We first show analytical results revealing that both nonlinearity and asymmetry are necessary to induce such non-reciprocal (asymmetric) wave propagations. Detailed numerical simulations are further performed for a more realistic geometric wave diode model with typical asymmetric shape, where good non-reciprocal wave diode effect is demonstrated. Finally, we discuss the scalability of geometric wave diodes. The results open a flexible way for designing wave diodes efficiently simply through shape engineering of nonlinear materials, which may find broad implications in controlling energy, mass and information transports.


title: Absolutely superficial sequences

abstract: Absolutely superficial sequences was introduced by P. Schenzel in order to study generalized Cohen-Macaulay (resp. Buchsbaum) modules. For an arbitrary local ring, they turned out to be d-sequences. This paper established properties of absolutely superficial sequences with respect to a module. It is shown that they are closely related to other sequences in the theory of generalized Cohen-Macaulay (resp. Buchsbaum) modules. In particular, there is a bounding function for the Hilbert-Samuel function of every parameter ideal such that this bounding function is attained if and only if the ideal is generated by an absolutely superficial sequence.


title: Kinetic evolution of the glasma and thermalization in heavy ion collisions

abstract: In relativistic heavy ion collisions, a highly occupied gluonic matter is created shortly after initial impact, which is in a non-thermal state and often referred to as the Glasma. Successful phenomenology suggests that the glasma evolves rather quickly toward the thermal quark-gluon plasma and a hydrodynamic behavior emerges at very early time $\sim \hat{o}(1)$ fm/c. Exactly how such "apparent thermalization" occurs and connects the initial conditions to the hydrodynamic onset, remains a significant challenge for theory as well as phenomenology. We briefly review various ideas and recent progress in understanding the approach of the glasma to the thermalized quark-gluon plasma, with an emphasis on the kinetic theory description for the evolution of such far-from-equilibrium and highly overpopulated, thus weakly-coupled yet strongly interacting glasma.


title: Phenomenology of $E_6$-Inspired Leptophobic $Z'$ Boson at the LHC

abstract: We study collider phenomenology of a leptophobic $Z'$ boson existing in eight scenarios of the $E_6$ grand unified theory, differing in particle embeddings. We first review the current bound on the $Z'$ mass $m_{Z'}$ based upon the LHC data of $pp\to t\bar{t}$ process at 8 TeV collisions with an integrated luminosity of 19.6 fb$^{-1}$. Most scenarios have a lower bound of about 1 TeV. However, this constraint does not apply to the case where $m_{Z'} < 2 m_t$, and other methods need to be employed for this lower mass regime. Using existing UA2 constraints and dijet data at the LHC, we find that only one of the eight scenarios is excluded at 95\% confidence level. No bound can be obtained from $Wjj$ and $Zjj$ measurements. We propose to use the photon associated production of the $Z'$ boson that subsequently decays into a pair of bottom quarks, $pp\to Z'\gamma \to b\bar{b}\gamma$, at the LHC to explore the constraints in the lower mass regime. We compute the expected signal significance as a function of $m_{Z'}$ using detailed simulations of signal and irreducible background events. We find constraints for two more scenarios using the 8-TeV data and taking appropriate kinematical cuts. We also show the discovery reach for each scenario at the 14-TeV LHC machine.


title: Gauged Linear Sigma Model with F-term for A-type ALE Space

abstract: We construct yet another ${\mathcal N}=(4,4)$ gauged linear sigma model for the $A_N$-type ALE space. In our construction the toric data of the ALE space are manifest. Due to the $SU(2)_R$ symmetry, the F-term is automatically determined. The toric data, which govern the K\"{a}hler structures of the ALE space, are embedded into $U(1)$ charges of charged hypermultiplets. The F-term is also inevitable to determine the complex structures of the ALE space. In the IR limit, we obtain the K\"{a}hler potential of the $A_N$-type ALE space. We also find the origin of the ${\mathbb Z}_{N+1}$ orbifold symmetry in the singular limit of the $A_N$-type ALE space. In a special case, we reproduce an explicit form of the K\"{a}hler potential of the $A_1$-type ALE space, i.e., the Eguchi-Hanson space.


title: Error Bound for Compound Wishart Matrices

abstract: In this paper we consider non-asymptotic behavior of the real compound Wishart matrices that generalize the classical real Wishart distribution. In particular, we consider matrices of the form 1/nXBX', where X consists of real centered Gaussian elements and B is an arbitrary real matrix and sequences of such matrices for varying n. We show how the expectation of deviations from the mean can be bounded for compound Wishart matrices.


title: Intercusp geodesics and the invariant trace field of hyperbolic 3-manifolds

abstract: Given a cusped hyperbolic 3-manifold with finite volume, we define two types of complex parameters which capture geometric information about the preimages of geodesic arcs traveling between cusp cross-sections. We prove that these parameters are elements of the invariant trace field of the manifold, providing a connection between the intrinsic geometry of a 3-manifold and its number-theoretic invariants. Further, we explore the question of choosing a minimal collection of arcs and associated parameters to generate the field. We prove that for a tunnel number $k$ manifold it is enough to choose $3k$ specific parameters. For many hyperbolic link complements, this approach allows one to compute the field from a link diagram. We also give examples of infinite families of links where a single parameter can be chosen to generate the field, and the polynomial for it can be constructed from the link diagram as well.


title: Dynamics of Self-Propelled Particles Under Strong Confinement

abstract: We develop a statistical theory for the dynamics of non-aligning, non-interacting self-propelled particles confined in a convex box in two dimensions. We find that when the size of the box is small compared to the persistence length of a particle's trajectory (strong confinement), the steady-state density is zero in the bulk and proportional to the local curvature on the boundary. Conversely, the theory may be used to construct the box shape that yields any desired density distribution on the boundary. When the curvature variations are small, we also predict the distribution of orientations at the boundary and the exponential decay of pressure as a function of box size recently observed in 3D simulations in a spherical box.


title: Path Thresholding: Asymptotically Tuning-Free High-Dimensional Sparse Regression

abstract: In this paper, we address the challenging problem of selecting tuning parameters for high-dimensional sparse regression. We propose a simple and computationally efficient method, called path thresholding (PaTh), that transforms any tuning parameter-dependent sparse regression algorithm into an asymptotically tuning-free sparse regression algorithm. More specifically, we prove that, as the problem size becomes large (in the number of variables and in the number of observations), PaTh performs accurate sparse regression, under appropriate conditions, without specifying a tuning parameter. In finite-dimensional settings, we demonstrate that PaTh can alleviate the computational burden of model selection algorithms by significantly reducing the search space of tuning parameters.


title: The Conformal Method and the Conformal Thin-Sandwich Method Are the Same

abstract: The conformal method developed in the 1970s and the more recent Lagrangian and Hamiltonian conformal thin-sandwich methods are techniques for finding solutions of the Einstein constraint equations. We show that they are manifestations of a single conformal method: there is a straightforward way to convert back and forth between the parameters for these methods so that the corresponding solutions of the Einstein constraint equations agree. The unifying idea is the need to clearly distinguish tangent and cotangent vectors to the space of conformal classes on a manifold, and we introduce a vocabulary for working with these objects without reference to a particular representative background metric. As a consequence of these conceptual advantages, we demonstrate how to strengthen previous near-CMC existence and non-existence theorems for the original conformal method to include metrics with scalar curvatures that change sign.


title: Adaptive Zero Reaction Motion Control for Free-Floating Space Manipulators

abstract: This paper investigates adaptive zero reaction motion control for free-floating space manipulators with uncertain kinematics and dynamics. The challenge in deriving the adaptive reaction null-space (RNS) based control scheme is that it is difficult to obtain a linear expression, which is the basis of the adaptive control. The main contribution of this paper is that we skillfully obtain such a linear expression, based on which, an adaptive version of the RNS-based controller (referred to as the adaptive zero reaction motion controller in the sequel) is developed at the velocity level, taking into account both the kinematic and dynamic uncertainties. It is shown that the proposed controller achieves both the spacecraft attitude regulation and end-effector trajectory tracking. The performance of the proposed adaptive controller is shown by numerical simulations with a planar 3-DOF (degree-of-freedom) space manipulator.


title: Analysis of cluster explosive synchronization in complex networks

abstract: Correlations between intrinsic dynamics and local topology have become a new trend in the study of synchronization in complex networks. In this paper, we investigate in this paradigm the influence of topology on dynamics of networks made up of second-order Kuramoto oscillators. In particular, based on mean-field calculations, we provide a detailed investigation of the recently reported phenomena of cluster explosive synchronization (CES)[Phys. Rev. Lett. 110, 218701 (2013)], analysing the model in scale-free and small-world networks as a function of several topological properties. We show that, in contrast to scale-free networks, the transition to the synchronous state in small-world structures tends to be continuous as the probability of rewiring increases. These results complement the previous findings regarding CES and also fundamentally deepen the understanding of the interplay between topology and dynamics under the constraint of correlating natural frequencies and local structure.


title: Derivation of the not-so-common fluctuation theorems

abstract: The detailed fluctuation theorems of the exact form $P(A)/P(-A)=e^A$ exist only for a handful of variables $A$, namely for work (Crooks theorem), for total entropy change (Seifert's theorem), etc. However, the so-called modified detailed fluctuation theorems can be formulated for several other thermodynamic variables as well. The difference is that the modified relations contain an extra factor, which is dependent on $A$. This factor is usually an average of a quantity $e^{-B}$, where $B\neq A$, with repect to the conditional probability distribution $P(B|A)$. The corresponding modified integral fluctuation theorems also differ from their original counterparts, by not having the usual form $\left<e^{-A}\right>=1$. The generalization of these relations in presence of feedback has been discussed briefly. The results derived here serve to complement the already existing results in fluctuation theorems. The steps leading to the quantum version of these derivations have been outlined in the appendix.


title: On the oscillation rigidity of a Lipschitz function on a high-dimensional flat torus

abstract: Given an arbitrary $1$-Lipschitz function $f$ on the torus $\mathbb{T}^n $, we find a $k$-dimensional subtorus $M \subseteq \mathbb{T}^n$, parallel to the axes, such that the restriction of $f$ to the subtorus $M$ is nearly a constant function. The $k$-dimensional subtorus $M$ is chosen randomly and uniformly. We show that when $k \leq c \log n / (\log \log n + \log 1/\varepsilon)$, the maximum and the minimum of $f$ on this random subtorus $M$ differ by at most $\varepsilon$, with high probability.


title: Light-induced spin polarizations in quantum rings

abstract: Non-resonant circularly polarized electromagnetic radiation can exert torques on magnetization by the Inverse Faraday Effect (IFE). Here we discuss the enhancement of IFE by spin-orbit interactions (SOI). We illustrate the principle by studying a simple generic model system, i.e. the quasi-1D ring in the presence of linear/cubic Rashba and Dresselhaus interactions. We combine the classical IFE in electron plasmas that is known to cause persistent currents in the plane perpendicular to the direction of the propagation of light with the concept of current and spin-orbit-induced spin transfer torques. We calculate light-induced spin polarization that in ferromagnets might give rise to magnetization switching.


title: A combinatorial approach to a model of constrained random walkers

abstract: In [1], the authors consider a random walk $(Z_{n,1},\ldots,Z_{n,K+1})\in \mathbb{Z}^{K+1}$ with the constraint that each coordinate of the walk is at distance one from the following one. A functional central limit theorem for the first coordinate is proved and the limit variance is explicited. In this paper, we study an extended version of this model by conditioning the extremal coordinates to be at some fixed distance at every time. We prove a functional central limit theorem for this random walk. Using combinatorial tools, we give a precise formula of the variance and compare it with the one obtained in [1].


title: Web Service Composition - BPEL vs cCSP Process Algebra

abstract: Web services technology provides a platform on which we can develop distributed services. The interoperability among these services is achieved by various standard protocols. In recent years, several researches suggested that process algebras provide a satisfactory assistance to the whole process of web services development. Business transactions, on the other hand, involve the coordination and interaction between multiple partners. With the emergence of web services, business transactions are conducted using these services. The coordination among the business processes is crucial, so is the handling of faults that can arise at any stage of a transaction. BPEL models the behavior of business process interaction by providing a XML based grammar to describe the control logic required to coordinate the web services participating in a process flow. However BPEL lacks a proper formal description where the composition of business processes cannot be formally verified. Process algebra, on the other hand, facilitates a formal foundation for rigorous verification of the composition. This paper presents a comparison of web service composition between BPEL and process algebra, cCSP.


title: Reciprocity in Gift-Exchange-Games

abstract: This paper presents an analysis of data from a gift-exchange-game experiment. The experiment was described in `The Impact of Social Comparisons on Reciprocity' by G\"achter et al. 2012. Since this paper uses state-of-art data science techniques, the results provide a different point of view on the problem. As already shown in relevant literature from experimental economics, human decisions deviate from rational payoff maximization. The average gift rate was $31$%. Gift rate was under no conditions zero. Further, we derive some special findings and calculate their significance.


title: Testing Relativistic Gravity with Radio Pulsars

abstract: Before the 1970s, precision tests for gravity theories were constrained to the weak gravitational fields of the Solar system. Hence, only the weak-field slow-motion aspects of relativistic celestial mechanics could be investigated. Testing gravity beyond the first post-Newtonian contributions was for a long time out of reach. The discovery of the first binary pulsar by Russell Hulse and Joseph Taylor in the summer of 1974 initiated a completely new field for testing the relativistic dynamics of gravitationally interacting bodies. For the first time the back reaction of gravitational wave emission on the binary motion could be studied. Furthermore, the Hulse-Taylor pulsar provided the first test bed for the orbital dynamics of strongly self-gravitating bodies. To date there are a number of pulsars known, which can be utilized for precision test of gravity. Depending on their orbital properties and their companion, these pulsars provide tests for various different aspects of relativistic dynamics. Besides tests of specific gravity theories, like general relativity or scalar-tensor gravity, there are pulsars that allow for generic constraints on potential deviations of gravity from general relativity in the quasi-stationary strong-field and the radiative regime. This article presents a brief overview of this modern field of relativistic celestial mechanics, reviews some of the highlights of gravity tests with radio pulsars, and discusses their implications for gravitational physics and astronomy, including the upcoming gravitational wave astronomy.


title: Logic Verification of Product-Line Variant Requirements

abstract: Formal verification of variant requirements has gained much interest in the software product line (SPL) community. Feature diagrams are widely used to model product line variants. However, there is a lack of precisely defined formal notation for representing and verifying such models. This paper presents an approach to modeling and verifying SPL variant feature diagrams using first-order logic. It provides a precise and rigorous formal interpretation of the feature diagrams. Logical expressions can be built by modeling variants and their dependencies by using propositional connectives. These expressions can then be validated by any suitable verification tool. A case study of a Computer Aided Dispatch (CAD) system variant feature model is presented to illustrate the verification process.


title: Exact Post Model Selection Inference for Marginal Screening

abstract: We develop a framework for post model selection inference, via marginal screening, in linear regression. At the core of this framework is a result that characterizes the exact distribution of linear functions of the response $y$, conditional on the model being selected (``condition on selection" framework). This allows us to construct valid confidence intervals and hypothesis tests for regression coefficients that account for the selection procedure. In contrast to recent work in high-dimensional statistics, our results are exact (non-asymptotic) and require no eigenvalue-like assumptions on the design matrix $X$. Furthermore, the computational cost of marginal regression, constructing confidence intervals and hypothesis testing is negligible compared to the cost of linear regression, thus making our methods particularly suitable for extremely large datasets. Although we focus on marginal screening to illustrate the applicability of the condition on selection framework, this framework is much more broadly applicable. We show how to apply the proposed framework to several other selection procedures including orthogonal matching pursuit, non-negative least squares, and marginal screening+Lasso.