title: Maxima of Skew Elliptical Triangular Arrays

abstract: In this paper we investigate the asymptotic behaviour of the componentwise maxima for two bivariate skew elliptical triangular arrays with components given in terms of skew transformations of bivariate spherical random vectors. We find the weak limit of the normalized maxima for both cases that the random radius pertaining to the elliptical random vectors is either in the Gumbel or in the Weibull max-domain of attractions.


title: Sequential Monte Carlo Inference of Mixed Membership Stochastic Blockmodels for Dynamic Social Networks

abstract: Many kinds of data can be represented as a network or graph. It is crucial to infer the latent structure underlying such a network and to predict unobserved links in the network. Mixed Membership Stochastic Blockmodel (MMSB) is a promising model for network data. Latent variables and unknown parameters in MMSB have been estimated through Bayesian inference with the entire network; however, it is important to estimate them online for evolving networks. In this paper, we first develop online inference methods for MMSB through sequential Monte Carlo methods, also known as particle filters. We then extend them for time-evolving networks, taking into account the temporal dependency of the network structure. We demonstrate through experiments that the time-dependent particle filter outperformed several baselines in terms of prediction performance in an online condition.


title: Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le160001$ and sporadic $q$ in the interval $[160801\ldots 430007]$

abstract: In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*} For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers are considered. This proves new upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in $\mathrm{PG}(2,q)$, in particular \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;~~(1) \\ t_{2}(2,q)&<\sqrt{q}\ln^{0.7295}q&\mbox{ for }&&109&\le q\le160001;~~(2)\\ t_{2}(2,q)&<\sqrt{q}\ln^{c_{up}(q)}q,~~c_{up}(q)=\frac{0.27}{\ln q}+0.7,&\mbox{ for }&&19&\le q\le160001;~~(3)\\ t_{2}(2,q)&<0.6\sqrt{q}\ln^{\varphi_{up}(q;0.6)} q,~~\varphi_{up}(q;0.6)=\frac{1.5}{\ln q}+0.802,&\mbox{ for }&&19&\le q\le160001.~~(4) \end{align*} Moreover, the bounds (2) -- (4) hold also for $q\in Q_{4}$. Also, \begin{align*} t_{2}(2,q)&<1.006\sqrt{3q\ln q}<1.743\sqrt{q\ln q}&\mbox{ for }&&q\in Q_{4}.~~(5) \end{align*} Our investigations and results allow to conjecture that the bounds (2) -- (5) hold for all $q\geq109$.


title: Characterization of the asymptotic Teichmuller space of the open unit disk through shears

abstract: We give a parametrization to the asymptotic Teichmuller space of the open unit disk through equivalent classes of shear functions induced by quasisymmetric homeomorphisms on the Farey tesselation of the unit disk. Then using the parametrization, we define a new metric on the asymptotic Teichmuller space. Two other related metrics are also introduced on the asymptotic Teichmuller space by using cross-ratio distortions or quadrilateral dilatations under the boundary maps on degenerating sequences of quadruples or quadrilaterals. We show that the topologies induced by the three metrics are equivalent to the one induced by the Teichmuller metric on the asymptotic Teichmuller space. Before proving our main results, we revisit and rectify a mistake in the proof in the reference [21] on the characterization of quasisymmetric homeomorphisms in terms of shear functions.


title: Exhibition of circular Bragg phenomenon by hyperbolic, dielectric, structurally chiral materials

abstract: The relative permittivity dyadic of a dielectric structurally chiral material (SCM) varies helicoidally along a fixed direction; in consequence, the SCM exhibits the circular Bragg phenomenon, which is the circular-polarization-selective reflection of light. The introduction of hyperbolicity in an SCM---by making either one or two but not all three eigenvalues of the relative permittivity dyadic acquire negative real parts---does not eliminate the circular Bragg phenomenon, but significantly alters the regime for its exhibition. Physical vapor deposition techniques appear to be suitable to fabricate hyperbolic SCMs.


title: Geometric Representation of Interacting Non-Relativistic Open Strings using Extended Objects

abstract: Non-relativistic charged open strings coupled with Abelian gauge fields are quantized in a geometric representation that generalizes the Loop Representation. The model consists of open-strings interacting through a Kalb-Ramond field in four dimensions. The geometric representation proposed uses lines and surfaces that can be interpreted as an extension of the picture of Faraday's lines of classical electromagnetism. This representation results to be consistent, provided the coupling constant (the "charge" of the string) is quantized. The Schr\"odinger equation in this representation is also presented.


title: Learning about social learning in MOOCs: From statistical analysis to generative model

abstract: We study user behavior in the courses offered by a major Massive Online Open Course (MOOC) provider during the summer of 2013. Since social learning is a key element of scalable education in MOOCs and is done via online discussion forums, our main focus is in understanding forum activities. Two salient features of MOOC forum activities drive our research: 1. High decline rate: for all courses studied, the volume of discussions in the forum declines continuously throughout the duration of the course. 2. High-volume, noisy discussions: at least 30% of the courses produce new discussion threads at rates that are infeasible for students or teaching staff to read through. Furthermore, a substantial portion of the discussions are not directly course-related. We investigate factors that correlate with the decline of activity in the online discussion forums and find effective strategies to classify threads and rank their relevance. Specifically, we use linear regression models to analyze the time series of the count data for the forum activities and make a number of observations, e.g., the teaching staff's active participation in the discussion increases the discussion volume but does not slow down the decline rate. We then propose a unified generative model for the discussion threads, which allows us both to choose efficient thread classifiers and design an effective algorithm for ranking thread relevance. Our ranking algorithm is further compared against two baseline algorithms, using human evaluation from Amazon Mechanical Turk. The authors on this paper are listed in alphabetical order. For media and press coverage, please refer to us collectively, as "researchers from the EDGE Lab at Princeton University, together with collaborators at Boston University and Microsoft Corporation."


title: Atomic-scale analysis of liquid-gallium embrittlement of aluminum grain boundaries

abstract: In this work, we explore the role of atomistic-scale energetics on liquid-metal embrittlement of Al due to Ga. Ab initio and molecular mechanics were employed to probe the binding energies of vacancies and segregation energies of Ga for <100>, <110> and <111> STGBs in Al. We found that the GB local arrangements and resulting structural units have a significant influence on the magnitude of vacancy binding energies. For example, the mean vacancy binding energy for <100>, <110>, and <111> STGBs at 1st layer was found to be -0.63 eV, -0.26 eV, and -0.60 eV. However, some GBs exhibited vacancy binding energies closer to bulk values, indicating interfaces with zero sink strength, i.e., these GBs may not provide effective pathways for vacancy diffusion. The results from the present work showed that the GB structure and the associated free volume also play significant roles in Ga segregation and the subsequent embrittlement of Al. The Ga mean segregation energy for <100>, <110> and <111> STGBs at 1st layer was found to be -0.23 eV, -0.12 eV and -0.24 eV, respectively, suggesting a stronger correlation between the GB structural unit, its free volume, and segregation behavior. Furthermore, as the GB free volume increased, the difference in segregation energies between the 1st layer and the 0th layer increased. Thus, the GB character and free volume provide an important key to understanding the degree of anisotropy in various systems. The overall characteristic Ga absorption length scale was found to be about ~10, 8, and 12 layers for <100>, <110>, and <111> STGBs, respectively. Also, a few GBs of different tilt axes with relatively high segregation energies (between 0 and -0.1 eV) at the boundary were also found. This finding provides a new atomistic perspective to the GB engineering of materials with smart GB networks to mitigate or control LME and more general embrittlement phenomena in alloys.


title: $C^{m_0}$-Smoothness of Evaluation Maps

abstract: We give a proof that evaluation map $E: \Sigma^l\times {\cal M}\rightarrow M^l$ is of class $C^{m_0}$.


title: Primordial magnetic fields from a non-singular bouncing cosmology

abstract: Although inflation is a natural candidate to generate the lengths of coherence of magnetic fields needed to explain current observations, it needs to break conformal invariance of electromagnetism to obtain significant magnetic amplitudes. Of the simplest realizations are the kinetically-coupled theories $f^2(\phi)F_{\mu\nu}F^{\mu\nu}$ (or $IFF$ theories). However, these are known to suffer from electric fields backreaction or the strong coupling problem. In this work we shall confirm that such class of theories are problematic to support magnetogenesis during inflationary cosmology. On the contrary, we show that a bouncing cosmology with a contracting phase dominated by an equation of state with $p>-\rho/3$ can support magnetogenesis, evading the {backreaction/strong-coupling problem}. Finally, we study safe magnetogenesis in a particular bouncing model with an ekpyrotic-like contracting phase. In this case we found that $f^2(\phi)F^2$-instabilities might arise during the final kinetic-driven expanding phase for steep ekpyrotic potentials.


title: Multipermutation Codes in the Ulam Metric for Nonvolatile Memories

abstract: We address the problem of multipermutation code design in the Ulam metric for novel storage applications. Multipermutation codes are suitable for flash memory where cell charges may share the same rank. Changes in the charges of cells manifest themselves as errors whose effects on the retrieved signal may be measured via the Ulam distance. As part of our analysis, we study multipermutation codes in the Hamming metric, known as constant composition codes. We then present bounds on the size of multipermutation codes and their capacity, for both the Ulam and the Hamming metrics. Finally, we present constructions and accompanying decoders for multipermutation codes in the Ulam metric.


title: Budgeted Influence Maximization for Multiple Products

abstract: The typical algorithmic problem in viral marketing aims to identify a set of influential users in a social network, who, when convinced to adopt a product, shall influence other users in the network and trigger a large cascade of adoptions. However, the host (the owner of an online social platform) often faces more constraints than a single product, endless user attentions, unlimited budget and unbounded time; in reality, multiple products need to be advertised, each user can tolerate only a small number of recommendations, influencing user has a cost and advertisers have only limited budgets, and the adoptions need to be maximized within a short time window. Given theses myriads of user, monetary, and timing constraints, it is extremely challenging for the host to design principled and efficient viral market algorithms with provable guarantees. In this paper, we provide a novel solution by formulating the problem as a submodular maximization in a continuous-time diffusion model under an intersection of a matroid and multiple knapsack constraints. We also propose an adaptive threshold greedy algorithm which can be faster than the traditional greedy algorithm with lazy evaluation, and scalable to networks with million of nodes. Furthermore, our mathematical formulation allows us to prove that the algorithm can achieve an approximation factor of $k_a/(2+2 k)$ when $k_a$ out of the $k$ knapsack constraints are active, which also improves over previous guarantees from combinatorial optimization literature. In the case when influencing each user has uniform cost, the approximation becomes even better to a factor of $1/3$. Extensive synthetic and real world experiments demonstrate that our budgeted influence maximization algorithm achieves the-state-of-the-art in terms of both effectiveness and scalability, often beating the next best by significant margins.


title: Estimating constellations among primes - I. Uniformity

abstract: A few years ago we identified a recursion that works directly with the gaps among the generators in each stage of Eratosthenes sieve. This recursion provides explicit enumerations of sequences of gaps among the generators, which are known as constellations. In this paper, we use those enumerations to estimate the numbers of these constellations that occur as constellations among prime numbers, and we compare these estimates with computational results. We include in our estimates the constellations corresponding to three and four consecutive primes in arithmetic progression. For these initial estimates, we assume that the copies of a given constellation tend toward a uniform distribution in the cycle of gaps, as the recursion progresses. Our simple estimates based on the recursion of gaps and the assumption of uniformity appear to have correct asymptotic behavior, and they exhibit a systematic error correlated to length of the constellation.


title: Log-concavity of a Mixture of Beta Distributions

abstract: We show that a mixture of Beta distributions has log-concave density whenever the mixing weights are themselves log-concave. Some economic and statistical applications are provided in the last section.


title: Twisted conjugacy in generalized Thompson groups of type F

abstract: If $\phi$ is an automorphism of a group $G$ and $x,y\in G$, we say that $x$ and $y$ are $\phi$-twisted conjugates if there exists an $z\in G$ such that $y=z.x.\phi(z^{-1})$. This is an equivalence relation. If there are infinitely many $\phi$-twisted conjugacy classes for every automorphism $\phi$ of $G$ we say that $G$ has the $R_\infty$-property. We prove that the generalized Richard Thompson groups $F_n$ and $F(l,A,P)$ have the $R_\infty$-property.


title: Mori dream surfaces associated with curves with one place at infinity

abstract: We study a class of rational surfaces (considered in [Campillo, Piltant and Reguera, 2005]) associated to curves with one place at infinity and explicitly describe generators of the Cox ring and global sections of line bundles on these surfaces. In particular, we show that their Cox rings are finitely generated, i.e. they are Mori dream spaces. We also compute their "global Zariski semigroups at infinity" (consisting of line bundles which have no base points `at infinity') and "global Enriques semigroups" (generated by closures of curves in C^2). In particular, we show that the global Zariski semigroups at infinity and Enriques semigroups of surfaces corresponding to pencils which are equisingular at infinity are isomorphic, which answers a question of [Campillo, Piltant and Reguera-Lopez, 2002]. We also give an effective algorithm to determine if a (rational) surface `admits systems of numerical curvettes' (these surfaces were also considered in [Campillo, Piltant and Reguera, 2005]).


title: Spectral Efficiency and Outage Performance for Hybrid D2D-Infrastructure Uplink Cooperation

abstract: We propose a time-division uplink transmission scheme that is applicable to future cellular systems by introducing hybrid device-to-device (D2D) and infrastructure cooperation. We analyze its spectral efficiency and outage performance and show that compared to existing frequency-division schemes, the proposed scheme achieves the same or better spectral efficiency and outage performance while having simpler signaling and shorter decoding delay. Using time-division, the proposed scheme divides each transmission frame into three phases with variable durations. The two user equipments (UEs) partially exchange their information in the first two phases, then cooperatively transmit to the base station (BS) in the third phase. We further formulate its common and individual outage probabilities, taking into account outages at both UEs and the BS. We analyze this outage performance in Rayleigh fading environment assuming full channel state information (CSI) at the receivers and limited CSI at the transmitters. Results show that comparing to non-cooperative transmission, the proposed cooperation always improves the instantaneous achievable rate region even under half-duplex transmission. Moreover, as the received signal-to-noise ratio increases, this uplink cooperation significantly reduces overall outage probabilities and achieves the full diversity order in spite of additional outages at the UEs. These characteristics of the proposed uplink cooperation make it appealing for deployment in future cellular networks.


title: A Class of Kazhdan-Lusztig R-Polynomials and q-Fibonacci Numbers

abstract: Let $S_n$ denote the symmetric group on $\{1,2,\ldots,n\}$. For two permutations $u, v\in S_n$ such that $u\leq v$ in the Bruhat order, let $R_{u,v}(q)$ and $\R_{u,v}(q)$ denote the Kazhdan-Lusztig $R$-polynomial and $\R$-polynomial, respectively. Let $v_n=34\cdots n\, 12$, and let $\sigma$ be a permutation such that $\sigma\leq v_n$. We obtain a formula for the $\R$-polynomials $\R_{\sigma,v_n}(q)$ in terms of the $q$-Fibonacci numbers depending on a parameter determined by the reduced expression of $\sigma$. When $\sigma$ is the identity $e$, this reduces to a formula obtained by Pagliacci. In another direction, we obtain a formula for the $\R$-polynomial $\R_{e,\,v_{n,i}}(q)$, where $v_{n,i} = 3 4\cdots i\,n\, (i+1)\cdots (n-1)\, 12$. In a more general context, we conjecture that for any two permutations $\sigma,\tau\in S_n$ such that $\sigma\leq \tau\leq v_n$, the $\R$-polynomial $\R_{\sigma,\tau}(q)$ can be expressed as a product of $q$-Fibonacci numbers multiplied by a power of $q$.


title: bartMachine: Machine Learning with Bayesian Additive Regression Trees

abstract: We present a new package in R implementing Bayesian additive regression trees (BART). The package introduces many new features for data analysis using BART such as variable selection, interaction detection, model diagnostic plots, incorporation of missing data and the ability to save trees for future prediction. It is significantly faster than the current R implementation, parallelized, and capable of handling both large sample sizes and high-dimensional data.


title: Stanley's Lemma and Multiple Theta Functions

abstract: We present an algorithmic approach to the verification of identities on multiple theta functions in the form of products of theta functions $[(-1)^{\delta}a_1^{\alpha_1}a_2^{\alpha_2}\cdots a_r^{\alpha_r}q^{s}; q^{t}]_\infty$, where $\alpha_i$ are integers, $\delta=0$ or $1$, $s\in \mathbb{Q}$, $t\in \mathbb{Q}^{+}$, and the exponent vectors $(\alpha_1,\alpha_2,\ldots,\alpha_r)$ are linearly independent over $\mathbb{Q}$. For an identity on such multiple theta functions, we provide an algorithmic approach for computing a system of contiguous relations satisfied by all the involved multiple theta functions. Using Stanley's Lemma on the fundamental parallelepiped, we show that a multiple theta function can be determined by a finite number of its coefficients. Thus such an identity can be reduced to a finite number of simpler relations. Many classical multiple theta function identities fall into this framework, including Riemann's addition formula and the extended Riemann identity.


title: Bounds on Double-Sided Myopic Algorithms for Unconstrained Non-monotone Submodular Maximization

abstract: Unconstrained submodular maximization captures many NP-hard combinatorial optimization problems, including Max-Cut, Max-Di-Cut, and variants of facility location problems. Recently, Buchbinder et al. presented a surprisingly simple linear time randomized greedy-like online algorithm that achieves a constant approximation ratio of 1/2, matching optimally the hardness result of Feige et al.. Motivated by the algorithm of Buchbinder et al., we introduce a precise algorithmic model called double-sided myopic algorithms. We show that while the algorithm of Buchbinder et al. can be realized as a randomized online double-sided myopic algorithm, no such deterministic algorithm, even with adaptive ordering, can achieve the same approximation ratio. With respect to the Max-Di-Cut problem, we relate the Buchbinder et al. algorithm and our myopic framework to the online algorithm and inapproximation of Bar-Noy and Lampis.


title: A comparison of parallel and anti-parallel two qubit mixed states

abstract: We investigate the correlation properties of separable two qubit states with maximally mixed marginals. These states are divided to two sets with the same geometric quantum correlation. However a closer scrutiny of these states reveals a profound difference between their quantum correlations as measured by more probing measures. Although these two sets of states are prepared by the same type of quantum operations acting on classically correlated states with equal classical correlations, the amount of final quantum correlation is different. We investigate this difference and trace it back to the hidden classical correlation which exists in their preparation process. We also compare these states with regard to their usefulness for entanglement distribution and their robustness against noise.


title: Ant Colony based Routing for Mobile Ad-Hoc Networks towards Improved Quality of Services

abstract: Mobile Ad Hoc Network (MANET) is a dynamic multihop wireless network which is established by a set of mobile nodes on a shared wireless channel. One of the major issues in MANET is routing due to the mobility of the nodes. Routing means the act of moving information across an internet work from a source to a destination. When it comes to MANET, the complexity increases due to various characteristics like dynamic topology, time varying QoS requirements, limited resources and energy etc. QoS routing plays an important role for providing QoS in wireless ad hoc networks. The most complex issue in this kind of networks is to find a path between the communication end points satisfying QoS requirement for the user. Nature-inspired algorithms (swarm intelligence) such as ant colony optimization ACO)algorithms have shown to be a good technique for developing routing algorithms for MANETs. In this paper, a new QoS algorithm for mobile ad hoc network has been proposed. The proposed algorithm combines the idea of Ant Colony Optimization (ACO) with Optimized Link State Routing (OLSR) protocol to identify multiple stable paths between source and destination nodes.


title: Does Considering Quantum Correlations Resolve the Information Paradox?

abstract: In this paper, we analyze whether quantum correlations between successive steps of evaporation can open any way to resolve the black hole information paradox. Recently a celebrated result in literature shows that `small' correction to leading order Hawking analysis fails to restore unitarity in black hole evaporation. We study a toy qubit model of evaporation allowing small quantum correlations between successive steps and verify the previous result. Then we generalize the concept of correction to Hawking state by relaxing the `smallness' condition. Our result generates a nontrivial upper and lower bound on change in entanglement entropy in the evaporation process. This gives us a quantitative measure of correction that would mathematically facilitate restoration of unitarity in black hole evaporation. We then investigate whether this result is compatible to the established physical constraints of unitary evolution of a state in a subsystem. We find that the generalized bound on entanglement entropy leads to significant deviation from Page curve. This leads us to agree with the recent claim in literature that no amount of correction in the form of Bell pair states would lead to any resolution to the information paradox.


title: Machine Learning Techniques for Intrusion Detection

abstract: An Intrusion Detection System (IDS) is a software that monitors a single or a network of computers for malicious activities (attacks) that are aimed at stealing or censoring information or corrupting network protocols. Most techniques used in today's IDS are not able to deal with the dynamic and complex nature of cyber attacks on computer networks. Hence, efficient adaptive methods like various techniques of machine learning can result in higher detection rates, lower false alarm rates and reasonable computation and communication costs. In this paper, we study several such schemes and compare their performance. We divide the schemes into methods based on classical artificial intelligence (AI) and methods based on computational intelligence (CI). We explain how various characteristics of CI techniques can be used to build efficient IDS.


title: On particle oscillations

abstract: It has been firmly established, that neutrinos change their flavour during propagation. This feature is attributed to the fact, that each flavour eigenstate is a superposition of three mass eigenstates, which propagate with different frequencies. This picture, although widely accepted, is wrong in the simplest approach and requires quite sophisticated treatment based on the wave-packet description within quantum field theory. In this communication we present a novel, much simpler explanation and show, that oscillations among massive particles can be obtained in a natural way. We use the framework of quantum mechanics with time being a physical observable, not just a parameter.


title: On the implicit interest rate in the Yunus equation

abstract: In his book with Alan Jolis, Vers un monde sans pauvret\'e (1997) Yunus gives the example of a microcredit loan of 1000BDT reimbursed via 50 weekly settlements of 22BDT and correctly claims that this corresponds to the annual interest rate of 20%. But this is without taking into account that if the borrower has good reasons not to pay at one installment, she can postpone of one week all remaining settlements, under the same conditions, so without extra cost. This of course leads to a lower implicit interest rate. Introducing a simple geometric law model for the time between settlements, this turns the implicit interest rate into a random variable, whose laws is still unknown but for which we provide simulated empirical distribution density function. De ning by actuarial expected rate the real number r that satis es the expectation of the random Yunus equation, we compute this number as a function of the probability p of in-time installment. This allows in turn to compute the implicit probability p which is to the value of p corresponding to the observed 3% default rate, where in practice, \default" means \more than four weeks delay". The mathematical tool used is the probability generating function, the computer tool is the Scilab algebraic equation solver.


title: Set-valued solutions for non-ideal detonation

abstract: The existence and structure of steady gaseous detonation propagating in a packed bed of solid inert particles are analyzed in the one-dimensional approximation by taking into consideration frictional and heat losses between the gas and the particles. A new formulation of the governing equations is introduced that eliminates the well-known difficulties with numerical integration across the sonic singularity in the reactive Euler equations. The new algorithm allows us to determine that the detonation solutions as the loss factors are varied have a set-valued nature at low detonation velocities when the sonic constraint disappears from the solutions. These set-valued solutions correspond to a continuous spectrum of the eigenvalue problem that determines the velocity of the detonation.


title: Carrier-number fluctuations in the 2-dimensional electron gas at the LaAlO3/SrTiO3 interface

abstract: The voltage-spectral density SV(f) of the 2-dimensional electron gas formed at the interface of LaAlO3 /SrTiO3 has been thoroughly investigated. The low-frequency component has a clear 1/f behavior with a quadratic bias current dependence, attributed to resistance fluctuations. However, its temperature dependence is inconsistent with the classical Hooge model, based on carrier-mobility fluctuations. The experimental results are, instead, explained in terms of carrier-number fluctuations, due to an excitation-trapping mechanism of the 2-dimensional electron gas.


title: Solve of problems of mathematical theory of learning with using computer modeling methods

abstract: Analyzed models of learning, which take into account that: 1) the rate of increase of student's knowledge is proportional to the difference between levels of teacher's requirements and prior knowledge; 2) if the requirements are too high, then student motivation decreases and he stops learning. Was proposed: 1) a one component model, coming from the fact that the training information consists of equal elements; 2) a two component model that takes into account that knowledge is assimilated with varying strength, 'trustworthy' knowledge forgotten much slower then 'weak'; 3) two component model, which takes into account the transition of 'weak' knowledge in 'trustworthy' knowledge. The solution of the five predictors and optimization problems of learning theory are represented.


title: Maximum Likelihood Estimation from Sign Measurements with Sensing Matrix Perturbation

abstract: The problem of estimating an unknown deterministic parameter vector from sign measurements with a perturbed sensing matrix is studied in this paper. We analyze the best achievable mean square error (MSE) performance by exploring the corresponding Cram\'{e}r-Rao Lower Bound (CRLB). To estimate the parameter, the maximum likelihood (ML) estimator is utilized and its consistency is proved. We show that the perturbation on the sensing matrix exacerbates the performance of ML estimator in most cases. However, suitable perturbation may improve the performance in some special cases. Then we reformulate the original ML estimation problem as a convex optimization problem, which can be solved efficiently. Furthermore, theoretical analysis implies that the perturbation-ignored estimation is a scaled version with the same direction of the ML estimation. Finally, numerical simulations are performed to validate our theoretical analysis.


title: Inverse coefficient problem for Grushin-type parabolic operators

abstract: The approach to Lipschitz stability for uniformly parabolic equations introduced by Imanuvilov and Yamamoto in 1998 based on Carleman estimates, seems hard to apply to the case of Grushin-type operators studied in this paper. Indeed, such estimates are still missing for parabolic operators degenerating in the interior of the space domain. Nevertheless, we are able to prove Lipschitz stability results for inverse coefficient problems for such operators, with locally distributed measurements in arbitrary space dimension. For this purpose, we follow a strategy that combines Fourier decomposition and Carleman inequalities for certain heat equations with nonsmooth coefficients (solved by the Fourier modes).


title: Geometric graphs on convex point sets

abstract: In this note, we introduce a family of bipartite graphs called path restricted ordered bipartite graphs and present it as an abstract generalization of some well known geometric graphs like unit distance graphs on convex point sets. In the framework of convex point sets, we also focus on a generalized version of Gabriel graphs known as locally Gabriel graphs or $LGGs$. $LGGs$ can also be seen as the generalization of unit distance graphs. The path restricted ordered bipartite graph is also a generalization of $LGGs$. We study some structural properties of the path restricted ordered bipartite graphs and also show that such graphs have the maximum edge complexity of $\theta(n \log n)$. It gives an alternate proof to the well known result that $UDGs$ and $LGGs$ on convex points have $O(n \log n)$ edges.


title: Geodesic Bases for Lie Algebras

abstract: For finite dimensional real Lie algebras, we investigate the existence of an inner product having a basis comprised of geodesic elements. We give several existence and non-existence results in certain cases: unimodular solvable Lie algebras having an abelian nilradical, algebras having an abelian derived algebra, algebras having a codimension one ideal of a particular kind, nonunimodular algebras of dimension \$\leq 4\$, and unimodular algebras of dimension 5.


title: First measurement of the helicity asymmetry for $\gamma p\rightarrow p\pi^0$ in the resonance region

abstract: The first measurement of the helicity dependence of the photoproduction cross section of single neutral pions off protons is reported for photon energies from 600 to 2300\,MeV, covering nearly the full solid angle. The data are compared to predictions from the SAID, MAID, and BnGa partial wave analyses. Strikingly large differences between data and predictions are observed which are traced to differences in the helicity amplitudes of well known and established resonances. Precise values for the helicity amplitudes of several resonances are reported.


title: Cross-layer Design of CSMA/CA with Spectrum Sensing for Cognitive Radio Networks

abstract: We devise a cross-layer design (CLD) of carrier sensing multiple access with collision avoidance (CSMA/CA) at the medium access control (MAC) layer with spectrum sensing (SpSe) at the physical layer for cognitive radio networks (CRNs). The proposed CLD relies on a Markov chain model with a state pair containing both the SpSe and the CSMA/CA with exponential backoff from which we derive the transmission and collision probabilities. Due to the 2-dimensions of CSMA/CA model with exponential backoff, the resulted Markov chain is obtained with 3-dimensions. Simulation and numerical results are derived and illustrated highlighting the impact of SpSe in CSMA/CA with exponential backoff. The obtained results could be used as performance criteria to evaluate the performance of specific CRNs when they are deployed in a distributed coordination fashion that is prone to collisions.


title: Peculiarities of clusters formation in true ternary fission of $^{252}$Cf and $^{236}$U$^*$

abstract: The existence of a new type of cluster decay called "collinear cluster tri-partition" (CCT) is discussed by an analysis of the landscape of the potential energy surface (PES). The total energy of the ternary system is found as a sum the binding energies of fragments and nucleus-nucleus interaction between them. The pre-scission state of the ternary system is assumed to be arranged as a chain of the three fragments along a straight line. Minima and valleys of the PES are determined by variation of the proton and neutron distributions between them. Pre-scission prompt emission of neutrons is assumed and PES is calculated for the cases of emission of 2---4 neutrons. The presence of the valley corresponding to the formation of the isotopes of Sn with masses $A$=130---136 is inherent for all PES calculated for CCT for spontaneous fission of $^{252}$Cf and fission induced by neutrons of $^{235}$U. There are local minima indicating the formation of Ca, Fe, Ni, Ge and Se isotopes having magic proton or/and neutron numbers, such as 20, 28, and 50. The analysis shows that the experimentally observed $^{68}$Ni is formed as the edge fragment of the ternary system connecting to Sn by Si and Ca isotopes at fission of $^{236}$U and $^{252}$Cf, respectively.


title: Linear flags and Koszul filtrations

abstract: We show that the graded maximal ideal of a graded $K$-algebra $R$ has linear quotients for a suitable choice and order of its generators if the defining ideal of $R$ has a quadratic Gr\"obner basis with respect to the reverse lexicographic order, and show that this linear quotient property for algebras defined by binomial edge ideals characterizes closed graphs. Furthermore, for algebras defined by binomial edge ideals attached to a closed graph and for join-meet rings attached to a finite distributive lattice we present explicit Koszul filtrations.


title: A structure theorem for 2-stretched Gorenstein algebras

abstract: In this paper we study the isomorphism classes of local, Artinian, Gorenstein k-algebras A whose maximal ideal M satisfies dim_k(M^3/M^4)=1 by means of Macaulay's inverse system generalizing a recent result by J. Elias and M.E. Rossi. Then we use such results in order to complete the description of the singular locus of the Gorenstein locus of the punctual Hilbert scheme of degree 11.


title: Einstein's cosmic model of 1931 revisited: an analysis and translation of a forgotten model of the universe

abstract: We present a translation and analysis of a cosmic model published by Einstein in 1931. The paper, which is not widely known, features a model of a universe that undergoes an expansion followed by a contraction, quite different to his static model of 1917 or the monotonic Einstein-de Sitter model of 1932. The paper offers many insights into the cosmology of Albert Einstein in the light of the first evidence for an expanding universe, and we discuss his views of issues such as the curvature of space, the cosmological constant, the singularity and the timespan of the expansion. We argue that retrospective descriptions of this model as cyclic or periodic are not historically or mathematically accurate. We find that calculations in the paper of the matter density and radius of the universe contain a numerical error, a finding that is supported by writing on a blackboard used by Einstein during a lecture at Oxford University in May 1931. Our article concludes with a general discussion of his philosophy of cosmology.


title: Continuum EoS for QCD with Nf=2+1 flavors

abstract: We report on a continuum extrapolated result [arXiv:1309.5258] for the equation of state (EoS) of QCD with $N_f=2+1$ dynamical quark flavors. In this study, all systematics are controlled, quark masses are set to their physical values, and the continuum limit is taken using at least three lattice spacings corresponding to temporal extents up to $N_t=16$. A Symanzik improved gauge and stout-link improved staggered fermion action is used. Our results are available online [ancillary file to arXiv:1309.5258].


title: On Kinetic Delaunay Triangulations: A Near Quadratic Bound for Unit Speed Motions

abstract: Let $P$ be a collection of $n$ points in the plane, each moving along some straight line at unit speed. We obtain an almost tight upper bound of $O(n^{2+\epsilon})$, for any $\epsilon>0$, on the maximum number of discrete changes that the Delaunay triangulation $\mathbb{DT}(P)$ of $P$ experiences during this motion. Our analysis is cast in a purely topological setting, where we only assume that (i) any four points can be co-circular at most three times, and (ii) no triple of points can be collinear more than twice; these assumptions hold for unit speed motions.


title: Supercongruences for sporadic sequences

abstract: We prove two-term supercongruences for generalizations of recently discovered sporadic sequences of Cooper. We also discuss recent progress and future directions concerning other types of supercongruences.


title: Some Generalizations of the Hellinger Theorem for Second Order Difference Equations with Matrix Elements

abstract: We obtain several generalizations the Hellinger theorem about $l^2$ solutions of difference equations: instead of second order equations and $ l^2$-solutions, we consider second-order equations with matrix coefficients and their solutions in $l^p,\; 1\le p\le \infty$. In particular it is shown that for a certain class of symmetric difference equations an analog of this theorem holds for $1\le p \le 2$, but it does not hold for $p>2$.


title: Robust two-qubit gates for donors in silicon controlled by hyperfine interactions

abstract: We present two strategies for performing two-qubit operations on the electron spins of an exchange-coupled pair of phosphorus donors in silicon, using the ability to set the donor nuclear spins in arbitrary states. The effective magnetic detuning of the two electron qubits is provided by the hyperfine interaction when the $^{31}$P nuclei are prepared in opposite spin states. This can be exploited to switch on and off SWAP operations with modest tuning of the electron exchange interaction. Furthermore, the hyperfine detuning enables high-fidelity conditional rotation gates based on selective resonant excitation. The latter requires no dynamic tuning of the exchange interaction at all, and offers a very attractive scheme to implement two-qubit logic gates under realistic experimental conditions.


title: An obstruction to the smoothability of singular nonpositively curved metrics on 4-manifolds by patterns of incompressible tori

abstract: We give new examples of closed smooth 4-manifolds which support singular metrics of nonpositive curvature, but no smooth ones, thereby answering affirmatively a question of Gromov. The obstruction comes from patterns of incompressible 2-tori sufficiently complicated to force branching of geodesics for nonpositively curved metrics.


title: Evidence for cosmic neutrino background form CMB circular polarization

abstract: The primordial anisotropies of the cosmic microwave background are linearly polarized via Compton-scattering. On the other hand, a primordial degree of circular polarization of the Cosmic Microwave Background is not observationally excluded. In this work, we discuss the generation of the circular polarization of CMB via their scattering on the cosmic neutrino background since the epoch of recombination. We show that photon-neutrino interaction can transform plane polarization into circular polarization through processes $\gamma+\nu\rightarrow\gamma+\nu$ and the Stokes-V parameter of CMB has linear dependence on the wavelength and square dependence on the average pressure and shear stress perturbations of cosmic neutrino background and also the maximum value of $C^V$ is estimated in range of a few Nano-Kelvin square.


title: Potential Examples for Non-Additivity of the Minimal Output Entropy

abstract: In this paper, we study the minimal output entropy of EPOSIC channels. We determine the cases where their minimal output entropy is zero, and obtain some partial results on the fulfillment of their entanglement breaking property.Our results show that these channels provide potential examples for non-additivity of the minimal output entropy.


title: Harmonic functions and stationary distributions for asymptotically homogeneous transition kernels on $Z^+$

abstract: We suggest a method for constructing positive harmonic functions for a wide class of transition kernels on $Z^+$. We also find natural conditions under which these functions have positive finite limits at infinity. Further, we apply our results on harmonic functions to asymptotically homogeneous Markov chains on $Z^+$ with asymptotically negative drift. More precisely, assuming that Markov chain satisfy Cram\'er's condition, we study the tail asymptotics of the stationary distribution. In particular, we clarify the influence of the rate of convergence of jumps of the chain towards the limiting distribution.


title: Compact Homogeneous Locally Conformally Kaehler Manifolds

abstract: In this paper we show as main results two structure theorems of a compact homogeneous locally conformally Kaehler (or shortly l.c.K.) manifold, a holomorphic structure theorem asserting that it has a structure of holomorphic principal fiber bundle over a flag manifold with fiber a 1-dimensional complex torus, and a metric structure theorem asserting that it is necessarily of Vaisman type. We also discuss and determine l.c.K. reductive Lie groups and compact locally homogeneous l.c.K. manifolds of reductive Lie groups.


title: Research on fresh agriculture product based on overconfidence of the retailer under options and spot markets dominated

abstract: In this article, we analyze the application of options contract in special commodity supply chain such as fresh agricultural products. This problem is discussed in the point of the retailer. When spot market and future market are both available, we discuss how the retailer chooses the optimal production. Furthermore, overconfidence is introduced to the supply chain of the fresh agricultural products, which has not happened before. Then,based on the overconfidence of the retailer, we explore how overconfidence affects the supply chain system under different circumstances. At last, we get the conclusion that different overconfidence level has different affection on retailer's optimal ordering quantity and profit.


title: Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity Topoi

abstract: We develop a universal framework to study smooth higher orbifolds on the one hand and higher Deligne-Mumford stacks (as well as their derived and spectral variants) on the other, and use this framework to obtain a completely categorical description of which stacks arise as the functor of points of such objects. We choose to model higher orbifolds and Deligne-Mumford stacks as infinity-topoi equipped with a structure sheaf, thus naturally generalizing the work of Lurie, but our approach applies not only to different settings of algebraic geometry such as classical algebraic geometry, derived algebraic geometry, and the algebraic geometry of commutative ring spectra as in Lurie's work, but also to differential topology, complex geometry, the theory of supermanifolds, derived manifolds etc., where it produces a theory of higher generalized orbifolds appropriate for these settings. This universal framework yields new insights into the general theory of Deligne-Mumford stacks and orbifolds, including a representability criterion which gives a categorical characterization of such generalized Deligne-Mumford stacks. This specializes to a new categorical description of classical Deligne-Mumford stacks, a result sketched in previous work of the author, which extends to derived and spectral Deligne-Mumford stacks as well.


title: Optimization of BaF 2 PAL-spectrometer geometry on basis of the Geant4 simulations

abstract: Incorrect choice of measuring geometry and signal discrimination thresholds for the BaF2 PAL spectrometer can lead to a significant distortion in the measured spectrum of positron lifetime. The contribution of the distorted events for non-optimal geometry (e.g. "face to face") can exceed 50%. It reduces the lifetime of the spectral components and redistributes intensities. Geant4 simulation permits to evaluate influence of measuring geometry on spectrum distortion and to choose the most appropriate discrimination thresholds. Optimal geometry with a lead absorber between the detectors permits to reduce contribution of distorted coincidences to less than 1% and to provide sufficiently high count rate of true events.


title: Exact analytical solution for one nonlinear variational problem of the cavitation theory

abstract: In this paper we investigate the limiting values of the lift and drag coefficients of profiles in the Helmholtz--Kirchhoff (infinite cavity) flow. The coefficients are based on the wetted arc length of profile surfaces. Namely, for a given value of the lift coefficient we find minimum and maximum values of the drag coefficient. Thereby, we determine maximum and minimum values of the lift-to-drag ratios.


title: A Cache Energy Optimization Technique for STT-RAM Last Level Cache

abstract: Last level caches (LLCs) occupy a large chip-area and there size is expected to grow further to offset the limitations of memory bandwidth and speed. Due to high leakage consumption of SRAM device, caches designed with SRAM consume large amount of energy. To address this, use of emerging technologies such as spin torque transfer RAM (STT-RAM) has been investigated which have lower leakage power dissipation. However, the high write latency and power of it may lead to large energy consumption which present challenges in its use. In this report, we propose a cache reconfiguration based technique for improving the energy efficiency of STT-RAM based LLCs. Our technique dynamically adjusts the active cache size to reduce the cache leakage energy consumption with minimum performance loss. We choose a suitable value of STT-RAM retention time for avoiding refresh overhead and gaining performance. Single-core simulations have been performed using SPEC2006 benchmarks and Sniper x86-64 simulator. The results show that while, compared to an STT-RAM LLC of similar area, an SRAM LLC incurs nearly 100% loss in energy and 7.3% loss in performance; our technique using STT-RAM cache saves 21.8% energy and incurs only 1.7% loss in performance.


title: A general correlation inequality and the Almost Sure Local Limit Theorem for random sequences in the domain of attraction of a stable law

abstract: In the present paper we obtain a new correlation inequality and use it for the purpose of extending the theory of the Almost Sure Local Limit Theorem to the case of lattice random sequences in the domain of attraction of a stable law. In particular, we prove ASLLT in the case of the normal domain of attraction of $\alpha$--stable law, $\alpha\in(1,2)$.


title: Construct Graph Logic

abstract: In this paper, author uses set theory to construct a logic model of abstract figure from binary relation. Based on the uniform quantified structure, author gives two logic system for graph traversal and graph coloring respectively, moreover shows a new method of cutting graph. Around this model, there are six algorithms in this paper including exact graph traversal, Algebra calculation of natural number, graph partition and graph coloring.


title: A Supplement to the Classification of Flat Homogeneous Spaces of Signature (m,2)

abstract: Duncan and Ihrig (1993) gave a classification of the flat homogeneous spaces of metric signature (m,2), provided that a certain condition on the development image of these spaces holds. In this note we show that this condition can be dropped, so that Duncan and Ihrig's classification is in fact the full classification for signature (m,2).


title: Index Distribution of Cauchy Random Matrices

abstract: Using a Coulomb gas technique, we compute analytically the probability $\mathcal{P}_\beta^{(C)}(N_+,N)$ that a large $N\times N$ Cauchy random matrix has $N_+$ positive eigenvalues, where $N_+$ is called the index of the ensemble. We show that this probability scales for large $N$ as $\mathcal{P}_\beta^{(C)}(N_+,N)\approx \exp\left[-\beta N^2 \psi_C(N_+/N)\right]$, where $\beta$ is the Dyson index of the ensemble. The rate function $\psi_C(\kappa)$ is computed in terms of single integrals that are easily evaluated numerically and amenable to an asymptotic analysis. We find that the rate function, around its minimum at $\kappa=1/2$, has a quadratic behavior modulated by a logarithmic singularity. As a consequence, the variance of the index scales for large $N$ as $\mathrm{Var}(N_+)\sim \sigma_C\ln N$, where $\sigma_C=2/(\beta\pi^2)$ is twice as large as the corresponding prefactor in the Gaussian and Wishart cases. The analytical results are checked by numerical simulations and against an exact finite $N$ formula which, for $\beta=2$, can be derived using orthogonal polynomials.

categories: cond-mat.stat-mech math-ph math.MP stat.OT


title: Neutron in Strong Magnetic Fields

abstract: Relativistic world-line Hamiltonian for strongly interacting 3q systems in magnetic field is derived from the path integral for the corresponding Green's function. The neutral baryon Hamiltonian in magnetic field obeys the pseudomomentum conservation and allows a factorization of the c.m. and internal motion. The resulting expression for the baryon mass in magnetic field is written explicitly with the account of hyperfine, OPE and OGE (color Coulomb) interaction. The neutron mass is fast decreasing with magnetic field, losing 1/2 of its value at eB~0.25 GeV^2 and is nearly zero at eB~0.5 GeV^2. Possible physical consequences of the calculated mass trajectory of the neutron, M_n(B), are presented and discussed.


title: Scaling Properties of Parallelized Multicanonical Simulations

abstract: We implemented a parallel version of the multicanonical algorithm and applied it to a variety of systems with phase transitions of first and second order. The parallelization relies on independent equilibrium simulations that only communicate when the multicanonical weight function is updated. That way, the Markov chains efficiently sample the temporary distributions allowing for good estimations of consecutive weight functions. The systems investigated range from the well known Ising and Potts spin systems to bead-spring polymers. We estimate the speedup with increasing number of parallel processes. Overall, the parallelization is shown to scale quite well. In the case of multicanonical simulations of the $q$-state Potts model ($q\ge6$) and multimagnetic simulations of the Ising model, the optimal performance is limited due to emerging barriers.


title: Nonperturbative calculations in truncated Fock space in LFD

abstract: A non-perturbative approach based on the Fock decomposition of the state vector and its truncation is discussed. In order the non-perturbative renormalization procedure after truncation could eliminate infinities, it should be the sector dependent. We clarify the meaning of this procedure in a toy model. Then we demonstrate stability, relative to the increasing cutoff, of the anomalous magnetic moment found using the sector dependent renormalization scheme in Yukawa model.


title: The Onset of Spiral Structure in the Universe

abstract: The onset of spiral structure in galaxies appears to occur between redshifts 1.4 and 1.8 when disks have developed a cool stellar component, rotation dominates over turbulent motions in the gas, and massive clumps become less frequent. During the transition from clumpy to spiral disks, two unusual types of spirals are found in the Hubble Ultra Deep Field that are massive, clumpy and irregular like their predecessor clumpy disks, yet spiral-like or sheared like their descendants. One type is ``woolly'' with massive clumpy arms all over the disk and is brighter than other disk galaxies at the same redshift, while another type has irregular multiple arms with high pitch angles, star formation knots and no inner symmetry like today's multiple-arm galaxies. The common types of spirals seen locally are also present in a redshift range around z~1, namely grand design with two symmetric arms, multiple arm with symmetry in the inner parts and several long, thin arms in the outer parts, and flocculent, with short, irregular and patchy arms that are mostly from star formation. Normal multiple arm galaxies are found only closer than z~0.6 in the UDF. Grand design galaxies extend furthest to z~1.8, presumably because interactions can drive a two-arm spiral in a disk that would otherwise have a more irregular structure. The difference between these types is understandable in terms of the usual stability parameters for gas and stars, and the ratio of the velocity dispersion to rotation speed.


title: Proceedings Second Workshop on Trends in Functional Programming In Education

abstract: The Second International Workshop on Trends in Functional Programming in Education, TFPIE 2013, was held on May 13, 2013 at Brigham Young University in Provo, Utah, USA. The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. Submissions were vetted by the TFPIE 2013 program committee using prevailing academic standards. The 2 articles in this volume were selected for publication as the result of this process. Tobin-Hochstadt and Van Horn report on their solution to the difficult transition between the first semester course in functional programming (using languages, programming environment, etc. intended for teaching) to the second semester course in object-oriented programming (with a production-oriented language, environment, etc.). Finding that this confusing circumstance made the key concepts hard to grasp for students, the authors present and evaluate a new introduction to the second semester course, based on the environment and languages the students used before, that focusses on key object-oriented concepts. Caldwell lays out an education narrative that focusses on reasoning about programs, using structural induction principles. He argues that more such formal reasoning should get more emphasis in programming education and demonstrates the feasibility thereof by reporting on his experiences using this narrative in the functional programming course at the University of Wyoming.


title: New tabulation and sparse dynamic programming based techniques for sequence similarity problems

abstract: Calculating the length of a longest common subsequence (LCS) of two strings $A$ and $B$ of length $n$ and $m$ is a classic research topic, with many worst-case oriented results known. We present two algorithms for LCS length calculation with respectively $O(mn \log\log n / \log^2 n)$ and $O(mn / \log^2 n + r)$ time complexity, the latter working for $r = o(mn / (\log n \log\log n))$, where $r$ is the number of matches in the dynamic programming matrix. We also describe conditions for a given problem sufficient to apply our techniques, with several concrete examples presented, namely the edit distance, LCTS and MerLCS problems.


title: Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

abstract: PLACES 2013 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) was the sixth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. This year, PLACES was the best attended workshop at ETAPS 2013. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which concurrency and communication are intrinsic aspects. This includes software for multi- and many-core systems, accelerators and large-scale distributed and/or service-oriented systems. The scope of PLACES includes new programming language features, whole new programming language designs, new type systems, new semantic approaches, new program analysis techniques, and new implementation mechanisms.


title: Asymptotics of spectral gaps of 1D Dirac operator with two exponential terms potential

abstract: The one-dimensional Dirac operator \begin{equation*} L = i \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \frac{d}{dx} +\begin{pmatrix} 0 & P(x) \\ Q(x) & 0 \end{pmatrix}, \quad P,Q \in L^2 ([0,\pi]), \end{equation*} considered on $[0,\pi]$ with periodic and antiperiodic boundary conditions, has discrete spectra. For large enough $|n|,\, n \in \mathbb{Z}, $ there are two (counted with multiplicity) eigenvalues $\lambda_n^-,\lambda_n^+ $ (periodic if $n$ is even, or antiperiodic if $n$ is odd) such that $|\lambda_n^\pm - n |<1/2.$ We study the asymptotics of spectral gaps $\gamma_n =\lambda_n^+ - \lambda_n^-$ in the case $$P(x)=a e^{-2ix} + A e^{2ix}, \quad Q(x)=b e^{-2ix} + B e^{2ix},$$ where $a, A, b, B$ are nonzero complex numbers. We show, for large enough $m,$ that $\gamma_{\pm 2m}=0 $ and \begin{align*} \gamma_{2m+1} = \pm 2 \frac{\sqrt{(Ab)^m (aB)^{m+1}}}{4^{2m} (m!)^2 } \left[ 1 + O \left( \frac{\log^2 m}{m^2}\right) \right], \end{align*} \begin{align*} \gamma_{-(2m+1)} = \pm 2\frac{\sqrt{(Ab)^{m+1} (aB)^m}}{4^{2m} (m!)^2} \left[ 1 + O \left( \frac{\log^2 m}{m^2}\right) \right]. \end{align*}


title: Present status of the Bethe-Salpeter approach in Minkowski space

abstract: Recently developed methods allowing to find the solutions of the Bethe-Salpeter equations in Minkowski space, both for the bound and scattering states, are reviewed. For the bound states, one obtains the bound state mass and the corresponding BS amplitude. For the scattering states, the phase shifts (complex above the meson creation threshold) and the half-off-shell BS amplitude are found. Using these solutions, the elastic and transition electromagnetic form factors are calculated.


title: Microtubule dynamic instability: the role of cracks between protofilaments

abstract: Microtubules (MTs) are cytoplasmic protein polymers that are essential for fundamental cellular processes including the maintenance of cell shape, organelle transport and formation of the mitotic spindle. Microtubule dynamic instability is critical for these processes, but it remains poorly understood, in part because the relationship between the structure of the MT tip and the growth/depolymerization transitions is enigmatic. What are the functionally significant aspects of a tip structure that is capable of promoting MT growth, and how do changes in these characteristics cause the transition to depolymerization (catastrophe)? Here we use computational models to investigate the connection between cracks (laterally unbonded regions) between protofilaments and dynamic instability. Our work indicates that it is not the depth of the cracks per se that governs MT dynamic instability. Instead it is whether the cracks terminate in GTP-rich or GDP-rich areas of the MT that governs whether a particular MT tip structure is likely to grow, shrink, or transition: the identity of the crack-terminating subunit pairs has a profound influence on the moment-by-moment behavior of the MT.


title: A Stability Result for Sparse Convolutions

abstract: We will establish in this note a stability result for sparse convolutions on torsion-free additive (discrete) abelian groups. Sparse convolutions on torsion-free groups are free of cancellations and hence admit stability, i.e. injectivity with a universal lower bound $\alpha=\alpha(s,f)$, only depending on the cardinality $s$ and $f$ of the supports of both input sequences. More precisely, we show that $\alpha$ depends only on $s$ and $f$ and not on the ambient dimension. This statement follows from a reduction argument which involves a compression into a small set preserving the additive structure of the supports.


title: Nilpotent Sabinin algebras

abstract: In this note we establish several basic properties of nilpotent Sabinin algebras. Namely, we show that nilpotent Sabinin algebras (1) can be integrated to produce nilpotent loops, (2) satisfy an analogue of the Ado theorem, (3) have nilpotent Lie envelopes. We also give a new set of axioms for Sabinin algebras. These axioms reflect the fact that a complementary subspace to a Lie subalgebra in a Lie algebra is a Sabinin algebra. Finally, we note that the non-associative version of the Jennings theorem produces a version of Ado theorem for loops whose commutator-associator filtration is of finite length.


title: Stability of Einstein metrics under Ricci flow

abstract: We prove dynamical stability and instability theorems for compact Einstein metrics under the Ricci flow. We give a nearly complete charactarization of dynamical stability and instability in terms of the conformal Yamabe invariant and the Laplace spectrum. In particular, we prove dynamical stability of some classes of Einstein manifolds for which it was previously not known. Additionally, we show that the complex projective space with the Fubini-Study metric is surprisingly dynamically unstable.


title: VoIP Technology: Security Issues Analysis

abstract: Voice over IP (VoIP) is the technology allowing voice and multimedia transmissions as data packets over a private or a public IP network. Thanks to the benefits that it may provide, the VoIP technology is increasingly attracting attention and interest in the industry. Actually, VoIP allows significant benefits for customers and communication services providers such as cost savings, rich media service, phone and service portability, mobility, and the integration with other applications. Nevertheless, the deployment of the VoIP technology encounters many challenges such as architecture complexity, interoperability issues, QoS issues, and security concerns. Among these disadvantages, VoIP security issues are becoming more serious because traditional security devices, protocols, and architectures cannot adequately protect VoIP systems from recent intelligent attacks. The aim of this paper is carry out a deep analysis of the security concerns of the VoIP technology. Firstly, we present a brief overview about the VoIP technology. Then, we discuss security attacks and vulnerabilities related to VoIP protocols and devices. After that, we talk about the security profiles of the VoIP protocols, and we present the main security components designed to help the deployment of a reliable and secured VoIP systems.


title: On two Algorithmic Problems about Synchronizing Automata

abstract: Under the assumption $\mathcal{P} \neq \mathcal{NP}$, we prove that two natural problems from the theory of synchronizing automata cannot be solved in polynomial time. The first problem is to decide whether a given reachable partial automaton is synchronizing. The second one is, given an $n$-state binary complete synchronizing automaton, to compute its reset threshold within performance ratio less than $d \ln{(n)}$ for a specific constant $d>0$.


title: Decision Fusion with Unknown Sensor Detection Probability

abstract: In this correspondence we study the problem of channel-aware decision fusion when the sensor detection probability is not known at the decision fusion center. Several alternatives proposed in the literature are compared and new fusion rules (namely 'ideal sensors' and 'locally-optimum detection') are proposed, showing attractive performance and linear complexity. Simulations are provided to compare the performance of the aforementioned rules.


title: Testing the nature of the black hole candidate in GRO J1655-40 with the relativistic precession model

abstract: Quasi-periodic oscillations (QPOs) are a common feature in the X-ray flux of stellar-mass black hole candidates, but their exact origin is not yet known. Recently, some authors have pointed out that data of GRO J1655-40 simultaneously show three QPOs that nicely fit in the relativistic precession model. However, they find an estimate of the spin parameter that disagrees with the measurement of the disk's thermal spectrum. In the present work, I explore the possibility of using the relativistic precession model to test the nature of the black hole candidate in GRO J1655-40. If properly understood, QPOs may become a quite powerful tool to probe the spacetime geometry around black hole candidates, especially if used in combination with other techniques. It turns out that the measurements of the relativistic precession model and of the disk's thermal spectrum may be consistent if we admit that the black hole candidate in GRO J1655-40 is not of the Kerr type.


title: On BMS Invariance of Gravitational Scattering

abstract: BMS+ transformations act nontrivially on outgoing gravitational scattering data while preserving intrinsic structure at future null infinity (I+). BMS- transformations similarly act on ingoing data at past null infinity (I-). In this paper we apply - within a suitable finite neighborhood of the Minkowski vacuum - results of Christodoulou and Klainerman to link I+ to I- and thereby identify "diagonal" elements BMS0 of (BMS+)X(BMS-). We argue that BMS0 is a nontrivial infinite-dimensional symmetry of both classical gravitational scattering and the quantum gravity S-matrix. It implies the conservation of net accumulated energy flux at every angle on the conformal S2 at I+. The associated Ward identity is shown to relate S-matrix elements with and without soft gravitons. Finally, BMS0 is recast as a U(1) Kac-Moody symmetry and an expression for the Kac-Moody current is given in terms of a certain soft graviton operator on the boundary of null infinity.


title: Equivalence of two diagram representations of links in lens spaces and essential invariants

abstract: In this paper we study the relation between two diagrammatic representations of links in lens spaces: the disk diagram and the grid diagram and we find how to pass from one to the other. We also investigate whether the HOMFLY-PT invariant and the Link Floer Homology are essential invariants, that is, we try to understand if these invariants are able to distinguish links in $L(p,q)$ covered by the same link in $\mathbf{S}^3$. In order to do so, we generalize the combinatorial definition of Knot Floer Homology in lens spaces to the case of links and we analyze how both the invariants change when we switch the orientation of the link.


title: RPV SUSY effects in $\tau^- \to e^-(\mu^-) K\bar{K}$ Decays

abstract: In this paper, we investigate $\tau^- \to e^-(\mu^-) K\bar{K}(K\bar{K}=K ^+K^-,K^0\bar{K}^0)$ decays in the framework of the RPV SUSY model. We discuss the tree level contribution of the sparticles $\tilde{\nu}$ and $\tilde{u}$ to these decay branching ratios. In the two channels, the $\tilde{\nu}$-mediated channel is more sensitive to the parameter product $|\lambda^{'*}_{i22}\lambda_{i31(2)}|$ than the $\tilde{u}$-mediated channel to $|\lambda^{'*}_{1(2)j2}\lambda'_{3j2}|$. And the parameter product $|\lambda^{'*}_{i22}\lambda_{i31(2)}|$ is severely constrained to the order of ${\cal O}(10^{-5})$ by the experiment data with $m_{\tilde{\nu}}=100 GeV$, which is one order of magnitude more stringent than before. In the calculation of hadronic matrix elements, the resonant effects are large than those of non-resonant terms. Especially, the resonant contribution of scalar meson $f_{(980)}$ plays a dominate role in $\tilde{\nu}$-mediated channel.


title: Algorithms for Joint Phase Estimation and Decoding for MIMO Systems in the Presence of Phase Noise

abstract: In this work, we derive the maximum a posteriori (MAP) symbol detector for a multiple-input multiple-output system in the presence of Wiener phase noise due to noisy local oscillators. As in single-antenna systems, the computation of the optimal receiver is an infinite dimensional problem and is thus unimplementable in practice. In this purview, we propose three suboptimal, low-complexity algorithms for approximately implementing the MAP symbol detector, which involve joint phase noise estimation and data detection. Our first algorithm is obtained by means of the sum-product algorithm, where we use the multivariate Tikhonov canonical distribution approach. In our next algorithm, we derive an approximate MAP symbol detector based on the smoother-detector framework, wherein the detector is properly designed by incorporating the phase noise statistics from the smoother. The third algorithm is derived based on the variational Bayesian framework. By simulations, we evaluate the performance of the proposed algorithms for both uncoded and coded data transmissions, and we observe that the proposed techniques significantly outperform the other algorithms proposed in the literature.


title: Invariant games and non-homogeneous Beatty sequences

abstract: We characterize all the pairs of complementary non-homogenous Beatty sequences $(A_n)_{n\ge 0}$ and $(B_n)_{n\ge 0}$ for which there exists an invariant game having exactly $\{(A_n,B_n)\mid n\ge 0\}\cup \{(B_n,A_n)\mid n\ge 0\}$ as set of $\mathcal{P}$-positions. Using the notion of Sturmian word and tools arising in symbolic dynamics and combinatorics on words, this characterization can be translated to a decision procedure relying only on a few algebraic tests about algebraicity or rational independence. Given any four real numbers defining the two sequences, up to these tests, we can therefore decide whether or not such an invariant game exists.


title: Three-dimensional Multiscale Model of Deformable Platelets Adhesion to Vessel Wall in Blood Flow

abstract: When a blood vessel ruptures or gets inflamed, the human body responds by rapidly forming a clot to restrict the loss of blood. Platelets aggregation at the injury site of the blood vessel occurring via platelet-platelet adhesion, tethering and rolling on the injured endothelium is a critical initial step in blood clot formation. A novel three-dimensional multiscale model is introduced and used in this paper to simulate receptor-mediated adhesion of deformable platelets at the site of vascular injury under different shear rates of blood flow. The novelty of the model is based on a new approach of coupling submodels at three biological scales crucial for the early clot formation: novel hybrid cell membrane submodel to represent physiological elastic properties of a platelet, stochastic receptor-ligand binding submodel to describe cell adhesion kinetics and Lattice Boltzmann submodel for simulating blood flow. The model implementation on the GPUs cluster significantly improved simulation performance. Predictive model simulations revealed that platelet deformation, interactions between platelets in the vicinity of the vessel wall as well as the number of functional GPIb{\alpha} platelet receptors played significant roles in the platelet adhesion to the injury site. Variation of the number of functional GPIb{\alpha} platelet receptors as well as changes of platelet stiffness can represent effects of specific drugs reducing or enhancing platelet activity. Therefore, predictive simulations can improve the search for new drug targets and help to make treatment of thrombosis patient specific.

categories: q-bio.TO math.NA physics.bio-ph q-bio.CB


title: High energy bosons do not propagate

abstract: We discuss the propagation of bosons (scalars, gauge fields and gravitons) at high energy in the context of the spectral action. Using heat kernel techniques, we find that in the high-momentum limit the quadratic part of the action does not contain positive powers of the derivatives. We interpret this as the fact that the two point Green functions vanish for nearby points, where the proximity scale is given by the inverse of the cutoff.


title: Peltier effect in strongly driven quantum wires

abstract: We study a microscopic model of a thermocouple device with two connected correlated quantum wires driven by a constant electric field. In such isolated system we follow the time-- and position--dependence of the entropy density using the concept of the reduced density matrix. At weak driving, the initial changes of the entropy at the junctions can be described by the linear Peltier response. At longer times the quasiequilibrium situation is reached with well defined local temperatures which increase due to an overall Joule heating. On the other hand, strong electric field induces nontrivial nonlinear thermoelectric response, e.g. the Bloch oscillations of the energy current. Moreover, we show for the doped Mott insulators that strong driving can reverse the Peltier effect.


title: Clustering online social network communities using genetic algorithms

abstract: To analyze the activities in an Online Social network (OSN), we introduce the concept of "Node of Attraction" (NoA) which represents the most active node in a network community. This NoA is identified as the origin/initiator of a post/communication which attracted other nodes and formed a cluster at any point in time. In this research, a genetic algorithm (GA) is used as a data mining method where the main objective is to determine clusters of network communities in a given OSN dataset. This approach is efficient in handling different type of discussion topics in our studied OSN - comments, emails, chat expressions, etc. and can form clusters according to one or more topics. We believe that this work can be useful in finding the source for spread of this GA-based clustering of online interactions and reports some results of experiments with real-world data and demonstrates the performance of proposed approach.


title: Nonthermal Filamentary Radio Features Within 20 pc of the Galactic Center

abstract: Deep imaging of the Sgr A complex at 6 cm wavelength with the B and C configurations of the Karl G. Jansky VLA has revealed a new population of faint radio filaments. Like their brighter counterparts that have been observed throughout the Galactic Center on larger scales, these filaments can extend up to ~10 parsecs, and in most cases are strikingly uniform in brightness and curvature. Comparison with a survey of Paschen-alpha emission reveals that some of the filaments are emitting thermally, but most of these structures are nonthermal: local magnetic flux tubes illuminated by synchrotron emission. The new image reveals considerable filamentary substructure in previously known nonthermal filaments (NTFs). Unlike NTFs previously observed on larger scales, which tend to show a predominant orientation roughly perpendicular to the Galactic plane, the NTFs in the vicinity of the Sgr A complex are relatively randomly oriented. Two well-known radio sources to the south of Sgr A - sources E and F - consist of numerous quasi-parallel filaments that now appear to be particularly bright portions of a much larger, strongly curved, continuous, nonthermal radio structure that we refer to as the "Southern Curl". It is therefore unlikely that sources E and F are HII regions or pulsar wind nebulae. The Southern Curl has a smaller counterpart on the opposite side of the Galactic Center - the Northern Curl - that, except for its smaller scale and smaller distance from the center, is roughly point-reflection symmetric with respect to the Southern Curl. The curl features indicate that some field lines are strongly distorted, presumably by mass flows. The point symmetry about the center then suggests that the flows originate near the center and are somewhat collimated.


title: Probability, Random Variables, and Selectivity

abstract: This is a chapter for the forthcoming New Handbook of Mathematical Psychology, to be published by Cambridge University Press. A systematic theory of random variables and joint distributions under varying conditions is presented. This is a Kolmogorovian theory most generally understood, in which random variables recorded under mutually exclusive conditions do not possess joint distributions but can be coupled in multiple ways.


title: Testing for residual correlation of any order in the autoregressive process

abstract: We are interested in the implications of a linearly autocorrelated driven noise on the asymptotic behavior of the usual least squares estimator in a stable autoregressive process. We show that the least squares estimator is not consistent and we suggest a sharp analysis of its almost sure limiting value as well as its asymptotic normality. We also establish the almost sure convergence and the asymptotic normality of the estimated serial correlation parameter of the driven noise. Then, we derive a statistical procedure enabling to test for correlation of any order in the residuals of an autoregressive modelling, giving clearly better results than the commonly used portmanteau tests of Ljung-Box and Box-Pierce, and appearing to outperform the Breusch-Godfrey procedure on small-sized samples.


title: ABMQ: An Agent-Based Modeler and Simulator for Self-Organization in MANETs using Qt

abstract: Agent-Based Modeling and Simulation (ABMS) is a simple and yet powerful method for simulation of interactions among individual agents. Using ABMS, different phenomena can be modeled and simulated without spending additional time on unnecessary complexities. Although ABMS is well-matured in many different fields such as economic, social, and natural phenomena, it has not received much attention in the context of mobile ad-hoc networks (MANETs). In this paper, we present ABMQ, a powerful Agent-Based platform suitable for modeling and simulation of self-organization in wireless networks, and particularly MANETs. By utilizing the unique potentials of Qt Application Framework, ABMQ provides the ability to easily model and simulate self-organizing algorithms, and then reuse the codes and models developed during simulation process for building real third-party applications for several desktop and mobile platforms, which substantially decreases the development time and cost, and prevents probable bugs that can happen as a result of rewriting codes.


title: CLIC: A Framework for Distributed, On-Demand, Human-Machine Cognitive Systems

abstract: Traditional Artificial Cognitive Systems (for example, intelligent robots) share a number of limitations. First, they are usually made up only of machine components; humans are only playing the role of user or supervisor. And yet, there are tasks in which the current state of the art of AI has much worse performance or is more expensive than humans: thus, it would be highly beneficial to have a systematic way of creating systems with both human and machine components, possibly with remote non-expert humans providing short-duration real-time services. Second, their components are often dedicated to only one system, and underutilized for a big part of their lifetime. Third, there is no inherent support for robust operation, and if a new better component becomes available, one cannot easily replace the old component. Fourth, they are viewed as a resource to be developed and owned, not as a utility. Thus, we are presenting CLIC: a framework for constructing cognitive systems that overcome the above limitations. The architecture of CLIC provides specific mechanisms for creating and operating cognitive systems that fulfill a set of desiderata: First, that are distributed yet situated, interacting with the physical world though sensing and actuation services, and that are also combining human as well as machine services. Second, that are made up of components that are time-shared and re-usable. Third, that provide increased robustness through self-repair. Fourth, that are constructed and reconstructed on the fly, with components that dynamically enter and exit the system during operation, on the basis of availability, pricing, and need. Importantly, fifth, the cognitive systems created and operated by CLIC do not need to be owned and can be provided on demand, as a utility; thus transforming human-machine situated intelligence to a service, and opening up many interesting opportunities.


title: Business and technical requirements of Software-as-a-Service: Implications in portuguese enterprise business context

abstract: Software-as-a-Service (SaaS) is a viable option for some companies bearing their business processes. There is a considerable adoption rate, with companies already using more than two services for over two years. However, while some companies have plans to put more business processes supported by these services in the near future, others do not know if they will. They have several concerns regarding the software providers service level. These concerns are mainly technical and functional issues, service availability and payment models. There are major changes compared to the traditional software that have implications on how the software is developed and made available to the users. The existing research addresses specific aspects and few studies give a broader view of the implications of SaaS for anyone who develops and provides software, and also for those who consumes it as an end user. What are the real needs of the Portuguese market? What fears and what is being done to mitigate them? Where should we focus our attention related to the SaaS offering in order to create more value? Thus, to analyze these questions four exploratory case studiesare used to assess the possible implications of SaaS on software developers or software providers based in Portugal and also on end-users. This article appears in the context of a realistic and deep research that includes the involvement of managers, leaders and decision makers of Portuguese companies, to realize what actually constitutes a problem in SaaS and what effectively companies would like to have available in this offer. The results of this study reveal that SaaS effectively constitutes a very interesting and solid solution for the development of Portuguese companies, however there is a lack for greater efforts particularly in terms of customization for each customer (tenant) and integration with the back-end on-premise applications.


title: Time-dependent Hierarchical Dirichlet Model for Timeline Generation

abstract: Timeline Generation aims at summarizing news from different epochs and telling readers how an event evolves. It is a new challenge that combines salience ranking with novelty detection. For long-term public events, the main topic usually includes various aspects across different epochs and each aspect has its own evolving pattern. Existing approaches neglect such hierarchical topic structure involved in the news corpus in timeline generation. In this paper, we develop a novel time-dependent Hierarchical Dirichlet Model (HDM) for timeline generation. Our model can aptly detect different levels of topic information across corpus and such structure is further used for sentence selection. Based on the topic mined fro HDM, sentences are selected by considering different aspects such as relevance, coherence and coverage. We develop experimental systems to evaluate 8 long-term events that public concern. Performance comparison between different systems demonstrates the effectiveness of our model in terms of ROUGE metrics.


title: Edge-disjoint spanning trees and eigenvalues of regular graphs

abstract: Partially answering a question of Paul Seymour, we obtain a sufficient eigenvalue condition for the existence of $k$ edge-disjoint spanning trees in a regular graph, when $k\in \{2,3\}$. More precisely, we show that if the second largest eigenvalue of a $d$-regular graph $G$ is less than $d-\frac{2k-1}{d+1}$, then $G$ contains at least $k$ edge-disjoint spanning trees, when $k\in \{2,3\}$. We construct examples of graphs that show our bounds are essentially best possible. We conjecture that the above statement is true for any $k<d/2$.


title: E-Governance, International Cooperation and Security - New Millennium Challenges for a Small Country

abstract: In the paper we analyze the Information and Communication Technologies (ICT) and their impact on developing countries (DCs), making a criticism of different views on the supposed role of ICT for the future of human society. This criticism is seen from the point of view of a small developing post-communist country as Albania, hoping that the conclusions would throw some light for developing countries in general, especially those in a transition stage. We examine some aspects of international collaboration and security, where the ICT implemented in the public administration may have an important impact. The development policies and practices are examined, including relations between public and private sectors. Following arguments of many authors, we identify or redefine some crucial factors that negatively impact the role of ICT in the development of the country, its relations with the international community, and ways to push forward its development.


title: The spectrum and toughness of regular graphs

abstract: In 1995, Brouwer proved that the toughness of a connected $k$-regular graph $G$ is at least $k/\lambda-2$, where $\lambda$ is the maximum absolute value of the non-trivial eigenvalues of $G$. Brouwer conjectured that one can improve this lower bound to $k/\lambda-1$ and that many graphs (especially graphs attaining equality in the Hoffman ratio bound for the independence number) have toughness equal to $k/\lambda$. In this paper, we improve Brouwer's spectral bound when the toughness is small and we determine the exact value of the toughness for many strongly regular graphs attaining equality in the Hoffman ratio bound such as Lattice graphs, Triangular graphs, complements of Triangular graphs and complements of point-graphs of generalized quadrangles. For all these graphs with the exception of the Petersen graph, we confirm Brouwer's intuition by showing that the toughness equals $k/(-\lambda_{min})$, where $\lambda_{min}$ is the smallest eigenvalue of the adjacency matrix of the graph.


title: Basic univariate and bivariate statistics for symbolic data: a critical review

abstract: Some proofs of the problems of the basic statistics proposed for numeric symbolic data.


title: Scalable Object Detection using Deep Neural Networks

abstract: Deep convolutional neural networks have recently achieved state-of-the-art performance on a number of image recognition benchmarks, including the ImageNet Large-Scale Visual Recognition Challenge (ILSVRC-2012). The winning model on the localization sub-task was a network that predicts a single bounding box and a confidence score for each object category in the image. Such a model captures the whole-image context around the objects but cannot handle multiple instances of the same object in the image without naively replicating the number of outputs for each instance. In this work, we propose a saliency-inspired neural network model for detection, which predicts a set of class-agnostic bounding boxes along with a single score for each box, corresponding to its likelihood of containing any object of interest. The model naturally handles a variable number of instances for each class and allows for cross-class generalization at the highest levels of the network. We are able to obtain competitive recognition performance on VOC2007 and ILSVRC2012, while using only the top few predicted locations in each image and a small number of neural network evaluations.


title: Exact quasi-normal modes for the near horizon Kerr metric

abstract: We study the quasi-normal modes of a massless scalar field in a general sub-extreme Kerr back- ground by exploiting the hidden SL(2, R) x SL(2, R) x SO(3) symmetry of the subtracted geometry approximation. This faithfully models the near horizon geometry but locates the black hole in a confining asymptotically conical box analogous to the anti-de-Sitter backgrounds used in string the- ory. There are just two series of modes, given in terms of hypergeometric functions and spherical harmonics, reminiscent of the left-moving and right-moving degrees in string theory: one is over- damped, the other is underdamped and exhibits rotational splitting. The remarkably simple exact formulae for the complex frequencies would in principle allow the determination of the mass and angular momentum from observations of a black hole. No black hole bomb is possible because the Killing field which co-rotates with the horizon is everywhere timelike outside the black hole.


title: A solution of the Gaussian optimizer conjecture

abstract: The long-standing conjectures of the optimality of Gaussian inputs for Gaussian channel and Gaussian additivity are solved for a broad class of covariant or contravariant Bosonic Gaussian channels (which includes in particular thermal, additive classical noise, and amplifier channels) restricting to the class of states with finite second moments. We show that the vacuum is the input state which minimizes the entropy at the output of such channels. This allows us to show also that the classical capacity of these channels (under the input energy constraint) is additive and is achieved by Gaussian encodings.


title: A functional analysis of speed profiles: smoothing using derivative information, curve registration, and functional boxplot

abstract: In this paper, we propose a functional analysis of a set of individual space-speed profiles corresponding to speed as function of the distance traveled by the vehicle from an initial point. This functional analysis begins with a functional modeling of space-speed profiles and the study of mathematical properties of these functions. Then, in a first step, a smoothing procedure based on spline smoothing is developed in order to convert the raw data into functional objets and to filter out the measurement noise as efficiently as possible. It is shown that this smoothing step leads to a complex nonparametric regression problem that needs to take into account two constraints: the use of the derivative information, and a monotonicity constraint. The performance of the proposed two-step estimator (smooth, and then monotonize) is illustrated on simulation studies and a real data example. In a second step, we use a curve registration method based on landmarks alignment in order to construct an average speed profile representative of a set of individual speed profiles. Finally, the variability of such a set is explored by the use of functional boxplots.


title: Scalable and Quasi-Contractive Markov Coupling of Maxwell Collision

abstract: This paper considers space homogenous Boltzmann kinetic equations in dimension $d$ with Maxwell collisions (and without Grad's cut-off). An explicit Markov coupling of the associated conservative (Nanbu) stochastic $N$-particle system is constructed, using plain parallel coupling of isotropic random walks on the sphere of two-body collisional directions. The resulting coupling is almost surely decreasing, and the $L_2$-coupling creation is computed explicitly. Some quasi-contractive and uniform in $N$ coupling / coupling creation inequalities are then proved, relying on $2+\alpha$-moments ($\alpha >0$) of velocity distributions; upon $N$-uniform propagation of moments of the particle system, it yields a $N$-scalable $\alpha$-power law trend to equilibrium. The latter are based on an original sharp inequality, which bounds from above the coupling distance of two centered and normalized random variables $(U,V)$ in $\R^d$, with the average square parallelogram area spanned by $(U-U_\ast,V-V_\ast)$, $(U_\ast,V_\ast)$ denoting an independent copy. Two counter-examples proving the necessity of the dependance on $>2$-moments and the impossibility of strict contractivity are provided. The paper, (mostly) self-contained, does not require any propagation of chaos property and uses only elementary tools.


title: Ideal Independence, Free Sequences, and the Ultrafilter Number

abstract: We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that f(A) = smm(A) < u(A), answering questions raised by [Mon08] and [Mon11].


title: Orthosymplectic Lie superalgebras, Koszul duality, and a complete intersection analogue of the Eagon-Northcott complex

abstract: We study the ideal of maximal minors in Littlewood varieties, a class of quadratic complete intersections in spaces of matrices. We give a geometric construction for a large class of modules, including all powers of this ideal, and show that they have a linear free resolution over the complete intersection and that their Koszul dual is an infinite-dimensional irreducible representation of the orthosymplectic Lie superalgebra. We calculate the algebra of cohomology operators acting on this free resolution. We prove analogous results for powers of the ideals of maximal minors in the variety of length 2 complexes when it is a complete intersection, and show that their Koszul dual is an infinite-dimensional irreducible representation of the general linear Lie superalgebra. This generalizes work of Akin, J\'ozefiak, Pragacz, Weyman, and the author on resolutions of determinantal ideals in polynomial rings to the setting of complete intersections and provides a new connection between representations of classical Lie superalgebras and commutative algebra. As a curious application, we prove that the cohomology of a class of reducible homogeneous bundles on symplectic and orthogonal Grassmannians and 2-step flag varieties can be calculated by an analogue of the Borel-Weil-Bott theorem.


title: A Stable Numerical Algorithm for the Brinkman Equations by Weak Galerkin Finite Element Methods

abstract: This paper presents a stable numerical algorithm for the Brinkman equations by using weak Galerkin (WG) finite element methods. The Brinkman equations can be viewed mathematically as a combination of the Stokes and Darcy equations which model fluid flow in a multi-physics environment, such as flow in complex porous media with a permeability coefficient highly varying in the simulation domain. In such applications, the flow is dominated by Darcy in some regions and by Stokes in others. It is well known that the usual Stokes stable elements do not work well for Darcy flow and vise versa. The challenge of this study is on the design of numerical schemes which are stable for both the Stokes and the Darcy equations. This paper shows that the WG finite element method is capable of meeting this challenge by providing a numerical scheme that is stable and accurate for both Darcy and the Stokes dominated flows. Error estimates of optimal order are established for the corresponding WG finite element solutions. The paper also presents some numerical experiments that demonstrate the robustness, reliability, flexibility and accuracy of the WG method for the Brinkman equations.