title: Three discussions of the paper "sequential quasi-Monte Carlo sampling", by M. Gerber and N. Chopin

abstract: This is a collection of three written discussions of the paper "sequential quasi-Monte Carlo sampling" by M. Gerber and N. Chopin, following the presentation given before the Royal Statistical Society in London on December 10th, 2014.


title: Enhanced Seebeck effect in graphene devices by strain and doping engineering

abstract: In this work, we investigate the possibility of enhancing the thermoelectric power (Seebeck coefficient) in graphene devices by strain and doping engineering. While a local strain can result in the misalignment of Dirac cones of different graphene sections in the k-space, doping engineering leads to their displacement in energy. By combining these two effects, we demonstrate that a conduction gap as large as a few hundreds meV can be achieved and hence the enhanced Seebeck coefficient can reach a value higher than 1.4 mV/K in graphene doped heterojunctions with a locally strained area. Such hetero-channels appear to be very promising for enlarging the applications of graphene devices as in strain and thermal sensors.


title: A Fast and Flexible Algorithm for the Graph-Fused Lasso

abstract: We propose a new algorithm for solving the graph-fused lasso (GFL), a method for parameter estimation that operates under the assumption that the signal tends to be locally constant over a predefined graph structure. Our key insight is to decompose the graph into a set of trails which can then each be solved efficiently using techniques for the ordinary (1D) fused lasso. We leverage these trails in a proximal algorithm that alternates between closed form primal updates and fast dual trail updates. The resulting techinque is both faster than previous GFL methods and more flexible in the choice of loss function and graph structure. Furthermore, we present two algorithms for constructing trail sets and show empirically that they offer a tradeoff between preprocessing time and convergence rate.


title: Emergence of bimodality in controlling complex networks

abstract: Our ability to control complex systems is a fundamental challenge of contemporary science. Recently introduced tools to identify the driver nodes, nodes through which we can achieve full control, predict the existence of multiple control configurations, prompting us to classify each node in a network based on their role in control. Accordingly a node is critical, intermittent or redundant if it acts as a driver node in all, some or none of the control configurations. Here we develop an analytical framework to identify the category of each node, leading to the discovery of two distinct control modes in complex systems: centralized vs distributed control. We predict the control mode for an arbitrary network and show that one can alter it through small structural perturbations. The uncovered bimodality has implications from network security to organizational research and offers new insights into the dynamics and control of complex systems.


title: On full exceptional collections of line bundles on del Pezzo surfaces

abstract: We prove that any numerically exceptional collection of maximal length, consisting of line bundles, on a smooth del Pezzo surface is a standard augmentation in the sense of L.Hille and M.Perling. We deduce that any such collection is exceptional and full.


title: Tight Continuous Relaxation of the Balanced $k$-Cut Problem

abstract: Spectral Clustering as a relaxation of the normalized/ratio cut has become one of the standard graph-based clustering methods. Existing methods for the computation of multiple clusters, corresponding to a balanced $k$-cut of the graph, are either based on greedy techniques or heuristics which have weak connection to the original motivation of minimizing the normalized cut. In this paper we propose a new tight continuous relaxation for any balanced $k$-cut problem and show that a related recently proposed relaxation is in most cases loose leading to poor performance in practice. For the optimization of our tight continuous relaxation we propose a new algorithm for the difficult sum-of-ratios minimization problem which achieves monotonic descent. Extensive comparisons show that our method outperforms all existing approaches for ratio cut and other balanced $k$-cut criteria.


title: Cancellation for the multilinear Hilbert transform

abstract: For any natural number $k$, consider the $k$-linear Hilbert transform $$ H_k( f_1,\dots,f_k )(x) := \operatorname{p.v.} \int_{\bf R} f_1(x+t) \dots f_k(x+kt)\ \frac{dt}{t}$$ for test functions $f_1,\dots,f_k: {\bf R} \to {\bf C}$. It is conjectured that $H_k$ maps $L^{p_1}({\bf R}) \times \dots \times L^{p_k}({\bf R}) \to L^p({\bf R})$ whenever $1 < p_1,\dots,p_k,p < \infty$ and $\frac{1}{p} = \frac{1}{p_1} + \dots + \frac{1}{p_k}$. This is proven for $k=1,2$, but remains open for larger $k$. In this paper, we consider the truncated operators $$ H_{k,r,R}( f_1,\dots,f_k )(x) := \int_{r \leq |t| \leq R} f_1(x+t) \dots f_k(x+kt)\ \frac{dt}{t}$$ for $R > r > 0$. The above conjecture is equivalent to the uniform boundedness of $\| H_{k,r,R} \|_{L^{p_1}({\bf R}) \times \dots \times L^{p_k}({\bf R}) \to L^p({\bf R})}$ in $r,R$, whereas the Minkowski and H\"older inequalities give the trivial upper bound of $2 \log \frac{R}{r}$ for this quantity. By using the arithmetic regularity and counting lemmas of Green and the author, we improve the trivial upper bound on $\| H_{k,r,R} \|_{L^{p_1}({\bf R}) \times \dots \times L^{p_k}({\bf R}) \to L^p({\bf R})}$ slightly to $o( \log \frac{R}{r} )$ in the limit $\frac{R}{r} \to \infty$ for any admissible choice of $k$ and $p_1,\dots,p_k,p$. This establishes some cancellation in the $k$-linear Hilbert transform $H_k$, but not enough to establish its boundedness in $L^p$ spaces.


title: Solar-Type Activity: Epochs of Cycle Formation

abstract: The diagram of indices of coronal and chromospheric activity allowed us to reveal stars where solar-type activity appears and regular cycles are forming. Using new consideration of a relation between coronal activity and the rotation rate, together with new data on the ages of open clusters, we estimate the age of the young Sun corresponding to the epoch of formation of its cycle. The properties of the activity of this young Sun, with an age slightly older than one billion years, are briefly discussed. An analysis of available data on the long-term regular variability of late-type stars leads to the conclusion that duration of a cycle associated with solar-type activity increases with the deceleration of the stellar rotation; i.e., with age. New data on the magnetic fields of comparatively young G stars and changes in the role of the large-scale and the local magnetic fields in the formation of the activity of the young Sun are discussed. Studies in this area aim to provide observational tests aimed at identifying the conditions for the formation of cyclic activity on stars in the lower part of the main sequence, and test some results of dynamo theory.


title: Unbound motion of massive particles in the Schwarzschild metric: Analytical description in case of strong deflection

abstract: Deflection angles of massive test particles moving along an unbound trajectory in the Schwarzschild metric are considered for the case of large deflection. We analytically consider the strong deflection limit, which is opposite to the commonly applied small deflection approximation and corresponds to the situation when a massive particle moves from infinity, makes several revolutions around a central object and goes to infinity. For this purpose we rewrite an integral expression for the deflection angle as an explicit function of the parameters determining the trajectory and expand it. Remarkably, in the limiting case of strong deflection, we succeed in deriving for the first time the analytical formulas for deflection angles as explicit functions of parameters at infinity. In particular, we show that in this case the deflection angle can be calculated as an explicit function of the impact parameter and velocity at infinity beyond the usual assumption of small deflection.


title: Luminosity and Crab Waist Collision Studies

abstract: In high energy physics, the luminosity is one useful value to characterize the performance of a particle collider. To gain more available data, we need to maximize the luminosity in most collider experiments. With the discussions of tune shift involved the beam dynamics and a recently proposed "crabbed waist" scheme of beam-beam collisions, we present some qualitative analysis to increase the luminosity. In addition, beam-beam tune shifts and luminosities of $e^{+}e^{-}$, $pp$/$p\bar{p}$, and $\mu^{+}\mu^{-}$ colliders are discussed.


title: On Nonparametric Inference in the Regression Discontinuity Design

abstract: This paper studies the validity of nonparametric tests used in the regression discontinuity design. The null hypothesis of interest is that the average treatment effect at the threshold in the so-called sharp design equals a pre-specified value. We first show that, under assumptions used in the majority of the literature, for \emph{any} test the power against any alternative is bounded above by its size. This result implies that, under these assumptions, any test with nontrivial power will exhibit size distortions. We next provide a sufficient strengthening of the standard assumptions under which we show that a novel test in the literature can control limiting size.


title: Stochastic network formation and homophily

abstract: This is a chapter of the forthcoming Oxford Handbook on the Economics of Networks.


title: Constrained 1-Spectral Clustering

abstract: An important form of prior information in clustering comes in form of cannot-link and must-link constraints. We present a generalization of the popular spectral clustering technique which integrates such constraints. Motivated by the recently proposed $1$-spectral clustering for the unconstrained problem, our method is based on a tight relaxation of the constrained normalized cut into a continuous optimization problem. Opposite to all other methods which have been suggested for constrained spectral clustering, we can always guarantee to satisfy all constraints. Moreover, our soft formulation allows to optimize a trade-off between normalized cut and the number of violated constraints. An efficient implementation is provided which scales to large datasets. We outperform consistently all other proposed methods in the experiments.


title: Gamma-ray bounds from EAS detectors and heavy decaying dark matter constraints

abstract: The very high energy Galactic $\gamma$-ray sky is partially opaque in the ($0.1-10$) PeV energy range. In the light of the recently detected high energy neutrino flux by IceCube, a comparable very high energy $\gamma$-ray flux is expected in any scenario with a sizable Galactic contribution to the neutrino flux. Here we elaborate on the peculiar energy and anisotropy features imposed upon these very high energy $\gamma$-rays by the absorption on the cosmic microwave background photons and Galactic interstellar light. As a notable application of our considerations, we study the prospects of probing the PeV-scale decaying DM scenario, proposed as a possible source of IceCube neutrinos, by extensive air shower (EAS) cosmic ray experiments. In particular, we show that anisotropy measurements at EAS experiments are already sensitive to $\tau_{\rm DM}\sim {\cal O}(10^{27})$~s and future measurements, using better gamma/hadron separation, can improve the limit significantly.


title: A new sdO+dM binary with extreme eclipses and reflection effect

abstract: We report the discovery of a new totally-eclipsing binary (RA=06:40:29.11; Dec=+38:56:52.2; J=2000.0; Rmax=17.2 mag) with an sdO primary and a strongly irradiated red dwarf companion. It has an orbital period of Porb=0.187284394(11) d and an optical eclipse depth in excess of 5 magnitudes. We obtained two low-resolution classification spectra with GTC/OSIRIS and ten medium-resolution spectra with WHT/ISIS to constrain the properties of the binary members. The spectra are dominated by H Balmer and He II absorption lines from the sdO star, and phase-dependent emission lines from the irradiated companion. A combined spectroscopic and light curve analysis implies a hot subdwarf temperature of Teff(spec) = 55 000 +/- 3000K, surface gravity of log g(phot) = 6.2 +/- 0.04 (cgs) and a He abundance of log(nHe/nH) = -2.24 +/- 0.40. The hot sdO star irradiates the red-dwarf companion, heating its substellar point to about 22 500K. Surface parameters for the companion are difficult to constrain from the currently available data: the most remarkable features are the strong H Balmer and C II-III lines in emission. Radial velocity estimates are consistent with the sdO+dM classification. The photometric data do not show any indication of sdO pulsations with amplitudes greater than 7mmag, and Halpha-filter images do not provide evidence of the presence of a planetary nebula associated with the sdO star.


title: On Varieties of Lines on Linear Sections of Grassmannians

abstract: General linear sections of codimension 2 of the Grassmannians G(1,4) and G(1,5) appear in the classification of Fano manifolds of high index. Unlike Grassmannians, these manifolds are not homogeneous. Nevertheless, their automorphisms groups have finitely many orbits. In this work we first compute the orbits of these actions. Then we give a description of the variety of lines (under the Pl\"ucker embedding) passing through a fixed point in each orbit of the action. As an application we show that these Fano manifolds are not weakly 2-Fano, completing the classification of weakly 2-Fano manifolds of high index, initiated by Carolina Araujo and Ana-Maria Castravet.


title: Activity driven fluctuations in living cells

abstract: We propose a model for the dynamics of a probe embedded in a living cell, where both thermal fluctuations and nonequilibrium activity coexist. The model is based on a confining harmonic potential describing the elastic cytoskeletal matrix, which undergoes random active hops as a result of the nonequilibrium rearrangements within the cell. We describe the probe's statistics and we bring forth quantities affected by the nonequilibrium activity. We find an excellent agreement between the predictions of our model and experimental results for tracers inside living cells. Finally, we exploit our model to arrive at quantitative predictions for the parameters characterizing nonequilibrium activity, such as the typical time scale of the activity and the amplitude of the active fluctuations.


title: On equicontinuity of mappings with branching in the closure of a domain

abstract: In the present paper, questions about a local behavior of mappings $f:D\rightarrow \overline{{\Bbb R}^n},$ $n\ge 2,$ in $\overline{D}$ are studied. Under some conditions on a measurable function $Q(x),$ $Q:D\rightarrow [0, \infty],$ and boundaries of $D$ and $D^{\,\prime}=f(D),$ it is showed that a family of open discrete map\-ping $f:D\rightarrow \overline{{\Bbb R}^n},$ $n\ge 2,$ with characteristic of quasiconformality $Q(x),$ is equicontinuous in $\overline{D}.$


title: Magnetic reversal modes in multisegmented nanowire arrays with long aspect ratio

abstract: A detailed numerical analysis of the magnetization reversal processes in multisegmented nanowire arrays was developed. The nanowires have a long aspect ratio and are formed by magnetic and non-magnetic sections alternately arranged in such a way that the array resembles magnetic layers separated by non-magnetic layers. Attention has been focused on the influence of magnetostatic interaction in the magnetic pattern formation of these magnetic nanostructures. Results from a magnetic correlation function among layers show that three different reversal modes can be detected depending on the number and distance between the magnetic segments. As a consequence of the different reversal modes, a non-monotonic behavior of the annihilation field in function of the distance between the layers is evidenced. Thus, these results are important for the production of magnetic devices with multisegmented nanowire arrays.


title: PEPSI: The high-resolution echelle spectrograph and polarimeter for the Large Binocular Telescope

abstract: PEPSI is the bench-mounted, two-arm, fibre-fed and stabilized Potsdam Echelle Polarimetric and Spectroscopic Instrument for the 2x8.4 m Large Binocular Telescope (LBT). Three spectral resolutions of either 43 000, 120 000 or 270 000 can cover the entire optical/red wavelength range from 383 to 907 nm in three exposures. Two 10.3kx10.3k CCDs with 9-{\mu}m pixels and peak quantum efficiencies of 96 % record a total of 92 echelle orders. We introduce a new variant of a wave-guide image slicer with 3, 5, and 7 slices and peak efficiencies between 96 %. A total of six cross dispersers cover the six wavelength settings of the spectrograph, two of them always simultaneously. These are made of a VPH-grating sandwiched by two prisms. The peak efficiency of the system, including the telescope, is 15% at 650 nm, and still 11% and 10% at 390 nm and 900 nm, respectively. In combination with the 110 m2 light-collecting capability of the LBT, we expect a limiting magnitude of 20th mag in V in the low-resolution mode. The R=120 000 mode can also be used with two, dual-beam Stokes IQUV polarimeters. The 270 000-mode is made possible with the 7-slice image slicer and a 100- {\mu}m fibre through a projected sky aperture of 0.74", comparable to the median seeing of the LBT site. The 43000-mode with 12-pixel sampling per resolution element is our bad seeing or faint-object mode. Any of the three resolution modes can either be used with sky fibers for simultaneous sky exposures or with light from a stabilized Fabry-Perot etalon for ultra-precise radial velocities. CCD-image processing is performed with the dedicated data-reduction and analysis package PEPSI-S4S. A solar feed makes use of PEPSI during day time and a 500-m feed from the 1.8 m VATT can be used when the LBT is busy otherwise. In this paper, we present the basic instrument design, its realization, and its characteristics.


title: Idempotent plethories

abstract: Let $k$ be a commutative ring with identity. A {\it $k$-plethory} is a commutative $k$-algebra $P$ together with a comonad structure $W_P$, called the {\it $P$-Witt ring} functor, on the covariant functor that it represents. We say that a $k$-plethory $P$ is {\it idempotent} if the command $W_P$ is idempotent, or equivalently if the map from the trivial $k$-plethory $k[e]$ to $P$ is a $k$-plethory epimorphism. We prove several results on idempotent plethories. We also study the $k$-plethories contained in $K[e]$, where $K$ is the total quotient ring of $k$, which are necessarily idempotent and contained in $\operatorname{Int}(k) = \{f \in K[e]: f(k) \subseteq k\}$. For example, for any ring $l$ between $k$ and $K$ we find necessary and sufficient conditions---all of which hold if $k$ is a integral domain of Krull type---so that the ring $\operatorname{Int}_l(k) = \operatorname{Int}(k) \cap l[e]$ has the structure, necessarily unique and idempotent, of a $k$-plethory with unit given by the inclusion $k[e] \longrightarrow \operatorname{Int}_l(k)$. Our results, when applied to the binomial plethory $\operatorname{Int}({\mathbb Z})$, specialize to known results on binomial rings.


title: Lossless Layout Image Compression Algorithms for Electron-Beam Direct-Write Lithography

abstract: Electron-beam direct-write (EBDW) lithography systems must in the future transmit terabits of information per second to be viable for commercial semiconductor manufacturing. Lossless layout image compression algorithms with high decoding throughputs and modest decoding resources are tools to address the data transfer portion of the throughput problem. The earlier lossless layout image compression algorithm Corner2 is designed for binary layout images on raster-scanning systems. We propose variations of Corner2 collectively called Corner2-EPC and Paeth-EPC which apply to electron-beam proximity corrected layout images and offer interesting trade-offs between compression ratios and decoding speeds. Most of our algorithms achieve better overall compression performance than PNG, Block C4 and LineDiffEntropy while having low decoding times and resources.


title: Symmetric $Z_2$ spin liquids and their neighboring phases on triangular lattice

abstract: Motivated by recent numerical discovery of a gapped spin liquid phase in spin-$1/2$ triangular-lattice $J_1$-$J_2$ Heisenberg model, we classify symmetric $Z_2$ spin liquids on triangular lattice in the Abrikosov-fermion representation. We find 20 phases with distinct spinon symmetry quantum numbers, 8 of which have their counterparts in the Schwinger-boson representation. Among them we identify 2 promising candidates (#1 and #20), which can realize a gapped $Z_2$ spin liquid with up to next nearest neighbor mean-field amplitudes. We analyze their neighboring magnetic orders and valence bond solid patterns, and find one state (#20) that is connected to 120-degree Neel order by a continuous quantum phase transition. We also identify gapped nematic $Z_2$ spin liquids in the neighborhood of the symmetric states and find 3 promising candidates (#1, #6 and #20).


title: Well-posedness and scattering for fourth order nonlinear Schr\"odinger type equations at the scaling critical regularity

abstract: In the present paper, we consider the Cauchy problem of fourth order nonlinear Schr\"odinger type equations with a derivative nonlinearity. In one dimensional case, we prove that the fourth order nonlinear Schr\"odinger equation with the derivative quartic nonlinearity $\partial _x (\overline{u}^4)$ is the small data global in time well-posed and scattering to a free solution. Furthermore, we show that the same result holds for the $d \ge 2$ and derivative polynomial type nonlinearity, for example $|\nabla | (u^m)$ with $(m-1)d \ge 4$.


title: Random data Cauchy theory for the fourth order nonlinear Schr\"{o}dinger equation with cubic nonlinearity

abstract: We consider the Cauchy problem for the fourth order nonlinear Schr\"{o}dinger equation with derivative nonlinearity $(i\partial _t + \Delta ^2) u= \pm \partial (|u|^2u)$ on $\mathbb{R} ^d$, $d \ge 3$, with random initial data, where $\partial$ is a first order derivative with respect to the spatial variable, for example a linear combination of $\frac{\partial}{\partial x_1} , \, \dots , \, \frac{\partial}{\partial x_d}$ or $|\nabla |= \mathcal{F}^{-1}[|\xi | \mathcal{F}]$. We prove that almost sure local in time well-posedness, small data global in time well-posedness and scattering hold in $H^s(\mathbb{R} ^d)$ with $\max ( \frac{d-5}{2}, \frac{d-5}{6}) < s$, whose lower bound is below the scale critical regularity $s_c= \frac{d-3}{2}$.


title: Unique determination of a time-dependent potential for wave equations from partial data

abstract: We consider the inverse problem of determining a time-dependent potential $q$, appearing in the wave equation $\partial_t^2u-\Delta u+q(t,x)u=0$ in $Q=(0,T)\times\Omega$ with $\Omega$ a $C^2$ bounded domain of $\mathbb R^n$, $n\geq2$, from partial observations of the solutions on $\partial Q$. We prove global unique determination of a coefficient $q\in L^\infty(Q)$ from these observations.


title: Uniform Rectifiability and harmonic measure IV: Ahlfors regularity plus Poisson kernels in $L^p$ implies uniform rectifiability

abstract: Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be an Ahlfors-David regular set of dimension $n$. We show that the weak-$A_\infty$ property of harmonic measure, for the open set $\Omega:= \mathbb{R}^{n+1}\setminus E$, implies uniform rectifiability of $E$.


title: On the greatest prime factor of some divisibility sequences

abstract: Let $P(m)$ denote the greatest prime factor of $m$. For integer $a>1$, M. Ram Murty and S. Wong proved that, under the assumption of the ABC conjecture, $$P(a^n-1)\gg_{\epsilon, a} n^{2-\epsilon}$$ for any $\epsilon>0$. We study analogues results for the corresponding divisibility sequence over the function field $\mathbb{F}_q(t)$ and for some divisibility sequences associated to elliptic curves over the rational field $\mathbb{Q}$.


title: Direct Shear Mapping - a new weak lensing tool

abstract: We have developed a new technique called Direct Shear Mapping (DSM) to measure gravitational lensing shear directly from observations of a single background source. The technique assumes the velocity map of an un-lensed, stably-rotating galaxy will be rotationally symmetric. Lensing distorts the velocity map making it asymmetric. The degree of lensing can be inferred by determining the transformation required to restore axisymmetry. This technique is in contrast to traditional weak lensing methods, which require averaging an ensemble of background galaxy ellipticity measurements, to obtain a single shear measurement. We have tested the efficacy of our fitting algorithm with a suite of systematic tests on simulated data. We demonstrate that we are in principle able to measure shears as small as 0.01. In practice, we have fitted for the shear in very low redshift (and hence un-lensed) velocity maps, and have obtained null result with an error of $\pm 0.01$. This high sensitivity results from analysing spatially resolved spectroscopic images (i.e. 3D data cubes), including not just shape information (as in traditional weak lensing measurements) but velocity information as well. Spirals and rotating ellipticals are ideal targets for this new technique. Data from any large IFU or radio telescope is suitable, or indeed any instrument with spatially resolved spectroscopy such as SAMI, ALMA, HETDEX and SKA.


title: The Complete Weight Enumerator of A Class of Linear Codes

abstract: Linear codes can be employed to construct authentication codes, which is an interesting area of cryptography. The parameters of the authentication codes depend on the complete weight enumerator of the underlying linear codes. In order to obtain an authentication code with good parameters, the underlying linear code must have proper parameters. The first objective of this paper is to determine the complete weight enumerators of a class of linear codes with two weights and three weights. The second is to employ these linear codes to construct authentication codes with new parameters.


title: Monotone orbifold Hurwitz numbers

abstract: In general, Hurwitz numbers count branched covers of the Riemann sphere with prescribed ramification data, or equivalently, factorisations in the symmetric group with prescribed cycle structure data. In this paper, we initiate the study of monotone orbifold Hurwitz numbers. These are simultaneously variations of the orbifold case and generalisations of the monotone case, both of which have been previously studied in the literature. We derive a cut-and-join recursion for monotone orbifold Hurwitz numbers, determine a quantum curve governing their wave function, and state an explicit conjecture relating them to topological recursion.


title: Villamayor-Zelinsky sequence for symmetric finite tensor categories

abstract: We prove that if a finite tensor category $\C$ is symmetric, then the monoidal category of one-sided $\C$-bimodule categories is symmetric. Consequently, the Picard group of $\C$ (the subgroup of the Brauer-Picard group introduced by Etingov-Nikshych-Gelaki) is abelian in this case. We then introduce a cohomology over such $\C$. An important piece of tool for this construction is the computation of dual objects for bimodule categories and the fact that for invertible one-sided $\C$-bimodule categories the evaluation functor involved is an equivalence, being the coevaluation functor its quasi-inverse, as we show. Finally, we construct an infinite exact sequence a la Villamayor-Zelinsky for $\C$. It consists of the corresponding cohomology groups evaluated at three types of coefficients which repeat periodically in the sequence.


title: Joint Shaping and Altering the Demand Profile by Residential Plug-in Electric Vehicles for Forward and Spot Markets in Smart Grids

abstract: Plug-in electric vehicles (PEVs) can significantly increase the elasticity of residential electricity demand. This elasticity can be employed to shape the daily aggregated electricity demand profile of a system comprised of a large number of residential PEVs' users sharing one electricity retailer or an aggregator. In this paper, we propose a joint demand shaping and altering algorithm for managing vehicle-to-grid (V2G) enabled PEVs' electricity assignments (charging and discharging) in order to diminish the overall electricity procurement costs for a retailer bidding to two-settlement electricity markets, i.e., a day-ahead (DA) and a real-time (RT) market. This approach is decentralized, scalable, fast converging and does not violate users' privacy. Our simulations' results demonstrate significant overall cost savings (up to 28\%) for a retailer bidding to an operational electricity market by using our proposed algorithm. This becomes even more salient when the power system is integrating a large number of intermittent energy resources wherein RT demand altering is crucial due to more likely contingencies and hence more RT price fluctuations and even more so-called \textit{black swan events}. Lower electricity procurement cost for a retailer finally makes it able to offer better deals to customers and expand its market capacity. This implies that customers can enjoy lower electricity bills as well.


title: Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic

abstract: In this article we show how any formula A with a proof in minimal implicational logic that is super-polynomially sized has a polynomially-sized proof in classical implicational propositional logic . This fact provides an argument in favor that any classical propositional tautology has short proofs, i.e., NP=CoNP.


title: Optomechanical Entanglement between an Ion and an Optical Cavity Field

abstract: We study an optomechanical system in which the mechanical motion of a single trapped ion is coupled to a cavity field for the realization of a strongly quantum correlated two-mode system. We show that for large pump intensities the steady state photon number exhibits bistable behaviour. We further analyze the occurrence of normal mode splitting (NMS) due to mixing of the fluctuations of the cavity field and the fluctuations of the ion motion which indicates a coherent energy exchange. We also find that in the parameter regime where NMS exists, the steady state of the system shows continuous variable entanglement. Such a two-mode optomechanical system can be used for the realization of continuous variable quantum information interfaces and networks.


title: Pattern avoidance is not P-recursive

abstract: Let $F \subset S_k$ be a finite set of permutations and let $C_n(F)$ denote the number of permutations $\sigma$ in $S_n$ avoiding the set of patterns $F$. The Noonan-Zeilberger conjecture states that the sequence ${C_n(F)}$ is P-recursive. We use Computability Theory to disprove this conjecture.


title: Exact analytical approach to differential equations with variable coefficients

abstract: This paper shows how to build a formal analytical solution for a differential equation of arbitrary order and with variable coefficients. It proofs that the most known approximated solutions for such a problem can be derived from the analytical expression presented in the paper. The formalism can be easily extended to the infinite dimensional case such as the quantum time-dependent Hamiltonian problem.


title: On the piecewise approximation of bi-Lipschitz curves

abstract: In this paper we deal with the task of uniformly approximating an $L$-biLipschitz curve by means of piecewise linear ones. This is rather simple if one is satisfied to have approximating functions which are $L'$-biLipschitz, for instance this was already done with $L'= 4L$ in [Daneri-Pratelli, Lemma 5.5]. The main result of this paper is to do the same with $L'=L+ \varepsilon$ (which is of course the best possible result); in the end, we generalize the result to the case of closed curves.


title: Independent sums of $H^1_n(\mathbb{T})$ and $H^1_n(\delta)$

abstract: We construct a new idempotent Fourier multiplier on the Hardy space on the bidisc, which could not be obtained by applying known one dimentional results. The main tool is a new $L^1$ equivalent of the Stein martingale inequality which holds for a special filtration of periodic subsets of $\mathbb{T}$ with some restrictions on the functions involved. We also identify the isomorphic type of the range of the associated operator as the independent sum of dyadic $H^1_n$, which is known to be a complemented and invariant subspace of dyadic $H^1$.


title: Solutions and stability of variant of Wilson's functional equation

abstract: In this paper we will investigate the solutions and stability of the generalized variant of Wilson's functional equation $$ (E):\;\;\;\; f(xy)+\chi(y)f(\sigma(y)x)=2f(x)g(y),\; x,y\in G,$$ where $G$ is a group, $\sigma$ is an involutive morphism of $G$ and $\chi$ is a character of $G$. (a) We solve $(E)$ when $\sigma$ is an involutive automorphism, and we obtain some properties about solutions of $(E)$ when $\sigma$ is an involutive anti-automorphism. (b) We obtain the Hyers Ulam stability of equation $(E)$. As an application, we prove the superstability of the functional equation $f(xy)+\chi(y)f(\sigma(y)x)=2f(x)f(y),\; x,y\in G.$


title: Solutions and stability of a generalization of Wilson's equation

abstract: In this paper we study the solutions and stability of the generalized Wilson's functional equation $\int_{G}f(xty)d\mu(t)+\int_{G}f(xt\sigma(y))d\mu(t)=2f(x)g(y),\; x,y\in G$, where $G$ is a locally compact group, $\sigma$ is a continuous involution of $G$ and $\mu$ is an idempotent complex measure with compact support and which is $\sigma$-invariant. We show that $\int_{G}g(xty)d\mu(t)+\int_{G}g(xt\sigma(y))d\mu(t)=2g(x)g(y),\; x,y\in G$ if $f\neq 0$ and $\int_{G}f(t.)d\mu(t)\neq 0$. We also study some stability theorems of that equation and we establish the stability on noncommutaive groups of the classical Wilson's functional equation $f(xy)+\chi(y)f(x\sigma(y))=2f(x)g(y)\; x,y\in G$, where $\chi$ is a unitary character of $G$.


title: Analytic Solution of Linear Fractional Differential Equation with Jumarie Derivative in Term of Mittag-Leffler Function

abstract: There is no unified method to solve the fractional differential equation. The type of derivative here used in this paper is of Jumarie formulation, for the several differential equations studied. Here we develop an algorithm to solve the linear fractional differential equation composed via Jumarie fractional derivative in terms of Mittag-Leffler function; and show its conjugation with ordinary calculus. In these fractional differential equations the one parameter Mittag-Leffler function plays the role similar as exponential function used in ordinary differential equations.


title: Uncovering functional relationships at zeros with special reference to Riemann's Zeta Function

abstract: A Master equation has been previously obtained which allows the analytic integration of a fairly large family of functions provided that they possess simple properties. Here, the properties of this Master equation are explored, by extending its applicability to a general range of an independent parameter. Examples are given for various values of the parameter using Riemann's Zeta function as a template to demonstrate the utility of the equation. The template is then extended to the derivation of various sum rules among the zeros of the Zeta function as an example of how similar rules can be obtained for other functions.


title: Determination of the Stieltjes constants at rational arguments

abstract: The Stieltjes constants have attracted considerable attention in recent years and a number of authors, including the present one, have considered various ways in which these constants may be evaluated. The primary purpose of this paper is to belatedly highlight the fact that Deninger actually ascertained the first generalised Stieltjes constant at rational arguments as long ago as 1984 and that all of the higher constants (at rational arguments) were determined in principle by Chakraborty, Kanemitsu and Kuzumaki in 2009. Equivalent results were obtained by Musser in his 2011 thesis. The authors of the above papers simply referred to the constants as the Laurent coefficients which explains why various electronic searches conducted by this author for Stieltjes constants did not readily highlight these particular sources. In this paper the author has employed a slightly different argument to obtain a simpler expression for the results originally derived by Chakraborty et al. in 2009.


title: A Hilbert space on left-definite Sturm-Liouville difference equation

abstract: We investigate the discrete Sturm-Liouville equations. In the present situation, the right hand side of the equation does not give rise to a positive definite quadratic form and we use instead the left hand side to define such a form. We prove in this paper that this form determines a Hilbert space (such problems are called left-definite).


title: Empirical Isochrones for Low Mass Stars in Nearby Young Associations

abstract: Absolute ages of young stars are important for many issues in pre-main sequence stellar and circumstellar evolution but are long recognized as difficult to derive and calibrate. In this paper, we use literature spectral types and photometry to construct empirical isochrones in HR diagrams for low-mass stars and brown dwarfs in the eta Cha, epsilon Cha, and TW Hya Associations and the beta Pic and Tuc-Hor Moving Groups. A successful theory of pre-main sequence evolution should match the shapes of the stellar loci for these groups of young stars. However, when comparing the combined empirical isochrones to isochrones predicted from evolutionary models, discrepancies lead to a spectral type (mass) dependence in stellar age estimates. Improved prescriptions for convection and boundary conditions in the latest models of pre-main sequence models lead to a significantly improved correspondence between empirical and model isochrones, with small offsets at low temperatures that may be explained by observational uncertainties or by model limitations. Independent of model predictions, linear fits to combined stellar loci of these regions provide a simple empirical method to order clusters by luminosity with a reduced dependence on spectral type. Age estimates calculated from various sets of modern models that reproduce Li depletion boundary ages of the beta Pic Moving Group also imply a ~4 Myr age for the low mass members of the Upper Sco OB Association, which is younger than the 11 Myr age that has been recently estimated for intermediate mass members.


title: Does the variation of solar inter-network horizontal field follow sunspot cycle?

abstract: The ubiquitousness of solar inter-network horizontal magnetic field has been revealed by the space-borne observations with high spatial resolution and polarization sensitivity. However, no consensus has been achieved on the origin of the horizontal field among solar physicists. For a better understanding, in this study we analyze the cyclic variation of inter-network horizontal field by using the spectro-polarimeter observations provided by Solar Optical Telescope on board Hinode, covering the interval from 2008 April to 2015 February. The method of wavelength integration is adopted to achieve a high signal-to-noise ratio. It is found that from 2008 to 2015 the inter-network horizontal field does not vary when solar activity increases, and the average flux density of inter-network horizontal field is 87$\pm$1 G, In addition, the imbalance between horizontal and vertical field also keeps invariant within the scope of deviation, i.e., 8.7$\pm$0.5, from the solar minimum to maximum of solar cycle 24. This result confirms that the inter-network horizontal field is independent of sunspot cycle. The revelation favors the idea that a local dynamo is creating and maintaining the solar inter-network horizontal field.


title: Comparison of the Z/gamma* + jets to gamma + jets cross sections in pp collisions at sqrt(s) = 8 TeV

abstract: A comparison of the differential cross sections for the processes Z/gamma* + jets and photon (gamma) + jets is presented. The measurements are based on data collected with the CMS detector at sqrt(s) = 8 TeV corresponding to an integrated luminosity of 19.7 inverse femtobarns. The differential cross sections and their ratios are presented as functions of pt. The measurements are also shown as functions of the jet multiplicity. Differential cross sections are obtained as functions of the ratio of the Z/gamma* pt to the sum of all jet transverse momenta and of the ratio of the Z/gamma* pt to the leading jet transverse momentum. The data are corrected for detector effects and are compared to simulations based on several QCD calculations.


title: The length scale measurements of the Fractional quantum Hall state on cylinder

abstract: Once the fractional quantum Hall (FQH) state for a finite size system is put on the surface of a cylinder, the distance between the two ends with open boundary conditions can be tuned as varying the aspect ratio $\gamma$. It scales linearly as increasing the system size and therefore has a larger adjustable range than that on disk. The previous study of the quasi-hole tunneling amplitude on disk in Ref.~\cite{Zk2011} indicates that the tunneling amplitudes have a scaling behavior as a function of the tunneling distance and the scaling exponents are related to the scaling dimension and the charge of the transported quasiparticles. However, the scaling behaviors poorly due to the narrow range of the tunneling distance on disk. Here we systematically study the quasiparticle tunneling amplitudes of the Laughlin state in the cylinder geometry which shows a much better scaling behavior. Especially, there are some corssover behaviors at two length scales when the two open edges are close to each other. These lengths are also reflected in the bipartite entanglement and the electron Green's function as either a singularity or a crossover. These two critical length scales of the edge-edge distance, $L_x^{c_1}$ and $L_x^{c_2}$, are found to be related to the dimension reduction and back scattering point respectively.


title: Cyclic behavior of solar inter-network magnetic field

abstract: Solar inter-network magnetic field is the weakest component of solar magnetism, but contributes most of the solar surface magnetic flux. The study on its origin has been constrained by the inadequate tempo-spatial resolution and sensitivity of polarization observations. With dramatic advances in spatial resolution and detective sensitivity, solar spectro-polarimetry provided by the Solar Optical Telescope aboard Hinode in an interval from solar minimum to maximum of cycle 24 opens an unprecedented opportunity to study the cyclic behavior of solar inter-network magnetic field. More than 1000 Hinode magnetograms observed from 2007 January to 2014 August are selected in the study. It has been found that there is a very slight correlation between sunspot number and magnetic field at the inter-network flux spectrum. From solar minimum to maximum of cycle 24, the flux density of solar inter-network field is invariant, which is 10$\pm1$ G. The observations suggest that the inter-network magnetic field does not arise from the flux diffusion or flux recycling of solar active regions, thereby indicating the existence of a locally small-scale dynamo. Combining the full-disk magnetograms observed by SOHO/MDI and SDO/HMI in the same period, we find that the area ratio of the inter-network region to the full-disk of the Sun apparently decreases from solar minimum to maximum but always exceeds 60\% even though in the phase of solar maximum.


title: Space qualified nanosatellite electronics platform for photon pair experiments

abstract: We report the design and implementation of a complete electronics platform for conducting a quantum optics experiment that will be operated on board a 1U CubeSat (a 10 x 10 x 10 cm satellite). The quantum optics experiment is designed to produce polarization-entangled photon pairs using non-linear optical crystals and requires opto-electronic components such as a pump laser, single photon detectors and liquid crystal based polarization rotators in addition to passive optical elements. The platform provides mechanical support for the optical assembly. It also communicates autonomously with the host satellite to provide experiment data for transmission to a ground station. A limited number of commands can be transmitted from ground to the platform enabling it to switch experimental modes. This platform requires less than 1.5W for all operations, and is space qualified. The implementation of this electronics platform is a major step on the road to operating quantum communication experiments using nanosatellites.


title: New Explicit Binary Constant Weight Codes from Reed-Solomon Codes

abstract: Binary constant weight codes have important applications and have been studied for many years. Optimal or near-optimal binary constant weight codes of small lengths have been determined. In this paper we propose a new construction of explicit binary constant weight codes from $q$-ary Reed-Solomon codes. Some of our binary constant weight codes are optimal or new. In particular new binary constant weight codes $A(64, 10, 8) \geq 4108$ and $A(64, 12, 8) \geq 522$ are constructed. We also give explicitly constructed binary constant weight codes which improve Gilbert and Graham-Sloane lower bounds in some range of parameters. An extension to algebraic geometric codes is also presented.


title: Cluster spin-glass ground state in quasi-one-dimensional KCr$_{3}$As$_{3}$

abstract: We report structural and physical properties of a new quasi-one-dimensional Cr-based compound, KCr$_{3}$As$_{3}$, which is prepared by potassium deintercalation from the superconductive K$_{2}$Cr$_{3}$As$_{3}$. KCr$_{3}$As$_{3}$ adopts the TlFe$_{3}$Te$_{3}$-type structure with space group $P6_{3}$/$m$ (No. 176). The high-temperature magnetic susceptibility obeys the Curie-Weiss law with an effective magnetic moment of 0.68 $\mu_{\mathrm{B}}$/Cr. Below 56 K the susceptibility deviates from the high-temperature Curie-Weiss behavior, coinciding with the rapid increase in resistivity, which suggests formation of spin clusters. The short-range spin correlations are also supported by the specific-heat data. The title material does not exhibit bulk superconductivity; instead, it shows a cluster spin-glass state below $\sim$ 5 K.


title: Halogenation of Imidazolium Ionic Liquids. Thermodynamics Perspective

abstract: Imidazolium cations are promising for anion exchange membranes, and electrochemical applications and gas capture. They can be chemically modified in many ways including halogenation. Halogenation possibilities of the imidazole ring constitute a particular interest. This work investigates fluorination and chlorination reactions of all symmetrically non-equivalent sites of the imidazolium cation. Halogenation of all carbon atoms is thermodynamically permitted. Out of these, the most favorable site is the first methylene group of the alkyl chain. In turn, the least favorable site is carbon of the imidazole ring. Temperature dependence of enthalpy, entropy, and Gibbs free energy at 1 bar is discussed. The reported results provide an important guidance in functionalization of ionic liquids in search of task-specific compounds.


title: Poisson statistics for random deformed band matrices with power law band width

abstract: We show Poisson statistics for random band matrices which diagonal entries have Gaussian components. These components are possibly as small as $n^{-\varepsilon}$. Particularly, our result is applicable for a band matrix cut from the GUE with the band width satisfying $w^{3.5}<<n$. A uniform upper bound of the averaged density of states (DOS) is obtained for complex deformed Gaussian band matrices with arbitrary $w$. A lower estimate of the DOS is also proven for arbitrary $w$ in a certain class of band matrices.


title: Temperature and number evolution of cold cesium atoms inside a wall-coated glass cell

abstract: We report an experimental study on the temperature and number evolution of cold cesium atoms diffusively cooled inside a wall-coated glass cell by measuring the absorption profile of the 62S1/2 (F=4)-62P3/2 (F'=5) transition line with a weak probe laser in the evolution process. We found that the temperature of the cold atoms first gradually decreases from 16 mK to 9 mK, and then rapidly increases. The number of cold atoms first declines slowly from 2.1*10^9 to 3.7*10^8 and then falls drastically. A theoretical model for the number evolution is built and includes the instantaneous temperature of the cold atoms and a fraction p, which represents the part of cold cesium atoms elastically reflected by the coated cell wall. The theory is overall in good agreement with the experimental result and a nonzero value is obtained for the fraction p, which indicates that the cold cesium atoms are not all heated to the ambient temperature by a single collision with the coated cell wall. These results can provide helpful insight for precision measurements based on diffuse laser cooling.


title: An efficient dynamic programming algorithm for the generalized LCS problem with multiple substring inclusive constraints

abstract: In this paper, we consider a generalized longest common subsequence problem with multiple substring inclusive constraints. For the two input sequences $X$ and $Y$ of lengths $n$ and $m$, and a set of $d$ constraints $P=\{P_1,\cdots,P_d\}$ of total length $r$, the problem is to find a common subsequence $Z$ of $X$ and $Y$ including each of constraint string in $P$ as a substring and the length of $Z$ is maximized. A new dynamic programming solution to this problem is presented in this paper. The correctness of the new algorithm is proved. The time complexity of our algorithm is $O(d2^dnmr)$. In the case of the number of constraint strings is fixed, our new algorithm for the generalized longest common subsequence problem with multiple substring inclusive constraints requires $O(nmr)$ time and space.


title: Placement Optimization of Energy and Information Access Points in Wireless Powered Communication Networks

abstract: The applications of wireless power transfer technology to wireless communications can help build a wireless powered communication network (WPCN) with more reliable and sustainable power supply compared to the conventional battery-powered network. However, due to the fundamental differences in wireless information and power transmissions, many important aspects of conventional battery-powered wireless communication networks need to be redesigned for efficient operations of WPCNs. In this paper, we study the placement optimization of energy and information access points in WPCNs, where the wireless devices (WDs) harvest the radio frequency energy transferred by dedicated energy nodes (ENs) in the downlink, and use the harvested energy to transmit data to information access points (APs) in the uplink. In particular, we are interested in minimizing the network deployment cost with minimum number of ENs and APs by optimizing their locations, while satisfying the energy harvesting and communication performance requirements of the WDs. Specifically, we first study the minimum-cost placement problem when the ENs and APs are separately located, where an alternating optimization method is proposed to jointly optimize the locations of ENs and APs. Then, we study the placement optimization when each pair of EN and AP are co-located and integrated as a hybrid access point, and propose an efficient algorithm to solve this problem. Simulation results show that the proposed methods can effectively reduce the network deployment cost and yet guarantee the given performance requirements, which is a key consideration in the future applications of WPCNs.


title: Affine and Regional Dynamic Time Warpng

abstract: Pointwise matches between two time series are of great importance in time series analysis, and dynamic time warping (DTW) is known to provide generally reasonable matches. There are situations where time series alignment should be invariant to scaling and offset in amplitude or where local regions of the considered time series should be strongly reflected in pointwise matches. Two different variants of DTW, affine DTW (ADTW) and regional DTW (RDTW), are proposed to handle scaling and offset in amplitude and provide regional emphasis respectively. Furthermore, ADTW and RDTW can be combined in two different ways to generate alignments that incorporate advantages from both methods, where the affine model can be applied either globally to the entire time series or locally to each region. The proposed alignment methods outperform DTW on specific simulated datasets, and one-nearest-neighbor classifiers using their associated difference measures are competitive with the difference measures associated with state-of-the-art alignment methods on real datasets.


title: Colors $-$Messengers of Concepts: Visual Design Mining for Learning Color Semantics

abstract: This paper studies the concept of color semantics by modeling a dataset of magazine cover designs, evaluating the model via crowdsourcing, and demonstrating several prototypes that facilitate color-related design tasks. We investigate a probabilistic generative modeling framework that expresses semantic concepts as a combination of color and word distributions $-$color-word topics. We adopt an extension to Latent Dirichlet Allocation (LDA) topic modeling called LDA-dual to infer a set of color-word topics over a corpus of 2,654 magazine covers spanning 71 distinct titles and 12 genres. While LDA models text documents as distributions over word topics, we model magazine covers as distributions over color-word topics. The results of our crowdsourced experiments confirm that the model is able to successfully discover the associations between colors and linguistic concepts. Finally, we demonstrate several simple prototypes that apply the learned model to color palette recommendation, design example retrieval, image retrieval, image color selection, and image recoloring.


title: Two-loop disorder effects on the nematic quantum criticality in $d$-wave superconductors

abstract: The gapless nodal fermions exhibit non-Fermi liquid behaviors at the nematic quantum critical point that is supposed to exist in some $d$-wave cuprate superconductors. This non-Fermi liquid state may be turned into a disorder-dominated diffusive metal if the fermions also couple to a disordered potential that generates a relevant perturbation in the sense of renormalization group theory. It is therefore necessary to examine whether a specific disorder is relevant or not. We study the interplay between critical nematic fluctuation and random chemical potential by performing renormalization group analysis. The parameter that characterizes the strength of random chemical potential is marginal at the one-loop level, but becomes marginally relevant after including the two-loop corrections. Thus even weak random chemical potential leads to diffusive motion of nodal fermions and the significantly critical behaviors of physical implications, since the strength flows eventually to large values at low energies.


title: Generating Function and a Rodrigues Formula for the Polynomials in $d$-Dimensional Semiclassical Wave Packets

abstract: We present a simple formula for the generating function for the polynomials in the $d$--dimensional semiclassical wave packets. We then use this formula to prove the associated Rodrigues formula.


title: First-principles calculation method for electron transport based on grid Lippmann-Schwinger equation

abstract: We develop a first-principles electron-transport simulator based on the Lippmann--Schwinger (LS) equation within the framework of the real-space finite-difference scheme. In our fully real-space based LS (grid LS) method, the ratio expression technique for the scattering wave functions and the Green's function elements of the reference system is employed to avoid numerical collapse. Furthermore, we present analytical expressions and/or prominent calculation procedures for the retarded Green's function, which are utilized in the grid LS approach. In order to demonstrate the performance of the grid LS method, we simulate the electron-transport properties of the semiconductor/oxide interfaces sandwiched between semi-infinite metal electrodes. The results confirm that the leakage current through the (001)Si/SiO$_2$ model becomes much larger when the dangling-bond (DB) state is induced by a defect in the oxygen layer while that through the (001)Ge/GeO$_2$ model is insensitive to the DB state.


title: The maximum likelihood degree of mixtures of independence models

abstract: The maximum likelihood degree (ML degree) measures the algebraic complexity of a fundamental optimization problem in statistics: maximum likelihood estimation. In this problem, one maximizes the likelihood function over a statistical model. The ML degree of a model is an upper bound to the number of local extrema of the likelihood function and can be expressed as a weighted sum of Euler characteristics. The independence model (i.e. rank one matrices over the probability simplex) is well known to have an ML degree of one, meaning their is a unique local maxima of the likelihood function. However, for mixtures of independence models (i.e. rank two matrices over the probability simplex), it was an open question as to how the ML degree behaved. In this paper, we use Euler characteristics to prove an outstanding conjecture by Hauenstein, the first author, and Sturmfels; we give recursions and closed form expressions for the ML degree of mixtures of independence models.


title: A survey of SMS based Information Systems

abstract: Short Message Service (SMS) based Information Systems (SMSbIS) provide an excellent alternative to a traditional approach of obtaining specific information by direct (through phone) or indirect (IVRS, Web, Email) probing. Information and communication technology and far reaching mobile penetration has opened this new research trend Number of key players in Search industry including Microsoft and Google are attracted by the expected increase in volume of use of such applications. The wide range of applications and their public acceptance has motivated researchers to work in this research domain. Several applications such as SMS based information access using database management services, SMS based information retrieval through internet (search engine), SMS based information extraction, question answering, image retrieval etc. have been emerged. With the aim to understand the functionality involved in these systems, an extensive review of a few of these SMSbISs has been planned and executed by us. These systems are classified into four categories based on the objectives and domains of the applications. As a result of this study a well structured functional model is presented here. The model is evaluated in different dimensions, which is presented in this paper. In addition to this a chronological progress with respect to research and development in this upcoming field is compiled in this paper. Such an extensive review presented in this paper would definitely help the researchers and developers to understand the technical aspects of this field. The functional framework presented here would be useful to the system designers to design and develop an SMS based Information System of any specific domain.


title: Clustering via Content-Augmented Stochastic Blockmodels

abstract: Much of the data being created on the web contains interactions between users and items. Stochastic blockmodels, and other methods for community detection and clustering of bipartite graphs, can infer latent user communities and latent item clusters from this interaction data. These methods, however, typically ignore the items' contents and the information they provide about item clusters, despite the tendency of items in the same latent cluster to share commonalities in content. We introduce content-augmented stochastic blockmodels (CASB), which use item content together with user-item interaction data to enhance the user communities and item clusters learned. Comparisons to several state-of-the-art benchmark methods, on datasets arising from scientists interacting with scientific articles, show that content-augmented stochastic blockmodels provide highly accurate clusters with respect to metrics representative of the underlying community structure.


title: Towards Modeling Energy Consumption of Xeon Phi

abstract: In the push for exascale computing, energy efficiency is of utmost concern. System architectures often adopt accelerators to hasten application execution at the cost of power. The Intel Xeon Phi co-processor is unique accelerator that offers application designers high degrees of parallelism, energy-efficient cores, and various execution modes. To explore the vast number of available configurations, a model must be developed to predict execution time, power, and energy for the CPU and Xeon Phi. An experimentation method has been developed which measures power for the CPU and Xeon Phi separately, as well as total system power. Execution time and performance are also captured for two experiments conducted in this work. The experiments, frequency scaling and strong scaling, will help validate the adopted model and assist in the development of a model which defines the host and Xeon Phi. The proxy applications investigated, representative of large-scale real-world applications, are Co-Design Molecular Dynamics (CoMD) and Livermore Unstructured Lagrangian Explicit Shock Hydrodynamics (LULESH). The frequency experiment discussed in this work is used to determine the time on-chip and off-chip to measure the compute- or latencyboundedness of the application. Energy savings were not obtained in symmetric mode for either application.


title: Penalty method with P1/P1 finite element approximation for the Stokes equations under slip boundary condition

abstract: We consider the P1/P1 or P1b/P1 finite element approximations to the Stokes equations in a bounded smooth domain subject to the slip boundary condition. A penalty method is applied to address the essential boundary condition $u\cdot n = g$ on $\partial\Omega$, which avoids a variational crime and simultaneously facilitates the numerical implementation. We give $O(h^{1/2} + \epsilon^{1/2} + h/\epsilon^{1/2})$-error estimate for velocity and pressure in the energy norm, where $h$ and $\epsilon$ denote the discretization parameter and the penalty parameter, respectively. In the two-dimensional case, it is improved to $O(h + \epsilon^{1/2} + h^2/\epsilon^{1/2})$ by applying reduced-order numerical integration to the penalty term. The theoretical results are confirmed by numerical experiments.


title: Avalanche Photon Cooling by Induced Compton Scattering: Higher-Order Kompaneets Equation

abstract: Induced Compton scattering (ICS) is an interaction between intense electro-magnetic radiations and plasmas, where ICS transfers the energy from photons to plasmas. Although ICS is important for laser plasma interactions in laboratory experiments and for radio emission from pulsars propagating in pulsar wind plasmas, the detail of photon cooling process has not been understood. The problem is that, when ICS dominates, evolution of photon spectra is described as a nonlinear convection equation, which makes photon spectra to be multi-valued. Here, we propose a new approach to treat evolution of photon spectra affected by ICS. Starting from the higher-order Kompaneets equation, we find a new equation that resolves the unphysical behavior of photon spectra. In addition, we find the steady-state analytic solution, which is linearly stable. We also successfully simulate the evolution of photon spectra without artificial viscosity. We find that photons rapidly lose their energy by ICS with continuously forming solitary structures in frequency-space. The solitary structures have the logarithmically same width characterized by an electron temperature. The energy transfer from photons to plasma is more effective for broader spectrum of photons such as expected in astrophysical situations.


title: A Service Broker Model for Cloud based Render Farm Selection

abstract: Cloud computing is gaining popularity in the 3D Animation industry for rendering the 3D images. Rendering is an inevitable task in creating the 3d animated scenes. It is a process where the scene files to be animated is read and converted into 3D photorealistic images automatically. Since it is a computationally intensive task, this process consumes the majority of the time taken for 3D images production. As the scene files could be processed in parallel, clusters of computers called render farms can be used to speed up the rendering process. The advantage of using Cloud based render farms is that it is scalable and can be availed on demand. One of the important challenges faced by the 3D studios is the comparison and selection of the cloud based render farm service provider who could satisfy their functional and the non functional Quality of Service (QoS) requirements. In this paper we propose, a frame work for Cloud Service Broker (CSB) responsible for the selection and provision of the cloud based render farm. The Cloud Service Broker matches the functional and the non functional Quality of Service requirements (QoS) of the user with the service offerings of the render farm service providers and helps the user in selecting the right service provider using an aggregate utility function. The CSB also facilitates the process of Service Level Agreement (SLA) negotiation and monitoring by the third party monitoring services.


title: Rendering-as-a-Service: Taxonomy and Comparison

abstract: The movies like the Avatar are a good example of the stunning visual effects that the animation could bring into a movie.The 3D wire frame models are converted to 3D photo realistic images using a process called the rendering. This rendering process is offered as a service in the cloud, where the animation files to be rendered are split into frames and rendered in the cloud resources and are popularly known as Rendering as a Service. As this is gaining high popularity among the animators community, this work intends to enable the animators to Gain basic knowledge about Rendering as a Service. Understand the variety in the service models through the taxonomy,Explore, compare and classify the services quickly using the tree-structured taxonomy of services. In this paper, the various characteristics of the services are organized in the form of a tree to enable quick classification and comparison of the services. To enhance the understandability, three popular services have been classified and verified according to the proposed tree-structured taxonomy.


title: Large rectification magnetoresistance in nonmagnetic Al/Ge/Al heterojunctions

abstract: Magnetoresistance and rectification are two fundamental physical properties of heterojunctions and respectively have wide applications in spintronics devices. Being different from the well known various magnetoresistance effects, here we report a brand new large magnetoresistance that can be regarded as rectification magnetoresistance: the application of a pure small sinusoidal alternating-current to the nonmagnetic Al/Ge Schottky heterojunctions can generate a significant direct-current voltage, and this rectification voltage strongly varies with the external magnetic field. We find that the rectification magnetoresistance in Al/Ge Schottky heterojunctions is as large as 250% at room temperature, which is greatly enhanced as compared with the conventional magnetoresistance of 70%. The findings of rectification magnetoresistance open the way to the new nonmagnetic Ge-based spintronics devices of large rectification magnetoresistance at ambient temperature under the alternating-current due to the simultaneous implementation of the rectification and magnetoresistance in the same devices.


title: Error estimates of a stabilized Lagrange-Galerkin scheme for the Navier-Stokes equations

abstract: Error estimates with optimal convergence orders are proved for a stabilized Lagrange-Galerkin scheme for the Navier-Stokes equations. The scheme is a combination of Lagrange-Galerkin method and Brezzi-Pitkaranta's stabilization method. It maintains the advantages of both methods; (i) It is robust for convection-dominated problems and the system of linear equations to be solved is symmetric. (ii) Since the P1 finite element is employed for both velocity and pressure, the number of degrees of freedom is much smaller than that of other typical elements for the equations, e.g., P2/P1. Therefore, the scheme is efficient especially for three-dimensional problems. The theoretical convergence orders are recognized numerically by two- and three-dimensional computations.


title: Quasi-B-mode generated by high-frequency gravitational waves and corresponding perturbative photon fluxes

abstract: Interaction of very low-frequency primordial(relic) gravitational waves(GWs) to cosmic microwave background(CMB) can generate B-mode polarization. Here, for the first time we point out that the electromagnetic(EM) response to high-frequency GWs(HFGWs) would produce quasi-B-mode distribution of the perturbative photon fluxes, and study the duality and high complementarity between such two B-modes. Based on this quasi-B-mode in HFGWs, it is shown that the distinguishing and observing of HFGWs from the braneworld would be quite possible due to their large amplitude, higher frequency and very different physical behaviors between the perturbative photon fluxes and background photons, and the measurement of relic HFGWs may also be possible though face to enormous challenge.


title: Iterated function systems with the average shadowing property

abstract: The average shadowing property is considered for set-valued dynamical systems, generated by parameterized IFS, which are uniformly contracting, or conjugacy, or products of such ones. We also prove that if a continuous surjective IFS F on a compact metric space X has the aver- age shadowing property, then every point x is chain recurrent. Moreover, we introduce some examples and investigate the relationship between the original shadowing property and shadowing property for IFS. For example, this is proved that the Sierpinski IFS has the average shadowing property. Then we shows that there is an IFS F on S1 such that F does not sat- isfy the average shadowing property but every point x in S1 is a chain recurrent.


title: Hasse principle for three classes of varieties over global function fields

abstract: We give a geometric proof that Hasse principle holds for the following varieties defined over global function fields: smooth quadric hypersurfaces in odd characteristic, smooth cubic hypersurfaces of dimension at least $4$ in characteristic at least $7$, and smooth complete intersections of two quadrics of dimension at least $3$ in odd characteristics. In Appendix A we explain how to modify a previous argument of the author to prove weak approximation for cubic hypersurfaces defined over function fields of curves over algebraically closed fields of characteristic at least $7$. In Appendix B we prove some corollaries of Koll\'ar's results on the fundamental group of separably rationally connected varieties.


title: Familywise Error Rate Control via Knockoffs

abstract: We present a novel method for controlling the $k$-familywise error rate ($k$-FWER) in the linear regression setting using the knockoffs framework first introduced by Barber and Cand\`es. Our procedure, which we also refer to as knockoffs, can be applied with any design matrix with at least as many observations as variables, and does not require knowing the noise variance. Unlike other multiple testing procedures which act directly on $p$-values, knockoffs is specifically tailored to linear regression and implicitly accounts for the statistical relationships between hypothesis tests of different coefficients. We prove that knockoffs controls the $k$-FWER exactly in finite samples and show in simulations that it provides superior power to alternative procedures over a range of linear regression problems. We also discuss extensions to controlling other Type I error rates such as the false exceedance rate, and use it to identify candidates for mutations conferring drug-resistance in HIV.


title: MSPKmerCounter: A Fast and Memory Efficient Approach for K-mer Counting

abstract: A major challenge in next-generation genome sequencing (NGS) is to assemble massive overlapping short reads that are randomly sampled from DNA fragments. To complete assembling, one needs to finish a fundamental task in many leading assembly algorithms: counting the number of occurrences of k-mers (length-k substrings in sequences). The counting results are critical for many components in assembly (e.g. variants detection and read error correction). For large genomes, the k-mer counting task can easily consume a huge amount of memory, making it impossible for large-scale parallel assembly on commodity servers. In this paper, we develop MSPKmerCounter, a disk-based approach, to efficiently perform k-mer counting for large genomes using a small amount of memory. Our approach is based on a novel technique called Minimum Substring Partitioning (MSP). MSP breaks short reads into multiple disjoint partitions such that each partition can be loaded into memory and processed individually. By leveraging the overlaps among the k-mers derived from the same short read, MSP can achieve astonishing compression ratio so that the I/O cost can be significantly reduced. For the task of k-mer counting, MSPKmerCounter offers a very fast and memory-efficient solution. Experiment results on large real-life short reads data sets demonstrate that MSPKmerCounter can achieve better overall performance than state-of-the-art k-mer counting approaches. MSPKmerCounter is available at http://www.cs.ucsb.edu/~yangli/MSPKmerCounter


title: Geometric Proof of a Conjecture of King, Tollu, and Toumazet

abstract: In their 2004 paper, Stretched Littlewood-Richardson and Kostka Coefficients, King, Tollu, and Toumazet conjectured that if a Littlewood-Richardson coefficient of value 2 is stretched by a factor of N, the resulting coefficient has value N+1. A generalization of this is proven using geometric methods and Schubert calculus.


title: Concrete resource analysis of the quantum linear system algorithm used to compute the electromagnetic scattering cross section of a 2D target

abstract: We provide a detailed estimate for the logical resource requirements of the quantum linear system algorithm (QLSA) [Phys. Rev. Lett. 103, 150502 (2009)] including the recently described elaborations [Phys. Rev. Lett. 110, 250504 (2013)]. Our resource estimates are based on the standard quantum-circuit model of quantum computation; they comprise circuit width, circuit depth, the number of qubits and ancilla qubits employed, and the overall number of elementary quantum gate operations as well as more specific gate counts for each elementary fault-tolerant gate from the standard set {X, Y, Z, H, S, T, CNOT}. To perform these estimates, we used an approach that combines manual analysis with automated estimates generated via the Quipper quantum programming language and compiler. Our estimates pertain to the example problem size N=332,020,680 beyond which, according to a crude big-O complexity comparison, QLSA is expected to run faster than the best known classical linear-system solving algorithm. For this problem size, a desired calculation accuracy 0.01 requires an approximate circuit width 340 and circuit depth of order $10^{25}$ if oracle costs are excluded, and a circuit width and depth of order $10^8$ and $10^{29}$, respectively, if oracle costs are included, indicating that the commonly ignored oracle resources are considerable. In addition to providing detailed logical resource estimates, it is also the purpose of this paper to demonstrate explicitly how these impressively large numbers arise with an actual circuit implementation of a quantum algorithm. While our estimates may prove to be conservative as more efficient advanced quantum-computation techniques are developed, they nevertheless provide a valid baseline for research targeting a reduction of the resource requirements, implying that a reduction by many orders of magnitude is necessary for the algorithm to become practical.


title: ML Detection in Phase Noise Impaired SIMO Channels with Uplink Training

abstract: The problem of maximum likelihood (ML) detection in training-assisted single-input multiple-output (SIMO) systems with phase noise impairments is studied for two different scenarios, i.e. the case when the channel is deterministic and known (constant channel) and the case when the channel is stochastic and unknown (fading channel). Further, two different operations with respect to the phase noise sources are considered, namely, the case of identical phase noise sources and the case of independent phase noise sources over the antennas. In all scenarios the optimal detector is derived for a very general parametrization of the phase noise distribution. Further, a high signal-to-noise-ratio (SNR) analysis is performed to show that symbol-error-rate (SER) floors appear in all cases. The SER floor in the case of identical phase noise sources (for both constant and fading channels) is independent of the number of antenna elements. In contrast, the SER floor in the case of independent phase noise sources is reduced when increasing the number of antenna elements (for both constant and fading channels). Finally, the system model is extended to multiple data channel uses and it is shown that the conclusions are valid for these setups, as well.


title: View FImP Miracle (by Scale Invariance) $\acute{\rm a}$ $\rm la$ Self-interaction

abstract: Combining feebly interacting massive particle (FIMP) dark matter (DM) with scale invariance (SI) leads to extremely light FIMP (thus the FImP) with FImP miracle, i.e., the mass and relic generations of FImP DM share the same dynamics. In this paper we show that due to the lightness of FImP, it, especially for a scalar FImP, can easily accommodate large DM self-interaction. For a fermionic FImP, such as the sterile neutrino, self-interaction additionally requires a mediator which is another FImP, a scalar boson with mass either much lighter or heavier than the FImP DM. DM self-interaction opens a new window to observe FImP (miracle), which does not leave traces in the conventional DM searches. As an example, FImP can account for the offsets between the centroid of DM halo and stars of galaxies recently observed in the galaxy cluster Abel 3827.


title: The maximal principle for properly immersed submanifolds and its applications

abstract: In this note we consider the Liouville type theorem for a properly immersed submanifold $M$ in a complete Riemmanian manifold $N$. Assume that the sectional curvature $K^N$ of $N$ satisfies $K^N\geq-L(1+dist_N(\cdot,q_0)^2)^\frac{\alpha}{2}$ for some $L>0, 2>\alpha\geq 0$ and $q_0\in N$. (i) If $\Delta|\vec{H}|^{2p-2}\geq k|\vec{H}|^{2p}$($p>1$) for some constant $k>0$, then we prove that $M$ is minimal. (ii) Let $u$ be a smooth nonnegative function on $M$ satisfying $\Delta u\geq ku^a$ for some constant $k>0$ and $a>1$. If $|\vec{H}|\leq C(1+dist_N(\cdot,q_0)^2)^\frac{\beta}{2}$ for some $C>0$, $0\leq\beta<1$, then $u=0$ on $M$. As applications we get some nonexistence result for $p$-biharmonic submanifolds.


title: Differentially Private Distributed Online Learning

abstract: Online learning has been in the spotlight from the machine learning society for a long time. To handle massive data in Big Data era, one single learner could never efficiently finish this heavy task. Hence, in this paper, we propose a novel distributed online learning algorithm to solve the problem. Comparing to typical centralized online learner, the distributed learners optimize their own learning parameters based on local data sources and timely communicate with neighbors. However, communication may lead to a privacy breach. Thus, we use differential privacy to preserve the privacy of learners, and study the influence of guaranteeing differential privacy on the utility of the distributed online learning algorithm. Furthermore, by using the results from Kakade and Tewari (2009), we use the regret bounds of online learning to achieve fast convergence rates for offline learning algorithms in distributed scenarios, which provides tighter utility performance than the existing state-of-the-art results. In simulation, we demonstrate that the differentially private offline learning algorithm has high variance, but we can use mini-batch to improve the performance. Finally, the simulations show that the analytical results of our proposed theorems are right and our private distributed online learning algorithm is a general framework.


title: An Extensive Systematic Review on Model-Driven Development of Secure Systems

abstract: Context: Model-Driven Security (MDS) is as a specialised Model-Driven Engineering research area for supporting the development of secure systems. Over a decade of research on MDS has resulted in a large number of publications. Objective: To provide a detailed analysis of the state of the art in MDS, a systematic literature review (SLR) is essential. Method: We conducted an extensive SLR on MDS. Derived from our research questions, we designed a rigorous, extensive search and selection process to identify a set of primary MDS studies that is as complete as possible. Our three-pronged search process consists of automatic searching, manual searching, and snowballing. After discovering and considering more than thousand relevant papers, we identified, strictly selected, and reviewed 108 MDS publications. Results: The results of our SLR show the overall status of the key artefacts of MDS, and the identified primary MDS studies. E.g. regarding security modelling artefact, we found that developing domain-specific languages plays a key role in many MDS approaches. The current limitations in each MDS artefact are pointed out and corresponding potential research directions are suggested. Moreover, we categorise the identified primary MDS studies into 5 principal MDS studies, and other emerging or less common MDS studies. Finally, some trend analyses of MDS research are given. Conclusion: Our results suggest the need for addressing multiple security concerns more systematically and simultaneously, for tool chains supporting the MDS development cycle, and for more empirical studies on the application of MDS methodologies. To the best of our knowledge, this SLR is the first in the field of Software Engineering that combines a snowballing strategy with database searching. This combination has delivered an extensive literature study on MDS.


title: On functor points of affine supergroups

abstract: To construct an affine supergroup from a Harish-Chandra pair, Gavarini [2] invented a natural method, which first constructs a group functor and then proves that it is representable. We give a simpler and more conceptual presentation of his construction in a generalized situation, using Hopf superalgebras over a superalgebra. As an application of the construction, given a closed super-subgroup of an algebraic supergroup, we describe the normalizer and the centralizer, using Harish-Chandra pairs. We also prove a tensor product decomposition theorem for Hopf superalgebras, and describe explicitly by cocycle deformation, the difference which results from the two choices of dualities found in literature.


title: Degeneracy and Discreteness in Cosmological Model Fitting

abstract: We explore the degeneracy and discreteness problems in the standard cosmological model (\Lambda CDM). We use the Observational Hubble Data (OHD) and the type Ia supernova (SNe Ia) data to study this issue. In order to describe the discreteness in fitting of data, we define a factor G to test the influence from each single data point and analyze the goodness of G. Our results indicate that a higher absolute value of G shows a better capability of distinguishing models, which means the parameters are restricted into smaller confidence intervals with a larger figure of merit evaluation. Consequently, we claim that the factor G is an effective way in model differentiation when using different models to fit the observational data.


title: Symplectic displacement energy for exact Lagrangian immersions

abstract: We give an inequality of the displacement energy for exact Lagrangian immersions and the symplectic area of punctured holomorphic discs. Our approach is based on Floer homology for Lagrangian immersions and Chekanov's homotopy technique of continuations.


title: Analysis of GPU Parallel Computing based on Matlab

abstract: Matlab is very widely used in scientific computing, but Matlab computational efficiency is lower than C language program. In order to improve the computing speed, some toolbox can use GPU to accelerate the computation. This paper describes GPU working principle, our experiments and results analysis of parallel computing by using GPU based on Matlab. Experimental results show that for parallel operations, GPU computing speed is faster than CPU, for the logical instructions, GPU computing speed is slower than CPU.


title: Robust linear static anti-windup with probabilistic certificates

abstract: In this paper, we address robust static anti-windup compensator design and performance analysis for saturated linear closed loops in the presence of nonlinear probabilistic parameter uncertainties via randomized techniques. The proposed static anti-windup analysis and robust performance synthesis correspond to several optimization goals, ranging from minimization of the nonlinear input/output gain to maximization of the stability region or maximization of the domain of attraction. We also introduce a novel paradigm accounting for uncertainties in the energy of the disturbance inputs. Due to the special structure of linear static anti-windup design, wherein the design variables are decoupled from the Lyapunov certificates, we introduce a significant extension, called scenario with certificates (SwC), of the so-called scenario approach for uncertain optimization problems. This extension is of independent interest for similar robust synthesis problems involving parameter-dependent Lyapunov functions. We demonstrate that the scenario with certificates robust design formulation is appealing because it provides a way to implicitly design the parameter-dependent Lyapunov functions and to remove restrictive assumptions about convexity with respect to the uncertain parameters. Subsequently, to reduce the computational cost, we present a sequential randomized algorithm for iteratively solving this problem. The obtained results are illustrated by numerical examples.


title: Constraints on Lorentz Invariance Violation with gamma-ray bursts via a Markov Chain Monte Carlo approach

abstract: In quantum theory of gravity, we expect the Lorentz Invariance Violation (LIV) and the modification of the dispersion relation between energy and momentum for photons. The effect of the energy-dependent velocity due to the modified dispersion relation for photons was studied in the standard cosmological context by using a sample of Gamma Ray Bursts (GRBs). In this paper we mainly discuss the possible LIV effect by using different cosmological models for the accelerating universe. Due to the degeneracies among model parameters, the GRBs' time delay data are combined with the cosmic microwave background data from the Planck first year release, the baryon acoustic oscillation data at six different redshifts, as well as Union2 type Ia supernovae data, to constrain both the model parameters and the LIV effect. We find no evidence of LIV.


title: Classical 2-absorbing submodules of modules over commutative rings

abstract: In this article, all rings are commutative with nonzero identity. Let $M$ be an $R$-module. A proper submodule $N$ of $M$ is called a classical prime submodule, if for each $m\in M$ and elements $a,b\in R$, $abm\in N$ implies that $am\in N$ or $bm\in N$. We introduce the concept of "classical 2-absorbing submodules" as a generalization of "classical prime submodules." We say that a proper submodule $N$ of $M$ is a classical 2-absorbing submodule if whenever $a,b,c\in R$ and $m\in M$ with $abcm\in N$, then $abm\in N$ or $acm\in N$ or $bcm\in N$.


title: 5D SYM on 3D Deformed Spheres

abstract: We reconsider the relation of superconformal indices of superconformal field theories of class S with five-dimensional N=2 supersymmetric Yang-Mills theory compactified on the product space of a round three-sphere and a Riemann surface. We formulate the five-dimensional theory in supersymmetric backgrounds preseving N=2 and N=1 supersymmetries and discuss a subtle point in the previous paper concerned with the partial twisting on the Riemann surface. We further compute the partition function by localization of the five-dimensional theory on a squashed three-sphere in N=2 and N=1 supersymmetric backgrounds and on an ellipsoid three-sphere in an N=1 supersymmetric background.


title: Proximity effect on hydrodynamic interaction between a sphere and a plane measured by Force Feedback Microscopy at different frequencies

abstract: In this article, we measure the viscous damping $G'',$ and the associated stiffness $G',$ of a liquid flow in sphere-plane geometry in a large frequency range. In this regime, the lubrication approximation is expected to dominate. We first measure the static force applied to the tip. This is made possible thanks to a force feedback method. Adding a sub-nanometer oscillation of the tip, we obtain the dynamic part of the interaction with solely the knowledge of the lever properties in the experimental context using a linear transformation of the amplitude and phase change. Using a Force Feedback Microscope (FFM)we are then able to measure simultaneously the static force, the stiffness and the dissipative part of the interaction in a broad frequency range using a single AFM probe. Similar measurements have been performed by the Surface Force Apparatus with a probe radius hundred times bigger. In this context the FFM can be called nano-SFA.


title: On nouniqueness of solutions of Hamilton-Jacobi-Bellman equations

abstract: An example of a nonunique solution of the Cauchy problem of Hamilton-Jacobi-Bellman (HJB) equation with surprisingly regular Hamiltonian is presented. The Hamiltonian H(t,x,p) is locally Lipschitz continuous with respect to all variables, convex in p and with linear growth with respect to p and x. The HJB equation possesses two distinct lower semicontinuous solutions with the same final conditions; moreover, one of them is the value function of the corresponding Bolza problem. The definition of lower semicontinuous solution was proposed by Barron-Jensen (1990) and Frankowska (1993). Using the example an analysis and comparison of assumptions in some uniqueness results in HJB equations is provided.


title: Lepton-mass effects in the decays $H \to ZZ^{\ast} \to \ell^{+} \ell^{-} \tau^{+} \tau^{-}$ and $H \to WW^{\ast} \to \ell \nu \tau \nu_{\tau}$

abstract: We consider lepton-mass effects in the cascade decays $H\to Z(\to \ell^{+} \ell^{-})+Z^{\ast}(\to \tau^{+}\tau^{-})$ and $H\to W^{-}(\to \ell^{-}\bar \nu_{\ell})+W^{+\ast}(\to \tau^{+}\nu_{\tau})$. Since the scale of the problem is set by the off-shellness $q^{2}$ of the respective gauge bosons in the limits $(m_{\ell}+m_{\ell'})^{2} \le q^{2} \le (m_{H}-m_{W,Z})^{2}$ and not by $m_{W,Z}^{2}$, lepton-mass effects are non-negligible for the $\tau$ modes in particular close to the threshold of the off-shell decays. Lepton-mass effects show up e.g.\ in the three-fold joint angular decay distribution for the decays. Nonzero lepton masses lead to leptonic helicity-flip contributions which in turn can generate novel angular dependencies in the respective three-fold angular decay distributions. Lepton-mass effects are more pronounced in the $H \to Z(\to \ell\ell)Z^{\ast}(\to\tau\tau)$ mode which, in part, is due to the fact that the ratio of lepton helicity flip/nonflip contributions in the decay $Z^{\ast} \to \ell^{+}\ell^{-}$ is four times larger than in the decay $W^{+\ast}\to \ell^{+}\nu$. We also briefly consider the corresponding off-shell -- off-shell decays $H\to Z^{\ast}(\to \ell^{+}\ell^{-})+Z^{\ast}(\to \tau^{+}\tau^{-})$ and $H\to W^{-\ast}(\to \ell^{-}\bar \nu_{\ell})+W^{+\ast}(\to \tau^{+}\nu_{\tau})$.


title: The first symbiotic stars from the LAMOST survey

abstract: Symbiotic stars are interacting binary systems with the longest orbital periods. They are typically formed by a white dwarf, a red giant and a nebula. These objects are natural astrophysical laboratories for studying the evolution of binaries. Current estimates of the population of Milky Way symbiotic stars vary from 3000 up to 400000. However, the current census is less than 300. The Large sky Area Multi-Object fiber Spectroscopic Telescope (LAMOST) survey can obtain hundreds of thousands of stellar spectra per year, providing a good opportunity to search for new symbiotic stars. In this work we detect 4 of such binaries among 4,147,802 spectra released by the LAMOST, of which two are new identifications. The first is LAMOST J12280490-014825.7, considered to be an S-type halo symbiotic star. The second is LAMOST J202629.80+423652.0, a D-type symbiotic star.


title: A Review of Annual Review of Astronomy and Astrophysics, Volume 52, 2014

abstract: A review of the Annual Review of Astronomy and Astrophysics Volume 52, 2014 (Ed. S.M. Faber, Ewine van Dishoeck, and John Kormendy) is given, with a perspective of understanding the current trends in Astronomy and Astrophysics. The impact of high volume data, high connectivity, and fast computations is clearly seen in the various research areas discussed in this volume. This has provided unprecedented development in the understanding of various astrophysical phenomena. At the same time, some negative trends like commodification of science, ignoring dissenting views are also evident.


title: Unitarity, Crossing Symmetry and Duality in the scattering of ${\cal N}=1$ Susy Matter Chern-Simons theories

abstract: We study the most general renormalizable ${\cal N}=1$ $U(N)$ Chern-Simons gauge theory coupled to a single (generically massive) fundamental matter multiplet. At leading order in the 't Hooft large $N$ limit we present computations and conjectures for the $2 \times 2$ $S$ matrix in these theories; our results apply at all orders in the 't Hooft coupling and the matter self interaction. Our $S$ matrices are in perfect agreement with the recently conjectured strong weak coupling self duality of this class of theories. The consistency of our results with unitarity requires a modification of the usual rules of crossing symmetry in precisely the manner anticipated in arXiv:1404.6373, lending substantial support to the conjectures of that paper. In a certain range of coupling constants our $S$ matrices have a pole whose mass vanishes on a self dual codimension one surface in the space of couplings.


title: Braneworld Cosmological Perturbations in Teleparallel Gravity

abstract: We describe the fully gauge invariant cosmological perturbation equations in braneworld teleparallel gravity. In this theory, perturbations are the result of small fluctuations in the pentad field. We derive the gauge invariant 'potentials' for both geometric and matter variables. Unlike the metric fluctuations in general relativity, pentad perturbations can only contain scalar and vector modes. As a result, in teleparallel gravity, tensor modes including gravitational waves, come from the contortion tensor.


title: New results on inconsistency indices and their relationship with the quality of priority vector estimation

abstract: The article is devoted to the problem of inconsistency in the pairwise comparisons based prioritization methodology. The issue of "inconsistency" in this context has gained much attention in recent years. The literature provides us with a number of different "inconsistency" indices suggested for measuring the inconsistency of the pairwise comparison matrix (PCM). The latter is understood as a deviation of the PCM from the "consistent case" - a notion that is formally well-defined in this theory. However the usage of the indices is justified only by some heuristics. It is still unclear what they really "measure". What is even more important and still not known is the relationship between their values and the "consistency" of the decision maker's judgments on one hand, and the prioritization results upon the other. We provide examples showing that it is necessary to distinguish between these three following tasks: the "measuring" of the "PCM inconsistency" and the PCM-based "measuring" of the consistency of decision maker's judgments and, finally, the "measuring" of the usefulness of the PCM as a source of information for estimation of the priority vector (PV). Next we focus on the third task, which seems to be the most important one in Multi-Criteria Decision Making. With the help of Monte Carlo experiments, we study the performance of various inconsistency indices as indicators of the final PV estimation quality. The presented results allow a deeper understanding of the information contained in these indices and help in choosing a proper one in a given situation. They also enable us to develop a new inconsistency characteristic and, based on it, to propose the PCM acceptance approach that is supported by the classical statistical methodology.


title: Magnetic Vortex Guide

abstract: A concept of magnetic vortex guide is proposed and numerically studied. Similar to the waveguides of electromagnetic waves, a magnetic vortex guide allows a vortex domain wall to move along a nanostrip without annihilation at the strip edges. It is shown by micromagnetic simulations that a magnetic nanostrip of a properly designed superlattice structure or bilayered structure can serve as vortex guides.