title: The generalized Hodge and Bloch conjectures are equivalent for general complete intersections, II

abstract: We prove an unconditional (but slightly weakened) version of the main result of our earlier paper with the same title, which was, starting from dimension $4$, conditional to the Lefschetz standard conjecture. Let $X$ be a variety with trivial Chow groups, (i.e. the cycle class map to cohomology is injective on $CH(X)_\mathbb{Q}$). We prove that if the cohomology of a general very ample hypersurface $Y$ in $X$ is ``parameterized by cycles of dimension $c$'', then the Chow groups $CH_{i}(Y)_\mathbb{Q}$ are trivial for $i\leq c-1$.


title: Efficient Computation of Visibility Polygons

abstract: Determining visibility in planar polygons and arrangements is an important subroutine for many algorithms in computational geometry. In this paper, we report on new implementations, and corresponding experimental evaluations, for two established and one novel algorithm for computing visibility polygons. These algorithms will be released to the public shortly, as a new package for the Computational Geometry Algorithms Library (CGAL).


title: Quadratic p-ring spaces for counting dihedral fields

abstract: Let p denote an odd prime. For all p-admissible conductors c over a quadratic number field \(K=\mathbb{Q}(\sqrt{d})\), p-ring spaces \(V_p(c)\) modulo c are introduced by defining a morphism \(\psi:\,f\mapsto V_p(f)\) from the divisor lattice \(\mathbb{N}\) of positive integers to the lattice S of subspaces of the direct product \(V_p\) of the p-elementary class group \(C/C^p\) and unit group \(U/U^p\) of K. Their properties admit an exact count of all extension fields N over K, having the dihedral group of order 2p as absolute Galois group \(Gal(N | \mathbb{Q})\) and sharing a common discriminant \(d_N\) and conductor c over K. The number \(m_p(d,c)\) of these extensions is given by a formula in terms of positions of p-ring spaces in S, whose complexity increases with the dimension of the vector space \(V_p\) over the finite field \(\mathbb{F}_p\), called the modified p-class rank \(\sigma_p\) of K. Up to now, explicit multiplicity formulas for discriminants were known for quadratic fields with \(0\le\sigma_p\le 1\) only. Here, the results are extended to \(\sigma_p=2\), underpinned by concrete numerical examples.


title: Truthful Mechanisms for Combinatorial AC Electric Power Allocation

abstract: Traditional studies of combinatorial auctions often only consider linear constraints (by which the demands for certain goods are limited by the corresponding supplies). The rise of smart grid presents a new class of auctions, characterized by quadratic constraints. Yu and Chau [AAMAS 13'] introduced the complex-demand knapsack problem, in which the demands are complex-valued and the capacity of supplies is described by the magnitude of total complex-valued demand. This naturally captures the power constraints in AC electric systems. In this paper, we provide a more complete study and generalize the problem to the multi-minded version, beyond the previously known 1/2-approximation algorithm for only a subclass of the problem. More precisely, we give a truthful PTAS for the case phi in [0,pi/2-delta], and a truthful FPTAS, which fully optimizes the objective function but violates the capacity constraint by at most (1+epsilon), for the case phi in (pi/2,pi-delta], where phi is the maximum angle between any two complex-valued demands and epsilon,delta>0 are arbitrarily small constants.


title: Neutralino Dark Matter in Gauge Mediation After Run I of LHC and LUX

abstract: Neutralino can be the dark matter candidate in the gauge-mediated supersymmetry breaking models if the conformal sequestered mechanism is assumed in the hidden sector. In this paper, we study this mechanism by using the current experimental results after the run I of LHC and LUX. By adding new Yukawa couplings between the messenger fields and Higgs fields, we find that this mechanism can predict a neutralino dark matter with correct relic density and a Higgs boson with mass around 125 GeV. All our survived points have some common features. Firstly, the Higgs sector falls into the decoupling limit. So the properties of the light Higgs boson are similar to the predictions of the Standard Model one. Secondly, the correct EWSB hints a relatively small $\mu$-term, which makes the lightest neutralino lighter than the lightest stau. So a bino-higgsino dark matter with correct relic density can be achieved. And the relatively small $\mu$-term results in a small fine-tuning. Finally, this bino-higgsino dark matter can pass all current bounds, including both spin-independent and spin-dependent direct searches. The spin-independent cross section of our points can be examined by further experiments.


title: Graph Sample and Hold: A Framework for Big-Graph Analytics

abstract: Sampling is a standard approach in big-graph analytics; the goal is to efficiently estimate the graph properties by consulting a sample of the whole population. A perfect sample is assumed to mirror every property of the whole population. Unfortunately, such a perfect sample is hard to collect in complex populations such as graphs (e.g. web graphs, social networks etc), where an underlying network connects the units of the population. Therefore, a good sample will be representative in the sense that graph properties of interest can be estimated with a known degree of accuracy. While previous work focused particularly on sampling schemes used to estimate certain graph properties (e.g. triangle count), much less is known for the case when we need to estimate various graph properties with the same sampling scheme. In this paper, we propose a generic stream sampling framework for big-graph analytics, called Graph Sample and Hold (gSH). To begin, the proposed framework samples from massive graphs sequentially in a single pass, one edge at a time, while maintaining a small state. We then show how to produce unbiased estimators for various graph properties from the sample. Given that the graph analysis algorithms will run on a sample instead of the whole population, the runtime complexity of these algorithm is kept under control. Moreover, given that the estimators of graph properties are unbiased, the approximation error is kept under control. Finally, we show the performance of the proposed framework (gSH) on various types of graphs, such as social graphs, among others.


title: Collective dynamics effect transient subdiffusion of inert tracers in gel networks

abstract: Based on extensive Brownian dynamics simulations we study the thermally driven motion of a tracer bead in a cross-linked, dynamic gel network in the limit when the tracer bead's size is of the same size or even larger than the equilibrium mesh size of the gel. The analysis of long individual trajectories of the tracer bead demonstrates the existence of pronounced transient anomalous diffusion, accompanied by a drastic slow-down of the gel-bead relaxation dynamics. From the time averaged mean squared displacement and the van Hove cross-correlation function we elucidate the many-body origin of the non-Brownian tracer bead dynamics. Our results shed new light on the ongoing debate over the physical origin of sterical tracer interactions with structured environments.


title: CMB lensing reconstruction using cut sky polarization maps and pure-$B$ modes

abstract: Detailed measurements of the CMB lensing signal are an important scientific goal of ongoing ground-based CMB polarization experiments, which are mapping the CMB at high resolution over small patches of the sky. In this work we simulate CMB polarization lensing reconstruction for the $EE$ and $EB$ quadratic estimators with current-generation noise levels and resolution, and show that without boundary effects the known and expected zeroth and first order $N^{(0)}$ and $N^{(1)}$ biases provide an adequate model for non-signal contributions to the lensing power spectrum estimators. Small sky areas present a number of additional challenges for polarization lensing reconstruction, including leakage of $E$ modes into $B$ modes. We show how simple windowed estimators using filtered pure-$B$ modes can greatly reduce the mask-induced mean-field lensing signal and reduce variance in the estimators. This provides a simple method (used with recent observations) that gives an alternative to more optimal but expensive inverse-variance filtering.


title: Amoeba finite basis does not exist in general

abstract: We show that the amoeba of a generic complex algebraic variety of codimension $1<r<n$ do not have a finite basis. In other words, it is not the intersection of finitely many hypersurface amoebas. Moreover we give a geometric characterization of the topological boundary of hypersurface amoebas refining an earlier result of F. Schroeter and T. de Wolff \cite{SW-13}.


title: Physical modeling of shrink-swell cycles and cracking in a clayey vadose zone

abstract: Physical understanding of the crack origin and quantitative physical prediction of the crack volume variation far from the clay soil surface are necessary to protect the underlying aquifers from pollutants. The basis of this work is an available physical model for predicting the shrinkage and swelling curves in the maximum water content range (the primary curves) and crack volume variation. The objective of the work is to generalize this model to the conditions of the deep layer of a clayey vadose zone with the overburden pressure, multiple shrinkage-swelling, and variation of water content in a small range. We aim to show that the scanning shrinkage and swelling curves, and steady shrink-swell cycles existing in such conditions, inevitably lead to the occurrence of cracks and a hysteretic crack volume. The generalization is based on the transition to the increasingly complex soil medium from the contributive clay, through the intra-aggregate matrix and aggregated soil with no cracking, to the soil with cracks. The results indicate the single-valued physical links between the scanning shrink-swell cycles and crack volume variation of the four soil media on the one hand, and primary shrinkage and swelling curves of the media on the other hand. The predicted cycles and crack volume hysteresis can be expressed through the physical properties and conditions of the soil at a given depth. The available observations of the cracks and crack volume variation in the clayey vadose zone give strong qualitative experimental evidence in favor of the feasibility of the model.


title: Interpolating local constants in families

abstract: We extend the theory of local constants to l-adic families of representations of GL_n(F) where F is a p-adic field with l not equal to p. We construct zeta integrals and gamma factors for representations coming from the conjectural "local Langlands correspondence in families" of Emerton-Helm, proving a rationality result and functional equation. We also construct a universal gamma factor with coefficients in the integral Bernstein center.


title: Extensions of a class of similarity solutions of Fokker-Planck equation with time-dependent coefficients and fixed/moving boundaries

abstract: A general formula in closed form to obtain exact similarity solutions of the Fokker-Planck equation with both time-dependent drift and diffusion coefficients was recently presented by Lin and Ho [ Ann. Phys. \textbf{327}, 386 (2012); J. Math. Phys. \textbf{54}, 041501 (2013)]. In this paper we extend the class of exact solutions by exploiting certain properties of the general formula.

categories: math-ph cond-mat.stat-mech math.AP math.MP nlin.SI quant-ph


title: Gravity and induced matter on Nearly Kahler Manifolds

abstract: We show that the conservation of energy-momentum tensor of a gravitational model with Einstein-Hilbert like action on a nearly Kahler manifold with the scalar curvature of a curvature-like tensor, is consistent with the nearly Kahler properties. In this way, the nearly Kahler structure is automatically manifested in the action as a induced matter field. As an example of nearly Kahler manifold, we consider the group manifold of R x II x S3 x S3 on which we identify a nearly Kahler structure and solve the Einstein equations to interpret the model. It is shown that the nearly Kahler structure in this example is capable of alleviating the well known fine tuning problem of the cosmological constant. Moreover, this structure may be considered as a potential candidate for dark energy.


title: The finite size effect on resonance poles

abstract: The effect of the finite size of an array of scatterers on the position of the resonance poles of the scattered amplitudes is studied. This effect must be studied because in reality, an infinite array cannot be realized. In particular, it is expected that for a finite array of scatterers, the imaginary parts of the resonance poles (resonance widths) cannot vanish as is the case for an infinite double array admitting bound states in the radiation continuum.


title: Memory endowed US cities and their demographic interactions

abstract: A quantitative understanding of cities' demographic dynamics is becoming a potentially useful tool for planning sustainable growth. The concomitant theory should reveal details of the cities' past and also of its interaction with nearby urban conglomerates for providing a reasonably complete picture. Using the exhaustive database of the Census Bureau in a time window of 170 years, we exhibit here empirical evidence for time and space correlations in the demographic dynamics of US counties, with a characteristic memory-time of 25 years and typical distances of interaction of 200 km. These correlations are much larger than those observed in an European country (Spain), giving to the US a more coherent evolution. We also measure the resilience of US cities to historical events, finding a demographical post-traumatic amnesia after wars (as the Civil War) or economic crisis (as the 1929 Stock Market Crash).


title: Hint of relic gravitational waves in the Planck and WMAP data

abstract: Relic gravitational waves (RGWs) leave well-understood imprints on the anisotropies in the temperature and polarization of cosmic microwave background (CMB) radiation. In the TT and TE information channels, which have been well observed by WMAP and Planck missions, RGWs compete with density perturbations mainly at low multipoles. It is dangerous to include high-multipole CMB data in the search for gravitational waves, as the spectral indices may not be constants. In this paper, we repeat our previous work [W.Zhao & L.P.Grishchuk, Phys.Rev.D {\bf 82}, 123008 (2010)] by utilizing the Planck TT and WMAP TE data in the low-multipole range $\ell\le100$. We find that our previous result is confirmed {with higher confidence}. The constraint on the tensor-to-scalar ratio from Planck TT and WMAP TE data is $r\in [0.06,~0.60]$ (68% C.L.) with the maximum likelihood at around $r\sim 0.2$. Correspondingly, the spectral index at the pivot wavenumber $k_*=0.002$Mpc$^{-1}$ is $n_s=1.13^{+0.07}_{-0.08}$, which is larger than 1 at more than $1\sigma$ level. So, we conclude that the new released CMB data indicate a stronger hint for the RGWs with the amplitude $r\sim 0.2$, which is hopeful to be confirmed by the imminent BICEP and Planck polarization data.


title: Minimum scoring rule inference

abstract: Proper scoring rules are methods for encouraging honest assessment of probability distributions. Just like likelihood, a proper scoring rule can be applied to supply an unbiased estimating equation for any statistical model, and the theory of such equations can be applied to understand the properties of the associated estimator. In this paper we develop some basic scoring rule estimation theory, and explore robustness and interval estimation properties by means of theory and simulations.


title: Nanoplasmonic Tweezers Visualize Protein p53 Suppressing Unzipping of Single DNA-Hairpins

abstract: Here we report on the use of double-nanohole (DNH) optical tweezers as a label-free and free-solution single-molecule probe for protein-DNA interactions. Using this approach, we demonstrate the unzipping of individual 10 base pair DNA-hairpins, and quantify how tumor suppressor p53 protein delays the unzipping. From the Arrhenius behavior, we find the energy barrier to unzipping introduced by p53 to be $2\times 10^{-20}$ J, whereas cys135ser mutant p53 does not show suppression of unzipping, which gives clues to its functional inability to suppress tumor growth. This transformative approach to single molecule analysis allows for ultra-sensitive detection and quantification of protein-DNA interactions to revolutionize the fight against genetic diseases.


title: Dynamic Variation in Protein-Small Molecule Interaction Observed by Double-Nanohole Optical Trapping

abstract: The interaction of proteins with small molecules is fundamental to their function in living organisms and it is widely studied in drug development. Here we compare optical trapping dynamics of streptavidin and biotinylated streptavidin using a double nanohole optical trap in a metal film. Consistent and clearly distinct behavior is seen between the protein with and without the small molecule binding. The real-time dynamics at the single protein level are accessible with this technique, which also has advantages of not requiring tethering to a surface or the need for exogeneous markers.


title: Improved Diffuse Boundary Condition for the DSBGK Method to Eliminate the Unphysical Density Drift

abstract: An improved diffuse boundary condition, where the number flux of the incoming real molecules on the wall surface is calculated using the molecular variables rather than the cell's macroscopic variables, is proposed to eliminate the unphysical density drift, which was observed in the previous DSBGK simulation of the lid-driven problem but disappears in the channel flow problem because of the density constraint imposed at the open boundaries. Consequently, the efficient time-average process is valid for sampling all quantities of interest in closed as well as open problems. When the driven velocity of the lid-driven problem is only one micrometer per second that is realistic in the micro-electro-mechanical systems or pore-scale flows of the shale gas, we suggest to use the original boundary condition because the density drift during a very long time interval becomes unperceivable when the perturbation is tiny. Thus, the original diffuse boundary condition, which contains much less stochastic noise than the improved one, is still an advisable choice in closed problems with tiny perturbation and in open problems unless the density drift occurs and fails the goal of the simulations making the use of the improved boundary condition necessary.


title: On Higgs bundles on Elliptic Surfaces

abstract: The aim of this paper is to establish an equivalence of certain categories of Higgs bundles on a non-isotrivial elliptic surface $\pi: X \rightarrow C$ with $\chi(X) > 0$ and certain categories of Parabolic Higgs bundles on $C$


title: A New Preconditioner for the GeneRank Problem

abstract: Identifying key genes involved in a particular disease is a very important problem which is considered in biomedical research. GeneRank model is based on the PageRank algorithm that preserves many of its mathematical properties. The model brings together gene expression information with a network structure and ranks genes based on the results of microarray experiments combined with gene expression information, for example from gene annotations (GO). In the present study, we present a new preconditioned conjugate gradient algorithm to solve GeneRank problem and study its properties. Some numerical experiments are given to show the effectiveness of the suggested preconditioner.


title: Localised auxin peaks in concentration-based transport models of the shoot apical meristem

abstract: We study the formation of auxin peaks in a generic class of concentration-based auxin transport models, posed on static plant tissues. Using standard asymptotic analysis we prove that, on bounded domains, auxin peaks are not formed via a Turing instability in the active transport parameter, but via simple corrections to the homogeneous steady state. When the active transport is small, the geometry of the tissue encodes the peaks' amplitude and location: peaks arise where cells have fewer neighbours, that is, at the boundary of the domain. We test our theory and perform numerical bifurcation analysis on two models which are known to generate auxin patterns for biologically plausible parameter values. In the same parameter regimes, we find that realistic tissues are capable of generating a multitude of stationary patterns, with a variable number of auxin peaks, that can be selected by different initial conditions or by quasi-static changes in the active transport parameter. The competition between active transport and production rate determines whether peaks remain localised or cover the entire domain. We relate the occurrence of localised patterns to a snaking bifurcation structure, which is known to arise in a wide variety of nonlinear media but has not yet been reported in plant models.


title: Hysteresis in the Conductance of Asymmetrically Biased GaAs Quantum Point Contacts with in-plane Side Gates

abstract: We have observed hysteresis between the forward and reverse sweeps of a common mode bias applied to the two in-plane side gates of an asymmetrically biased GaAs quantum point contact. The size of the hysteresis loop increases with the amount of bias asymmetry between the two side gates and depends on the polarity of the bias asymmetry. It is argued that hysteresis may constitute another indirect proof of spontaneous spin polarization in the narrow portion of the quantum point contact.


title: A Bootstrap Theory: the SEMAT Kernel Itself as Runnable Software

abstract: The SEMAT kernel is a thoroughly thought generic framework for Software Engineering system development in practice. But one should be able to test its characteristics by means of a no less generic theory matching the SEMAT kernel. This paper claims that such a matching theory is attainable and describes its main principles. The conceptual starting point is the robustness of the Kernel alphas to variations in the nature of the software system, viz. to software automation, distribution and self-evolution. From these and from observed Kernel properties follows the proposed bootstrap principle: a software system theory should itself be a runnable software. Thus, the kernel alphas can be viewed as a top-level ontology, indeed the Essence of Software Engineering. Among the interesting consequences of this bootstrap theory, the observable system characteristics can now be formally tested. For instance, one can check the system completeness, viz. that software system modules fulfill each one of the system requirements.


title: Metaplectic Theta Functions and Global Integrals

abstract: We convolve a theta function on an $n$-fold cover of $GL_3$ with an automorphic form on an $n'$-fold cover of $GL_2$ for suitable $n,n'$. To do so, we induce the theta function to the $n$-fold cover of $GL_4$ and use a Shalika integral. We show that in particular when $n=n'=3$ this construction gives a new Eulerian integral for an automorphic form on the 3-fold cover of $GL_2$ (the first such integral was given by Bump and Hoffstein), and when $n=4$, $n'=2$, it gives a Dirichlet series with analytic continuation and functional equation that involves both the Fourier coefficients of an automorphic form of half-integral weight and quartic Gauss sums. The analysis of these cases is based on the uniqueness of the Whittaker model for the local exceptional representation. The constructions studied here may be put in the context of a larger family of global integrals which are constructed using automorphic representations on covering groups. We sketch this wider context and some related conjectures.


title: Descent and Theta Functions for Metaplectic Groups

abstract: There are few constructions of square-integrable automorphic functions on metaplectic groups. Such functions may be obtained by the residues of certain Eisenstein series on covers of groups, "theta functions," but the Fourier coefficients of these residues are not well-understood, even for low degree covers of $GL_2$. Patterson and Chinta-Friedberg-Hoffstein proposed conjectured relations for the Fourier coefficients of the $GL_2$ quartic and sextic theta functions (resp.), each obtained from a conjectured equality of non-Eulerian Dirichlet series. In this article we propose a new framework for constructing specific $L^2$ metaplectic functions and for understanding these conjectures: descent integrals. We study descent integrals which begin with theta functions on covers of larger rank classical groups and use them to construct certain $L^2$ metaplectic functions on covers related to $GL_2$. We then establish information about the Fourier coefficients of these metaplectic automorphic functions, properties which are consistent with the conjectures of Patterson and Chinta-Friedberg-Hoffstein. In particular, we prove that Fourier coefficients of the descent functions are arithmetic for infinitely many primes $p$. We also show that they generate a representation with non-zero projection to the space of theta. We conjecture that the descents may be used to realize the quartic and sextic theta functions. Moreover, this framework suggests that each of the conjectures of Patterson and Chinta-Friedberg-Hoffstein is the first in a series of relations between certain Fourier coefficients of two automorphic forms on different covering groups.


title: Quickest detection in coupled systems

abstract: This work considers the problem of quickest detection of signals in a coupled system of $N$ sensors, which receive continuous sequential observations from the environment. It is assumed that the signals, which are modeled by general It\^{o} processes, are coupled across sensors, but that their onset times may differ from sensor to sensor. Two main cases are considered; in the first one signal strengths are the same across sensors while in the second one they differ by a constant. The objective is the optimal detection of the first time at which any sensor in the system receives a signal. The problem is formulated as a stochastic optimization problem in which an extended minimal Kullback-Leibler divergence criterion is used as a measure of detection delay, with a constraint on the mean time to the first false alarm. The case in which the sensors employ cumulative sum (CUSUM) strategies is considered, and it is proved that the minimum of $N$ CUSUMs is asymptotically optimal as the mean time to the first false alarm increases without bound. In particular, in the case of equal signal strengths across sensors, it is seen that the difference in detection delay of the $N$-CUSUM stopping rule and the unknown optimal stopping scheme tends to a constant related to the number of sensors as the mean time to the first false alarm increases without bound. Alternatively, in the case of unequal signal strengths, it is seen that this difference tends to zero.


title: InGaN/GaN Tunnel Junctions For Hole Injection in GaN Light Emitting Diodes

abstract: InGaN/GaN tunnel junction contacts were grown on top of an InGaN/GaN blue (450 nm) light emitting diode wafer using plasma assisted molecular beam epitaxy. The tunnel junction contacts enable low spreading resistance n-GaN top contact layer thereby requiring less top metal contact coverage on the surface. A voltage drop of 5.3 V at 100 mA, forward resistance of 2 x 10-2 ohm cm2 and a higher light output power are measured in tunnel junction LED. A low resistance of 5 x 10-4 ohm cm2 was measured in a MBE grown tunnel junction on GaN PN junction device, indicating that the tunnel junction LED device resistance is limited by the regrowth interface and not by the intrinsic tunneling resistance.


title: Energy- and momentum-conserving AGN feedback outflows

abstract: It is usually assumed that outflows from luminous AGN are either in the energy-conserving (non-radiative) or in the momentum-conserving (radiative) regime. We show that in a non-spherical geometry the effects of both regimes may manifest at the same time, and that it is the momentum of the outflow that sets the $M_{\rm BH}-\sigma$ relation. Considering an initially elliptical distribution of gas in the host galaxy, we show that a non-radiative outflow opens up a wide ``escape route'' over the paths of least resistance. Most of the outflow energy escapes in that direction. At the same time, in the directions of higher resistance, the ambient gas is affected mainly by the incident momentum from the outflow. Quenching SMBH growth requires quenching gas delivery along the paths of highest resistance, and therefore, it is the momentum of the outflow that limits the black hole growth. We present an analytical argument showing that such energy-conserving feedback bubbles driving leaky ambient shells will terminate SMBH growth once its mass reaches roughly the $M_\sigma$ mass derived earlier by King (2003) for momentum-conserving AGN outflows. Our simulations also have potentially important implications for observations of AGN jet feedback and starburst galaxy feedback. The collimation of the wide angle AGN outflow away from the symmetry plane, as found in our simulations, indicates that credit for work done by such outflows may sometimes be mistakenly given to AGN jets or star formation feedback since wide angle $v \sim 0.1 c$ outflows are harder to observe and the phase when they are present may be short.


title: Field theoretic description of charge regulation interaction

abstract: In order to find the exact form of the electrostatic interaction between two proteins with dissociable charge groups in aqueous solution, we have studied a model system composed of two macroscopic surfaces with charge dissociation sites immersed in a counterion-only ionic solution. Field-theoretic representation of the grand canonical partition function is derived and evaluated within the mean-field approximation, giving the Poisson-Boltzmann theory with the Ninham-Parsegian boundary condition. Gaussian fluctuations around the mean-field are then analyzed in the lowest order correction that we calculate analytically and exactly, using the path integral representation for the partition function of a harmonic oscillator with time-dependent frequency. The first order (one loop) free energy correction gives the interaction free energy that reduces to the zero-frequency van der Waals form in the appropriate limit but in general gives rise to a mono-polar fluctuation term due to charge fluctuation at the dissociation sites. Our formulation opens up the possibility to investigate the Kirkwood-Shumaker interaction in more general contexts where their original derivation fails.


title: On the minimal set of conservation laws and the Hamiltonian structure of the Whitham equations

abstract: We consider the questions connected with the Hamiltonian properties of the Whitham equations in case of several spatial dimensions. An essential point of our approach here is a connection of the Hamiltonian structure of the Whitham system with the finite-dimensional Poisson bracket defined on the space of periodic or quasi-periodic solutions. From our point of view, this approach gives a possibility to construct the Hamiltonian structure of the Whitham equations under minimal requirements on the properties of the initial system. The Poisson bracket for the Whitham system can be considered here as a deformation of the finite-dimensional bracket with the aid of the Dubrovin - Novikov procedure of bracket averaging. At the end, we consider the examples where the constructions of the paper play an essential role for the construction of the Poisson bracket for the Whitham system.


title: Anisotropic intrinsic spin Hall effect in quantum wires

abstract: We use numerical simulations to investigate the spin Hall effect in quantum wires in the presence of both Rashba and Dresselhaus spin-orbit coupling. We find that the intrinsic spin Hall effect is highly anisotropic with respect to the orientation of the wire, and that the nature of this anisotropy depends strongly on the electron density and the relative strengths of the Rashba and Dresselhaus spin-orbit coupling. In particular, at low densities when only one subband of the quantum wire is occupied, the spin Hall effect is strongest for electron momentum along the $[\bar{1}10]$ axis, which is opposite than what is expected for the purely 2D case. In addition, when more than one subband is occupied, the strength and anisotropy of the spin Hall effect can vary greatly over relatively small changes in electron density, which makes it difficult to predict which wire orientation will maximize the strength of the spin Hall effect. These results help to illuminate the role of quantum confinement in spin-orbit-coupled systems, and can serve as a guide for future experimental work on the use of quantum wires for spin-Hall-based spintronic applications.


title: Existence of minimizers for generalized Lagrangian functionals and a necessary optimality condition --- Application to fractional variational problems

abstract: We study dynamic minimization problems of the calculus of variations with generalized Lagrangian functionals that depend on a general linear operator $K$ and defined on bounded-time intervals. Under assumptions of regularity, convexity and coercivity, we derive sufficient conditions ensuring the existence of a minimizer. Finally, we obtain necessary optimality conditions of Euler-Lagrange type. Main results are illustrated with special cases, when $K$ is a general kernel operator and, in particular, with $K$ the fractional integral of Riemann-Liouville and Hadamard. The application of our results to the recent fractional calculus of variations gives answer to an open question posed in [Abstr. Appl. Anal. 2012, Art. ID 871912; doi:10.1155/2012/871912].


title: The VIMOS Ultra-Deep Survey: ~10,000 galaxies with spectroscopic redshifts to study galaxy assembly at early epochs 2<z<~6

abstract: We present the VIMOS Ultra Deep Survey (VUDS), a spectroscopic redshift survey of ~10.000 very faint galaxies to study the major phase of galaxy assembly 2<z<~6. The survey covers 1 deg^2 in 3 separate fields: COSMOS, ECDFS and VVDS-02h, with targets selection based on an inclusive combination of photometric redshifts and color properties. Spectra covering 3650<lambda<9350 A are obtained with VIMOS on the ESO-VLT with integration times of 14h. Here we present the survey strategy, the target selection, the data processing, as well as the redshift measurement process, emphasizing the specific methods adapted to this high redshift range. The spectra quality and redshift reliability are discussed, and we derive a completeness in redshift measurement of 91%, or 74% for the most reliable measurements, down to i_AB=25, and measurements are performed all the way down to i_AB=27. The redshift distribution of the main sample peaks at z=3-4 and extends over a large redshift range mainly in 2 < z < 6. At 3<z<5, the galaxies cover a large range of luminosities -23< M_U < -20.5, stellar mass 10^9 M_sun< M_star < 10^{11} M_sun, and star formation rates 1 M_sun/yr< SFR < 10^3 M_sun/yr. We discuss the spectral properties of galaxies using individual as well as stacked spectra. The comparison between spectroscopic and photometric redshifts as well as color selection demonstrate the effectiveness of our selection scheme. With ~6000 galaxies with reliable spectroscopic redshifts in 2<z<6 expected when complete, this survey is the largest at these redshifts and offers the opportunity for unprecedented studies of the star-forming galaxy population and its distribution in large scale structures during the major phase of galaxy assembly.


title: On the Unitary Globalization of Cohomologically Induced Modules

abstract: We describe the unitary globalization of cohomologically induced modules $A_{\fq}(\lambda)$. The purpose of the paper is to give a geometric realization of the unitarizable modules. Our results do not constitute a proof of unitarity.


title: Subband anticrossing and the spin Hall effect in quantum wires

abstract: We report on numerical simulations of the intrinsic spin Hall effect in semiconductor quantum wires as a function of the Rashba spin-orbit coupling strength, the electron density, and the width of the wire. We find that the strength of the spin Hall effect does not depend monotonically on these parameters, but instead exhibits a local maximum. This behavior is explained by considering the dispersion relation of the electrons in the wire, which is characterized by the anticrossing of adjacent subbands. These results lead to a simple estimate of the optimal wire width for spin Hall transport experiments, and simulations indicate that this optimal width is independent of disorder. The anticrossing of adjacent subbands is related to a quantum phase transition in momentum space, and is accompanied by an enhancement of the Berry curvature and subsequently in the magnitude of the spin Hall effect.


title: Quasi-diagonalization of Hankel operators

abstract: We show that all Hankel operators $H$ realized as integral operators with kernels $h(t+s)$ in $L^2 ({\Bbb R}_{+}) $ can be quasi-diagonalized as $H= {\sf L}^* \Sigma {\sf L} $. Here ${\sf L}$ is the Laplace transform, $\Sigma$ is the operator of multiplication by a function (distribution) $\sigma(\lambda)$, $\lambda\in {\Bbb R}$. We find a scale of spaces of test functions where ${\sf L} $ acts as an isomorphism. Then ${\sf L}^*$ is an isomorphism of the corresponding spaces of distributions. We show that $h= {\sf L}^* \sigma$ which yields a one-to-one correspondence between kernels $h(t)$ and sigma-functions $\sigma(\lambda)$ of Hankel operators. The sigma-function of a self-adjoint Hankel operator $H$ contains substantial information about its spectral properties. Thus we show that the operators $H$ and $\Sigma$ have the same numbers of positive and negatives eigenvalues. In particular, we find necessary and sufficient conditions for sign-definiteness of Hankel operators. These results are illustrated at examples of quasi-Carleman operators generalizing the classical Carleman operator with kernel $h(t)=t^{-1}$ in various directions. The concept of the sigma-function directly leads to a criterion (equivalent of course to the classical Nehari theorem) for boundedness of Hankel operators. Our construction also shows that every Hankel operator is unitarily equivalent by the Mellin transform to a pseudo-differential operator with amplitude which is a product of functions of one variable only (of $x\in{\Bbb R}$ and of its dual variable).


title: Electrical Contacts to Three-Dimensional Arrays of Carbon Nanotubes

abstract: We use numerical simulations to investigate the properties of metal contacts to three-dimensional arrays of carbon nanotubes (CNTs). For undoped arrays top-contacted with high or low work function metals, electrostatic screening is very strong, resulting in a small Schottky barrier for current injection in the top layer and large Schottky barriers for current injection in the deeper layers. As a consequence, the majority of the current flows through the top layer of the array. Our simulations show that doping of the CNT array can alleviate this problem, even without direct contact to each tube in the array; however, we find that the charge transfer length is unusually long in arrays and increases with the number of CNT layers under the contact. We also show that a bottom gate can modulate the contact resistance, but only very weakly. These results are important for the design of electronic and optoelectronic devices based on CNT arrays, because they suggest that increasing the thickness of the array does little to improve the device performance unless the film is strongly doped at the contacts and the contact is long, or unless each tube in the array is directly contacted by the metal.


title: Scanning Tunneling Macroscopy, Black Holes, and AdS/CFT Bulk Locality

abstract: We establish resolution bounds on reconstructing a bulk field from boundary data on a timelike hypersurface. If the bulk only supports propagating modes, reconstruction is complete. If the bulk also supports evanescent modes, local reconstruction is not achievable unless one has exponential precision in knowledge of the boundary data. Without exponential precision, for a Minkowski bulk, one can reconstruct a spatially coarse-grained bulk field, but only out to a depth set by the coarse-graining scale. For an asymptotically AdS bulk, reconstruction is limited to a spatial coarse-graining proper distance set by the AdS scale. AdS black holes admit evanescent modes. We study the resolution bound in the large AdS black hole background and provide a dual CFT interpretation. Our results demonstrate that, if there is a black hole of any size in the bulk, then sub-AdS bulk locality is no longer well-encoded in boundary data in terms of local CFT operators. Specifically, in order to probe the bulk on sub-AdS scales using only boundary data in terms of local operators, one must either have such data to exponential precision or make further assumptions about the bulk state.


title: Scattering for a Nonlinear Schr\"odinger Equation with a Potential

abstract: We consider a 3d cubic focusing nonlinear Schr\"odinger equation with a potential $$i\partial_t u+\Delta u-Vu+|u|^2u=0,$$ where $V$ is a real-valued short-range potential having a small negative part. We find criteria for global well-posedness analogous to the homogeneous case $V=0$ (Duyckaerts-Holmer-Roudenko). Moreover, by the concentration-compactness approach, we prove that if $V$ is repulsive, such global solutions scatter.


title: Global estimates for kernels of Neumann series and Green's functions

abstract: We obtain global pointwise estimates for kernels of the resolvents $(I-T)^{-1}$ of integral operators \[Tf(x) = \int_{\Omega} K(x, y) f(y) d \omega(y)\] on $L^2(\Omega, \omega)$ under the assumptions that $||T||_{L^2(\omega) \rightarrow L^2 (\omega)} <1$ and $d(x,y)=1/K(x,y)$ is a quasi-metric. Let $K_1=K$ and $K_j(x,y) = \int_{\Omega} K_{j-1} (x,z) K(z,y) \, d \omega (z)$ for $j \geq 1$. Then $$ K(x,y) e^{c K_2 (x,y)/K(x,y)} \leq \sum_{j=1}^{\infty} K_j(x,y) \leq K(x,y) e^{C K_2 (x,y)/K(x,y)}, $$ for some constants $c,C>0$. Our estimates yield matching bilateral bounds for Green's functions of the fractional Schr\"{o}dinger operators $(-\triangle)^{\alpha/2}-q$ with arbitrary nonnegative potentials $q$ on $\mathbb{R}^n$ for $0<\alpha<n$, or on a bounded non-tangentially accessible domain $\Omega$ for $0<\alpha \le 2$. In probabilistic language, these results can be reformulated as explicit bilateral bounds for the conditional gauge associated with Brownian motion or $\alpha$-stable L\'evy processes.


title: Using Continued Fractions to Compute Iwasawa Lambda Invariants of Imaginary Quadratic Number Fields

abstract: Let $\ell>3$ be a prime such that $\ell \equiv 3 \pmod{4}$ and $\mathbb{Q}(\sqrt{\ell})$ has class number 1. Then Hirzebruch and Zagier noticed that the class number of $\mathbb{Q}(\sqrt{-\ell})$ can be expressed as $h(-\ell) = (1/3)(b_1+b_2 + \cdots + b_m) - m$ where the $b_i$ are partial quotients in the `minus' continued fraction expansion $\sqrt{\ell} = [[b_0; \overline{b_1, b_2, \ldots, b_m}]]$. For an odd prime $p \neq \ell$, we prove an analogous formula using these $b_i$ which computes the sum of Iwasawa lambda invariants $\lambda_p(-\ell)+\lambda_p(-4)$ of $\mathbb{Q}(\sqrt{-\ell})$ and $\mathbb{Q}(\sqrt{-1})$. In the case that $p$ is inert in $\mathbb{Q}(\sqrt{-\ell})$, the formula pleasantly simplifies under some additional technical assumptions.


title: Banks-Casher-type relations for complex Dirac spectra

abstract: For theories with a sign problem there is no analog of the Banks-Casher relation. This is true in particular for QCD at nonzero quark chemical potential. However, for QCD-like theories without a sign problem the Banks-Casher relation can be extended to the case of complex Dirac eigenvalues. We derive such extensions for the zero-temperature, high-density limits of two-color QCD, QCD at nonzero isospin chemical potential, and adjoint QCD. In all three cases the density of the complex Dirac eigenvalues at the origin is proportional to the BCS gap squared.


title: An Improved Apriori Algorithm for Association Rules

abstract: There are several mining algorithms of association rules. One of the most popular algorithms is Apriori that is used to extract frequent itemsets from large database and getting the association rule for discovering the knowledge. Based on this algorithm, this paper indicates the limitation of the original Apriori algorithm of wasting time for scanning the whole database searching on the frequent itemsets, and presents an improvement on Apriori by reducing that wasted time depending on scanning only some transactions. The paper shows by experimental results with several groups of transactions, and with several values of minimum support that applied on the original Apriori and our implemented improved Apriori that our improved Apriori reduces the time consumed by 67.38% in comparison with the original Apriori, and makes the Apriori algorithm more efficient and less time consuming.


title: Asymptotics of the number of the interior transmission eigenvalues

abstract: We prove a Weyl asymptotics $N(r) = c r^d + {\mathcal O}_{\epsilon}(r^{d - \kappa + \epsilon})$, $\forall\, 0< \epsilon \ll 1$, for the counting function $N(r) = \sharp\{\lambda_j \in {\mathbb C} \setminus \{0\}:\: |\lambda_j| \leq r^2\}$, $r>1$, of the interior transmission eigenvalues (ITE), $\lambda_j$. Here $0<\kappa\leq 1$ is such that there are no (ITE) in the region $\{\lambda\in {\mathbb C}:\: |{\rm Im}\:\lambda|\geq C(| {\rm Re}\:\lambda|+1)^{1-\frac{\kappa}{2}}\}$ for some $C>0$.


title: Stability of adversarial Markov chains, with an application to adaptive MCMC algorithms

abstract: We consider whether ergodic Markov chains with bounded step size remain bounded in probability when their transitions are modified by an adversary on a bounded subset. We provide counterexamples to show that the answer is no in general, and prove theorems to show that the answer is yes under various additional assumptions. We then use our results to prove convergence of various adaptive Markov chain Monte Carlo algorithms.


title: An upper bound for the length of a Traveling Salesman path in the Heisenberg group

abstract: We show that a sufficient condition for a subset $E$ in the Heisenberg group (endowed with the Carnot-Carath\'{e}odory metric) to be contained in a rectifiable curve is that it satisfies a modified analogue of Peter Jones's geometric lemma. Our estimates improve on those of \cite{FFP}, by replacing the power $2$ of the Jones-$\beta$-number with any power $r<4$. This complements (in an open ended way) our work \cite{Li-Schul-beta-leq-length}, where we showed that such an estimate was necessary, but with $r=4$.


title: Topological Crystalline Insulator Nanomembrane with Strain-Tunable Band Gap

abstract: The ability to fine-tune band gap and band inversion in topological materials is highly desirable for the development of novel functional devices. Here we propose that the electronic properties of a free-standing nanomembrane of topological crystalline insulator (TCI) SnTe and Pb$_{1-x}$Sn$_x$(Se,Te) are highly tunable by engineering elastic strain and controlling membrane thickness, resulting in tunable band gap and giant piezoconductivity. Membrane thickness governs the hybridization of topological electronic states on opposite surfaces, while elastic strain can further modulate the hybridization strength by controlling the penetration length of surface states. We propose a frequency-resolved infrared photodetector using force-concentration induced inhomogeneous elastic strain in TCI nanomembrane with spatially varying width. The predicted tunable band gap accompanied by strong spin-textured electronic states will open up new avenues for fabricating piezoresistive devices, thermoelectrics, infrared detectors and energy-efficient electronic and optoelectronic devices based on TCI nanomembrane.


title: Globular Cluster Formation in the Virgo Cluster

abstract: Metal poor globular clusters (MPGCs) are a unique probe of the early universe, in particular the reionization era. Systems of globular clusters in galaxy clusters are particularly interesting as it is in the progenitors of galaxy clusters that the earliest reionizing sources first formed. Although the exact physical origin of globular clusters is still debated, it is generally admitted that globular clusters form in early, rare dark matter peaks (Moore et al. 2006; Boley et al. 2009). We provide a fully numerical analysis of the Virgo cluster globular cluster system by identifying the present day globular cluster system with exactly such early, rare dark matter peaks. A popular hypothesis is that that the observed truncation of blue metal poor globular cluster formation is due to reionization (Spitler et al. 2012; Boley et al. 2009; Brodie & Strader 2006); adopting this view, constraining the formation epoch of MPGCs provides a complementary constraint on the epoch of reionization. By analyzing both the line of sight velocity dispersion and the surface density distribution of the present day distribution we are able to constrain the redshift and mass of the dark matter peaks. We find and quantify a dependence on the chosen line of sight of these quantities, whose strength varies with redshift, and coupled with star formation efficiency arguments find a best fitting formation mass and redshift of $\simeq 5 \times 10^8 \rm{M}_\odot$ and $z\simeq 9$. We predict $\simeq 300$ intracluster MPGCs in the Virgo cluster. Our results confirm the techniques pioneered by Moore et al. (2006) when applied to the the Virgo cluster and extend and refine the analytic results of Spitler et al. (2012) numerically.


title: Tits rigidity of CAT(0) group boundaries

abstract: We define Tits rigidity for visual boundaries of CAT(0) groups, and prove that the join of two Cantor sets and its suspension are Tits rigid.


title: On generalized resolvents and characteristic matrices of first-order symmetric systems

abstract: We study general (not necessarily Hamiltonian) first-order symmetric system $J y'-B(t)y=\D(t) f(t)$ on an interval $\cI=[a,b) $ with the regular endpoint $a$ and singular endpoint $b$. It is assumed that the deficiency indices $n_\pm(\Tmi)$ of the corresponding minimal relation $\Tmi$ in $\LI$ satisfy $n_-(\Tmi)\leq n_+(\Tmi)$. We describe all generalized resolvents $y=R(\l)f, \; f\in\LI,$ of $\Tmi$ in terms of boundary problems with $\l$-depending boundary conditions imposed on regular and singular boundary values of a function $y$ at the endpoints $a$ and $b$ respectively. We also parametrize all characteristic matrices $\Om(\l)$ of the system immediately in terms of boundary conditions. Such a parametrization is given both by the block representation of $\Om(\l)$ and by the formula similar to the well-known Krein formula for resolvents. These results develop the \u{S}traus' results on generalized resolvents and characteristic matrices of differential operators.


title: Roton-maxon spectrum and instability for weakly interacting dipolar excitons in a semiconductor layer

abstract: The formation of the roton-maxon excitation spectrum and the roton instability effect for a weakly correlated Bose gas of dipolar excitons in a semiconductor layer are predicted. The stability diagram is calculated. According to our numerical estimations, the threshold of the roton instability for Bose-Einstein condensed exciton gas with roton-maxon spectrum is achievable experimentally, e.g., in GaAs semiconductor layers.


title: Quantization of the linearised Einstein-Klein-Gordon system on arbitrary backgrounds and the special case of perturbations in Inflation

abstract: We quantize the linearised Einstein-Klein-Gordon system on arbitrary on-shell backgrounds in a manifestly covariant and gauge-invariant manner. For the special case of perturbations in Inflation, i.e. on-shell backgrounds of Friedmann-Lema\^itre-Robertson-Walker type, we compare our general quantization construction with the standard approach to the quantum theory of perturbations in Inflation. We find that not all local quantum observables of the linearised Einstein-Klein-Gordon system can be split into local observables of scalar and tensor type as in the standard approach. However, we argue that this subclass of observables is sufficient for measuring perturbations which vanish at spatial infinity, which is in line with standard assumptions. Finally, we comment on a recent observation that, upon standard quantization, the quantum Bardeen potentials display a non-local behaviour and argue that a similar phenomenon occurs in any local quantum field theory.


title: Impact of delay on HIV-1 dynamics of fighting a virus with another virus

abstract: In this paper, we propose a mathematical model for HIV-1 infection with intracellular delay. The model examines a viral-therapy for controlling infections through recombining HIV-1 virus with a genetically modified virus. For this model, the basic reproduction number $\mathcal{R}_0$ are identified and its threshold properties are discussed. When $\mathcal{R}_0 < 1$, the infection-free equilibrium $E_0$ is globally asymptotically stable. When $\mathcal{R}_0 > 1$, $E_0$ becomes unstable and there occurs the single-infection equilibrium $E_s$, and $E_0$ and $E_s$ exchange their stability at the transcritical point $\mathcal{R}_0 =1$. If $1< \mathcal{R}_0 < R_1$, where $R_1$ is a positive constant explicitly depending on the model parameters, $E_s$ is globally asymptotically stable, while when $\mathcal{R}_0 > R_1$, $E_s$ loses its stability to the double-infection equilibrium $E_d$. There exist a constant $R_2$ such that $E_d$ is asymptotically stable if $R_1<\mathcal R_0 < R_2$, and $E_s$ and $E_d$ exchange their stability at the transcritical point $\mathcal{R}_0 =R_1$. We use one numerical example to determine the largest range of $\mathcal R_0$ for the local stability of $E_d$ and existence of Hopf bifurcation. Some simulations are performed to support the theoretical results. These results show that the delay plays an important role in determining the dynamic behaviour of the system. In the normal range of values, the delay may change the dynamic behaviour quantitatively, such as greatly reducing the amplitudes of oscillations, or even qualitatively changes the dynamical behaviour such as revoking oscillating solutions to equilibrium solutions. This suggests that the delay is a very important fact which should not be missed in HIV-1 modelling.


title: Dynamic Density Functional Theory with hydrodynamic interactions and fluctuations

abstract: We derive a closed equation for the empirical concentration of colloidal particles in the presence of both hydrodynamic and direct interactions. The ensemble average of our functional Langevin equation reproduces known deterministic Dynamic Density Functional Theory (DDFT) [Rex and L\"owen, Phys. Rev. Lett., 101(14):148302, 2008], and, at the same time, it also describes the microscopic fluctuations around the mean behavior. We suggest separating the ideal (non-interacting) contribution from additional corrections due to pairwise interactions. We find that, for an incompressible fluid and in the absence of direct interactions, the mean concentration follows Fick's law just as for uncorrelated walkers. At the same time, the nature of the stochastic terms in fluctuating DDFT is shown to be distinctly different for hydrodynamically-correlated and uncorrelated walkers. This leads to striking differences in the behavior of the fluctuations around Fick's law, even in the absence of pairwise interactions. We connect our own prior work [A. Donev, T. G. Fai, E. Vanden-Eijnden, J. Stat. Mech., P04004, 2014] on fluctuating hydrodynamics of diffusion in liquids to the DDFT literature, and demonstrate that the fluid cannot easily be eliminated from consideration if one wants to describe the collective diffusion in colloidal suspensions.


title: Injectivity radius bound and good leaf foliation in 3-manifolds

abstract: In this short note, we study the injectivity radius bound for three dimensional complete and non-compact Riemannian manifold with good leaf foliations and with bounded curvature up to first order. We obtain the injectivity bound by using the minimal surface theory and the Gauss-Bonnet theorem.


title: Cosmology with Mimetic Matter

abstract: We consider minimal extensions of the recently proposed Mimetic Dark Matter and show that by introducing a potential for the mimetic non-dynamical scalar field we can mimic nearly any gravitational properties of the normal matter. In particular, the mimetic matter can provide us with inflaton, quintessence and even can lead to a bouncing nonsingular universe. We also investigate the behaviour of cosmological perturbations due to a mimetic matter. We demonstrate that simple mimetic inflation can produce red-tilted scalar perturbations which are largely enhanced over gravity waves.


title: The congruence relation in the non-PEL case

abstract: This work settles the Eichler-Shimura congruence relation of Blasius and Rogawski for certain 5-dimensional Hodge-type Shimura varieties, that were not tractable by previously known methods. In a more general context we introduce a hypothesis called (NVC) on the behavior of Hecke correspondences, and show that it implies the congruence relation. A major ingredient in the proof of this result is a theorem of R.Noot on CM-lifts of ordinary points in characteristic p, along with an analysis of the mod p-reductions of various Hecke translates of that CM-lift. Finally we prove this (NVC)-hypothesis for our particular Shimura 5-folds, and in doing so we obtain an unconditional result for the congruence relation of these non-PEL examples.


title: Approximations of strongly continuous families of unbounded self-adjoint operators

abstract: The problem of approximating the discrete spectra of families of self-adjoint operators that are merely strongly continuous is addressed. It is well-known that the spectrum need not vary continuously (as a set) under strong perturbations. However, it is shown that under an additional compactness assumption the spectrum does vary continuously, and a family of symmetric finite-dimensional approximations is constructed. An important feature of these approximations is that they are valid for the entire family uniformly. An application of this result to the study of plasma instabilities is illustrated.


title: Image processing using miniKanren

abstract: An integral image is one of the most efficient optimization technique for image processing. However an integral image is only a special case of delayed stream or memoization. This research discusses generalizing concept of integral image optimization technique, and how to generate an integral image optimized program code automatically from abstracted image processing algorithm. In oder to abstruct algorithms, we forces to miniKanren.


title: A note on optimal regularity and regularizing effects of point mass coupling for a heat-wave system

abstract: We consider a coupled $1D$ heat-wave system which serves as a simplified fluid-structure interaction problem. The system is coupled in two different ways: the first, when the interface does not have mass and the second, when the interface does have mass. We prove an optimal regularity result in Sobolev spaces for both cases. The main idea behind the proof is to reduce the coupled problem to a single nonlocal equation on the interface by using Neummann to Diriclet operator. Furthermore, we show that point mass coupling regularizes the problem and quantify this regularization in the sense of Sobolev spaces.


title: On the Singularities in the Susceptibility Expansion for the Two-Dimensional Ising Model

abstract: For temperatures below the critical temperature, the magnetic susceptibility for the two-dimensional isotropic Ising model can be expressed in terms of an infinite series of multiple integrals. With respect to a parameter related to temperature and the interaction constant, the integrals may be extended to functions analytic outside the unit circle. In a groundbreaking paper, B. G. Nickel identified a class of singularities of these integrals on the unit circle. In this note we show that there are no other singularities on the unit circle.


title: Resilient Coordination of Networked Multiagent Systems Based on Distributed State Emulators

abstract: This note studies resilient coordination of networked multiagent systems in the presence of misbehaving agents, i.e., agents that are subject to adversaries modeled as exogenous disturbances. Apart from the existing relevant literature that make specific assumptions on the graph topology and/or the fraction of misbehaving agents, we present an adaptive control architecture based on distributed state emulators and show that the nominal networked multiagent system behavior can be retrieved even if all agents are misbehaving.


title: Theory of the Magnetic Resonance for the High-$T_C$ Copper-Oxide Superconductors

abstract: The magnetic response expected from a state characterized by rotating antiferromagnetism in a neutron-scattering experiment is calculated. We predict the occurrence of a peak at the frequency of the rotation of the rotating antiferromagnetic order parameter. The doping dependence of this frequency is very similar to that of the frequency of the magnetic resonance observed in the neutron-scattering experiments for the hole-doped high-$T_C$ cuprates. This leads us to propose the rotating antiferromagnetism as a possible mechanism for this magnetic resonance. We conclude that while the magnitude of the rotating antiferromagnetic order parameter was previously proposed to be responsible for the pseudogap and the unusual thermodynamic and transport properties, the phase of the rotating order parameter is proposed here to be responsible for the unusual magnetic properties of the high-$T_C$ copper-oxide superconductors.


title: Game Theory Explorer - Software for the Applied Game Theorist

abstract: This paper presents the "Game Theory Explorer" software tool to create and analyze games as models of strategic interaction. A game in extensive or strategic form is created and nicely displayed with a graphical user interface in a web browser. State-of-the-art algorithms then compute all Nash equilibria of the game after a mouseclick. In tutorial fashion, we present how the program is used, and the ideas behind its main algorithms. We report on experiences with the architecture of the software and its development as an open-source project.


title: Quarkonium production in the LHC era: a polarized perspective

abstract: Polarization measurements are usually considered as the most difficult challenge for the QCD description of quarkonium production. In fact, global data fits for the determination of the non-perturbative parameters of bound-state formation traditionally exclude polarization observables and use them as a posteriori verifications of the predictions, with perplexing results. With a change of perspective, we move polarization data to the centre of the study, advocating that they actually provide the strongest fundamental indications about the production mechanisms, even before we explicitly consider perturbative calculations. Considering psi(2S) and Y(3S) measurements from LHC experiments and state-of-the-art NLO short-distance calculations in the framework of non-relativistic QCD factorization (NRQCD), we perform a search for a kinematic domain where the polarizations can be correctly reproduced together with the cross sections, by systematically scanning the phase space and accurately treating the experimental uncertainties. This strategy provides a straightforward solution to the "quarkonium polarization puzzle" and reassuring signs that the theoretical framework is reliable. At the same time, the results expose unexpected hierarchies in the non-perturbative NRQCD parameters, that open new paths towards the understanding of bound-state formation in QCD.


title: Haagerup approximation property and positive cones associated with a von Neumann algebra

abstract: We introduce the notion of the $\alpha$-Haagerup approximation property for $\alpha\in[0,1/2]$ using a one-parameter family of positive cones studied by Araki and show that the $\alpha$-Haagerup approximation property actually does not depend on a choice of $\alpha$. This gives us a direct proof of the fact that two characterizations of the Haagerup approximation property are equivalent, one in terms of the standard form and the other in terms of completely positive maps. We also discuss the $L^p$-Haagerup approximation property for a non-commutative $L^p$-spaces associated with a von Neumann algebra ($1<p<\infty$) and show the independency of the $L^p$-Haagerup approximation property on $p$.


title: Subset Synchronization and Careful Synchronization of Binary Finite Automata

abstract: We present a strongly exponential lower bound that applies both to the subset synchronization threshold for binary deterministic automata and to the careful synchronization threshold for binary partial automata. In the later form, the result finishes the research initiated by Martyugin (2013). Moreover, we show that both the thresholds remain strongly exponential even if restricted to strongly connected binary automata. In addition, we apply our methods to computational complexity. Existence of a subset reset word is known to be PSPACE-complete; we show that this holds even under the restriction to strongly connected binary automata. The results apply also to the corresponding thresholds in two more general settings: D1- and D3-directable nondeterministic automata and composition sequences over finite domains.


title: Towards slime mould electrical logic gates with optical coupling

abstract: Physarum polycephalum is a macroscopic single celled plasmodial slime mould. We employ plasmodial phototactic responses to construct laboratory prototypes of NOT and NAND logical gates with electrical inputs/outputs and optical coupling; the slime mould plays dual roles of computing device and electrical conductor. Slime mould logical gates are fault tolerant and resettable. The results presented here advance our understanding of how biological computing substrates may be manipulated to implement logical operations and demonstrate the feasibility of integrating living substrates into silicon hardware.


title: On carbon and oxygen isotope ratios in starburst galaxies: New data from NGC253 and Mrk231 and their implications

abstract: Using the IRAM 30-m telescope, CN and CO isotopologues have been measured toward the central regions of the nearby starburst galaxy NGC253 and the prototypical ultraluminous infrared galaxy Mrk231. In NGC253, the 12C/13C ratio is 40+-10. Assuming that the ratio also holds for the CO emitting gas, this yields 16O/18O = 145+-36 and 16O/17O = 1290+-365 and a 32S/34S ratio close to that measured for the local interstellar medium (20-25). No indication for vibrationally excited CN is found. Peak line intensity ratios between NGC253 and Mrk231 are ~100 for 12C16O and 12C18O J=1-0, while the ratio for 13C16O J=1-0 is ~250. This and similar 13CO and C18O line intensities in the J=1-0 and 2-1 transitions of Mrk231 suggest 12C/13C ~ 100 and 16O/18O ~ 100, in agreement with values obtained for the less evolved ultraluminous merger Arp220. Also accounting for other extragalactic data, 12C/13C ratios appear to vary over a full order of magnitude, from >100 in ultraluminous high redshift galaxies to ~100 in more local such galaxies to ~40 in weaker starbursts not undergoing a large scale merger to 25 in the Central Molecular Zone of the Milky Way. With 12C being predominantly synthesized in massive stars, while 13C is mostly ejected by longer lived lower mass stars at later times, this is qualitatively consistent with our results of decreasing carbon isotope ratios with time and rising metallicity. It is emphasized, however, that both infall of poorly processed material, initiating a nuclear starburst, as well as the ejecta from newly formed massive stars (in particular in case of a top-heavy stellar initial mass function) can raise the carbon isotope ratio for a limited amount of time.


title: A dynamical Mordell Lang property on the disk

abstract: We prove that two finite endomorphisms of the unit disk with degree at least two have orbits with infinite intersections if and only if they have a common iteration.


title: Isogeny orbits in a family of abelian varieties

abstract: We prove that if a curve of a non-isotrivial family of abelian varieties over a curve contains infinitely many isogeny orbits of a finitely generated subgroup of a simple abelian variety then it is special.


title: Giant Nernst and Hall Effects in Chiral Superconductors due to Berry Phase Fluctuations

abstract: We consider the Nernst and Hall effects in fluctuation regime of chiral superconductors above transition temperatures, that are raised not by conventional Lorentz force, but by asymmetric scattering due to fluctuations of the Berry phase of the Bogoliubov-de Gennes Hamiltonian. It is found that these effects can be more significant than conventional ones for cleaner samples, exhibiting qualitatively distinct behaviors. The results provide systematic and comprehensive understanding for recent experimental observations of the Nernst effect in a clean URu$_2$Si$_2$ sample, which is suggested to be a chiral superconductor.


title: A Novel Scheme for Downlink Opportunistic Interference Alignment

abstract: In this paper we propose a downlink codebook-based opportunistic interference alignment (OIA) in a three-cell MIMO system. A codebook composed of multiple transmit vector sets is utilized to improve the multiuser selection diversity. The sum rate increases as the size of the codebook grows. In addition, during the user selection, effective channel gain and alignment metric are combined to generate a novel criterion, which improves the system performance, especially at low SNR. Furthermore, a threshold-based feedback approach is introduced to reduce the feedback load in the proposed scheme. Both the analytical results and simulations show that the proposed scheme provides significant improvement in terms of sum rates with no feedback load growth and slight increase of complexity.


title: Robust transitivity and density of periodic points of partially hyperbolic diffeomorphisms

abstract: We prove results related to robust transitivity and density of periodic points of Partially Hyperbolic Diffeomorphisms under conditions involving Accessibility and a property in the tangent bundle .


title: Electrical switching effect of a single-unit-cell CrO2 layer on rutile TiO2 surface

abstract: Rutile CrO2 is the most important half-metallic material with nearly 100% spin polarization at the Fermi level, and rutile TiO2 is a wide-gap semiconductor with many applications. Here we show through first-principles investigation that a single-unit-cell CrO2 layer on rutile TiO2 (001) surface is ferromagnetic and semiconductive with a gap of 0.54 eV, and its electronic state transits abruptly to a typical metallic state when an electrical field is applied. Consequently, this makes an interesting electrical switching effect which may be useful in designing spintronic devices.


title: Geometric Langlands in prime characteristic

abstract: Let $G$ be a semisimple algebraic group over an algebraically closed field $k$, whose characteristic is positive and does not divide the order of the Weyl group of $G$, and let $\breve G$ be its Langlands dual group over $k$. Let $C$ be a smooth projective curve over $k$. Denote by $\Bun_G$ the moduli stack of $G$-bundles on $C$ and $ \Loc_{\breve G}$ the moduli stack of $\breve G$-local systems on $C$. Let $D_{\Bun_G}$ be the sheaf of crystalline differential operators on $\Bun_G$. In this paper we construct an equivalence between the bounded derived category $D^b(\on{QCoh}(\Loc_{\breve G}^0))$ of quasi-coherent sheaves on some open subset $\Loc_{\breve G}^0\subset\Loc_{\breve G}$ and bounded derived category $D^b(D_{\Bun_G}^0\on{-mod})$ of modules over some localization $D_{\Bun_G}^0$ of $D_{\Bun_G}$. This generalizes the work of Bezrukavnikov-Braverman in the $\GL_n$ case.


title: Destroying a topological quantum bit by condensing Ising vortices

abstract: The imminent realization of topologically-protected qubits in fabricated systems will provide not only an elementary implementation of fault-tolerant quantum computing architecture, but also an experimental vehicle for the general study of topological order. The simplest topological qubit harbors what is known as a Z$_2$ liquid phase, which encodes information via a degeneracy depending on the system's topology. Elementary excitations of the phase are fractionally charged objects called {\it spinons}, or Ising flux vortices called {\it visons}. At zero temperature a Z$_2$ liquid is stable under deformations of the Hamiltonian until spinon or vison condensation induces a quantum phase transition destroying the topological order. In this paper, we use quantum Monte Carlo to study a vison-induced transition from a Z$_2$ liquid to a valence-bond solid in a quantum dimer model on the kagome lattice. Our results indicate that this critical point is controlled by a new universality class beyond the standard Landau paradigm.


title: On effective mass of a photon in a strong magnetic field

abstract: For the magnetic field in order of the Schwinger critical value or much larger it, the effective mass of a real photon with a preset polarization is investigated in the energy region including two lower creation thresholds of electron and positron on Landau levels. In the high-energy range, when the number of thresholds is large, the quasiclassical approach is used.


title: A Study on Integer Additive Set-Graceful Graphs

abstract: A set-labeling of a graph $G$ is an injective function $f:V(G)\to \mathcal{P}(X)$, where $X$ is a finite set and a set-indexer of $G$ is a set-labeling such that the induced function $f^{\oplus}:E(G)\rightarrow \mathcal{P}(X)-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus}f(v)$ for every $uv{\in} E(G)$ is also injective. An integer additive set-labeling is an injective function $f:V(G)\rightarrow \mathcal{P}(\mathbb{N}_0)$, $\mathbb{N}_0$ is the set of all non-negative integers and an integer additive set-indexer is an integer additive set-labeling such that the induced function $f^+:E(G) \rightarrow \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. In this paper, we extend the concepts of set-graceful labeling to integer additive set-labelings of graphs and provide some results on them.


title: BICEP2 I: Detection Of B-mode Polarization at Degree Angular Scales

abstract: (abridged for arXiv) We report results from the BICEP2 experiment, a cosmic microwave background (CMB) polarimeter specifically designed to search for the signal of inflationary gravitational waves in the B-mode power spectrum around $\ell\sim80$. The telescope comprised a 26 cm aperture all-cold refracting optical system equipped with a focal plane of 512 antenna coupled transition edge sensor 150 GHz bolometers each with temperature sensitivity of $\approx300\mu\mathrm{K}_\mathrm{CMB}\sqrt{s}$. BICEP2 observed from the South Pole for three seasons from 2010 to 2012. A low-foreground region of sky with an effective area of 380 square deg was observed to a depth of 87 nK deg in Stokes $Q$ and $U$. We find an excess of $B$-mode power over the base lensed-LCDM expectation in the range $30< \ell< 150$, inconsistent with the null hypothesis at a significance of $> 5\sigma$. Through jackknife tests and simulations we show that systematic contamination is much smaller than the observed excess. We also examine a number of available models of polarized dust emission and find that at their default parameter values they predict power $\sim(5-10)\times$ smaller than the observed excess signal. However, these models are not sufficiently constrained to exclude the possibility of dust emission bright enough to explain the entire excess signal. Cross correlating BICEP2 against 100 GHz maps from the BICEP1 experiment, the excess signal is confirmed and its spectral index is found to be consistent with that of the CMB, disfavoring dust at $1.7\sigma$. The observed $B$-mode power spectrum is well fit by a lensed-LCDM + tensor theoretical model with tensor-to-scalar ratio $r=0.20^{+0.07}_{-0.05}$, with $r=0$ disfavored at $7.0\sigma$. Accounting for the contribution of foreground dust will shift this value downward by an amount which will be better constrained with upcoming data sets.


title: Optimization in the Parikh-Wilczek tunneling model of Hawking radiation for Kerr-Newman Black Holes

abstract: In this short report, we investigate the mutual information hidden in the Parikh-Wilczek tunneling model of Hawking radiation for Kerr-Newman black holes. By assuming the radiation as an optimization process, we discuss its effect on time evolution of rotating (charged and uncharged) black holes. For uncharged rotating black holes evaporating under the maximum mutual information optimization, their scale invariant rotation parameter $a_*=a/M$ is almost constant at the early stage but rapidly increase at the very last stage of the evaluation process. The value of rotation parameter at the final state of evaporation depends on the initial condition of the black hole. We also found that the presence of electric charge can cause the black holes lose their angular momentum more rapidly than they lose mass. The charged-rotating black holes asymptotically approach a state which is described by $a_*= 0$ and $Q/M = 1$.


title: Second-order Perturbation Formula for Magnetocrystalline Anisotropy using Orbital Angular Momentum Matrix

abstract: We derive a second-order perturbation formula for an electronic system subject to spin-orbit interactions (SOI). The energy correction originates in the spin-conserving and the spin-flip transitions. The former are represented by the orbital angular momentum (OAM) acquired via the SOI. The latter come from the quantum fluctuation effect. By using our formula, we examine the relativistic electronic structures of a d orbital chain and L1_0 alloys. The appearance of OAM in the chain is understood by using a parabolic-bands model and the exact expressions of the single-particle states. The total energy is found to be accurately reproduced by the formula. The self-consistent fully relativistic first-principles calculations based on the density functional theory are performed for five L1_0 alloys. It is found that the formula reproduces qualitatively the behavior of their exact magnetocrystalline anisotropy (MCA) energies. While the MCA of FePt, CoPt, and FePd originates in the spin-conserving transitions, that in MnAl and MnGa originates in the spin-flip contributions. For FePt, CoPt, and FePd, the tendency of the MCA energy with the variation in the lattice constant obeys basically that of the spin-flip contributions. These results indicate that not only the anisotropy of OAM, but also that of spin-flip contributions must be taken into account for the understanding of the MCA of the L1_0 alloys.


title: Non-ordinary nature of the f_0(500) resonance from its Regge trajectory

abstract: We report our results on how to obtain the Regge trajectory of a resonance from its pole in a scattering process by imposing analytic constraints in the complex angular momentum plane. The method, suited for resonances that dominate an elastic scattering amplitude, has been applied to the {\rho}(770) and the f_0(500) resonances. Whereas for the former we obtain a linear Regge trajectory, characteristic of ordinary quark-antiquark states, for the latter we find a non-linear trajectory with a much smaller slope at the resonance mass. Moreover, we show that if a linear trajectory with a slope of typical size is imposed for the f_0(500), the corresponding amplitude is at odds with the data. This provides a strong indication of the non-ordinary nature of the sigma meson.


title: Hardy-type inequalities for vector fields with the tangential components vanishing

abstract: This note studies the Hardy-type inequalities for vector fields with the $L^1$ norm of the $\curl$. In contrast to the well-known results in the whole space for the divergence-free vectors, we generalize the Hardy-type inequalities to the bounded domains and to the non-divergence-free vector fields with the tangential components on the boundary vanishing.


title: Newton-Okounkov polyhedra for character varieties and configuration spaces

abstract: We construct families of Newton-Okounkov bodies for the free group character varieties and configuration spaces of any connected reductive group. We use this construction to give a proof that these spaces are Cohen-Macaulay.


title: Throughput Optimization for Massive MIMO Systems Powered by Wireless Energy Transfer

abstract: This paper studies a wireless-energy-transfer (WET) enabled massive multiple-input-multiple-output (MIMO) system (MM) consisting of a hybrid data-and-energy access point (H-AP) and multiple single-antenna users. In the WET-MM system, the H-AP is equipped with a large number $M$ of antennas and functions like a conventional AP in receiving data from users, but additionally supplies wireless power to the users. We consider frame-based transmissions. Each frame is divided into three phases: the uplink channel estimation (CE) phase, the downlink WET phase, as well as the uplink wireless information transmission (WIT) phase. Firstly, users use a fraction of the previously harvested energy to send pilots, while the H-AP estimates the uplink channels and obtains the downlink channels by exploiting channel reciprocity. Next, the H-AP utilizes the channel estimates just obtained to transfer wireless energy to all users in the downlink via energy beamforming. Finally, the users use a portion of the harvested energy to send data to the H-AP simultaneously in the uplink (reserving some harvested energy for sending pilots in the next frame). To optimize the throughput and ensure rate fairness, we consider the problem of maximizing the minimum rate among all users. In the large-$M$ regime, we obtain the asymptotically optimal solutions and some interesting insights for the optimal design of WET-MM system. We define a metric, namely, the massive MIMO degree-of-rate-gain (MM-DoRG), as the asymptotic UL rate normalized by $\log(M)$. We show that the proposed WET-MM system is optimal in terms of MM-DoRG, i.e., it achieves the same MM-DoRG as the case with ideal CE.


title: Reset thresholds of automata with two cycle lengths

abstract: We present several series of synchronizing automata with multiple parameters, generalizing previously known results. Let p and q be two arbitrary co-prime positive integers, q > p. We describe reset thresholds of the colorings of primitive digraphs with exactly one cycle of length p and one cycle of length q. Also, we study reset thresholds of the colorings of primitive digraphs with exactly one cycle of length q and two cycles of length p.


title: V2V communication survey wireless technology

abstract: This paper presents the specific application of wireless communication,automotive Wireless Communication also called as Vehicle to Vehicle Communication.It explains the technology used for automotive Wireless Communication along with the various automotive applications relying on wireless communication. Automotive Wireless Communication gives drivers a sixth sense to know whats going on around them to help avoid accidents and improve traffic flow.The paper also describes VANETS (vehicular adhoc networks) and real world test network implementation.Finally,the paper is summarized.


title: Thermodynamic Order Parameters and Statistical-Mechanical Measures for Characterization of the Burst and Spike Synchronizations of Bursting Neurons

abstract: We are interested in characterization of population synchronization of bursting neurons which exhibit both the slow bursting and the fast spiking timescales, in contrast to spiking neurons. Population synchronization may be well visualized in the raster plot of neural spikes which can be obtained in experiments. The instantaneous population firing rate (IPFR) $R(t)$, which may be directly obtained from the raster plot of spikes, is often used as a realistic collective quantity describing population behaviors in both the computational and the experimental neuroscience. For the case of spiking neurons, realistic thermodynamic order parameter and statistical-mechanical spiking measure, based on $R(t)$, were introduced in our recent work to make practical characterization of spike synchronization. Here, we separate the slow bursting and the fast spiking timescales via frequency filtering, and extend the thermodynamic order parameter and the statistical-mechanical measure to the case of bursting neurons. Consequently, it is shown in explicit examples that both the order parameters and the statistical-mechanical measures may be effectively used to characterize the burst and spike synchronizations of bursting neurons.


title: Folding Difference and Differential Systems into Higher Order Equations

abstract: A typical system of k difference (or differential) equations can be compressed, or folded into a difference (or ordinary differential) equation of order k. Such foldings appear in control theory as the canonical forms of the controllability matrices. They are also used in the classification of systems of three nonlinear differential equations with chaotic flows by examining the resulting jerk functions. The solutions of the higher order equation yield one of the components of the system's k-dimensional orbits and the remaining components are determined from a set of associated passive equations. The folding algorithm uses a sequence of substitutions and inversions along with index shifts (for difference equations) or higher derivatives (for differential equations). For systems of two difference or differential equations this compression process is short and in some cases yields second-order equations that are simpler than the original system. For all systems, the folding algorithm yields detailed amount of information about the structure of the system and the interdependence of its variables. As with two equations, some special cases where the derived higher order equation is simpler to analyze than the original system are considered.


title: JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript

abstract: We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, integer and boolean constant propagation, and control-flow analysis. In addition, JSAI allows for analysis control-flow sensitivity (i.e., context-, path-, and heap-sensitivity) to be modularly configured without requiring any changes to the analysis implementation. JSAI is designed to be provably sound with respect to a specific concrete semantics for JavaScript, which has been extensively tested against existing production-quality JavaScript implementations. We provide a comprehensive evaluation of JSAI's performance and precision using an extensive benchmark suite. This benchmark suite includes real-world JavaScript applications, machine-generated JavaScript code via Emscripten, and browser addons. We use JSAI's configurability to evaluate a large number of analysis sensitivities (some well-known, some novel) and observe some surprising results. We believe that JSAI's configurability and its formal specifications position it as a useful research platform to experiment on novel sensitivities, abstract domains, and client analyses for JavaScript.


title: Fluctuations of cosmological birefringence and the effect on CMB B-mode polarization

abstract: The cosmological birefringence caused by the coupling between the cosmic scalar field and the cosmic microwave background (CMB) photons through the Chern-Simons term can rotate the polarization planes of the photons, and mix the CMB E-mode and B-mode polarizations. The rotation angle induced by the dynamical scalar field can be separated into the isotropic background part and the anisotropic fluctuations. The effect of the background part has been be studied in the previous work (Zhao & Li, arXiv:1402.4324). In this paper, we focus on the influence of the anisotropies of the rotation angle. We first assume that the cosmic scalar field is massless, consistent with other works, we find that the rotation spectrum can be quite large, which may be detected by the potential CMB observations. However, if the scalar field is identified as the quintessence field, by detailed discussing both the entropy and adiabatic perturbation modes for the first time, we find that the anisotropies of the rotation angle are always too small to be detectable.In addition, as the main goal of this paper, we investigate the effect of rotated polarization power spectrum on the detection of relic gravitational waves. we find that, the rotated B-mode polarization could be fairly large, and comparable with those generated by the gravitational waves. This forms a new contamination for the detection of relic gravitational waves in the CMB. In particular, we also propose the method to reconstruct and subtract the rotated B-mode polarization, by which the residuals become negligible for the gravitational-wave detection.


title: Semidefinite Relaxation for Two Mixed Binary Quadratically Constrained Quadratic Programs: Algorithms and Approximation Bounds

abstract: This paper develops new semidefinite programming (SDP) relaxation techniques for two classes of mixed binary quadratically constrained quadratic programs (MBQCQP) and analyzes their approximation performance. The first class of problem finds two minimum norm vectors in $N$-dimensional real or complex Euclidean space, such that $M$ out of $2M$ concave quadratic functions are satisfied. By employing a special randomized rounding procedure, we show that the ratio between the norm of the optimal solution of this model and its SDP relaxation is upper bounded by $\frac{54M^2}{\pi}$ in the real case and by $\frac{24M}{\sqrt{\pi}}$ in the complex case. The second class of problem finds a series of minimum norm vectors subject to a set of quadratic constraints and a cardinality constraint with both binary and continuous variables. We show that in this case the approximation ratio is also bounded and independent of problem dimension for both the real and the complex cases.


title: Mean Field Linear-Quadratic-Gaussian (LQG) Games: Major and Minor Players

abstract: This paper is concerned with a backward-forward stochastic differential equation (BFSDE) system, in which a large number of negligible agents are coupled in their dynamics via state average. Here some BSDE is introduced as the dynamics of major player, while dynamics of minor players are described by SDEs. Some auxiliary mean-field SDEs (MFSDEs) and a $3\times2$ mixed forward-backward stochastic differential equation (FBSDE) system are considered and analyzed instead of involving the fixed-point analysis as in other mean-field games. We also derive the decentralized strategies which are shown to satisfy the $\epsilon$-Nash equilibrium property.


title: Effective description of Chern insulators

abstract: The Berry curvature in Chern insulators appears to be a non-gauge-invariant quantity and does not immediately allow local length characterization. However, in two examples of 2- and 3-band models that we discuss, we find high-symmetry points in the Brillouin zone that have Berry curvature invariant under diagonal gauge transformations, and may serve as expansion points of geometrical description. On the basis of the geometrical description, in the case of Dirac based 2-band Chern insulators like Haldane model we conclude that the characteristic length based on the value of the Berry curvature at the expansion point plays the role of the magnetic length in the expression for the Hall viscosity. In the case of 2-band models the characteristic "cyclotron" spin is equal to 1/2, while in the 3-band kagome case this spin is likely non-quantized and non-universal.


title: Static potentials on asymptotically flat manifolds

abstract: We consider the question whether a static potential on an asymptotically flat 3-manifold can have nonempty zero set which extends to the infinity. We prove that this does not occur if the metric is asymptotically Schwarzschild with nonzero mass. If the asymptotic assumption is relaxed to the usual assumption under which the total mass is defined, we prove that the static potential is unique up to scaling unless the manifold is flat. We also provide some discussion concerning the rigidity of complete asymptotically flat 3-manifolds without boundary that admit a static potential.


title: Spin resonance without spin splitting

abstract: We predict that a single-level quantum dot without discernible splitting of its spin states develops a spin-precession resonance in charge transport when embedded into a spin valve. The resonance occurs in the generic situation of Coulomb blockaded transport with ferromagnetic leads whose polarizations deviate from perfect antiparallel alignment. The resonance appears when electrically tuning the interaction-induced exchange field perpendicular to one of the polarizations -- a simple condition relying on vectors in contrast to usual resonance conditions associated with energy splittings. The spin resonance can be detected by stationary dI/dV spectroscopy and by oscillations in the time-averaged current using a gate-pulsing scheme. The generic noncollinearity of the ferromagnets and junction asymmetry allow for an all-electric determination of the spin-injection asymmetry, the anisotropy of spin relaxation, and the magnitude of the exchange field. We also investigate the impact of a nearby superconductor on the resonance position. Our simplistic model turns out to be generic for a broad class of coherent few-level quantum systems.


title: Arbitrary control of coherent dynamics for distant qubits in a quantum network

abstract: We show that the coherent coupling of atomic qubits at distant nodes of a quantum network, composed of several cavities linked by optical fibers, can be arbitrarily controlled via the selective pairing of Raman transitions. The adiabatic elimination of the atomic excited states and photonic states leads to selective qubit-qubit interactions, which would have important applications in quantum information processing. Quantum gates between any pair of distant qubits and parallel two-qubit operations on selected qubit pairs can be implemented through suitable choices of the parameters of the external fields. The selective pairing of Raman transitions also allows the generation of spin chains and cluster states without the requirement that the cavity-fiber coupling be smaller than the detunings of the Raman transitions.


title: Experimental demonstration of error-insensitive approximate universal-NOT gates

abstract: We propose and experimentally demonstrate an approximate universal-NOT (U-NOT) operation that is robust against operational errors. In our proposal, the U-NOT operation is composed of stochastic unitary operations represented by the vertices of regular polyhedrons. The operation is designed to be robust against random operational errors by increasing the number of unitary operations (i.e., reference axes). Remarkably, no increase in the total number of measurements nor additional resources are required to perform the U-NOT operation. Our method can be applied in general to reduce operational errors to an arbitrary degree of precision when approximating any anti-unitary operation in a stochastic manner.


title: Observer dependent geometries

abstract: From general relativity we have learned the principles of general covariance and local Lorentz invariance, which follow from the fact that we consider observables as tensors on a spacetime manifold whose geometry is modeled by a Lorentzian metric. Approaches to quantum gravity, however, hint towards a breaking of these symmetries and the possible existence of more general, non-tensorial geometric structures. Possible implications of these approaches are non-tensorial transformation laws between different observers and an observer-dependent notion of geometry. In this work we review two different frameworks for observer dependent geometries, which may provide hints towards a quantization of gravity and possible explanations for so far unexplained phenomena: Finsler spacetimes and Cartan geometry on observer space. We discuss their definitions, properties and applications to observers, field theories and gravity.


title: Isolated lenticular galaxies: properties and evolution

abstract: This work is dedicated to investigation of galaxies that do not fit into a common scenario of galaxy formation - isolated lenticular galaxies. We have studied stellar populations and ionized gas content of a sample of 22 lenticular galaxies (among those 4 targets have appeared to be of erroneous morphological classification) by undertaking deep long-slit spectroscopy with the Russian 6-m telescope and with the Southern African Large Telescope (SALT). The obtained average ages of the stellar populations in bulges and discs covers a wide range between 1.5 and >15 Gyr, that indicates the absence of distinct epoch of their stellar content formation. In contrast to galaxies in groups and clusters, the stellar population ages in bulges and discs of isolated lenticulars tend to be equal, that supports the inefficiency of the bulge rejuvenation in sparse environment. Almost all the lenses and rings possess intermediate ages of the stellar populations, within the range of 2-5 Gyr. By analyzing the emission-line spectra of galaxies, we have found that 13 out of 18 (72+/-11 %) objects of our sample possess extended emission-line structures; among those, 6 galaxies (46+/-14 %) demonstrate decoupled gas kinematics with respect to their stellar discs. We have found starforming off-nuclear regions in 10 galaxies; their gas oxygen abundances are nearly solar that implies tidal gas accretion from gas-rich dwarf satellites rather than accretion from cosmological large-scale structure filaments.