title: Kondo effect in graphene with Rashba spin-orbit coupling

abstract: We study the Kondo screening of a magnetic impurity adsorbed in graphene in the presence of Rashba spin-orbit interaction. The system is described by an effective single-channel Anderson impurity model, which we analyze using the numerical renormalization group. The nontrivial energy dependence of the host density of states gives rise to interesting behaviors under variation of the chemical potential or the spin-orbit coupling. Varying the Rashba coupling produces strong changes in the Kondo temperature characterizing the many-body screening of the impurity spin, and at half filling allows approach to a quantum phase transition separating the strong-coupling Kondo phase from a free-moment phase. Tuning the chemical potential close to sharp features of the hybridization function results in striking features in the temperature dependences of thermodynamic quantities and in the frequency dependence of the impurity spectral function.


title: Nonextensive lattice gauge theories: algorithms and methods

abstract: High-energy phenomena presenting strong dynamical correlations, long-range interactions and microscopic memory effects are well described by nonextensive versions of the canonical Boltzmann-Gibbs statistical mechanics. After a brief theoretical review, we introduce a class of generalized heat-bath algorithms that enable Monte Carlo lattice simulations of gauge fields on the nonextensive statistical ensemble of Tsallis. The algorithmic performance is evaluated as a function of the Tsallis parameter q in equilibrium and nonequilibrium setups. Then, we revisit short-time dynamic techniques, which in contrast to usual simulations in equilibrium present negligible finite-size effects and no critical slowing down. As an application, we investigate the short-time critical behaviour of the nonextensive hot Yang-Mills theory at q- values obtained from heavy-ion collision experiments. Our results imply that, when the equivalence of statistical ensembles is obeyed, the long-standing universality arguments relating gauge theories and spin systems hold also for the nonextensive framework.


title: Electric field control of magnetic properties and magneto-transport in composite multiferroics

abstract: We study magnetic state and electron transport properties of composite multiferroic system consisting of a granular ferromagnetic thin film placed above the ferroelectric substrate. Ferroelectricity and magnetism in this case are coupled by the long-range Coulomb interaction. We show that magnetic state and magneto-transport strongly depend on temperature, external electric field, and electric polarization of the substrate. Ferromagnetic order exists at finite temperature range around ferroelectric Curie point. Outside the region the film is in the superparamagnetic state. We demonstrate that magnetic phase transition can be driven by an electric field and magneto-resistance effect has two maxima associated with two magnetic phase transitions appearing in the vicinity of the ferroelectric phase transition. We show that positions of these maxima can be shifted by the external electric field and that the magnitude of the magneto-resistance effect depends on the mutual orientation of external electric field and polarization of the substrate.


title: Testing quantum gravity effects with latest CMB observations

abstract: Inspired by quantum gravitational physics, the approach of non-commutative (NC) phase space leads to a modified dispersion relation of gravitational waves. This feature, if applied to the very early universe, gives rise to a modified power spectrum of primordial tensor perturbations with a suppression of power on large scales. We confront this phenomenon with the BICEP2 and Planck experiments, and show that inflation with the modified dispersion relation can simultaneously fit the observations better than the standard inflationary paradigm. In particular, the numerical result implies that with the latest cosmological microwave background (CMB) observations, a quantum gravity modified power spectrum of primordial tensor modes is preferred at a statistical significance of more than $3\sigma$ compared with the minimal model. Our study indicates that the potential tension between the BICEP2 and Planck data may be resolved by quantum gravity effects.


title: Stability and Complexity of Minimising Probabilistic Automata

abstract: We consider the state-minimisation problem for weighted and probabilistic automata. We provide a numerically stable polynomial-time minimisation algorithm for weighted automata, with guaranteed bounds on the numerical error when run with floating-point arithmetic. Our algorithm can also be used for "lossy" minimisation with bounded error. We show an application in image compression. In the second part of the paper we study the complexity of the minimisation problem for probabilistic automata. We prove that the problem is NP-hard and in PSPACE, improving a recent EXPTIME-result.


title: A Comparison of First-order Algorithms for Machine Learning

abstract: Using an optimization algorithm to solve a machine learning problem is one of mainstreams in the field of science. In this work, we demonstrate a comprehensive comparison of some state-of-the-art first-order optimization algorithms for convex optimization problems in machine learning. We concentrate on several smooth and non-smooth machine learning problems with a loss function plus a regularizer. The overall experimental results show the superiority of primal-dual algorithms in solving a machine learning problem from the perspectives of the ease to construct, running time and accuracy.


title: Excitation of spin density and current by coherent light pulses in QWs

abstract: We study the orbital and spin dynamics of charge carriers induced by non-overlapping linearly polarized light pulses in semiconductor quantum wells (QWs). It is shown that such an optical excitation with coherent pulses leads to a spin orientation of photocarriers and an electric current. The effects are caused by the interference of optical transitions driven by individual pulses. The distribution of carriers in the spin and momentum spaces depends on the QW crystallographic orientation and can be efficiently controlled by the pulse polarizations, time delay and phase shift between the pulses, as well as an external magnetic field.


title: Multichannel quantum-defect theory for magnetic Feshbach resonances in heteronuclear group I systems

abstract: We present a multichannel quantum-defect theory for magnetic Feshbach resonances in the interaction of two heteronuclear group I atoms. The theory provides a unified and a uniform description of resonances in all partial waves, and enables the characterization of large number of resonances in terms of very few parameters. For the sample system of $^6$Li$^{40}$K, we present descriptions of all resonances in $aa$, $ab$, and $ba$ channels, in partial waves $s$ ($l=0$) through $h$ ($l=5$), and in a magnetic field of 0 through 1000 Gauss. All resonances, including those in nonzero partial waves, are fully characterized using the newly developed parametrization of Gao [Phy. Rev. A \textbf{84}, 022706 (2011)].


title: Stability of the stochastic matching model

abstract: We introduce and study a new model that we call the {\em matching model}. Items arrive one by one in a buffer and depart from it as soon as possible but by pairs. The items of a departing pair are said to be {\em matched}. There is a finite set of classes $\maV$ for the items, and the allowed matchings depend on the classes, according to a {\em matching graph} on $\maV$. Upon arrival, an item may find several possible matches in the buffer. This indeterminacy is resolved by a {\em matching policy}. When the sequence of classes of the arriving items is i.i.d., the sequence of buffer-contents is a Markov chain, whose stability is investigated. In particular, we prove that the model may be stable if and only if the matching graph is non-bipartite.


title: New nonlinear structures in a degenerate one-dimensional electron gas

abstract: The collective dynamics of nonlinear electron waves in an one-dimensional degenerate electron gas is treated using the Lagrangian fluid approach. A new class of solutions with a nontrivial space and time dependence is derived. Both analytical and numerical results demonstrate the formation of stable, breather-like modes, provided certain conditions are meet. For large amplitude of the initial density perturbation, a catastrophic collapse of the plasma density is predicted, even in the presence of the quantum statistical pressure and quantum diffraction dispersive effects. The results are useful for the understanding of the properties of general nonlinear structures in dense plasmas.


title: Correlations in the Multispecies TASEP and a Conjecture by Lam

abstract: We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on (a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and (b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core. We further investigate two-point correlations far apart and three-point nearest neighbour correlations and prove explicit formulas in almost all cases. These results can be seen as a finite strengthening of correlations in the TASEP speed process by Amir, Angel and Valk\'o. We also give conjectures for certain higher order nearest neighbour correlations. We find an unexplained independence property (provably for two points, conjecturally for more points) between points that are closer in position than in value that deserves more study.


title: Parton Physics from Large-Momentum Effective Field Theory

abstract: Parton physics, when formulated as light-front correlations, are difficult to study non-perturbatively, despite the promise of light-front quantization. Recently an alternative approach to partons have been proposed by re-visiting original Feynman picture of a hadron moving at asymptotically large momentum. Here I formulate the approach in the language of an effective field theory for a large hadron momentum $P$ in lattice QCD, LaMET for short. I show that using this new effective theory, parton properties, including light-front parton wave functions, can be extracted from lattice observables in a systematic expansion of $1/P$, much like that the parton distributions can be extracted from the hard scattering data at momentum scales of a few GeV.


title: Power Management Techniques for Data Centers: A Survey

abstract: With growing use of internet and exponential growth in amount of data to be stored and processed (known as 'big data'), the size of data centers has greatly increased. This, however, has resulted in significant increase in the power consumption of the data centers. For this reason, managing power consumption of data centers has become essential. In this paper, we highlight the need of achieving energy efficiency in data centers and survey several recent architectural techniques designed for power management of data centers. We also present a classification of these techniques based on their characteristics. This paper aims to provide insights into the techniques for improving energy efficiency of data centers and encourage the designers to invent novel solutions for managing the large power dissipation of data centers.


title: Sampling Techniques for Boolean Satisfiability

abstract: Boolean satisfiability ({\SAT}) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the classical problem of checking boolean satisfiability, the problems of generating satisfying uniformly at random, and of counting the total number of satisfying assignments have also attracted significant theoretical and practical interest over the years. Prior work offered heuristic approaches with very weak or no guarantee of performance, and theoretical approaches with proven guarantees, but poor performance in practice. We propose a novel approach based on limited-independence hashing that allows us to design algorithms for both problems, with strong theoretical guarantees and scalability extending to thousands of variables. Based on this approach, we present two practical algorithms, {\UniformWitness}: a near uniform generator and {\approxMC}: the first scalable approximate model counter, along with reference implementations. Our algorithms work by issuing polynomial calls to {\SAT} solver. We demonstrate scalability of our algorithms over a large set of benchmarks arising from different application domains.


title: Scheduling of Multicast and Unicast Services under Limited Feedback by using Rateless Codes

abstract: Many opportunistic scheduling techniques are impractical because they require accurate channel state information (CSI) at the transmitter. In this paper, we investigate the scheduling of unicast and multicast services in a downlink network with a very limited amount of feedback information. Specifically, unicast users send imperfect (or no) CSI and infrequent acknowledgements (ACKs) to a base station, and multicast users only report infrequent ACKs to avoid feedback implosion. We consider the use of physical-layer rateless codes, which not only combats channel uncertainty, but also reduces the overhead of ACK feedback. A joint scheduling and power allocation scheme is developed to realize multiuser diversity gain for unicast service and multicast gain for multicast service. We prove that our scheme achieves a near-optimal throughput region. Our simulation results show that our scheme significantly improves the network throughput over schemes employing fixed-rate codes or using only unicast communications.


title: Multidimensional mutual information methods for the analysis of covariation in multiple sequence alignments

abstract: Several methods are available for the detection of covarying positions from a multiple sequence alignment (MSA). If the MSA contains a large number of sequences, information about the proximities between residues derived from covariation maps can be sufficient to predict a protein fold. If the structure is already known, information on the covarying positions can be valuable to understand the protein mechanism. In this study we have sought to determine whether a multivariate extension of traditional mutual information (MI) can be an additional tool to study covariation. The performance of two multidimensional MI (mdMI) methods, designed to remove the effect of ternary/quaternary interdependencies, was tested with a set of 9 MSAs each containing <400 sequences, and was shown to be comparable to that of methods based on maximum entropy/pseudolikelyhood statistical models of protein sequences. However, while all the methods tested detected a similar number of covarying pairs among the residues separated by < 8 {\AA} in the reference X-ray structures, there was on average less than 65% overlap between the top scoring pairs detected by methods that are based on different principles. We have also attempted to identify whether the difference in performance among methods is due to different efficiency in removing covariation originating from chains of structural contacts. We found that the reason why methods that derive partial correlation between the columns of a MSA provide a better recognition of close contacts is not because they remove chaining effects, but because they filter out the correlation between distant residues that originates from general fitness constraints. In contrast we found that true chaining effects are expression of real physical perturbations that propagate inside proteins, and therefore are not removed by the derivation of partial correlation between variables.


title: Converting Neutron Stars into Strange Stars: Instanton Model

abstract: We estimate the quasiclassical probability of the homogeneous nuclear matter transition to a strange matter when a detonation wave propagates radially inside a sphere of nuclear matter. For this purpose we make use of instanton method which is known in the quantum field theory.


title: Iterates of dynamical systems on compact metrizable countable spaces

abstract: Given a dynamical system $(X,f)$, we let $E(X,f)$ denote its Ellis semigroup and $E(X,f)^* = E(X,f) \setminus \{f^n : n \in \mathbb{N}\}$. We analyze the Ellis semigroup of a dynamical system having a compact metric countable space as a phase space. We show that if $(X,f)$ is a dynamical system such that $X$ is a compact metric countable space and every accumulation point $X'$ is periodic, then either each function of $E(X,f)^*$ is continuous or each function of $E(X,f)^*$ is discontinuous. We describe an example of a dynamical system $(X,f)$ where $X$ is a compact metric countable space, the orbit of each accumulation point is finite and $E(X,f)^*$ contains continuous and discontinuous functions.


title: When Queueing Meets Coding: Optimal-Latency Data Retrieving Scheme in Storage Clouds

abstract: In this paper, we study the problem of reducing the delay of downloading data from cloud storage systems by leveraging multiple parallel threads, assuming that the data has been encoded and stored in the clouds using fixed rate forward error correction (FEC) codes with parameters (n, k). That is, each file is divided into k equal-sized chunks, which are then expanded into n chunks such that any k chunks out of the n are sufficient to successfully restore the original file. The model can be depicted as a multiple-server queue with arrivals of data retrieving requests and a server corresponding to a thread. However, this is not a typical queueing model because a server can terminate its operation, depending on when other servers complete their service (due to the redundancy that is spread across the threads). Hence, to the best of our knowledge, the analysis of this queueing model remains quite uncharted. Recent traces from Amazon S3 show that the time to retrieve a fixed size chunk is random and can be approximated as a constant delay plus an i.i.d. exponentially distributed random variable. For the tractability of the theoretical analysis, we assume that the chunk downloading time is i.i.d. exponentially distributed. Under this assumption, we show that any work-conserving scheme is delay-optimal among all on-line scheduling schemes when k = 1. When k > 1, we find that a simple greedy scheme, which allocates all available threads to the head of line request, is delay optimal among all on-line scheduling schemes. We also provide some numerical results that point to the limitations of the exponential assumption, and suggest further research directions.


title: Network Control without CSI using Rateless Codes for Downlink Cellular Systems

abstract: Wireless network scheduling and control techniques (e.g., opportunistic scheduling) rely heavily on access to Channel State Information (CSI). However, obtaining this information is costly in terms of bandwidth, time, and power, and could result in large overhead. Therefore, a critical question is how to optimally manage network resources in the absence of such information. To that end, we develop a cross-layer solution for downlink cellular systems with imperfect (and possibly no) CSI at the transmitter. We use rateless codes to resolve channel uncertainty. To keep the decoding complexity low, we explicitly incorporate time-average block-size constraints, and aim to maximize the system utility. The block-size of a rateless code is determined by both the network control decisions and the unknown CSI of many time slots. Therefore, unlike standard utility maximization problems, this problem can be viewed as a constrained partial observed Markov decision problem (CPOMDP), which is known to be hard due to the "curse of dimensionality." However, by using a modified Lyapunov drift method, we develop a dynamic network control scheme, which yields a total network utility within O(1/Lav) of utility-optimal point achieved by infinite block-size channel codes, where Lav is the enforced value of the time-average block-size of rateless codes. This opens the door of being able to trade complexity/delay for performance gains in the absence of accurate CSI. Our simulation results show that the proposed scheme improves the network throughput by up to 68% over schemes that use fixed-rate codes.


title: On Bohr-Sommerfeld-Heisenberg Quantization

abstract: This paper presents the theory of Bohr-Sommerfeld-Heisenberg quantization of a completely integrable Hamiltonian system in the context of geometric quantization. The theory is illustrated with several examples.


title: The Effect of Maximal Rate Codes on the Interfering Message Rate

abstract: The effect of "good", point-to-point capacity achieving, code sequences on an additional signal, of bounded variance, transmitted over the additive Gaussian noise channel is examined. For such code sequences, it is shown that their effect, in terms of mutual information, on the additional bounded variance signal, is as if additional additive Gaussian noise has been transmitted. Moreover, the analysis shows that for reliable communication the bounded variance signal must be completely estimated by the receiver (i.e., the minimum mean-square error tends to zero). This result resolves the "Costa Conjecture" regarding the corner points of the two-user Gaussian interference channel for code sequences of bounded variance, and shows that both messages must be reliably decoded.


title: Sinogram constrained TV-minimization for metal artifact reduction in CT

abstract: A new method for reducing metal artifacts in X-ray computed tomography (CT) images is presented. It bases on the solution of a convex optimization problem with inequality constraints on the sinogram, and total variation regularization for the reconstructed image. The Chambolle-Pock algorithm is used to numerically solve the discretized version of the optimization problem. As proof of concept we present and discuss numerical results for synthetic data.


title: Regional study of the Archean to Proterozoic crust at the Sudbury Neutrino Observatory (SNO+), Ontario: Predicting the geoneutrino flux

abstract: The SNO+ detector, a new kiloton scale liquid scintillator detector capable of recording geoneutrino events, will define the strength of the Earth radiogenic heat. A detailed 3-D model of the regional crust, centered at SNO+ and based on compiled geological, geophysical and geochemical information, was used to characterize the physical and chemical attributes of crust and assign uncertainties to its structure. Monte Carlo simulations were used to predict the U and Th abundances and uncertainties in crustal lithologies and to model the regional crustal geoneutrino signal originating from the at SNO+.


title: Loop-Closure and Gaussian Models of Collective Structural Characteristics of Capped PEO Oligomers in Water

abstract: Parallel-tempering MD results for a CH$_3$(CH$_2$-O-CH$_2$)$_m$CH$_3$ chain in water are exploited as a data-base for analysis of collective structural characteristics of the PEO globule with a goal of defining models permitting statistical thermodynamic analysis of dispersants of Corexit type. The chain structure factor, relevant to neutron scattering from a deuterated chain in neutral water, is considered specifically. The traditional continuum-Gaussian structure factor is inconsistent with the simple $k \rightarrow \infty$ behavior, but we consider a discrete-Gaussian model that does achieve that consistency. Shifting-and-scaling the discrete-Gaussian model helps to identify the low-$k$ to high-$k$ transition near $k \approx 2\pi/0.6 \mathrm{nm}$ when an empirically matched number of Gaussian links is about one-third of the total number of effective-atom sites. This short distance-scale boundary of 0.6 nm is directly verified with the $r$-space distributions, and this distance is thus identified with a natural size for coarsened monomers. The probability distribution of $R_g{}^2$ is compared with the classic predictions for both Gaussian model and freely-jointed chains. $\left\langle R_g{}^2(j)\right\rangle$, the contribution of the $j$-th chain segment to $\left\langle R_g{}^2\right\rangle$, depends on contour index about as expected for Gaussian chains despite significant quantitative discrepancies which express the swelling of these chains in water. Monomers central to the chain contour occupy the center of the chain globule. The density profiles of chain segments relative to their center of mass can show distinctive density structuring for smaller chains due close proximity of central elements to the globule center. But that density structuring washes-out for longer chains where many chain elements additively contribute to the density profiles.


title: A Decomposition Algorithm for Nested Resource Allocation Problems

abstract: We propose an exact polynomial algorithm for a resource allocation problem with convex costs and constraints on partial sums of resource consumptions, in the presence of either continuous or integer variables. No assumption of strict convexity or differentiability is needed. The method solves a hierarchy of resource allocation subproblems, whose solutions are used to convert constraints on sums of resources into bounds for separate variables at higher levels. The resulting time complexity for the integer problem is $O(n \log m \log (B/n))$, and the complexity of obtaining an $\epsilon$-approximate solution for the continuous case is $O(n \log m \log (B/\epsilon))$, $n$ being the number of variables, $m$ the number of ascending constraints (such that $m < n$), $\epsilon$ a desired precision, and $B$ the total resource. This algorithm attains the best-known complexity when $m = n$, and improves it when $\log m = o(\log n)$. Extensive experimental analyses are conducted with four recent algorithms on various continuous problems issued from theory and practice. The proposed method achieves a higher performance than previous algorithms, addressing all problems with up to one million variables in less than one minute on a modern computer.


title: Characterization of function spaces via low regularity mollifiers

abstract: Smoothness of a function $f:{\mathbb R}^n\to {\mathbb R}$ can be measured in terms of the rate of convergence of $f\ast\rho_\varepsilon$ to $f$, where $\rho$ is an appropriate mollifier. In the framework of fractional Sobolev spaces, we characterize the "appropriate" mollifiers. We also obtain sufficient conditions, close to being necessary, which ensure that $\rho$ is adapted to a given scale of spaces. Finally, we examine in detail the case where $\rho$ is a characteristic function.


title: Hybrid Metaheuristics for the Clustered Vehicle Routing Problem

abstract: The Clustered Vehicle Routing Problem (CluVRP) is a variant of the Capacitated Vehicle Routing Problem in which customers are grouped into clusters. Each cluster has to be visited once, and a vehicle entering a cluster cannot leave it until all customers have been visited. This article presents two alternative hybrid metaheuristic algorithms for the CluVRP. The first algorithm is based on an Iterated Local Search algorithm, in which only feasible solutions are explored and problem-specific local search moves are utilized. The second algorithm is a Hybrid Genetic Search, for which the shortest Hamiltonian path between each pair of vertices within each cluster should be precomputed. Using this information, a sequence of clusters can be used as a solution representation and large neighborhoods can be efficiently explored by means of bi-directional dynamic programming, sequence concatenations, by using appropriate data structures. Extensive computational experiments are performed on benchmark instances from the literature, as well as new large scale ones. Recommendations on promising algorithm choices are provided relatively to average cluster size.


title: Quantum Monte Carlo studies of spinons in one-dimensional spin systems

abstract: Observing constituent particles with fractional quantum numbers in confined and deconfined states is an interesting and challenging problem in quantum many-body physics. Here we further explore a computational scheme [Y. Tang and A. W. Sandvik, Phys. Rev. Lett. {\bf 107}, 157201 (2011)] based on valence-bond quantum Monte Carlo simulations of quantum spin systems. Using several different one-dimensional models, we characterize $S=1/2$ spinon excitations using the spinon size and confinement length (the size of a bound state). The spinons have finite size in valence-bond-solid states, infinite size in the critical region, and become ill-defined in the N\'eel state. We also verify that pairs of spinons are deconfined in these uniform spin chains but become confined upon introducing a pattern of alternating coupling strengths (dimerization) or coupling two chains (forming a ladder). In the dimerized system an individual spinon can be small when the confinement length is large---this is the case when the imposed dimerization is weak but the ground state of the corresponding uniform chain is a spontaneously formed valence-bond-solid (where the spinons are deconfined). Based on our numerical results, we argue that the situation $\lambda \ll \Lambda$ is associated with weak repulsive short-range spinon-spinon interactions. In principle both the length-scales can be individually tuned from small to infinite (with $\lambda \le \Lambda$) by varying model parameters. In the ladder system the two lengths are always similar, and this is the case also in the dimerized systems when the corresponding uniform chain is in the critical phase. In these systems the effective spinon-spinon interactions are purely attractive and there is only a single large length scale close to criticality, which is reflected in the standard spin correlations as well as in the spinon characteristics.


title: The Katz-Klemm-Vafa conjecture for K3 surfaces

abstract: We prove the KKV conjecture expressing Gromov-Witten invariants of K3 surfaces in terms of modular forms. Our results apply in every genus and for every curve class. The proof uses the Gromov-Witten/Pairs correspondence for K3-fibered hypersurfaces of dimension 3 to reduce the KKV conjecture to statements about stable pairs on (thickenings of) K3 surfaces. Using degeneration arguments and new multiple cover results for stable pairs, we reduce the KKV conjecture further to the known primitive cases. Our results yield a new proof of the full Yau-Zaslow formula, establish new Gromov-Witten multiple cover formulas, and express the fiberwise Gromov-Witten partition functions of K3-fibered 3-folds in terms of explicit modular forms.


title: An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare

abstract: Attributing a cyber-operation through the use of multiple pieces of technical evidence (i.e., malware reverse-engineering and source tracking) and conventional intelligence sources (i.e., human or signals intelligence) is a difficult problem not only due to the effort required to obtain evidence, but the ease with which an adversary can plant false evidence. In this paper, we introduce a formal reasoning system called the InCA (Intelligent Cyber Attribution) framework that is designed to aid an analyst in the attribution of a cyber-operation even when the available information is conflicting and/or uncertain. Our approach combines argumentation-based reasoning, logic programming, and probabilistic models to not only attribute an operation but also explain to the analyst why the system reaches its conclusions.


title: Alternating Optimization Techniques for Power Allocation and Receiver Design in Multihop Wireless Sensor Networks

abstract: In this paper, we consider a multihop wireless sensor network with multiple relay nodes for each hop where the amplify-and-forward scheme is employed. We present algorithmic strategies to jointly design linear receivers and the power allocation parameters via an alternating optimization approach subject to different power constraints which include global, local and individual ones. Two design criteria are considered: the first one minimizes the mean-square error and the second one maximizes the sum-rate of the wireless sensor network. We derive constrained minimum mean-square error and constrained maximum sum-rate expressions for the linear receivers and the power allocation parameters that contain the optimal complex amplification coefficients for each relay node. An analysis of the computational complexity and the convergence of the algorithms is also presented. Computer simulations show good performance of our proposed methods in terms of bit error rate and sum-rate compared to the method with equal power allocation and an existing power allocation scheme.


title: Equivalence for Networks with Adversarial State

abstract: We address the problem of finding the capacity of noisy networks with either independent point-to-point compound channels (CC) or arbitrarily varying channels (AVC). These channels model the presence of a Byzantine adversary which controls a subset of links or nodes in the network. We derive equivalence results showing that these point-to-point channels with state can be replaced by noiseless bit-pipes without changing the network capacity region. Exact equivalence results are found for the CC model, and for some instances of the AVC, including all nonsymmetrizable AVCs. These results show that a feedback path between the output and input of a CC can increase the equivalent capacity, and that if common randomness can be established between the terminals of an AVC (either by feedback, a forward path, or via a third-party node), then again the equivalent capacity can increase. This leads to an observation that deleting an edge of arbitrarily small capacity can cause a significant change in network capacity. We also analyze an example involving an AVC for which no fixed-capacity bit-pipe is equivalent.


title: A Constrained Matrix-Variate Gaussian Process for Transposable Data

abstract: Transposable data represents interactions among two sets of entities, and are typically represented as a matrix containing the known interaction values. Additional side information may consist of feature vectors specific to entities corresponding to the rows and/or columns of such a matrix. Further information may also be available in the form of interactions or hierarchies among entities along the same mode (axis). We propose a novel approach for modeling transposable data with missing interactions given additional side information. The interactions are modeled as noisy observations from a latent noise free matrix generated from a matrix-variate Gaussian process. The construction of row and column covariances using side information provides a flexible mechanism for specifying a-priori knowledge of the row and column correlations in the data. Further, the use of such a prior combined with the side information enables predictions for new rows and columns not observed in the training data. In this work, we combine the matrix-variate Gaussian process model with low rank constraints. The constrained Gaussian process approach is applied to the prediction of hidden associations between genes and diseases using a small set of observed associations as well as prior covariances induced by gene-gene interaction networks and disease ontologies. The proposed approach is also applied to recommender systems data which involves predicting the item ratings of users using known associations as well as prior covariances induced by social networks. We present experimental results that highlight the performance of constrained matrix-variate Gaussian process as compared to state of the art approaches in each domain.


title: On the topology of translating solitons of the mean curvature flow

abstract: In the present article we obtain classification results and topological obstructions for the existence of translating solitons of the mean curvature flow.


title: Reheating constraints to inflationary models

abstract: Evidence from the BICEP2 experiment for a significant gravitational-wave background has focussed attention on inflaton potentials $V(\phi) \propto \phi^\alpha$ with $\alpha=2$ ("chaotic" or "$m^2\phi^2$" inflation) or with smaller values of $\alpha$, as may arise in axion-monodromy models. Here we show that reheating considerations may provide additional constraints to these models. The reheating phase preceding the radiation era is modeled by an effective equation-of-state parameter $w_{\rm re}$. The canonical reheating scenario is then described by $w_{\rm re}=0$. The simplest $\alpha=2$ models are consistent with $w_{\rm re} = 0$ for values of $n_s$ well within the current $1\sigma$ range. Models with $\alpha=1$ or $\alpha=2/3$ require a more exotic reheating phase, with $-1/3<w_{\rm re}<0$, unless $n_s$ falls above the current $1\sigma$ range. Likewise, models with $\alpha=4$ require a physically implausible $w_{\rm re}>1/3$, unless $n_s$ is close to the lower limit of the $2\sigma$ range. For $m^2\phi^2$ inflation and canonical reheating as a benchmark, we derive a relation $\log_{10}\left(T_{\rm re}/10^6\,{\rm GeV} \right) \simeq 2000\,(n_s-0.96)$ between the reheat temperature $T_{\rm re}$ and the scalar spectral index $n_s$. Thus, if $n_s$ is close to its central value, then $T_{\rm re}\lesssim 10^6$~GeV, just above the electroweak scale. If the reheat temperature is higher, as many theorists may prefer, then the scalar spectral index should be closer to $n_s\simeq0.965$ (at the pivot scale $k=0.05\,{\rm Mpc}^{-1}$), near the upper limit of the $1\sigma$ error range. Improved precision in the measurement of $n_s$ should allow $m^2\phi^2$, axion-monodromy, and $\phi^4$ models to be distinguished, even without precise measurement of $r$, and to test the $m^2\phi^2$ expectation of $n_s\simeq0.965$.


title: Singlet extension of the MSSM as a solution to the small cosmological scale anomalies

abstract: In this work we show that the general singlet extension of the MSSM can naturally provide a self-interacting singlino dark matter to solve the small cosmological scale anomalies (a large Sommerfeld enhancement factor can also be obtained). However, we find that the NMSSM (the singlet extension of the MSSM with Z3 symmetry) cannot achieve this due to the restricted parameter space. In our analysis we introduce the concept of symmetric and antisymmetric viscosity cross sections to deal with the non-relativistic Majorana-fermion dark matter scattering.


title: Haldane-like antiferromagnetic spin chain in the large anisotropy limit

abstract: We consider the one dimensional, periodic spin chain with $N$ sites, similar to the one studied by Haldane \cite{hal}, however in the opposite limit of very large anisotropy and small nearest neighbour, anti-ferromagnetic exchange coupling between the spins, which are of large magnitude $s$. For a chain with an even number of sites we show that actually the ground state is non degenerate and given by a superposition of the two N\'eel states, due to quantum spin tunnelling. With an odd number of sites, the N\'eel state must necessarily contain a soliton. The position of the soliton is arbitrary thus the ground state is $N$-fold degenerate. This set of states reorganizes into a band. We show that this occurs at order $2s$ in perturbation theory. The ground state is non-degenerate for integer spin, but degenerate for half-odd integer spin as is required by Kramer's theorem \cite{kram}.


title: Defining the Flora Family: Orbital Properties, Reflectance Properties and Age

abstract: The Flora family resides in the densely populated inner main belt, bounded in semimajor axis by the $\nu_6$ secular resonance and the Jupiter 3:1 mean motion resonance. The presence of several large families that overlap dynamically with the Floras (e.g., the Vesta, Baptistina, and Nysa-Polana families), and the removal of a significant fraction of Floras via the nearby $\nu_6$ resonance complicates the Flora family's distinction in both proper orbital elements and reflectance properties. Here we use orbital information from the Asteroids Dynamic Site, color information from the Sloan Digital Sky Survey, and albedo information from the Wide-field Infrared Survey Explorer to obtain the median orbital and reflectance properties of the Floras by sampling the core of the family in multidimensional phase space. We find the median Flora SDSS colors to be $a^*$ = 0.126 $\pm$ 0.007 and $i-z = -0.037 \pm 0.007$; the median Flora albedo is $p_V$ = 0.291 $\pm$ 0.012. These properties allow us to define ranges for the Flora family in orbital and reflectance properties, as required for a detailed dynamical study. We use the young Karin family, for which we have an age determined via direct backward integration of members' orbits, to calibrate the Yarkovsky drift rates for the Flora family without having to estimate the Floras' material properties. The size-dependent dispersion of the Flora members in semimajor axis (the "V" plot) then yields an age for the family of $910^{+160}_{-120}$ My, with the uncertainty dominated by the uncertainty in the material properties of the family members (e.g., density and surface thermal properties). We discuss the effects on our age estimate of two independent processes that both introduce obliquity variations among the family members on short (My) timescales: 1) the capture of Flora members in spin-orbit resonance, and 2) YORP-driven obliquity variation.


title: Manifesting the Quantum World

abstract: In resisting attempts to explain the unity of a whole in terms of a multiplicity of interacting parts, quantum mechanics calls for an explanatory concept that proceeds in the opposite direction: from unity to multiplicity. It concerns the process by which what Sellars called the Manifest Image of the world comes into being. This process consists in the progressive differentiation of an intrinsically undifferentiated entity. By entering into reflexive spatial relations, this gives rise to (i) what looks like a multiplicity of relata if the reflexive quality of the relations is not taken into account, and (ii) what looks like a substantial expanse if the spatial quality of the relations is reified. If there is a distinctly quantum domain, it is a non-spatial and non-temporal dimension across which the transition from the unity of this entity to the multiplicity of the world takes place. Instead of being constituents of the physical world, subatomic particles, atoms, and molecules are instrumental in its manifestation. These conclusions are based on the following interpretive principle: whenever calculating probabilities calls for the addition of amplitudes, the distinctions we make between the alternatives lack objective reality. Applied to alternatives involving distinctions between regions of space, this principle implies that the spatiotemporal differentiation of the physical world is incomplete: the existence of a real-valued spatiotemporal background is an unrealistic idealization. This guarantees the existence of observables whose values are real *per se*, as against "real by virtue of being indicated by the values of observables that are real *per se*." Applied to alternatives involving distinctions between things, it implies that, intrinsically, all fundamental particles are numerically identical and thus identifiable with the aforementioned undifferentiated entity.


title: Active control of emission directionality of semiconductor microdisk lasers

abstract: We demonstrate lasing mode selection in nearly circular semiconductor microdisks by shaping the spatial profile of optical pump. Despite of strong mode overlap, adaptive pumping suppresses all lasing modes except the targeted one. Due to slight deformation of the cavity shape and boundary roughness, each lasing mode has distinct emission pattern. By selecting different mode to be the dominant lasing mode, we can switch both the lasing frequency and the output direction. Such tunability by external pump after the laser is fabricated enhances the functionality of semiconductor microcavity lasers.


title: On function field Mordell-Lang and Manin-Mumford

abstract: We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski structures. In this version 2, the quantifier elimination result in positive characteristic is extended from simple abelian varieties to all abelian varieties, completing the main theorem in the positive characteristic case. In version 3, some corrections are made to the proof of quantifier elimination in positive characteristic, and the paper is substantially reorganized.


title: Melkersson condition on Serre subcategories

abstract: Let $R$ be a commutative noetherian ring, let $\frak a$ and $\frak b$ be two ideals of $R$; and let $\Ss$ be a Serre subcategory of $R$-modules. We give a necessary and sufficient condition by which $\Ss$ satisfies $C_{\frak a}$ and $C_{\frak b}$ conditions. As an conclusion we show that over a artinian local ring, every Serre subcategory satisfies $C_{\frak a}$ condition. We also show that $\Ss_{\frak a}$ is closed under extension of modules. If $\Ss$ is a torsion subcategory, we prove that $S$ satisfies $C_{\frak a}$ condition. We prove that $C_{\frak a}$ condition can be transferred via rings homomorphism. As some applications, we give several results concerning with Serre subcategories in local cohomology theory.


title: Selective entanglement in a two-mode optomechanical system

abstract: We analyze an optomechanical system formed by a mechanical mode and the two optical modes of an optomechanical cavity for the realization of a strongly quantum correlated three-mode system. We show that the steady state of the system shows three possible bipartite continuous variable entanglements in an experimentally accessible parameter regime, which are robust against temperature. We further show that selective entanglement between the mechanical mode and any of the two optical modes is also possible by the proper choice of the system parameters. Such a two-mode optomechanical system can be used for the realization of continuous variable quantum information interfaces and networks.


title: On Geometric Scaling of Light-Like Wilson Polygons: Higher Orders in $\alpha_s$

abstract: We address the scaling behaviour of contour-shape-dependent ultra-violet singularities of the light-like cusped Wilson loops in Yang-Mills and ${\cal N} = 4$ super-Yang-Mills theories in the higher orders of the perturbative expansion. We give the simple arguments to support the idea that identifying of a special type of non-local infinitesimal shape variations of the light-like Wilson polygons with the Fr\'echet differentials results in the combined geometric and renormalization-group evolution equation, which is applicable beyond the leading order exponentiated Wilson loops.


title: EOF analysis of a time series with application to tsunami detection

abstract: Fragments of deep-ocean tidal records up to 3 days long belong to the same functional sub-space, regardless of the record's origin. The tidal sub-space basis can be derived via Empirical Orthogonal Function (EOF) analysis of a tidal record of a single buoy. Decomposition of a tsunami buoy record in a functional space of tidal EOFs presents an efficient tool for a short-term tidal forecast, as well as for an accurate tidal removal (Tolkova, E. 2009. Principal Component Analysis of Tsunami Buoy Record: Tide Prediction and Removal. Dyn. Atmos. Oceans, 46 (1-4): 62-82.) EOF analysis of a time series, however, assumes that the time series represents a stationary (in the weak sense) process. In the present work, a modification of one-dimensional EOF formalism not restricted to stationary processes is introduced. With this modification, the EOF-based de-tiding/forecasting technique can be interpreted in terms of a signal passage through a filter bank, which is unique for the sub-space spanned by the EOFs. This interpretation helps to identify a harmonic content of a continuous process whose fragments are decomposed by given EOFs. In particular, seven EOFs and a constant function are proved to decompose 1-day-long tidal fragments at any location. Filtering by projection into a reduced sub-space of the above EOFs is capable of separating a tsunami wave from a tidal component within a few millimeter accuracy from the first minutes of the tsunami appearance on a tsunami buoy record, and is reliable in the presence of data gaps. EOFs with ~3-day duration (a reciprocal of either tidal band width) allow short-term (24.75 hour in advance) tidal predictions using the inherent structure of a tidal signal. The predictions do not require any a priori knowledge of tidal processes at a particular location, except for recent 49.5 hour long recordings at the location.


title: The Denominators of normalized R-matrices of types $A_{2n-1}^{(2)}$, $A_{2n}^{(2)}$, $B_{n}^{(1)}$ and $D_{n+1}^{(2)}$

abstract: Denominators of normalized $R$-matrices provide important information on finite dimensional representations over quantum affine algebras, and over quiver Hecke algebras by the generalized quantum affine Schur-Weyl duality functors. We compute the denominators of all normalized $R$-matrices between fundamental representations of types $A_{2n-1}^{(2)}$, $A_{2n}^{(2)}$, $B_{n}^{(1)}$ and $D_{n+1}^{(2)}$. Thus we can conclude that the normalized $R$-matrices of types $A_{2n-1}^{(2)}$, $A_{2n}^{(2)}$, $B_{n}^{(1)}$ have only simple poles, and of type $D_{n+1}^{(2)}$ have double poles under certain conditions.


title: Extraordinary quasiparticle scattering and bandwidth-control by dopants in iron-based superconductors

abstract: The diversities in crystal structures and ways of doping result in extremely diversified phase diagrams for iron-based superconductors. With angle-resolved photoemission spectroscopy (ARPES), we have systematically studied the effects of chemical substitution on the electronic structure of various series of iron-based superconductors. In addition to the control of Fermi surface topology by heterovalent doping, we found two more extraordinary effects of doping: 1. the site and band dependencies of quasiparticle scattering; and more importantly 2. the ubiquitous and significant bandwidth-control by both isovalent and heterovalent dopants in the iron-anion layer. Moreover, we found that the bandwidth-control could be achieved by either applying the chemical pressure or doping electrons, but not by doping holes. Together with other findings provided here, these results complete the microscopic picture of the electronic effects of dopants, which facilitates a unified understanding of the diversified phase diagrams and resolutions to many open issues of various iron-based superconductors.


title: The NSVZ beta-function and the Schwinger-Dyson equations for N=1 SQED with N_f flavors, regularized by higher derivatives

abstract: The effective diagram technique based on the Schwinger-Dyson equations is constructed for N=1 SQED with N_f flavors, regularized by higher derivatives. Using these effective diagrams, it is possible to derive the exact NSVZ relation between the beta-function and the anomalous dimension of the matter superfields exactly in all loops, if the renormalization group functions are defined in terms of the bare coupling constant. In particular, we verify that all integrals which give the beta-function defined in terms of the bare coupling constant are integrals of double total derivatives and prove some identities relating Green functions.


title: Holomorphic automorphic forms and cohomology

abstract: We investigate the correspondence between holomorphic automorphic forms on the upper half-plane with complex weight and parabolic cocycles. For integral weights at least 2 this correspondence is given by the Eichler integral. Knopp generalized this to real weights. We show that for weights that are not an integer at least 2 the generalized Eichler integral gives an injection into the first cohomology group with values in a module of holomorphic functions, and characterize the image. We impose no condition on the growth of the automorphic forms at the cusps. For real weights that are not an integer at least 2 we similarly characterize the space of cusp forms and the space of entire automorphic forms. We give a relation between the cohomology classes attached to holomorphic automorphic forms of real weight and the existence of harmonic lifts. A tool in establishing these results is the relation to cohomology groups with values in modules of "analytic boundary germs", which are represented by harmonic functions on subsets of the upper half-plane. Even for positive integral weights cohomology with these coefficients can distinguish all holomorphic automorphic forms, unlike the classical Eichler theory.


title: Practical Experience Report: The Performance of Paxos in the Cloud

abstract: This experience report presents the results of an extensive performance evaluation conducted using four open-source implementations of Paxos deployed in Amazon's EC2. Paxos is a fundamental algorithm for building fault-tolerant services, at the core of state-machine replication. Implementations of Paxos are currently used in many prototypes and production systems in both academia and industry. Although all protocols surveyed in the paper implement Paxos, they are optimized in a number of different ways, resulting in very different behavior, as we show in the paper. We have considered a variety of configurations and failure-free and faulty executions. In addition to reporting our findings, we propose and assess additional optimizations to existing implementations.


title: F-GUTs with Mordell-Weil U(1)'s

abstract: In this note we study the constraints on F-theory GUTs with extra $U(1)$'s in the context of elliptic fibrations with rational sections. We consider the simplest case of one abelian factor (Mordell-Weil rank one) and investigate the conditions that are induced on the coefficients of its Tate form. Converting the equation representing the generic hypersurface $P_{112}$ to this Tate's form we find that the presence of a U(1), already in this local description, is consistent with the exceptional ${\cal E}_6$ and ${\cal E}_7$ non-abelian singularities. We briefly comment on a viable ${\cal E}_6\times U(1)$ effective F-theory model.


title: Optimistic Parallel State-Machine Replication

abstract: State-machine replication, a fundamental approach to fault tolerance, requires replicas to execute commands deterministically, which usually results in sequential execution of commands. Sequential execution limits performance and underuses servers, which are increasingly parallel (i.e., multicore). To narrow the gap between state-machine replication requirements and the characteristics of modern servers, researchers have recently come up with alternative execution models. This paper surveys existing approaches to parallel state-machine replication and proposes a novel optimistic protocol that inherits the scalable features of previous techniques. Using a replicated B+-tree service, we demonstrate in the paper that our protocol outperforms the most efficient techniques by a factor of 2.4 times.


title: Underground operation at best sensitivity of the mobile LNE-SYRTE Cold Atom Gravimeter

abstract: Low noise underground environments offer conditions allowing to assess ultimate performance of high sensitivity sensors such as accelerometers, gyrometers, seismometers... Such facilities are for instance ideal for observing the tiny signals of interest for geophysical studies. Laboratoire Souterrain \`a Bas Bruit (LSBB) in which we have installed our cold atom gravimeter, provides such an environment. We report here the best short term sensitivity ever obtained without any ground vibration isolation system with such an instrument: $10^{-8}$m.s$^{-2}$ in 100 s measurement time.


title: Subspace Codes based on Graph Matchings, Ferrers Diagrams and Pending Blocks

abstract: This paper provides new constructions and lower bounds for subspace codes, using Ferrers diagram rank-metric codes from matchings of the complete graph and pending blocks. We present different constructions for constant dimension codes with minimum injection distance $2$ or $k-1$, where $k$ is the constant dimension. Furthermore, we present a construction of new codes from old codes for any minimum distance. Then we construct non-constant dimension codes from these codes. The examples of codes obtained by these constructions are the largest known codes for the given parameters.


title: Approximately Minwise Independence with Twisted Tabulation

abstract: A random hash function $h$ is $\varepsilon$-minwise if for any set $S$, $|S|=n$, and element $x\in S$, $\Pr[h(x)=\min h(S)]=(1\pm\varepsilon)/n$. Minwise hash functions with low bias $\varepsilon$ have widespread applications within similarity estimation. Hashing from a universe $[u]$, the twisted tabulation hashing of P\v{a}tra\c{s}cu and Thorup [SODA'13] makes $c=O(1)$ lookups in tables of size $u^{1/c}$. Twisted tabulation was invented to get good concentration for hashing based sampling. Here we show that twisted tabulation yields $\tilde O(1/u^{1/c})$-minwise hashing. In the classic independence paradigm of Wegman and Carter [FOCS'79] $\tilde O(1/u^{1/c})$-minwise hashing requires $\Omega(\log u)$-independence [Indyk SODA'99]. P\v{a}tra\c{s}cu and Thorup [STOC'11] had shown that simple tabulation, using same space and lookups yields $\tilde O(1/n^{1/c})$-minwise independence, which is good for large sets, but useless for small sets. Our analysis uses some of the same methods, but is much cleaner bypassing a complicated induction argument.


title: On the nonlinear dynamics of the traveling-wave solutions of the Serre system

abstract: We numerically study nonlinear phenomena related to the dynamics of traveling wave solutions of the Serre equations including the stability, the persistence, the interactions and the breaking of solitary waves. The numerical method utilizes a high-order finite-element method with smooth, periodic splines in space and explicit Runge-Kutta methods in time. Other forms of solutions such as cnoidal waves and dispersive shock waves are also considered. The differences between solutions of the Serre equations and the Euler equations are also studied.


title: The anomalous distributions and Soret coefficient in a nonequilibrium colloid system

abstract: The density distributions and Soret coefficient in a nonequilibrium colloidal system with nonuniform temperature are studied by the overdamped Langevin equation for Brownian motion in an inhomogeneous strong friction medium. Based on the relation between the temperature gradient, the interaction potential and the q-parameter in nonextensive statistics, We show that the colloidal particle density can be a function of the temperature and anomalously follows the noted alpha-distribution, or equivalently it can also be a function of the potential energy and follows Tsallis distribution. With the q-parameter we can establish a new formula of the Soret coefficient and thus, bridge the gap between the ideally theoretical Soret coefficient and available experiments.


title: Multiplicative Bidding in Online Advertising

abstract: In this paper, we initiate the study of the multiplicative bidding language adopted by major Internet search companies. In multiplicative bidding, the effective bid on a particular search auction is the product of a base bid and bid adjustments that are dependent on features of the search (for example, the geographic location of the user, or the platform on which the search is conducted). We consider the task faced by the advertiser when setting these bid adjustments, and establish a foundational optimization problem that captures the core difficulty of bidding under this language. We give matching algorithmic and approximation hardness results for this problem; these results are against an information-theoretic bound, and thus have implications on the power of the multiplicative bidding language itself. Inspired by empirical studies of search engine price data, we then codify the relevant restrictions of the problem, and give further algorithmic and hardness results. Our main technical contribution is an $O(\log n)$-approximation for the case of multiplicative prices and monotone values. We also provide empirical validations of our problem restrictions, and test our algorithms on real data against natural benchmarks. Our experiments show that they perform favorably compared with the baseline.


title: The power-law reaction rate coefficient for barrierless reactions

abstract: The power-law reaction rate coefficient for the barrierless reactions is studied if the reactions take place in systems with power-law distributions, and a generalized rate formula for the barrierless reactions in Gorin model is derived. We show that due to barrierless, different from those for bimolecular and unimolcular reactions, the power-law rate coefficient for the barrierless reactions does not have the factor of power-law distribution function and thus it is not very strongly dependent on the nu-parameter. Four barrierless reactions are taken as the application examples to calculate the new rate coefficients, which with larger fitting nu-parameters can be exactly in agreement with the measurement values in experimental studies.


title: Clausius inequality and H-theorems for some models of random wealth exchange

abstract: We discuss a possibility of deriving an H-theorem for nonlinear discrete time evolution equation that describes random wealth exchanges. In such kinetic models economical agents exchange wealth in pairwise collisions just as particles in a gas exchange their energy. It appears useful to reformulate the problem and represent the dynamics as a combination of two processes. The first is a linear transformation of a two-particle distribution function during the act of exchange while the second one corresponds to new random pairing of agents and plays a role of some kind of feedback control. This representation leads to a Clausius-type inequality which suggests a new interpretation of the exchange process as an irreversible relaxation due to a contact with a reservoir of a special type. Only in some special cases when equilibrium distribution is exactly a gamma distribution, this inequality results in the H-theorem with monotonically growing `entropy' functional which differs from the Boltzmann entropy by an additional term. But for arbitrary exchange rule the evolution has some features of relaxation to a non-equilibrium steady state and it is still unclear if any general H-theorem could exist.


title: Gap states controlled transmission through 1D Metal-Nanotube junction

abstract: Understanding the nature of metal/1D-semiconductor contacts such as metal/carbon nanotubes is a fundamental scientific and technological challenge for realizing high performance transistors\cite{Francois,Franklin}. A Schottky Barrier(SB) is usually formed at the interface of the $2D$ metal electrode with the $1D$ semiconducting carbon nanotube. As yet, experimental\cite{Appenzeller,Chen, Heinze, Derycke} and numerical \cite{Leonard, Jimenez} studies have generally failed\cite{Svensson} to come up with any functional relationship among the relevant variables affecting carrier transport across the SB owing to their unique geometries and complicated electrostatics. Here, we show that localized states called the metal induced gap states (MIGS)\cite{Tersoff,Leonard} already present in the barrier determines the transistor drain characteristics. These states seem to have little or no influence near the ON-state of the transistor but starts to affect the drain characteristics strongly as the OFF-state is approached. The role of MIGS is characterized by tracking the dynamics of the onset bias, $V_o$ of non-linear conduction in the drain characteristics with gate voltage $V_g$. We find that $V_o$ varies with the zero-bias conductance $G_o(V_g)$ for a gate bias $V_g$ as a power-law: $V_o$ $\sim $ ${G_o(V_g)}^x$ with an exponent $x$. The origin of this power-law relationship is tentatively suggested as a result of power-law variation of effective barrier height with $V_g$, corroborated by previous theoretical and experimental results\cite{Appenzeller}. The influence of MIGS states on transport is further verified independently by temperature dependent measurements. The unexpected scaling behavior seem to be very generic for metal/CNT contact providing an experimental forecast for designing state of the art CNT devices.


title: Synchronizing automata with random inputs

abstract: We study the problem of synchronization of automata with random inputs. We present a series of automata such that the expected number of steps until synchronization is exponential in the number of states. At the same time, we show that the expected number of letters to synchronize any pair of the famous Cerny automata is at most cubic in the number of states.


title: Logarithmic mean inequality for generalized trigonometric and hyperbolic functions

abstract: In this paper we study the convexity and concavity properties of generalized trigonometric and hyperbolic functions in case of Logarithmic mean.


title: Two-Dimensional Water Diffusion at a Graphene-Silica Interface

abstract: Because of the dominant role of the surface of molecules and their individuality, molecules behave dis-tinctively in a confined space, which has far-reaching implications in many physical, chemical and bio-logical systems. Here, we demonstrate that graphene forms a unique atom-thick interstitial space that enables the study of molecular diffusion in 2-dimensions with underlying silica substrates. Raman spec-troscopy visualized intercalation of water from the edge to the center underneath graphene in real time, which was dictated by the hydrophilicity of the substrates. In addition, graphene undergoes reversible deformation to conform to intercalating water clusters or islands. Atomic force microscopy confirmed that the interfacial water layer is only ca. 3.5 angstroms thick, corresponding to one bilayer unit of normal ice. This study also demonstrates that oxygen species responsible for the ubiquitous hole dop-ing are located below graphene. In addition to serving as a transparent confining wall, graphene and possibly other 2-dimensional materials can be used as an optical indicator sensitive to interfacial mass transport and charge transfer.


title: Explicit expressions for a family of Bell polynomials and derivatives of some functions

abstract: In the paper, the authors first inductively establish explicit formulas for derivatives of the arc sine function, then derive from these explicit formulas explicit expressions for a family of Bell polynomials related to the square function, and finally apply these explicit expressions to find explicit formulas for derivatives of some elementary functions.


title: Effects of moderate abundance changes on the atmospheric structure and colours of Mira variables (Research Note)

abstract: Aims. We study the effects of moderate deviations from solar abundances upon the atmospheric structure and colours of typical Mira variables. Methods. We present two model series of dynamical opacity-sampling models of Mira variables which have (1) 1 solar metallicity 3 and (2) "mild" S-type C/O abundance ratio ([C/O]=0.9) with typical Zr enhancement (solar +1.0). These series are compared to a previously studied solar-abundance series which has similar fundamental parameters (mass, luminosity, period, radius) that are close to those of o Cet. Results. Both series show noticeable effects of abundance upon stratifications and infrared colours but cycle-to-cycle differences mask these effects at most pulsation phases, with the exception of a narrow-water-filter colour near minimum phase.


title: Robust and Efficient Subspace Segmentation via Least Squares Regression

abstract: This paper studies the subspace segmentation problem which aims to segment data drawn from a union of multiple linear subspaces. Recent works by using sparse representation, low rank representation and their extensions attract much attention. If the subspaces from which the data drawn are independent or orthogonal, they are able to obtain a block diagonal affinity matrix, which usually leads to a correct segmentation. The main differences among them are their objective functions. We theoretically show that if the objective function satisfies some conditions, and the data are sufficiently drawn from independent subspaces, the obtained affinity matrix is always block diagonal. Furthermore, the data sampling can be insufficient if the subspaces are orthogonal. Some existing methods are all special cases. Then we present the Least Squares Regression (LSR) method for subspace segmentation. It takes advantage of data correlation, which is common in real data. LSR encourages a grouping effect which tends to group highly correlated data together. Experimental results on the Hopkins 155 database and Extended Yale Database B show that our method significantly outperforms state-of-the-art methods. Beyond segmentation accuracy, all experiments demonstrate that LSR is much more efficient.


title: On the Capacity of the Underwater Acoustic Channel with Dominant Noise Sources

abstract: This paper provides an upper-bound for the capacity of the underwater acoustic (UWA) channel with dominant noise sources and generalized fading environments. Previous works have shown that UWA channel noise statistics are not necessary Gaussian, especially in a shallow water environment which is dominated by impulsive noise sources. In this case, noise is best represented by the Generalized Gaussian (GG) noise model with a shaping parameter $\beta$. On the other hand, fading in the UWA channel is generally represented using an $\alpha$-$\mu$ distribution, which is a generalization of a wide range of well known fading distributions. We show that the Additive White Generalized Gaussian Noise (AWGGN) channel capacity is upper bounded by the AWGN capacity in addition to a constant gap of $\frac{1}{2} \log \left(\frac{\beta^{2} \pi e^{1-\frac{2}{\beta}} \Gamma(\frac{3}{\beta})}{2(\Gamma(\frac{1}{\beta}))^{3}} \right)$ bits. The same gap also exists when characterizing the ergodic capacity of AWGGN channels with $\alpha$-$\mu$ fading compared to the faded AWGN channel capacity. We justify our results by revisiting the sphere-packing problem, which represents a geometric interpertation of the channel capacity. Moreover, UWA channel secrecy rates are characterized and the dependency of UWA channel secrecy on the shaping parameters of the legitimate and eavesdropper channels is highlighted.


title: Exploring chaos in Dicke Model using ground state fidelity and Loschmidt echo

abstract: We study the quantum critical behaviour of the Dicke Hamiltonian, with finite number of atoms and explore the signature of quantum chaos using measures like the ground state fidelity and the Loschmidt echo. We show that both these quantities clearly point to the chaotic nature of the system in the super-radiant phase.


title: Most primitive groups are full automorphism groups of edge-transitive hypergraphs

abstract: We prove that, for a primitive permutation group G acting on a set of size n, other than the alternating group, the probability that Aut(X,Y^G) = G for a random subset Y of X, tends to 1 as n tends to infinity. So the property of the title holds for all primitive groups except the alternating groups and finitely many others. This answers a question of M. Klin. Moreover, we give an upper bound n^{1/2+\epsilon} for the minimum size of the edges in such a hypergraph. This is essentially best possible.


title: Spin relaxation related to the edge scattering in graphene

abstract: We discuss the role of spin-flip scattering of electrons from the magnetized edges in graphene nanoribbons. The spin-flip scattering is associated with strong fluctuations of the magnetic moments at the edge. Using the Boltzmann equation approach, which is valid for not too narrow nanoribbons, we calculate the spin relaxation time in the case of Berry-Mondragon and zigzag graphene edges. We also consider the case of ballistic nanoribbons characterized by very long momentum relaxation time in the bulk, when the main source of momentum and spin relaxation is the spin-dependent scattering at the edges. We found that in the case of zigzag edges, an anomalous spin diffusion is possible, which is related to very weak spin-flip scattering of electrons gliding along the nanoribbon edge.


title: Dzyaloshinskii-Moriya-type interaction and Lifshitz invariant in Rashba 2D electron gas systems

abstract: The origin of chiral magnetic structures in ultrathin films of magnetic metals is analyzed. It is shown that the Lifshitz-type invariant term in the macroscopic thermodynamic potential can be derived from spin-orbit Rashba Hamiltonian in two dimensional electron gas (2DEG). The former is the prerequisite for existence of spin cycloid, skyrmions and other chiral phenomena observed in thin films. The estimation of the period of spin cycloid gives the value of an order of 10 nm that agrees well with the results of scanning probe microscopy observation reported in the literature.


title: Quasi-Carleman operators and their spectral properties

abstract: The Carleman operator is defined as integral operator with kernel $(t+s)^{-1}$ in the space $L^2 ({\Bbb R}_{+}) $. This is the simplest example of a Hankel operator which can be explicitly diagonalized. Here we study a class of self-adjoint Hankel operators (we call them quasi-Carleman operators) generalizing the Carleman operator in various directions. We find explicit formulas for the total number of negative eigenvalues of quasi-Carleman operators and, in particular, necessary and sufficient conditions for their positivity. Our approach relies on the concepts of the sigma-function and of the quasi-diagonalization of Hankel operators introduced in the preceding paper of the author.


title: A Formal Approach to System Integration Testing

abstract: System integration testing is the process of testing a system by the stepwise integration of sub-components. Usually these sub-components are already verified to guarantee their correct functional behavior. By integration of these verified subcomponents into the overall system, emergent behavior may occur, i.e. behavior that evolves by the assembling of the subcomponents. For system integration testing, both, the correct functional behavior of the overall system, and, the proper functioning of the sub-components in their system environment, have to be verified. In this work we present the idea of an approach for system integration testing based on formal verification. The system components are modeled in SystemC. In a first step these components are formally verified. Then a model of the overall system is built. In a second step this system model is formally verified. The novelty of this approach is given by two aspects: First, up to now the available verification frameworks for SystemC-models are more a proof of concept than really applicable to real industrial case studies. Secondly, although formal verification techniques are a common technique for the verification of software and hardware, by now they have only marginally considered for system integration testing.


title: A Reverse Hilbert-like Optimal Inequality

abstract: We prove an inequality on positive real numbers, that looks like a reverse to the well-known Hilbert inequality, and we use some unusual techniques from Fourier analysis to prove that this inequality is optimal.


title: Inventions on Adaptable Menu: A TRIZ based analysis

abstract: The menu is one of the most widely used elements of a graphical user interface. The objective of a menu system is to provide various commands and functions to the user in an easy way so that the user can just select the desired operation from a given list instead of typing a complex command in the command prompt. In a conventional menu system the menu items or options are hard-coded in the computer program. The programmer or developer composes menu items at the time of development. The developer tries to include all options that he feels may be required by the user in future. Although the items are decided from "requirement analysis" and other studies, it is difficult to know the exact need of a user at a future period of time. This leads to inclusion of a lot of items in the menu, which leads to user confusion and frustration. Thus there is a need for adaptable menu that can be changed according to user requirement. The items of the adaptable menu should change from user to user and from time to time depending on the program context and likelihood of user selection. This article defines the Ideal Final Result of a dropdown menu system, defines the desirable functions of an adaptable menu, finds and solves the contradictions faced in achieving the desirable functions, and illustrates six selected cases on adaptable menu from US patent database.


title: Enhancement of coil--stretch hysteresis by self-concentration in extensional flows, and its implications for capillary thinning of liquid bridges of dilute polymer solutions

abstract: The coil-stretch transition in extensional flows of viscoelastic dilute polymer solutions is known to be associated with a strong hysteresis in molecular conformations and rheo-optical properties. At infinite dilution, hysteresis is caused by the large difference in frictional drag coefficient between undeformed isotropic polymer coils and highly stretched conformations. At the low extension rates in the hysteresis regime, stretched molecules pervade larger volumes than equilibrium coils since the flow is too weak to suppress transverse fluctuations. The onset of intermolecular overlap occurs for such stretched conformations at polymer concentrations much smaller than c*, the conventional critical overlap concentration for equilibrium coils. Therefore, for a range of concentrations c < c*, intramolecular hydrodynamic interactions may be significantly screened in stretched conformations. Scaling arguments based on "blob" concepts are used here to argue that the stretched state drag coefficient can grow strongly with concentration in the dilute regime. A dumbbell model with conformation-dependent drag model is used to predict a concomitant strong enhancement of coil-stretch hysteresis with increasing concentration in the dilute regime. This extensional flow induced self-concentration leads to a maximum in hysteretic effects around c*, which progressively diminish in the semi-dilute regime where screening in isotropic coils reduces the difference in drag coefficient between stretched and coiled states. It is shown that the concentration dependence observed by Clasen et al. (2006) of capillary-thinning dynamics in liquid bridges of polymer solutions provides direct evidence of coil-stretch hysteresis enhancement by self-concentration.


title: 10 inventions on Improving Toolbars: A TRIZ based analysis

abstract: Toolbar is one among the popular elements of a graphical user interface. The other popular elements of graphical user interface are buttons, menu, scrollbar, dialog box etc., all of which provide easy access to various functions of a GUI System. A toolbar often does a similar function as the menu but with certain differences. A menu has the advantage of holding a large number of items without needing any additional screen space. In contrast, each button on the toolbar permanently occupies some space on the screen. It is not possible to implement large number of functions through a toolbar, as they will occupy more and more valuable screen space. However, the toolbar has an advantage as it gives a single click access to any function unlike a menu system where the user has to navigate through sub-menus to ultimate discover the item he is looking for. This article explores the desired features of a toolbar and the ideal features of an advanced toolbar. The contradictions are described from a TRIZ perspective and solutions are derived using Inventive principles. Besides the article illustrates 10 inventions on improving Toolbars selected from US patent database.


title: Updated properties of the old open cluster Melotte 66: Searching for multiple stellar populations

abstract: Multiple generations of stars are routinely encountered in globular clusters but no convincing evidence has been found in Galactic open clusters to date. In this paper we use new photometric and spectroscopic data to search for multiple stellar population signatures in the old, massive open cluster, Melotte~66. The cluster is known to have a red giant branch wide in color, which could be an indication of metallicity spread. Also the main sequence is wider than what is expected from photometric errors only. This evidence might be associated with either differential reddening or binaries. Both hypothesis have, however, to be evaluated in detail before recurring to the presence of multiple stellar populations. New, high-quality, CCD UBVI photometry have been acquired to this aim with high-resolution spectroscopy of seven clump stars, that are complemented with literature data. Our photometric study confirms that the width of the main sequence close to the turn off point is entirely accounted for by binary stars and differential reddening, with no need to advocate more sofisticated scenarios, such as metallicity spread or multiple main sequences. By constructing synthetic color-magnitude diagrams, we infer that the binary fraction has to be as large as 30$%$ and their mass ratio in the range 0.6-1.0. As a by-product of our simulations, we provide new estimates of the cluster fundamental parameters. We measure a reddening E(B-V)=0.15$\pm$0.02, and confirm the presence of a marginal differential reddening. The distance to the cluster is $4.7^{+0.2}_{-0.1} $kpc and the age is 3.4$\pm$0.3 Gyr, which is somewhat younger and better constrained than previous estimates. Our detailed abundance analysis reveals that, overall, Melotte~66 looks like a typical object of the old thin disk population.


title: Spin-dependent $\gamma$ softness or triaxiality in even-even $^{132-138}$Nd nuclei

abstract: The properties of $\gamma$ instability in rapidly rotating even-even $^{132-138}$Nd isotopes have been investigated using the pairing-deformation self-consistent total-Routhian-surface calculations in a deformation space of ($\beta_2, \gamma, \beta_4$). It is found that even-even $^{134-138}$Nd nuclei exhibit the triaxiality in both ground and excited states, even up to high-spin ones. The lightest isotope possesses a well-deformed prolate shape without $\gamma$ deformation component. The current numerical results are compared with previous calculations and available observables, showing basically a general agreement with the observed trend of $\gamma$ correlations. The existing differences between theory and experiment are analyzed and discussed briefly.


title: 10 Inventions on Command Buttons in a Graphical User Interface

abstract: A command button may contain a textual label or a graphic image or both. It may be static or animated. There can be many different features to make a command button attractive and effective. As command button is a typical GUI element, most improvement on GUI in general will also be applicable to command buttons. Besides, there are also inventions to improve various aspects of command buttons in specific. This article illustrates 10 selected inventions from US patent database. Each invention is followed by a TRIZ based analysis in brief.


title: Markov convexity and nonembeddability of the Heisenberg group

abstract: We compute the Markov convexity invariant of the continuous infinite dimensional Heisenberg group $\mathbb{H}_\infty$ to show that it is Markov 4-convex and cannot be Markov $p$-convex for any $p < 4$. As Markov convexity is a biLipschitz invariant and Hilbert space is Markov 2-convex, this gives a different proof of the classical theorem of Pansu and Semmes that the Heisenberg group does not admit a biLipschitz embedding into any Euclidean space. The Markov convexity lower bound will follow from exhibiting an explicit embedding of Laakso graphs $G_n$ into $\mathbb{H}_\infty$ that has distortion at most $C n^{1/4} \sqrt{\log n}$. We use this to show that if $X$ is a Markov $p$-convex metric space, then balls of the discrete Heisenberg group $\mathbb{H}(\mathbb{Z})$ of radius $n$ embed into $X$ with distortion at least some constant multiple of $$\frac{(\log n)^{\frac{1}{p}-\frac{1}{4}}}{\sqrt{\log \log n}}.$$ Finally, we show that Markov 4-convexity does not give the optimal distortion for embeddings of binary trees $B_m$ into $\mathbb{H}_\infty$ by showing that the distortion is on the order of $\sqrt{\log m}$.


title: 10 Inventions on scrolling and scrollbars in Graphical User Interface

abstract: Scrolling mechanism is used to display and edit large documents in a limited screen space or window. The scrolling mechanism may include a vertical scroll bar or a horizontal scroll bar or both to move the contents of the documents up and down or left and right. There may be navigation buttons on the screen representing the navigation keys on the keyboard. The user can click these buttons to scroll the screen. There may be very different methods of scrolling such as by using the "thumb", as popularly used with a PDF document. Scrolling may be achieved through eyeball tracking in a hands-free environment where the user does not have hands or wants to use hands for other activities. This article illustrates ten interesting inventions on scrolling selected from US patent database.


title: TMD evolution and the Higgs transverse momentum distribution

abstract: The effect of the linear polarization of gluons on the transverse momentum distribution in Higgs production is studied within the framework of TMD factorization. For this purpose we consider the TMD evolution for general colorless scalar boson production, from the lower mass $C$-even scalar quarkonium states $\chi_{c0}$ and $\chi_{b0}$ to the Higgs mass scale. In the absence of an intrinsic nonperturbative linearly polarized gluon distribution the results correspond to the CSS formalism, indicating a rather rapid decrease with increasing energy scale. At the Higgs mass scale the contribution from linearly polarized gluons is in this case found to be on the percent level, somewhat larger than an earlier finding in the literature. At the lower mass scale of quarkonium states $\chi_{c0}$ and $\chi_{b0}$ we find contributions at the 15-70% level, albeit with considerable uncertainty. In the presence of an intrinsic linear gluon polarization, percent level effects are also found at the Higgs mass scale, but with a considerably slower evolution. Although these results were obtained using a model for the TMDs that are approximately Gaussian at small transverse momenta and have the correct perturbative power law fall off at large transverse momenta, it illustrates well the differences that can exist between results obtained from a TMD formalism as compared to a CSS formalism. The behavior of the TMDs at small $p_T$ can affect the results for all transverse momenta of the produced boson, even for a particle as heavy as the Higgs. The TMD evolution from $\chi_{c0}$ to $\chi_{b0}$ may be used to constrain the nonperturbative contributions and improve on the prediction of the effect at the Higgs mass scale.


title: Inventions on dialog boxes used in GUI

abstract: The dialog boxes are useful in case of displaying warnings, errors, confirmations etc. in special situations. A typical dialog box is displayed in a small window with some text message along with a few options for the user to select. However, there are certain difficulties associated in programming and implementing a conventional dialog box, such as, severe programming effort, rigidity of the hard coded message, obscuring screen space and so on. There is a need to overcome these difficulties of the dialog box to make them more efficient and useful. The modality of the dialog boxes also creates some limitations. While modal dialog boxes needs to be closed explicitly by the user, modeless dialog boxes can grow in number and become difficult to control. Thus, an ideal dialog box should be deprived of all the above-mentioned drawbacks. The dialog box should not obscure the screen. The user should be able open multiple dialog boxes but without obscuring the screen. This article analyses 5 interesting inventions on dialog boxes selected from US Patent database. Each invention tries to overcome some limitations of a conventional dialog box and provides some innovative features. Each solution is also analyzed from a TRIZ perspective.


title: Spin dynamics in semiconductors in the streaming regime

abstract: We present results of a cross-disciplinary theoretical research at the interface of spin physics and hot-electron transport. A moderately strong electric field is assumed to provide the streaming regime where each free charge carrier, an electron or a hole, accelerates quasiballistically in the "passive" region until reaching the optical-phonon energy, then emits an optical phonon and starts the next period of acceleration. The inclusion of spin degree of freedom into the streaming-regime kinetics gives rise to rich and interesting spin-related phenomena. Firstly, in the streaming regime the spin relaxation is substantially modified, and the current-induced spin orientation is remarkably increased. Under short-pulsed photoexcitation at the bottom of conduction band the photoelectrons execute a periodic damped motion in the energy space with the period equal to the free flight time of an electron in the passive region. If the short optical pulse is circularly polarized so that the photocarriers are spin oriented, then the spin energy distribution is oscillating in time as well, which can be detected in the pump-probe time-resolved experiments. We show that the spin-orbit splitting of the conduction band becomes a source for additional spin oscillations, periodic or aperiodic depending on the value of electric field.


title: Inventions on Tree Navigators used in Graphical User Interface

abstract: A tree view or tree navigator is used to display hierarchical data organized in the form of a tree. In a tree structure there are parent and child nodes. The child nodes may further have descendants to n levels. There are many methods to make the navigation easy. Some of these are expanding and collapsing branches, splitting the tree, displaying a parent node in a separate tree, zooming branches, scrolling in various directions etc. It is still a difficult exercise to handle large trees efficiently. The effort still continues to manage large number of nodes with faster speed, greater control, user friendliness and aesthetics. This article illustrates five inventions on tree navigators selected from US patent database. Each of them tries to solve various problems relating to the tree navigator in different ways. Each invention is also analyzed from a TRIZ perspective.


title: Inventions on expressing emotions In Graphical User Interface

abstract: The conventional GUI is more mechanical and does not recognize or communicate emotions. The modern GUIs are trying to infer the likely emotional state and personality of the user and communicate through a corresponding emotional state. Emotions are expressed in graphical icons, sounds, pictures and other means. The emotions are found to be useful in especially in communication software, interactive learning systems, robotics and other adaptive environments. Various mechanisms have been developed to express emotions through graphical user interfaces. This article illustrates some interesting inventions selected from US patent database.


title: Analysis of the equilibrium strategies in the Geo/Geo/1 queue with multiple working vacations

abstract: This paper studies the equilibrium behavior of customers in the Geo/Geo/1 queueing system with multiple working vacations. The arriving customers decide whether to join or to balk the queueing systems based on the information of the queue length and the states of the server. In observable queues, partially observable queues and unobservable queues three cases we obtain the equilibrium balking strategies based on the reward-cost structure and socially optimal strategies for all customers. Furthermore, we present some numerical experiments to illustrate the effect of the information level on the equilibrium behavior and to compare the customers' equilibrium and socially optimal strategies.


title: Protected polymorphisms and evolutionary stability of patch-selection strategies in stochastic environments

abstract: We consider a population living in a patchy environment that varies stochastically in space and time. The population is composed of two morphs (that is, individuals of the same species with different genotypes). In terms of survival and reproductive success, the associated phenotypes differ only in their habitat selection strategies. We compute invasion rates corresponding to the rates at which the abundance of an initially rare morph increases in the presence of the other morph established at equilibrium. If both morphs have positive invasion rates when rare, then there is an equilibrium distribution such that the two morphs coexist; that is, there is a protected polymorphism for habitat selection. Alternatively, if one morph has a negative invasion rate when rare, then it is asymptotically displaced by the other morph under all initial conditions where both morphs are present. We refine the characterization of an evolutionary stable strategy for habitat selection from [Schreiber, 2012] in a mathematically rigorous manner. We provide a necessary and sufficient condition for the existence of an ESS that uses all patches and determine when using a single patch is an ESS. We also provide an explicit formula for the ESS when there are two habitat types. We show that adding environmental stochasticity results in an ESS that, when compared to the ESS for the corresponding model without stochasticity, spends less time in patches with larger carrying capacities and possibly makes use of sink patches, thereby practicing a spatial form of bet hedging.


title: Weighted inequlities for a generalized dyadic maximal operator involving the infinite product

abstract: We define a generalized dyadic maximal operator involving the infinite product and discuss weighted inequalities for the operator. A formulation of the Carleson embedding theorem is proved. Our results depend heavily on a generalized H\"{o}lder's inequalities.


title: Inventions on GUI for Touch Sensitive Screens

abstract: A touch sensitive screen displays the information on the screen and also receives the input by sensing a user's touch on the same screen. This mechanism facilitates system interaction directly through the screen without needing a mouse or keyboard. This method has the advantage to make the system compact by removing keyboard, mouse and similar interactive device. However there are certain difficulties to implement a touch screen interface. The display screens of portable devices are becoming smaller thereby leaving lesser space for display of data, menu or touch screen interaction. Besides some screens need to display so much of information that they hardly can afford any space to display touch screen buttons. This article illustrates various inventions which have successfully eliminated these difficulties by applying appropriate Inventive principles.


title: Magnetic shape memory microactuator

abstract: Bimetallic composite nanotweezers based on Ti2NiCu alloy with shape memory effect (SME) have recently demonstrated the ability to manipulate real nano-objects, such as nanotubes, and bionanoparticles when heated to 40-60 C by laser radiation. The possibility of developing nanotweezers operating at constant temperature is of particular importance mainly for the manipulation of biological objects. In this work, a microactuator was produced using a composite bilayer made of a layer of rapidly quenched Ni53Mn24Ga23 ferromagnetic shape memory Heusler alloy and an elastic layer of Pt. The size of the microactuator is 25x2.3x1.7 micro-meters3. A controlled bending deformation of the actuator of 1.2 %, with a deflection of the end of the actuator higher than 2 micro-meter was obtained by applying a magnetic field of 8 T at T = 62 C. The possibility of the development of new technologies for magnetic-field-controlled nanotools operating at a constant temperature using the new multifunction magnetic shape memory alloys will be discussed.


title: Semi-Streaming Set Cover

abstract: This paper studies the set cover problem under the semi-streaming model. The underlying set system is formalized in terms of a hypergraph $G = (V, E)$ whose edges arrive one-by-one and the goal is to construct an edge cover $F \subseteq E$ with the objective of minimizing the cardinality (or cost in the weighted case) of $F$. We consider a parameterized relaxation of this problem, where given some $0 \leq \epsilon < 1$, the goal is to construct an edge $(1 - \epsilon)$-cover, namely, a subset of edges incident to all but an $\epsilon$-fraction of the vertices (or their benefit in the weighted case). The key limitation imposed on the algorithm is that its space is limited to (poly)logarithmically many bits per vertex. Our main result is an asymptotically tight trade-off between $\epsilon$ and the approximation ratio: We design a semi-streaming algorithm that on input graph $G$, constructs a succinct data structure $\mathcal{D}$ such that for every $0 \leq \epsilon < 1$, an edge $(1 - \epsilon)$-cover that approximates the optimal edge \mbox{($1$-)cover} within a factor of $f(\epsilon, n)$ can be extracted from $\mathcal{D}$ (efficiently and with no additional space requirements), where \[ f(\epsilon, n) = \left\{ \begin{array}{ll} O (1 / \epsilon), & \text{if } \epsilon > 1 / \sqrt{n} \\ O (\sqrt{n}), & \text{otherwise} \end{array} \right. \, . \] In particular for the traditional set cover problem we obtain an $O(\sqrt{n})$-approximation. This algorithm is proved to be best possible by establishing a family (parameterized by $\epsilon$) of matching lower bounds.