title: Bi-Hamiltonian Structures of Chaotic Dynamical Systems in 3D

abstract: We study Poisson structures of dynamical systems with three degrees of freedom which are known for their chaotic properties, namely L\"u, modified L\"u, Chen, $T$ and Qi systems. We show that all these flows admit bi-Hamiltonian structures depending on the values of their parameters.


title: The Gaia-ESO Survey: Stellar radii in the young open clusters NGC 2264, NGC 2547 and NGC 2516

abstract: Rapidly rotating, low-mass members of eclipsing binary systems have measured radii significantly larger than predicted by standard models. It has been proposed that magnetic activity is responsible for radius inflation. By estimating the radii of low-mass stars in three young clusters (NGC 2264, NGC 2547, NGC 2516, with ages of 5, 35 and 140 Myr respectively), we aim to establish whether similar radius inflation is seen in single, magnetically active stars. We use radial velocities from the Gaia-ESO Survey (GES) and published photometry to establish cluster membership and combine GES measurements of vsini with published rotation periods to estimate average radii for groups of fast-rotating cluster members as a function of their luminosity and age. The average radii are compared with the predictions of both standard evolutionary models and variants that include magnetic inhibition of convection and starspots. At a given luminosity, the stellar radii in NGC 2516 and NGC 2547 are larger than predicted by standard evolutionary models at the ages of these clusters. The discrepancy is least pronounced and not significant ~10 percent) in ZAMS stars with radiative cores, but more significant in lower-mass, fully convective pre main-sequence cluster members, reaching 30+/-10 percent. The uncertain age and distance of NGC 2264 preclude a reliable determination of any discrepancy for its members. The median radii we have estimated for low-mass fully convective stars in the older clusters are inconsistent (at the 2-3 sigma level) with non-magnetic evolutionary models and more consistent with models that incorporate the effects of magnetic fields or dark starspots. The available models suggest this requires either surface magnetic fields exceeding 2.5 kG, spots that block about 30 per cent of the photospheric flux, or a more moderate combination of both. [Abridged]


title: The category of equilogical spaces and the effective topos as homotopical quotients

abstract: We show that the two models of extensional type theory, those given by the category of equilogical spaces and by the effective topos, are homotopical quotients of categories of 2-groupoids.


title: On a conjecture for the signless Laplacian spectral radius of cacti with given matching number

abstract: A connected graph $G$ is a cactus if any two of its cycles have at most one common vertex. Let $\ell_n^m$ be the set of cacti on $n$ vertices with matching number $m.$ S.C. Li and M.J. Zhang determined the unique graph with the maximum signless Laplacian spectral radius among all cacti in $\ell_n^m$ with $n=2m$. In this paper, we characterize the case $n\geq 2m+1$. This confirms the conjecture of Li and Zhang(S.C. Li, M.J. Zhang, On the signless Laplacian index of cacti with a given number of pendant vetices, Linear Algebra Appl. 436, 2012, 4400--4411). Further, we characterize the unique graph with the maximum signless Laplacian spectral radius among all cacti on $n$ vertices.


title: Generalized interactions supported on hypersurfaces

abstract: We analyze a family of singular Schr\"odinger operators with local singular interactions supported by a hypersurface $\Sigma \subset \mathbb{R}^n, n \ge 2$, being the boundary of a Lipschitz domain, bounded or unbounded, not necessarily connected. At each point of $\Sigma$ the interaction is characterized by four real parameters, the earlier studied case of $\delta$- and $\delta'$-interactions being particular cases. We discuss spectral properties of these operators and derive operator inequalities between those referring to the same hypersurface but different couplings and describe their implications for spectral properties.

categories: math-ph math.AP math.MP math.SP quant-ph


title: An identifiability problem in a state model for partly undetected chronic diseases

abstract: Recently, we proposed an state model (compartment model) to describe the progression of a chronic disease with an pre-clinical (undiagnosed) state before clinical diagnosis. It is an open question, if a sequence of cross-sectional studies with mortality follow-up is sufficient to estimate the true incidence rate of the disease, i.e. the incidence of the undiagnosed and diagnosed disease. In this note, we construct a counterexample and show that this cannot be achieved in general.


title: A Simple Algorithm For Replacement Paths Problem

abstract: Let G=(V,E)(|V|=n and |E|=m) be an undirected graph with positive edge weights. Let P_{G}(s, t) be a shortest s-t path in G. Let l be the number of edges in P_{G}(s, t). The \emph{Edge Replacement Path} problem is to compute a shortest s-t path in G\{e}, for every edge e in P_{G}(s, t). The \emph{Node Replacement Path} problem is to compute a shortest s-t path in G\{v}, for every vertex v in P_{G}(s, t). In this paper we present an O(T_{SPT}(G)+m+l^2) time and O(m+l^2) space algorithm for both the problems. Where, T_{SPT}(G) is the asymptotic time to compute a single source shortest path tree in G. The proposed algorithm is simple and easy to implement.


title: Computing Segre classes in arbitrary projective varieties

abstract: We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with intersections by general effective Cartier divisors, we can compile a system of linear equations which determine the coefficients for the Segre class pushed forward to projective space. The algorithm presented here comes after several others which solve the problem in special cases, where the ambient variety is for instance projective space; to our knowledge, this is the first algorithm to be able to compute Segre classes in projective varieties with arbitrary singularities.


title: Anticommutativity of Skew-symmetric Elements under Generalized Oriented Involutions

abstract: Let $R$ be a ring with $char(R)\neq2$ whose unit group are denoted by $\mathcal{U}(R)$, $G$ a group, and $RG$ its group ring. Let $*$ be an involution in $G$, $\sigma:G\rightarrow\mathcal{U}(R)$ be a nontrivial group homomorphism, with $ker\ \sigma=N$, satisfying $xx^*\in N$ for all $x\in G$, and define the generalized oriented involution $\sigma*$ in $RG$ by $\left( \sum_{x\in G}\alpha_xx\right)^{\sigma*}=\sum_{x\in G}\sigma(x)\alpha_xx^*$. An element $\alpha\in RG$ is called skew-symmetric if $\alpha^{\sigma *}=-\alpha$, and the set of all skew-symmetric elements are denoted by $(RG)^-$. In this paper, we will classify the group rings $RG$ such that $(RG)^-$ is anticommutative, generalizing, and obtaining as consequence, the main result of \cite{GP13a}.


title: Theoretical description of slow non-monotonic relaxation processes in Al-Y melts

abstract: The slow non-monotonic relaxation processes, which have been recently fixed in Al-Y melts, are described theoretically. The theoretical description is based on the Cahn-Hilliard theory and functional methods of non-equilibrium dynamics. In terms of the suggested approach the reasons of this relaxation kinetics are non-linearity of the system near to the liquidus line, which sharply increases with Y concentration, and strong initial heterogeneity of the melt on the concentration of Y atoms. According to our analysis one can conclude that the non-monotonic temporal dependence of viscosity is caused by the Ostwald ripening processes in the rich in yttrium areas.


title: BlackOut: Speeding up Recurrent Neural Network Language Models With Very Large Vocabularies

abstract: We propose BlackOut, an approximation algorithm to efficiently train massive recurrent neural network language models (RNNLMs) with million word vocabularies. BlackOut is motivated by using a discriminative loss, and we describe a new sampling strategy which significantly reduces computation while improving stability, sample efficiency, and rate of convergence. One way to understand BlackOut is to view it as an extension of the DropOut strategy to the output layer, wherein we use a discriminative training loss and a weighted sampling scheme. We also establish close connections between BlackOut, importance sampling, and noise contrastive estimation (NCE). Our experiments, on the recently released one billion word language modeling benchmark, demonstrate scalability and accuracy of BlackOut; we outperform the state-of-the art, and achieve the lowest perplexity scores on this dataset. Moreover, unlike other established methods which typically require GPUs or CPU clusters, we show that a carefully implemented version of BlackOut requires only 1-10 days on a single machine to train a RNNLM with a million word vocabulary and billions of parameters on one billion words. Although we describe BlackOut in the context of RNNLM training, it can be used to any networks with large softmax output layers.


title: ICU Patient Deterioration prediction: a Data-Mining Approach

abstract: A huge amount of medical data is generated every day, which presents a challenge in analysing these data. The obvious solution to this challenge is to reduce the amount of data without information loss. Dimension reduction is considered the most popular approach for reducing data size and also to reduce noise and redundancies in data. In this paper, we investigate the effect of feature selection in improving the prediction of patient deterioration in ICUs. We consider lab tests as features. Thus, choosing a subset of features would mean choosing the most important lab tests to perform. If the number of tests can be reduced by identifying the most important tests, then we could also identify the redundant tests. By omitting the redundant tests, observation time could be reduced and early treatment could be provided to avoid the risk. Additionally, unnecessary monetary cost would be avoided. Our approach uses state-ofthe- art feature selection for predicting ICU patient deterioration using the medical lab results. We apply our technique on the publicly available MIMIC-II database and show the effectiveness of the feature selection. We also provide a detailed analysis of the best features identified by our approach.


title: Screen Content Image Segmentation Using Sparse-Smooth Decomposition

abstract: Sparse decomposition has been extensively used for different applications including signal compression and denoising and document analysis. In this paper, sparse decomposition is used for image segmentation. The proposed algorithm separates the background and foreground using a sparse-smooth decomposition technique such that the smooth and sparse components correspond to the background and foreground respectively. This algorithm is tested on several test images from HEVC test sequences and is shown to have superior performance over other methods, such as the hierarchical k-means clustering in DjVu. This segmentation algorithm can also be used for text extraction, video compression and medical image segmentation.


title: Gauge Groups and Matter Fields on Some Models of F-theory without Section

abstract: We investigate F-theory on an elliptic Calabi-Yau 4-fold without a section to the fibration. To construct an elliptic Calabi-Yau 4-fold without a section, we introduce families of elliptic K3 surfaces which do not admit a section. A product K3 $\times$ K3, with one of the K3's chosen from these families of elliptic K3 surfaces without a section, realises an elliptic Calabi-Yau 4-fold without a section. We then compactify F-theory on such K3 $\times$ K3's. We determine the gauge groups and matter fields which arise on 7-branes for these models of F-theory compactifications without a section. Since each K3 $\times$ K3 constructed does not have a section, gauge groups arising on 7-branes for F-theory models on constructed K3 $\times$ K3's do not have $U(1)$-part. Interestingly, exceptional gauge group $E_6$ appears for some cases.


title: Hyperbolic actions and 2nd bounded cohomology of subgroups of $\text{Out}(F_n)$. Part I: Infinite lamination subgroups

abstract: In this two part work we prove that for every finitely generated subgroup $\Gamma < \text{Out}(F_n)$, either $\Gamma$ is virtually abelian or $H^2_b(\Gamma;\mathbb{R})$ contains an embedding of $\ell^1$. The method uses actions on hyperbolic spaces, for purposes of constructing quasimorphisms. Here in Part I, after presenting the general theory, we focus on the case of infinite lamination subgroups $\Gamma$ - those for which the set of all attracting laminations of all elements of $\Gamma$ is infinite - using actions on free splitting complexes of free groups.


title: Notes on Translational and Rotational Properties of Tensor Fields in Relativistic Quantum Mechanics

abstract: Recently, several discussions on the possible observability of 4-vector fields have been published in literature. Furthermore, several authors recently claimed existence of the helicity=0 fundamental field. We re-examine the theory of antisymmetric tensor fields and 4-vector potentials. We study the massless limits. In fact, a theoretical motivation for this venture is the old papers of Ogievetskii and Polubarinov, Hayashi, and Kalb and Ramond. They proposed the concept of the notoph, whose helicity properties are complementary to those of the photon. We analyze the quantum field theory with taking into account mass dimensions of the notoph and the photon. It appears to be possible to describe both photon and notoph degrees of freedom on the basis of the modified Bargmann-Wigner formalism for the symmetric second-rank spinor. Next, we proceed to derive equations for the symmetric tensor of the second rank on the basis of the Bargmann-Wigner formalism in a straightforward way. The symmetric multispinor of the fourth rank is used. Due to serious problems with the interpretation of the results obtained on using the standard procedure we generalize it and obtain the spin-2 relativistic equations, which are consistent with the general relativity. Thus, in fact we deduced the gravitational field equations from relativistic quantum mechanics. The relations of this theory with the scalar-tensor theories of gravitation and f(R) are discussed. Particular attention has been paid to the correct definitions of the energy-momentum tensor and other Noether currents in the electromagnetic theory, the relativistic theory of gravitation, the general relativity, and their generalizations. We estimate possible interactions, fermion-notoph, graviton-notoph, photon-notoph, and we conclude that they can probably be seen in experiments in the next few years.


title: Countering Social Engineering through Social Media: An Enterprise Security Perspective

abstract: The increasing threat of social engineers targeting social media channels to advance their attack effectiveness on company data has seen many organizations introducing initiatives to better understand these vulnerabilities. This paper examines concerns of social engineering through social media within the enterprise and explores countermeasures undertaken to stem ensuing risk. Also included is an analysis of existing social media security policies and guidelines within the public and private sectors.


title: Imaging thermal conductivity with nanoscale resolution using a scanning spin probe

abstract: The ability to probe nanoscale heat flow in a material is often limited by lack of spatial resolution. Here, we use a diamond-nanocrystal-hosted nitrogen-vacancy centre attached to the apex of a silicon thermal tip as a local temperature sensor. We apply an electrical current to heat up the tip and rely on the NV to monitor the thermal changes the tip experiences as it is brought into contact with surfaces of varying thermal conductivity. With the aid of a combined AFM/confocal setup, we image phantom microstructures with nanoscale resolution, and attain excellent agreement between the thermal conductivity and topographic maps. The small mass and high thermal conductivity of the diamond host make the time response of our technique short, which we demonstrate by monitoring the tip temperature upon application of a heat pulse. Our approach promises multiple applications, from the investigation of phonon dynamics in nanostructures to the characterization of heterogeneous phase transitions and chemical reactions in various solid-state systems.


title: From the theory of "congeneric surd equations" to "Segre's bicomplex numbers"

abstract: We will study the historical pathway of the emergence of Tessarines or Bicomplex numbers, from their origin as "imaginary" solutions of irrational equations, to their insertion in the context of study of the algebras of hypercomplex numbers.


title: Ironing in the Dark

abstract: This paper presents the first polynomial-time algorithm for position and matroid auction environments that learns, from samples from an unknown bounded valuation distribution, an auction with expected revenue arbitrarily close to the maximum possible. In contrast to most previous work, our results apply to arbitrary (not necessarily regular) distributions and the strongest possible benchmark, the Myerson-optimal auction. Learning a near-optimal auction for an irregular distribution is technically challenging because it requires learning the appropriate "ironed intervals," a delicate global property of the distribution.


title: Semantic Segmentation of Colon Glands with Deep Convolutional Neural Networks and Total Variation Segmentation

abstract: Segmentation of histopathology sections is an ubiquitous requirement in digital pathology and due to the large variability of biological tissue, machine learning techniques have shown superior performance over standard image processing methods. As part of the GlaS@MICCAI2015 colon gland segmentation challenge, we present a learning-based algorithm to segment glands in tissue of benign and malignant colorectal cancer. Images are preprocessed according to the Hematoxylin-Eosin staining protocol and two deep convolutional neural networks (CNN) are trained as pixel classifiers. The CNN predictions are then regularized using a figure-ground segmentation based on weighted total variation to produce the final segmentation result. On two test sets, our approach achieves a tissue classification accuracy of 98% and 94%, making use of the inherent capability of our system to distinguish between benign and malignant tissue.


title: Cell assembly dynamics of sparsely-connected inhibitory networks: a simple model for the collective activity of striatal projection neurons

abstract: Striatal projection neurons form a sparsely-connected inhibitory network, and this arrangement may be essential for the appropriate temporal organization of behavior. Here we show that a simplified, sparse inhibitory network of Leaky-Integrate-and-Fire neurons can reproduce some key features of striatal population activity, as observed in brain slices [Carrillo-Reid et al., J. Neurophysiology 99 (2008) 1435{1450]. In particular we develop a new metric to determine the conditions under which sparse inhibitory networks form anti-correlated cell assemblies with time-varying activity of individual cells. We found that under these conditions the network displays an input-specific sequence of cell assembly switching, that effectively discriminates similar inputs. Our results support the proposal [Ponzi and Wickens, PLoS Comp Biol 9 (2013) e1002954] that GABAergic connections between striatal projection neurons allow stimulus-selective, temporally-extended sequential activation of cell assemblies. Furthermore, we help to show how altered intrastriatal GABAergic signaling may produce aberrant network-level information processing in disorders such as Parkinson's and Huntington's diseases.


title: Deformations of canonical double covers

abstract: In this paper, we show that if $X$ is a smooth variety of general type of dimension $m \geq 2$, for which its canonical map induces a double cover onto $Y$, where $Y$ is a projective bundle over $\mathbf P^1$, or onto a projective space or onto a quadric hypersurface, embedded by a complete linear series, then the general deformation of the canonical morphism of $X$ again is canonical and again induces a double cover. The second part of the article deals with the existence or non existence of canonical double structures on rational varieties. The negative result in this article has consequences for the moduli of varieties of general type of arbitrary dimension. The results here show that there is an entire component, that is hyperelliptic in infinitely many moduli spaces of higher dimensional varieties of general type. This is in sharp contrast with the case of curves or surfaces of lower Kodaira dimensions.


title: Deformations of canonical triple covers

abstract: In this paper, we show that if $X$ is a smooth variety of general type of dimension $m \geq 3$ for which the canonical map induces a triple cover onto $Y$, where $Y$ is a projective bundle over $\mathbf P^1$ or onto a projective space or onto a quadric hypersurface, embedded by a complete linear series, then the general deformation of the canonical morphism of $X$ is again canonical and induces a triple cover. The extremal case when $Y$ is embedded as a variety of minimal degree is of interest, due to its appearance in numerous situations. This is especially interesting as well, since it has no lower dimensional analogues.


title: Generalized Schr\"odinger cat states and their classical emulation

abstract: We demonstrate that superpositions of coherent and displaced Fock states, also referred to as generalized Schr\"odinger cats cats, can be created by application of a nonlinear displacement operator which is a deformed version of the Glauber displacement operator. Consequently, such generalized cat states can be formally considered as nonlinear coherent states. We then show that Glauber-Fock photonic lattices endowed with alternating positive and negative coupling coefficients give rise to classical analogs of such cat states. In addition, it is pointed out that the analytic propagator of these deformed Glauber-Fock arrays explicitly contains the Wigner operator opening the possibility to observe Wigner functions of the quantum harmonic oscillator in the classical domain.


title: Phenomenology of transverse spin: past, present and future

abstract: We summarize the most significant aspects in the study of transverse spin phenomena over the last few decades, focusing on Semi-Inclusive Deep Inelastic Scattering processes and hadronic production in $e^+e^-$ annihilations. The phenomenology of transverse momentum dependent distribution and fragmentation functions will be reviewed in an in-depth analysis of the most recent developments and of the future perspectives.


title: Recycling intermediate steps to improve Hamiltonian Monte Carlo

abstract: Hamiltonian Monte Carlo (HMC) and related algorithms have become routinely used in Bayesian computation. In this article, we present a simple and provably accurate method to improve the efficiency of HMC and related algorithms with essentially no extra computational cost. This is achieved by {recycling the intermediate states along simulated trajectories of Hamiltonian dynamics. Standard algorithms use only the end points of trajectories, wastefully discarding all the intermediate states. Compared to the alternative methods for utilizing the intermediate states, our algorithm is simpler to apply in practice and requires little programming effort beyond the usual implementations of HMC and related algorithms. Our algorithm applies straightforwardly to the no-U-turn sampler, arguably the most popular variant of HMC. Through a variety of experiments, we demonstrate that our recycling algorithm yields substantial computational efficiency gains.


title: Pressure and high Tc superconductivity: applications to sulfur hydrides

abstract: The rapid variation of the superconductivity Tc in hydride sulfur (H3S) under high pressure [A. Drozdov et al, Nature 525, 73 (2015); M. Einaga et al, arXiv: 1509.03156] in a vicinity Pcr=123GPa is interpreted in terms of the 1st order transition, possibly related to a CDW-instability with a non-zero structural vector. The superconductivity mechanisms in high-Tc phase be discussed, ordinary methods of calculating Tc are shown not applicable in H3S because, beside the acoustic branches, its phonon spectrum contains hydrogen modes with much higher frequency. A modified approach provides realistic Tc values. The isotope effect (change of Tc at the substitution of deuterium for hydrogen) owes its origin to the high frequency of phonons and is different in different phases. The decrease of Tc after reaching a maximum in high-T phase is due to the interaction with the second gap arising on a hole-like pocket. The phonon-mediated pairing on the latter is in a non-adiabatic regime of the frequency omega of hydrogen modes comparable to the Fermi energy.


title: Noctilucent Clouds Polarimetry: Twilight Measurements in a Wide Range of Scattering Angles

abstract: Wide-field polarization measurements of the twilight sky background during the several nights with bright and extended noctilucent clouds in central and northern Russia in 2014 and 2015 are used to build the phase dependence of degree of polarization of sunlight scattered by clouds particles in a wide range of scattering angles (from 40 to 130 degrees). This range covers the linear polarization maximum near 90 degrees and large-angle slope of the curve which are most sensitive to the particle size. The method of separation of scattering on clouds particles on the twilight background is presented. Results are compared with T-matrix simulations for different sizes and shapes of ice particles, the best-fit model radius of particles (0.06 microns) and maximum radius (about 0.1 microns) are estimated.


title: Large deviations for configurations generated by Gibbs distributions with energy functionals consisting of singular interaction and weakly confining potentials

abstract: We establish large deviation principles (LDPs) for empirical measures associated with a sequence of Gibbs distributions on $n$-particle configurations, each of which is defined in terms of an inverse temperature $% \beta_n$ and an energy functional consisting of a (possibly singular) interaction potential and a (possibly weakly) confining potential. Under fairly general assumptions on the potentials, we use a common framework to establish LDPs both with speeds $\beta_n/n \rightarrow \infty$, in which case the rate function is expressed in terms of a functional involving the potentials, and with speed $\beta_n =n$, when the rate function contains an additional entropic term. Such LDPs are motivated by questions arising in random matrix theory, sampling, simulated annealing and asymptotic convex geometry. Our approach, which uses the weak convergence method developed by Dupuis and Ellis, establishes LDPs with respect to stronger Wasserstein-type topologies. Our results address several interesting examples not covered by previous works, including the case of a weakly confining potential, which allows for rate functions with minimizers that do not have compact support, thus resolving several open questions raised in a work of Chafa\"{\i} et al.


title: Distortion of embeddings of a torsion-free finitely generated nilpotent group into a unitriangular group

abstract: In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$. We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$


title: The 6dF Galaxy Survey: Bulk Flows on $50-70 h^{-1}$ Mpc scales

abstract: We measure the bulk flow of the local Universe using the 6dF Galaxy Survey peculiar velocity sample (6dFGSv), the largest and most homogeneous peculiar velocity sample to date. 6dFGSv is a Fundamental Plane sample of $\sim10^4$ peculiar velocities covering the whole southern hemisphere for galactic latitude $|b| > 10^\circ$, out to redshift ${z=0.0537}$. We apply the `Minimum Variance' bulk flow weighting method, which allows us to make a robust measurement of the bulk flow on scales of $50$ and $70\,h^{-1}{\rm Mpc}$. We investigate and correct for potential bias due to the lognormal velocity uncertainties, and verify our method by constructing $\Lambda{\rm CDM}$ 6dFGSv mock catalogues incorporating the survey selection function. For a hemisphere of radius $50\,h^{-1}{\rm Mpc}$ we find a bulk flow amplitude of $U=248\pm58\,{\rm km}\,{\rm s}^{-1}$ in the direction $(l,b) = (318^\circ\pm20^\circ,40^\circ\pm13^\circ)$, and for $70\,h^{-1}{\rm Mpc}$ we find $U=243\pm58\,{\rm km}\,{\rm s}^{-1}$, in the same direction. Our measurement gives us a constraint on $\sigma_8$ of $1.01^{+1.07}_{-0.58}$. Our results are in agreement with other recent measurements of the direction of the bulk flow, and our measured amplitude is consistent with a $\Lambda{\rm CDM}$ prediction.


title: Evaluating Prerequisite Qualities for Learning End-to-End Dialog Systems

abstract: A long-term goal of machine learning is to build intelligent conversational agents. One recent popular approach is to train end-to-end models on a large amount of real dialog transcripts between humans (Sordoni et al., 2015; Vinyals & Le, 2015; Shang et al., 2015). However, this approach leaves many questions unanswered as an understanding of the precise successes and shortcomings of each model is hard to assess. A contrasting recent proposal are the bAbI tasks (Weston et al., 2015b) which are synthetic data that measure the ability of learning machines at various reasoning tasks over toy language. Unfortunately, those tests are very small and hence may encourage methods that do not scale. In this work, we propose a suite of new tasks of a much larger scale that attempt to bridge the gap between the two regimes. Choosing the domain of movies, we provide tasks that test the ability of models to answer factual questions (utilizing OMDB), provide personalization (utilizing MovieLens), carry short conversations about the two, and finally to perform on natural dialogs from Reddit. We provide a dataset covering 75k movie entities and with 3.5M training examples. We present results of various models on these tasks, and evaluate their performance.


title: First passage percolation on the exponential of two-dimensional branching random walk

abstract: We consider the branching random walk $\{\mathcal R^N_z: z\in V_N\}$ with Gaussian increments indexed over a two-dimensional box $V_N$ of side length $N$, and we study the first passage percolation where each vertex is assigned weight $e^{\gamma \mathcal R^N_z}$ for $\gamma>0$. We show that for $\gamma>0$ sufficiently small but fixed, the expected FPP distance between the left and right boundaries is at most $O(N^{1 - \gamma^2/10})$.


title: Hybridization and anisotropy in the exchange interaction in 3D Dirac semimetals

abstract: We study the Ruderman-Kittel-Kasuya-Yosida interaction in 3D Dirac semimetals. Using retarded Green's functions in real space, we obtain and analyze asymptotic expressions for the interaction, with magnetic impurities at different distances and relative angle with respect to high symmetry directions on the lattice. We show that the Fermi velocity anisotropy in these materials produces a strong renormalization of the magnitude of the interaction, as well as a correction to the frequency of oscillation in real space. Hybridization of the impurities to different conduction electron orbitals are shown to result in interesting anisotropic spin-spin interactions which can generate spiral spin structures in doped samples.


title: Asymptotics of the Solutions of the Sturm--Liouville Equation with Singular Coefficients

abstract: We obtain asymptotic representations as $\lambda \to \infty$ in the upper and lower half-planes for the solutions of the Sturm--Liouville equation $$ -y"+p(x)y'+q(x)y= \lambda ^2 \rho(x)y, \qquad x\in [a,b] \subset \mathbb{R}, $$ under the condition that $q$ is a distribution of the first-order singularity, $\rho$ is a positive absolutely continuous function, and $p$ belongs to the space $L_2[a,b]$. In supplementary part, the results are generilized on equation of the following type $$-(r^2y')'+py'+qy=\lambda ^2 \rho^2 y, \qquad x\in [a,b] \subset \mathbb{R},$$ where $\lambda^2$ is the large parameter, $r$ and $\rho$ are positive functions, while $p$ and $q$ are complex valued ones. It is assumed that $p\in L_1[a,b],\quad q\in W_2^{-1}[a,b], \quad \rho ,r \in AC[a,b] =W_1^1[a,b],$ moreover, \begin{equation*} \rho'u, r'u, pu \in L_1[a,b], \quad \text{where }\, u=\int q \, dx, \end{equation*} and the antiderivative is understood in the sense of distributions.


title: Confrontation of Top-Hat Spherical Collapse against Dark Halos from Cosmological N-Body Simulations

abstract: The top-hat spherical collapse model (TSC) is one of the most fundamental analytical frameworks to describe the non-linear growth of cosmic structure. TSC has motivated, and been widely applied in, various researches even in the current era of precision cosmology. While numerous studies exist to examine its validity against numerical simulations in a statistical fashion, there are few analyses to compare the TSC dynamics in an individual object-wise basis, which is what we attempt in the present paper. We extract 100 halos at z = 0 from a cosmological N-body simulation according to the conventional TSC criterion for the spherical over-density. Then we trace back their spherical counter-parts at earlier epochs. Just prior to the turn-around epoch of the halos, their dynamics is well approximated by TSC, but their turn-around epochs are systematically delayed and the virial radii are larger by ~ 20 percent on average relative to the TSC predictions. We find that this systematic deviation is mainly ascribed to the non-uniformity/inhomogeneity of dark matter density profiles and the non-zero velocity dispersions, both of which are neglected in TSC. In particular, the inside-out-collapse and shell-crossing of dark matter halos play an important role in generating the significant velocity dispersion. The implications of the present result are briefly discussed.


title: Real-Time Anomaly Detection and Localization in Crowded Scenes

abstract: In this paper, we propose a method for real-time anomaly detection and localization in crowded scenes. Each video is defined as a set of non-overlapping cubic patches, and is described using two local and global descriptors. These descriptors capture the video properties from different aspects. By incorporating simple and cost-effective Gaussian classifiers, we can distinguish normal activities and anomalies in videos. The local and global features are based on structure similarity between adjacent patches and the features learned in an unsupervised way, using a sparse auto- encoder. Experimental results show that our algorithm is comparable to a state-of-the-art procedure on UCSD ped2 and UMN benchmarks, but even more time-efficient. The experiments confirm that our system can reliably detect and localize anomalies as soon as they happen in a video.


title: Discretisations of rough stochastic PDEs

abstract: We develop a general framework for spatial discretisations of parabolic stochastic PDEs whose solutions are provided in the framework of the theory of regularity structures and which are functions in time. As an application, we show that the dynamical $\Phi^4_3$ model on the dyadic grid converges after renormalisation to its continuous counterpart. This result in particular implies that, as expected, the $\Phi^4_3$ measure with a sufficiently small coupling constant is invariant for this equation and that the lifetime of its solutions is almost surely infinite for almost every initial condition.


title: 28 GHz Millimeter-Wave Ultrawideband Small-Scale Fading Models in Wireless Channels

abstract: This paper presents small-scale fading measurements for 28 GHz outdoor millimeter-wave ultrawideband channels using directional horn antennas at the transmitter and receiver. Power delay profiles were measured at half-wavelength spatial increments over a local area (33 wavelengths) on a linear track in two orthogonal receiver directions in a typical base-to-mobile scenario with fixed transmitter and receiver antenna beam pointing directions. The voltage path amplitudes are shown to follow a Rician distribution, with K-factor ranging from 9 - 15 dB and 5 - 8 dB in line of sight (LOS) and non-line of sight (NLOS) for a vertical-to-vertical co-polarized antenna scenario, respectively, and from 3 - 7 dB in both LOS and NLOS vertical-to-horizontal cross-polarized antenna scenario. The average spatial autocorrelation functions of individual multipath components reveal that signal amplitudes reach a correlation of 0 after 2 and 5 wavelengths in LOS and NLOS co-polarized V-V antenna scenarios. The models provided are useful for recreating path gain statistics of millimeter-wave wideband channel impulse responses over local areas, for the study of multi-element antenna simulations and channel estimation algorithms.


title: Session-based Recommendations with Recurrent Neural Networks

abstract: We apply recurrent neural networks (RNN) on a new domain, namely recommender systems. Real-life recommender systems often face the problem of having to base recommendations only on short session-based data (e.g. a small sportsware website) instead of long user histories (as in the case of Netflix). In this situation the frequently praised matrix factorization approaches are not accurate. This problem is usually overcome in practice by resorting to item-to-item recommendations, i.e. recommending similar items. We argue that by modeling the whole session, more accurate recommendations can be provided. We therefore propose an RNN-based approach for session-based recommendations. Our approach also considers practical aspects of the task and introduces several modifications to classic RNNs such as a ranking loss function that make it more viable for this specific problem. Experimental results on two data-sets show marked improvements over widely used approaches.


title: MIMO Channel Modeling and Capacity Analysis for 5G Millimeter-Wave Wireless Systems

abstract: This paper presents a 3-D statistical channel model of the impulse response with small-scale spatially correlated random coefficients for multi-element transmitter and receiver antenna arrays, derived using the physically-based time cluster - spatial lobe (TCSL) clustering scheme. The small-scale properties of multipath amplitudes are modeled based on 28 GHz outdoor millimeter-wave small-scale local area channel measurements. The wideband channel capacity is evaluated by considering measurement-based Rician-distributed voltage amplitudes, and the spatial autocorrelation of multipath amplitudes for each pair of transmitter and receiver antenna elements. Results indicate that Rician channels may exhibit equal or possibly greater capacity compared to Rayleigh channels, depending on the number of antennas.


title: Local Multipath Model Parameters for Generating 5G Millimeter-Wave 3GPP-like Channel Impulse Response

abstract: This paper presents 28 GHz and 73 GHz empirically-derived large-scale and small-scale channel model parameters that characterize average temporal and angular properties of multipaths. Omnidirectional azimuth scans at both the transmitter and receiver used high gain directional antennas, from which global 3GPP modeling parameters for the mean global azimuth and zenith spreads of arrival were found to be 22 degrees and 6.2 degrees at 28 GHz, and 37.1 degrees and 3.8 degrees at 73 GHz, respectively, in non-line of sight (NLOS). Small-scale spatial measurements at 28 GHz reveal a mean cross-polar ratio for individual multipath components of 29.7 dB and 16.7 dB in line of sight and NLOS, respectively. Small-scale parameters extracted using the KPowerMeans algorithm yielded on average 5.3 and 4.6 clusters at 28 GHz and 73 GHz, respectively, in NLOS. The time cluster - spatial lobe (TCSL) modeling approach uses an alternative physically-based binning procedure and recreates 3GPP model parameters to generate channel impulse responses, as well as new parameters like the RMS lobe angular spreads useful in quantifying millimeter-wave directionality. The TCSL algorithm faithfully reproduces first- and second-order statistics of measured millimeter-wave channels.


title: Topological superconductivity on the surface of Fe-based superconductors

abstract: As one of the simplest systems for realizing Majorana fermions, topological superconductor plays an important role in both condensed matter physics and quantum computations. Based on \emph{ab~initio} calculations and the analysis of an effective 8-band model with the superconducting pairing, we demonstrate that the three dimensional extended $s$-wave Fe-based superconductors such as Fe$_{1+\text{y}}$Se$_{0.5}$Te$_{0.5}$ have a metallic topologically nontrivial band structure, and exhibit a normal-topological-normal superconductivity phase transition on the ($001$) surface by tuning the bulk carrier doping level. In the topological superconductivity (TSC) phase, a Majorana zero mode is trapped at the end of a magnetic vortex line. We further show that, the surface TSC phase only exists up to a certain bulk pairing gap, and there is a normal-topological phase transition driven by the temperature, which has not been discussed before. These results pave an effective way to realize the TSC and Majorana fermions in a large class of superconductors.


title: A composition between risk and deviation measures

abstract: The intuition of risk is based on two main concepts: loss and variability. In this paper, we present a composition of risk and deviation measures, which contemplate these two concepts. Based on the proposed Limitedness axiom, we prove that this resulting composition, based on properties of the two components, is a coherent risk measure. Similar results for the cases of convex and co-monotone risk measures are exposed. We also provide examples of known and new risk measures constructed under this framework in order to highlight the importance of our approach, especially the role of the Limitedness axiom.


title: On the evolution by fractional mean curvature

abstract: In this paper we study smooth solutions to a fractional mean curvature flow equation. We establish a comparison principle and consequences such as uniqueness and finite extinction time for compact solutions. We also establish evolutions equations for fractional geometric quantities that yield preservation of certain quantities (such as positive fractional curvature) and smoothness of graphical evolutions.


title: A census of zeta functions of quartic K3 surfaces over F_2

abstract: We compute the complete set of candidates for the zeta function of a K3 surface over F_2 consistent with the Weil conjectures, as well as the complete set of zeta functions of smooth quartic surfaces over F_2. These sets differ substantially, but we do identify natural subsets which coincide. This gives some numerical evidence towards a Honda-Tate theorem for transcendental zeta functions of K3 surfaces; such a result would refine a recent theorem of Taelman, in which one must allow an uncontrolled base field extension.


title: Criteria of Biholomorphic Convex Mappings on the bounded convex balanced domain $D_{p}^n$

abstract: In this paper, we first establish several general sufficient conditions for the biholomorphic convex mappings on the bounded convex balanced domain $D_{p}^n(p_{j}\geq 2,j=1,\cdots,n)$ in $C^{n}$, which extend some related results of earlier authors. From these, some concrete examples of biholomorphic convex mappings on $D_{p}^n$ are also provided.


title: Validation Of The Coronal Thick Target Source Model

abstract: We present detailed 3D modeling of a dense, coronal thick target X-ray flare using the GX Simulator tool, photospheric magnetic measurements, and microwave imaging and spectroscopy data. The developed model offers a remarkable agreement between the synthesized and observed spectra and images in both X-ray and microwave domains, which validates the entire model. The flaring loop parameters are chosen to reproduce the emission measure, temperature, and the nonthermal electron distribution at low energies derived from the X-ray spectral fit, while the remaining parameters, unconstrained by the X-ray data, are selected such as to match the microwave images and total power spectra. The modeling suggests that the accelerated electrons are trapped in the coronal part of the flaring loop, but away from where the magnetic field is minimal, and, thus, demonstrates that the data are clearly inconsistent with electron magnetic trapping in the weak diffusion regime mediated by the Coulomb collisions. Thus, the modeling supports the interpretation of the coronal thick-target sources as sites of electron acceleration in flares and supplies us with a realistic 3D model with physical parameters of the acceleration region and flaring loop.


title: Mayer-Vietoris sequence for differentiable/diffeological spaces

abstract: The idea of a space with smooth structure is a generalization of an idea of a manifold. K. T. Chen introduced such a space as a differentiable space in his study of a loop space to employ the idea of iterated path integrals \cite{Chen:73,Chen:75,Chen:77,Chen:86}. Following the pattern established by Chen, J. M. Souriau \cite{Souriau:80} introduced his version of a space with smooth structure, which is called a diffeological space. These notions are strong enough to include all the topological spaces. However, if one tries to show de Rham theorem, he must encounter a difficulty to obtain a partition of unity and thus the Mayer-Vietoris exact sequence in general. In this paper, we introduce a new version of differential forms to obtain a partition of unity, the Mayer-Vietoris exact sequence and a version of de Rham theorem in general. In addition, if we restrict ourselves to consider only CW complexes, we obtain de Rham theorem for a genuine de Rham complex, and hence the genuine de Rham cohomology coincides with the ordinary cohomology for a CW complex.


title: Sharp inequalities of homogeneous expansions for quasi-convex mappings of type B and almost starlike mappings of order alpha

abstract: In this paper, we first obtain several sharp inequalities of homogeneous expansion for both the subclass of all normalized biholomorphic quasi-convex mappings of type B and order alpha and the subclass of all normalized biholomorphic almost starlike mappings of order alpha defined on the unit ball $B$ of a complex Banach space X. Then, with these sharp inequalities, we derive the sharp estimates of the third and fourth homogeneous expansions for the above mappings defined on the unit polydisk $D^n$ in C(n).


title: An Autonomous Observation and Control System Based on EPICS and RTS2 for Antarctic Telescopes

abstract: For an unattended telescopes in Antarctic, the remote operation, autonomous observation and control are essential. An EPICS (Experimental Physics and Industrial Control System) and RTS2(Remote Telescope System, 2nd Version) based autonomous observation and control system with remoted operation is introduced in this paper. EPICS is a set of Open Source software tools, libraries and applications developed collaboratively and used worldwide to create distributed soft real-time control systems for scientific instruments while RTS2 is an open source environment for control of a fully autonomous observatory. Using the advantage of EPICS and RTS2 respectively, a combined integrated software framework for autonomous observation and control is established that use RTS2 to fulfill the function of astronomical observation and use EPICS to fulfill the device control of telescope. A command and status interface for EPICS and RTS2 is designed to make the EPICS IOC (Input/Output Controller) components integrate to RTS2 directly. For the specification and requirement of control system of telescope in Antarctic, core components named Executor and Auto-focus for autonomous observation is designed and implemented with remote operation user interface based on Browser-Server mode. The whole system including the telescope is tested in Lijiang Observatory in Yunnan Province for practical observation to complete the autonomous observation and control, including telescope control, camera control, dome control, weather information acquisition with the local and remote operation.


title: Gradual DropIn of Layers to Train Very Deep Neural Networks

abstract: We introduce the concept of dynamically growing a neural network during training. In particular, an untrainable deep network starts as a trainable shallow network and newly added layers are slowly, organically added during training, thereby increasing the network's depth. This is accomplished by a new layer, which we call DropIn. The DropIn layer starts by passing the output from a previous layer (effectively skipping over the newly added layers), then increasingly including units from the new layers for both feedforward and backpropagation. We show that deep networks, which are untrainable with conventional methods, will converge with DropIn layers interspersed in the architecture. In addition, we demonstrate that DropIn provides regularization during training in an analogous way as dropout. Experiments are described with the MNIST dataset and various expanded LeNet architectures, CIFAR-10 dataset with its architecture expanded from 3 to 11 layers, and on the ImageNet dataset with the AlexNet architecture expanded to 13 layers and the VGG 16-layer architecture.


title: Minimality in General PDE

abstract: This submission has been withdrawn by arXiv administrators as it is a machine-generated paper.


title: Drift Due to Two Obstacles in Different Arrangements

abstract: We study the drift induced by the passage of two cylinders through an unbounded extent of inviscid incompressible fluid under the assumption that the flow is two-dimensional and steady in the moving frame of reference. The goal is to assess how the resulting total particle drift depends on the parameters of the geometric configuration, namely, the distance between the cylinders and their angle with respect to the direction of translation. This problem is studied by numerically computing, for different cylinder configurations, the trajectories of particles starting at various initial locations. The velocity field used in these computations is expressed in closed form using methods of the complex function theory and the accuracy of calculations is carefully verified. We identify cylinder configurations which result in increased and decreased drift with respect to the reference case when the two cylinders are separated by an infinite distance. Particle trajectories shed additional light on the hydrodynamic interactions between the cylinders in configurations resulting in different drift values. This ensemble of results provides insights about the accuracy of models used to study biogenic transport.


title: Budgetary Effects on Pricing Equilibrium in Online Markets

abstract: Following the work of Babaioff et al, we consider the pricing game with strategic vendors and a single buyer, modeling a scenario in which multiple competing vendors have very good knowledge of a buyer, as is common in online markets. We add to this model the realistic assumption that the buyer has a fixed budget and does not have unlimited funds. When the buyer's valuation function is additive, we are able to completely characterize the different possible pure Nash Equilibria (PNE) and in particular obtain a necessary and sufficient condition for uniqueness. Furthermore, we characterize the market clearing (or Walresian) equilibria for all submodular valuations. Surprisingly, for certain monotone submodular function valuations, we show that the pure NE can exhibit some counterintuitive phenomena; namely, there is a valuation such that the pricing will be market clearing and within budget if the buyer does not reveal the budget but will result in a smaller set of allocated items (and higher prices for items) if the buyer does reveal the budget. It is also the case that the conditions that guarantee market clearing in Babaioff et al for submodular functions are not necessarily market clearing when there is a budget. Furthermore, with respect to social welfare, while without budgets all equilibria are optimal (i.e. POA = POS = 1), we show that with budgets the worst equilibrium may only achieve 1/(n-2) of the best equilibrium.


title: Nambu at Work

abstract: This paper is based on a talk delivered on 16 November, 2015 in Osaka at the Nambu's Century: International Symposium on Yoichiro Nambu's Physics


title: Strong gravitational lensing constraints on holographic dark energy

abstract: Strong gravitational lensing (SGL) has provided an important tool for probing galaxies and cosmology. In this paper, we use the SGL data to constrain the holographic dark energy model, as well as models that have the same parameter number, such as the $w$CDM and Ricci dark energy models. We find that only using SGL is difficult to effectively constrain the model parameters. However, when the SGL data are combined with CBS (CMB+BAO+SN) data, the reasonable estimations can be given and the constraint precision is improved to a certain extent, relative to the case of CBS only. Therefore, SGL is an useful way to tighten constraints on model parameters.


title: Redshift drift constraints on f(T) gravity

abstract: We explore the impact of the Sandage-Loeb (SL) test on the precision of cosmological constraints for $f(T)$ gravity theories. The SL test is an important supplement to current cosmological observations because it measures the redshift drift in the Lyman-$\alpha$ forest in the spectra of distant quasars, covering the "redshift desert" of $2 \lesssim z \lesssim5$. To avoid data inconsistency, we use the best-fit models based on current combined observational data as fiducial models to simulate 30 mock SL test data. We quantify the impact of these SL test data on parameter estimation for $f(T)$ gravity theories. Two typical $f(T)$ models are considered, the power-law model $f(T)_{PL}$ and the exponential-form model $f(T)_{EXP}$. The results show that the SL test can effectively break the existing strong degeneracy between the present-day matter density $\Omega_m$ and the Hubble constant $H_0$ in other cosmological observations. For the considered $f(T)$ models, a 30-year observation of the SL test can improve the constraint precision of $\Omega_m$ and $H_0$ enormously but cannot effectively improve the constraint precision of the model parameters.


title: Constraints on Alternate Universes: Stars and habitable planets with different fundamental constants

abstract: This paper develops constraints on the values of the fundamental constants that allow universes to be habitable. We focus on the fine structure constant $\alpha$ and the gravitational structure constant $\alpha_G$, and find the region in the $\alpha$-$\alpha_G$ plane that supports working stars and habitable planets. This work is motivated, in part, by the possibility that different versions of the laws of physics could be realized within other universes. The following constraints are enforced: [A] long-lived stable nuclear burning stars exist, [B] planetary surface temperatures are hot enough to support chemical reactions, [C] stellar lifetimes are long enough to allow biological evolution, [D] planets are massive enough to maintain atmospheres, [E] planets are small enough in mass to remain non-degenerate, [F] planets are massive enough to support sufficiently complex biospheres, [G] planets are smaller in mass than their host stars, and [H] stars are smaller in mass than their host galaxies. This paper delineates the portion of the $\alpha$-$\alpha_G$ plane that satisfies all of these constraints. The results indicate that viable universes --- with working stars and habitable planets --- can exist within a parameter space where the structure constants $\alpha$ and $\alpha_G$ vary by several orders of magnitude. These constraints also provide upper bounds on the structure constants ($\alpha,\alpha_G$) and their ratio. We find the limit $\alpha_G/\alpha<10^{-34}$, which shows that habitable universes must have a large hierarchy between the strengths of the gravitational force and the electromagnetic force.


title: Unsteady adjoint of pressure loss for a fundamental transonic turbine vane

abstract: High fidelity simulations, e.g., large eddy simulation are often needed for accurately predicting pressure losses due to wake mixing in turbomachinery applications. An unsteady adjoint of such high fidelity simulations is useful for design optimization in these aerodynamic applications. In this paper we present unsteady adjoint solutions using a large eddy simulation model for a vane from VKI using aerothermal objectives. The unsteady adjoint method is effective in capturing the gradient for a short time interval aerothermal objective, whereas the method provides diverging gradients for long time-averaged thermal objectives. As the boundary layer on the suction side near the trailing edge of the vane is turbulent, it poses a challenge for the adjoint solver. The chaotic dynamics cause the adjoint solution to diverge exponentially from the trailing edge region when solved backwards in time. This results in the corruption of the sensitivities obtained from the adjoint solutions. An energy analysis of the unsteady compressible Navier-Stokes adjoint equations indicates that adding artificial viscosity to the adjoint equations can potentially dissipate the adjoint energy while potentially maintain the accuracy of the adjoint sensitivities. Analyzing the growth term of the adjoint energy provides a metric for identifying the regions in the flow where the adjoint term is diverging. Results for the vane from simulations performed on the Titan supercomputer are demonstrated.


title: Binary Linear Locally Repairable Codes

abstract: Locally repairable codes (LRCs) are a class of codes designed for the local correction of erasures. They have received considerable attention in recent years due to their applications in distributed storage. Most existing results on LRCs do not explicitly take into consideration the field size $q$, i.e., the size of the code alphabet. In particular, for the binary case, only a few results are known. In this work, we present an upper bound on the minimum distance $d$ of linear LRCs with availability, based on the work of Cadambe and Mazumdar. The bound takes into account the code length $n$, dimension $k$, locality $r$, availability $t$, and field size $q$. Then, we study binary linear LRCs in three aspects. First, we focus on analyzing the locality of some classical codes, i.e., cyclic codes and Reed-Muller codes, and their modified versions, which are obtained by applying the operations of extend, shorten, expurgate, augment, and lengthen. Next, we construct LRCs using phantom parity-check symbols and multi-level tensor product structure, respectively. Compared to other previous constructions of binary LRCs with fixed locality or minimum distance, our construction is much more flexible in terms of code parameters, and gives various families of high-rate LRCs, some of which are shown to be optimal with respect to their minimum distance. Finally, availability of LRCs is studied. We investigate the locality and availability properties of several classes of one-step majority-logic decodable codes, including cyclic simplex codes, cyclic difference-set codes, and $4$-cycle free regular low-density parity-check (LDPC) codes. We also show the construction of a long LRC with availability from a short one-step majority-logic decodable code.


title: On the Linear Algebraic Structure of Distributed Word Representations

abstract: In this work, we leverage the linear algebraic structure of distributed word representations to automatically extend knowledge bases and allow a machine to learn new facts about the world. Our goal is to extract structured facts from corpora in a simpler manner, without applying classifiers or patterns, and using only the co-occurrence statistics of words. We demonstrate that the linear algebraic structure of word embeddings can be used to reduce data requirements for methods of learning facts. In particular, we demonstrate that words belonging to a common category, or pairs of words satisfying a certain relation, form a low-rank subspace in the projected space. We compute a basis for this low-rank subspace using singular value decomposition (SVD), then use this basis to discover new facts and to fit vectors for less frequent words which we do not yet have vectors for.


title: A New Anisotropic Compact Star Model having Matese \& Whitman Mass Function

abstract: A new singularity free model of anisotroipic compact star is proposed. The Einstein field equations are solved in closed form by utilizing Matese \& Whitman mass function. The model parameters $\rho$, $p_r$ and $p_t$ all are well behaved inside the stellar interior and our model satisfies all the required conditions to be physically acceptable. The model given in the present work is compatible with observational data of compact objects like SAX J 1808.4-3658 (SS1), SAX J 1808.4-3658 (SS2) and 4U 1820-30. A particular model of 4U 1820-30 is studied in detail and found that it satisfies all the condition needed for physically acceptable model. The present work is the generalization of Sharma and Ratanpal\cite{sharma13} model for compact stars admitting quadratic equation of state.


title: R\'enyi entropy and the thermodynamic stability of black holes

abstract: Thermodynamic stability of black holes, described by the R\'enyi formula as equilibrium compatible entropy function, is investigated. It is shown that within this approach, asymptotically flat, Schwarzschild black holes can be in stable equilibrium with thermal radiation at a fixed temperature. This implies that the canonical ensemble exists just like in anti-de Sitter space, and nonextensive effects can stabilize the black holes in a very similar way as it is done by the gravitational potential of an anti-de Sitter space. Furthermore, it is also shown that a Hawking-Page-like black hole phase transition occurs at a critical temperature which depends on the $q$-parameter of the R\'enyi formula.


title: Online Semi-Supervised Learning with Deep Hybrid Boltzmann Machines and Denoising Autoencoders

abstract: Two novel deep hybrid architectures, the Deep Hybrid Boltzmann Machine and the Deep Hybrid Denoising Auto-encoder, are proposed for handling semi-supervised learning problems. The models combine experts that model relevant distributions at different levels of abstraction to improve overall predictive performance on discriminative tasks. Theoretical motivations and algorithms for joint learning for each are presented. We apply the new models to the domain of data-streams in work towards life-long learning. The proposed architectures show improved performance compared to a pseudo-labeled, drop-out rectifier network.


title: Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory

abstract: Galois connections are a foundational tool for structuring abstraction in semantics and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections remains limited to restricted modes of use, preventing their general application in mechanized metatheory and certified programming. This paper presents constructive Galois connections, a variant of Galois connections that is effective both on paper and in proof assistants; is complete with respect to a large subset of classical Galois connections; and enables more general reasoning principles, including the "calculational" style advocated by Cousot. To design constructive Galois connection we identify a restricted mode of use of classical ones which is both general and amenable to mechanization in dependently-typed functional programming languages. Crucial to our metatheory is the addition of monadic structure to Galois connections to control a "specification effect". Effectful calculations may reason classically, while pure calculations have extractable computational content. Explicitly moving between the worlds of specification and implementation is enabled by our metatheory. To validate our approach, we provide two case studies in mechanizing existing proofs from the literature: one uses calculational abstract interpretation to design a static analyzer, the other forms a semantic basis for gradual typing. Both mechanized proofs closely follow their original paper-and-pencil counterparts, employ reasoning principles not captured by previous mechanization approaches, support the extraction of verified algorithms, and are novel.


title: Flexible Toggles and Symmetric Invertible Asynchronous Elementary Cellular Automata

abstract: A sequential dynamical system (SDS) consists of a graph $G$ with vertices $v_1,v_2,\ldots,v_n$, a state set $A$, a collection of "vertex functions" $\{f_{v_i}\}_{i=1}^n$, and a permutation $\pi\in S_n$ that specifies how to compose these functions to yield the SDS map $[G,\{f_{v_i}\}_{i=1}^n,\pi]\colon A^n\to A^n$. In this paper, we study symmetric invertible SDS defined over the cycle graph $C_n$ using the set of states $\mathbb F_2$. These are, in other words, asynchronous elementary cellular automata (ECA) defined using ECA rules 150 and 105. Each of these SDS defines a group action on the set $\mathbb F_2^n$ of $n$-bit binary vectors. Because the SDS maps are products of involutions, this relates to \emph{generalized toggle groups}, which Striker recently defined. In this paper, we further generalize the notion of a generalized toggle group to that of a \emph{flexible toggle group}; the SDS maps we consider are examples of Coxeter elements of flexible toggle groups. Our main result is the complete classification of the dynamics of symmetric invertible SDS defined over cycle graphs using the set of states $\mathbb F_2$ and the identity update order $\pi=123\cdots n$. More precisely, if $T$ denotes the SDS map of such an SDS, then we obtain an explicit formula for $|\text{Per}_r(T)|$, the number of periodic points of $T$ of period $r$, for every positive integer $r$. It turns out that if we fix $r$ and vary $n$ and $T$, then $|\text{Per}_r(T)|$ only takes at most three nonzero values.


title: Artin approximation property and the General Neron Desingularization

abstract: This is an exposition on the General Neron Desingularization and its applications. We end with a recent constructive form of this desingularization in dimension one


title: Generating Configurable Hardware from Parallel Patterns

abstract: In recent years the computing landscape has seen an in- creasing shift towards specialized accelerators. Field pro- grammable gate arrays (FPGAs) are particularly promising as they offer significant performance and energy improvements compared to CPUs for a wide class of applications and are far more flexible than fixed-function ASICs. However, FPGAs are difficult to program. Traditional programming models for reconfigurable logic use low-level hardware description languages like Verilog and VHDL, which have none of the pro- ductivity features of modern software development languages but produce very efficient designs, and low-level software lan- guages like C and OpenCL coupled with high-level synthesis (HLS) tools that typically produce designs that are far less efficient. Functional languages with parallel patterns are a better fit for hardware generation because they both provide high-level abstractions to programmers with little experience in hard- ware design and avoid many of the problems faced when gen- erating hardware from imperative languages. In this paper, we identify two optimizations that are important when using par- allel patterns to generate hardware: tiling and metapipelining. We present a general representation of tiled parallel patterns, and provide rules for automatically tiling patterns and gen- erating metapipelines. We demonstrate experimentally that these optimizations result in speedups up to 40x on a set of benchmarks from the data analytics domain.


title: Vulnerability of geriatric patients to biomaterial associated infections: in vitro study of biofilm formation by Pseudomonas aeruginosa on orthopedic implants

abstract: Fibronectin, a glycoprotein secreted by connective tissue cells is found in the human plasma as well as in the ECM. It is known to have an adhesive property and plays a role in cell-to-cell and cell-to-substratum adhesions. In rheumatoid arthritis (RA) and osteoarthritis (OA), fibronectin is locally synthesized by the synovial cells, and the synovial fluid level of fibronectin is found to be double that in plasma. The concentration of fibronectin in the synovial fluid under such conditions is found escalate to 2-3 times higher than in the corresponding plasma. The present article demonstrates that the protein has a strong tendency to get adsorbed on biomaterials after an implant surgery in preference to lighter proteins like albumin, which in turn enhances the growth of robust biofilms. The present article demonstrates that, heightened risk of dangerous implant infections due to the formation of such biofilms coupled with the degrading immunity levels of the geriatric patients have the potential to transform an implant surgery to a 'life threatening' event.


title: Kinematics of Interacting CMEs of September 25 and 28, 2012

abstract: We have studied two Coronal Mass Ejections (CMEs) that occurred on September 25 and 28, 2012 and interacted near the Earth. By fitting the Graduated Cylindrical Shell (GCS) model on the SECCHI/COR2 images and applying the Stereoscopic Self-Similar Expansion (SSSE) method on the SECCHI/HI images, the initial direction of both the CMEs is estimated to be west of the Sun-Earth line. Further, the three-dimensional (3D) heliospheric kinematics of these CMEs have been estimated using Self-Similar Expansion (SSE) reconstruction method. We show that use of SSE method with different values of angular extent of the CMEs, leads to significantly different kinematics estimates for the CMEs propagating away from the observer. Using the estimated kinematics and true masses of the CMEs, we have derived the coefficient of restitution for the collision which is found to be close to elastic. The in situ measurements at 1 AU show two distinct structures of interplanetary CMEs, heating of the following CME, as well as ongoing interaction between the preceding and the following CME. We highlight the signatures of interaction in remote and in situ observations of these CMEs and the role of interaction in producing a major geomagnetic storm.


title: A General Framework for the Design and Analysis of Sparse FIR Linear Equalizers

abstract: Complexity of linear finite-impulse-response (FIR) equalizers is proportional to the square of the number of nonzero taps in the filter. This makes equalization of channels with long impulse responses using either zero-forcing or minimum mean square error (MMSE) filters computationally expensive. Sparse equalization is a widely-used technique to solve this problem. In this paper, a general framework is provided that transforms the problem of sparse linear equalizers (LEs) design into the problem of sparsest-approximation of a vector in different dictionaries. In addition, some possible choices of sparsifying dictionaries in this framework are discussed. Furthermore, the worst-case coherence of some of these dictionaries, which determines their sparsifying strength, are analytically and/or numerically evaluated. Finally, the usefulness of the proposed framework for the design of sparse FIR LEs is validated through numerical experiments.


title: Quantum spin ice on the breathing pyrochlore lattice

abstract: The Coulombic quantum spin liquid in quantum spin ice is an exotic quantum phase of matter that emerges on the pyrochlore lattice and is currently actively searched for. Motivated by recent experiments on the Yb-based breathing pyrochlore material Ba$_3$Yb$_2$Zn$_5$O$_{11}$, we theoretically study the phase diagram and magnetic properties of the relevant spin model. The latter takes the form of a quantum spin ice Hamiltonian on a breathing pyrochlore lattice, and we analyze the stability of the quantum spin liquid phase in the absence of the inversion symmetry which the lattice breaks explicitly at lattice sites. Using a gauge mean-field approach, we show that the quantum spin liquid occupies a finite region in parameter space. Moreover, there exists a direct quantum phase transition between the quantum spin liquid phase and featureless paramagnets, even though none of theses phases break any symmetry. At nonzero temperature, we show that breathing pyrochlores provide a much broader finite temperature spin liquid regime than their regular counterparts. We discuss the implications of the results for current experiments and make predictions for future experiments on breathing pyrochlores.


title: Ask Me Anything: Free-form Visual Question Answering Based on Knowledge from External Sources

abstract: We propose a method for visual question answering which combines an internal representation of the content of an image with information extracted from a general knowledge base to answer a broad range of image-based questions. This allows more complex questions to be answered using the predominant neural network-based approach than has previously been possible. It particularly allows questions to be asked about the contents of an image, even when the image itself does not contain the whole answer. The method constructs a textual representation of the semantic content of an image, and merges it with textual information sourced from a knowledge base, to develop a deeper understanding of the scene viewed. Priming a recurrent neural network with this combined information, and the submitted question, leads to a very flexible visual question answering approach. We are specifically able to answer questions posed in natural language, that refer to information not contained in the image. We demonstrate the effectiveness of our model on two publicly available datasets, Toronto COCO-QA and MS COCO-VQA and show that it produces the best reported results in both cases.


title: On the quasi-depth of squarefree monomial ideals and the sdepth of the monomial ideal of independent sets of a graph

abstract: If $J\subset I$ are two monomials ideals, we give a practical upper bound for the Stanley depth of $J/I$, which we call it the \emph{quasi-depth} of $J/I$. Also, we compute the quasi-depth of several classes of square free monomial ideals. We also study the Stanley depth of the monomial ideal associated of the independent sets of a graph.


title: An Integrated Framework to Recommend Personalized Retention Actions to Control B2C E-Commerce Customer Churn

abstract: Considering the level of competition prevailing in Business-to-Consumer (B2C) E-Commerce domain and the huge investments required to attract new customers, firms are now giving more focus to reduce their customer churn rate. Churn rate is the ratio of customers who part away with the firm in a specific time period. One of the best mechanism to retain current customers is to identify any potential churn and respond fast to prevent it. Detecting early signs of a potential churn, recognizing what the customer is looking for by the movement and automating personalized win back campaigns are essential to sustain business in this era of competition. E-Commerce firms normally possess large volume of data pertaining to their existing customers like transaction history, search history, periodicity of purchases, etc. Data mining techniques can be applied to analyse customer behaviour and to predict the potential customer attrition so that special marketing strategies can be adopted to retain them. This paper proposes an integrated model that can predict customer churn and also recommend personalized win back actions.


title: Limit cycles of a class of piecewise smooth Li\'enard systems

abstract: In this paper, we study the problem of limit cycle bifurcation in two piecewise polynomial systems of Li\'enard type with multiple parameters. Based on the developed Melnikov function theory, we obtain the maximum number of limit cycles of these two systems.


title: Matrix inequalities from a two variables functional

abstract: Several matrix/operator inequalies are given. Most of them are unexpected extensions of the Araki Log-majorization theorem, obtained thanks to a new log-majorization for positive linear maps and normal operators (Theorem 2.9). The main idea and technical tool is a two variables log-convex norm functional (Theorem 1.2).


title: Do All BPS Black Hole Microstates Carry Zero Angular Momentum?

abstract: From the analysis of the near horizon geometry and supersymmetry algebra it has been argued that all the microstates of single centered BPS black holes with four unbroken supersymmetries carry zero angular momentum in the region of the moduli space where the black hole description is valid. A stronger form of the conjecture would be that the result holds for any sufficiently generic point in the moduli space. In this paper we set out to test this conjecture for a class of black hole microstates in type II string theory on $T^6$, represented by four stacks of D-branes wrapped on various cycles of $T^6$. For this system the above conjecture translates to the statement that the moduli space of classical vacua must be a collection of points. Explicit analysis of systems carrying a low number of D-branes supports this conjecture.


title: Review of Spin Orbit Coupled Semimetal SrIrO3 in thin film form

abstract: Spin orbit coupling provides a mechanism to lock the momentum of electron to its spin degree, recent years was revealed to be essential in arousing many novel physical behaviors. SrIrO3 is a typical metallic member of the strong spin orbit coupling iridate family. Its orthorhombic phase was confirmed as a particular spin orbit coupling assistant electron correlated semimetal with small electron and hole pockets, and was supposed to host versatile topological phases, with prospect of opening a new topological matter field based on oxides. The existing experiments have demonstrated that orthorhombic SrIrO3 can be easily synthesized at two dimensional scale films under the substrate lattice constraint, and the films display Fermi-liquid behavior in high temperature and generally two dimensional weak localization resulted metal insulator transition. The properties of orthorhombic SrIrO3 film are sensitive to the rotation and tilting angle, as well as the interlayer coupling of the IrO6 octahedras, consequently can be tuned through substrate strain engineering and size scale. For example, the film was approached a state similar to Sr2IrO4 at the ultrathin limit to several unit cell, becoming a canted antiferromagnetic semiconductor/insulator. The existing knowledges suggest urgent demands of researches on the superlattices constructed with orthorhombic SrIrO3, for further understanding the evolution mechanism of the electron structure, and so the relevant magnetic state and topological phases in the orthorhombic SrIrO3 and its family.


title: Stochastic Optimal Control With Dynamic, Time-Consistent Risk Constraints

abstract: In this paper we present a dynamic programing approach to stochastic optimal control problems with dynamic, time-consistent risk constraints. Constrained stochastic optimal control problems, which naturally arise when one has to consider multiple objectives, have been extensively investigated in the past 20 years, however, in most formulations, the constraints are formulated as either risk-neutral (i.e., by considering an expected cost), or by applying static, single-period risk metrics with limited attention to "time-consistency" (i.e., to whether such metrics ensure rational consistency of risk preferences across multiple periods). Recently, significant strides have been made in the development of a rigorous theory of dynamic, \emph{time-consistent} risk metrics for multi-period (risk-sensitive) decision processes, however, their integration within constrained stochastic optimal control problems has received little attention. The goal of this paper is to bridge this gap. First, we formulate the stochastic optimal control problem with dynamic, time-consistent risk constraints and we characterize the tail subproblems (which requires the addition of a Markovian structure to the risk metrics). Second, we develop a dynamic programming approach for its solution, which allows to compute the optimal costs by value iteration. Finally, we discuss both theoretical and practical features of our approach, such as generalizations, construction of optimal control policies, and computational aspects. A simple, two-state example is given to illustrate the problem setup and the solution approach.


title: A Framework for Time-Consistent, Risk-Averse Model Predictive Control: Theory and Algorithms

abstract: In this paper we present a framework for risk-averse model predictive control (MPC) of linear systems affected by multiplicative uncertainty. Our key innovation is to consider time-consistent, dynamic risk metrics as objective functions to be minimized. This framework is axiomatically justified in terms of time-consistency of risk preferences, is amenable to dynamic optimization, and is unifying in the sense that it captures a full range of risk assessments from risk-neutral to worst case. Within this framework, we propose and analyze an online risk-averse MPC algorithm that is provably stabilizing. Furthermore, by exploiting the dual representation of time-consistent, dynamic risk metrics, we cast the computation of the MPC control law as a convex optimization problem amenable to implementation on embedded systems. Simulation results are presented and discussed.


title: Trading Safety Versus Performance: Rapid Deployment of Robotic Swarms with Robust Performance Constraints

abstract: In this paper we consider a stochastic deployment problem, where a robotic swarm is tasked with the objective of positioning at least one robot at each of a set of pre-assigned targets while meeting a temporal deadline. Travel times and failure rates are stochastic but related, inasmuch as failure rates increase with speed. To maximize chances of success while meeting the deadline, a control strategy has therefore to balance safety and performance. Our approach is to cast the problem within the theory of constrained Markov Decision Processes, whereby we seek to compute policies that maximize the probability of successful deployment while ensuring that the expected duration of the task is bounded by a given deadline. To account for uncertainties in the problem parameters, we consider a robust formulation and we propose efficient solution algorithms, which are of independent interest. Numerical experiments confirming our theoretical results are presented and discussed.


title: Graded unipotent groups and Grosshans theory

abstract: Let $U$ be a unipotent group which is graded in the sense that it has an extension $H$ by the multiplicative group of the complex numbers such that all the weights of the adjoint action on the Lie algebra of $U$ are strictly positive. We study embeddings of $H$ in a general linear group $G$ which possess Grosshans-like properties. More precisely, suppose $H$ acts on a projective variety $X$ and its action extends to an action of $G$ which is linear with respect to an ample line bundle on $X$. Then, provided that we are willing to twist the linearisation of the action of $H$ by a suitable (rational) character of $H$, we find that the $H$-invariants form a finitely generated algebra and hence define a projective variety $X/\!/H$; moreover the natural morphism from the semistable locus in $X$ to $X/\!/H$ is surjective, and semistable points in $X$ are identified in $X/\!/H$ if and only if the closures of their $H$-orbits meet in the semistable locus. A similar result applies when we replace $X$ by its product with the projective line; this gives us a projective completion of a geometric quotient of a $U$-invariant open subset of $X$ by the action of the unipotent group $U$.


title: End-to-end Learning of Action Detection from Frame Glimpses in Videos

abstract: In this work we introduce a fully end-to-end approach for action detection in videos that learns to directly predict the temporal bounds of actions. Our intuition is that the process of detecting actions is naturally one of observation and refinement: observing moments in video, and refining hypotheses about when an action is occurring. Based on this insight, we formulate our model as a recurrent neural network-based agent that interacts with a video over time. The agent observes video frames and decides both where to look next and when to emit a prediction. Since backpropagation is not adequate in this non-differentiable setting, we use REINFORCE to learn the agent's decision policy. Our model achieves state-of-the-art results on the THUMOS'14 and ActivityNet datasets while observing only a fraction (2% or less) of the video frames.


title: Standardness as an invariant formulation of independence

abstract: The notion of a homogeneous standard filtration of $\sigma$-algebras was introduced by the author in 1970. The main theorem asserted that a homogeneous filtration is standard, i.e., generated by a sequence of independent random variables, if and only if the standardness criterion is satisfied. In this paper we give detailed definitions and characterizations of Markov standard filtrations. The notion of standardness is essential for applications of probabilistic, combinatorial, and algebraic nature. At the end of the paper we present new notions of {\it shadow metric-measure space} related to nonstandard filtrations.


title: Integral Iwasawa theory of Galois representations for non-ordinary primes

abstract: In this paper, we study the Iwasawa theory of a motive whose Hodge-Tate weights are $0$ or $1$ (thence in practice, of a motive associated to an abelian variety) at a non-ordinary prime, over the cyclotomic tower of a number field that is either totally real or CM. In particular, under certain technical assumptions, we construct Sprung-type Coleman maps on the local Iwasawa cohomology groups and use them to define integral $p$-adic $L$-functions and (one unconditionally and other conjecturally) cotorsion Selmer groups. This allows us to reformulate Perrin-Riou's main conjecture in terms of these objects, in the same fashion as Kobayashi's $\pm$-Iwasawa theory for supersingular elliptic curves. By the aid of our theory of Coleman-adapted Kolyvagin systems that we develop here, we deduce parts of Perrin-Riou's main conjecture from an explicit reciprocity conjecture.


title: Evolutionary algorithms

abstract: This manuscript contains an outline of lectures course "Evolutionary Algorithms" read by the author. The course covers Canonic Genetic Algorithm and various other genetic algorithms as well as evolutionary strategies, genetic programming, tabu search and the class of evolutionary algorithms in general. Some facts, such as the Rotation Property of crossover, the Schemata Theorem, GA performance as a local search and "almost surely" convergence of evolutionary algorithms are given with complete proofs. The text is in Russian.


title: Learning High-level Prior with Convolutional Neural Networks for Semantic Segmentation

abstract: This paper proposes a convolutional neural network that can fuse high-level prior for semantic image segmentation. Motivated by humans' vision recognition system, our key design is a three-layer generative structure consisting of high-level coding, middle-level segmentation and low-level image to introduce global prior for semantic segmentation. Based on this structure, we proposed a generative model called conditional variational auto-encoder (CVAE) that can build up the links behind these three layers. These important links include an image encoder that extracts high level info from image, a segmentation encoder that extracts high level info from segmentation, and a hybrid decoder that outputs semantic segmentation from the high level prior and input image. We theoretically derive the semantic segmentation as an optimization problem parameterized by these links. Finally, the optimization problem enables us to take advantage of state-of-the-art fully convolutional network structure for the implementation of the above encoders and decoder. Experimental results on several representative datasets demonstrate our supreme performance for semantic segmentation.


title: On low-degree representations of the symmetric group

abstract: The aim of the present paper is to obtain a classification of all the irreducible modular representations of the symmetric group on $n$ letters of dimension at most $n^3$, including dimension formulae. This is achieved by improving an idea, originally due to G. James, to get hands on dimension bounds, by building on the current knowledge about decomposition numbers of symmetric groups and their associated Iwahori-Hecke algebras, and by employing a mixture of theory and computation.


title: Vector Meson Masses from Hidden Local Symmetry in Constant Magnetic Field

abstract: We discuss the magnetic responses of vector meson masses based on the hidden local symmetry (HLS) model in constant magnetic field, described by the lightest two-flavor system including the pion, rho and omega mesons in the spectrum. The effective masses influenced under the magnetic field are evaluated in a way of the derivative/chiral expansion established in the HLS model. At the leading order O(p^2) the g-factor of the charged rho meson is fixed to be 2, implying that the rho meson at this order is treated just like a point-like spin-1 particle. Beyond the leading order, one finds anomalous magnetic interactions of the charged rho meson, involving the anomalous magnetic moment, which give corrections to the effective mass. It is then suggested that up to O(p^4) the charged rho meson tends to become massless. Of interest is that nontrivial magnetic-dependence of neutral mesons emerges to give rise to the significant mixing among neutral mesons. Consequently, it leads to the dramatic enhancement of the omega meson mass, which is testable in future lattice simulations. Corrections from terms beyond O(p^4) are also addressed.


title: The performance of the quantum adiabatic algorithm on spike Hamiltonians

abstract: Perturbed Hamming weight problems serve as examples of optimization instances for which the adiabatic algorithm provably out performs classical simulated annealing. In this work we study the efficiency of the adiabatic algorithm for solving the "the Hamming weight with a spike" problem by using several methods to compute the scaling of the spectral gap at the critical point, which apply for various ranges of the height and width of the barrier. Our main result is a rigorous polynomial lower bound on the minimum spectral gap for the adiabatic evolution when the bit-symmetric cost function has a thin but polynomially high barrier. This is accomplished by the use of a variational argument with an improved ansatz for the ground state, along with a comparison to the spectrum of the system when no spike term is present. We also give a more detailed treatment of the spin coherent path-integral instanton method which was used by Farhi, Goldstone, and Gutmann in arXiv:quant-ph/0201031, and consider its applicability for estimating the gap for different scalings of barrier height and width. We adapt the discrete WKB method for an abruptly changing potential, and apply it to the construction of approximate wave functions which can be used to estimate the gap. Finally, the improved ansatz for the ground state leads to a method for predicting the location of avoided crossings in the excited states of the energy spectrum of the thin spike Hamiltonian, and we use a recursion relation to determine the ordering of some of these avoided crossings, which may be a useful step towards understanding the diabatic cascade phenomenon which occurs in spike Hamiltonians.


title: Early Warning Signs of the Economic Crisis in Greece: A Warning for Other Countries and Regions

abstract: Warning signs about the developing economic crisis in Greece were present in the growth rate of the Gross Domestic Product (GDP) and in the growth of the GDP well before the economic collapse. The growth rate was strongly unstable. On average, in less than 50 years, it decreased 10-folds but after reaching a low minimum it quickly increased 6-folds only to crash before completing the full cycle. The decreasing growth rate was leading to an asymptotic maximum of the GDP but it was soon replaced by a fast-increasing growth rate propelling the GDP along a pseudo-hyperbolic trajectory, which if continued would have escaped to infinity in 2017. Such a growth could not have been possibly supported. Under these conditions, the economic collapse in Greece was inevitable.


title: Constraining short-range spin-dependent forces with polarized $^3$He

abstract: We have searched for a short-range spin-dependent interaction using the spin relaxation of hyperpolarized $^3$He. Such a new interaction would be mediated by a hypothetical light scalar boson with \CP-violating couplings to the neutron. The walls of the $^3$He cell would generate a pseudomagnetic field and induce an extra depolarization channel. We did not see any anomalous spin relaxation and we report the limit for interaction ranges $\lambda$ between $1$ and $100~\rm{\mu m}$: $g_sg_p \lambda ^2 \leq 2.6\times 10^{-28}~\mathrm{m^2}\, ( 95~\%\, \mathrm{C.L.})$, where $g_s$($g_p$) are the (pseudo)scalar coupling constant, improving the previous best limit by 1 order of magnitude.


title: Dynamics of non-Markovian open quantum systems

abstract: Open quantum systems (OQS) cannot always be described with the Markov approximation, which requires a large separation of system and environment time scales. Here, we give an overview of some of the most important techniques available to tackle the dynamics of an OQS beyond the Markov approximation. Some of these techniques, such as master equations, Heisenberg equations and stochastic methods, are based on solving the reduced OQS dynamics, while others, such as path integral Monte Carlo or chain mapping approaches, are based on solving the dynamics of the full system. We emphasize the physical interpretation and derivation of the various approaches, explore how they are connected and examine how different methods may be suitable for solving different problems.


title: Non-Sentential Utterances in Dialogue: Experiments in Classification and Interpretation

abstract: Non-sentential utterances (NSUs) are utterances that lack a complete sentential form but whose meaning can be inferred from the dialogue context, such as "OK", "where?", "probably at his apartment". The interpretation of non-sentential utterances is an important problem in computational linguistics since they constitute a frequent phenomena in dialogue and they are intrinsically context-dependent. The interpretation of NSUs is the task of retrieving their full semantic content from their form and the dialogue context. The first half of this thesis is devoted to the NSU classification task. Our work builds upon Fern\'andez et al. (2007) which present a series of machine-learning experiments on the classification of NSUs. We extended their approach with a combination of new features and semi-supervised learning techniques. The empirical results presented in this thesis show a modest but significant improvement over the state-of-the-art classification performance. The consecutive, yet independent, problem is how to infer an appropriate semantic representation of such NSUs on the basis of the dialogue context. Fern\'andez (2006) formalizes this task in terms of "resolution rules" built on top of the Type Theory with Records (TTR). Our work is focused on the reimplementation of the resolution rules from Fern\'andez (2006) with a probabilistic account of the dialogue state. The probabilistic rules formalism Lison (2014) is particularly suited for this task because, similarly to the framework developed by Ginzburg (2012) and Fern\'andez (2006), it involves the specification of update rules on the variables of the dialogue state to capture the dynamics of the conversation. However, the probabilistic rules can also encode probabilistic knowledge, thereby providing a principled account of ambiguities in the NSU resolution process.


title: Differential positivity characterizes one-dimensional normally hyperbolic attractors

abstract: The paper shows that normally hyperbolic one-dimensional compact attractors of smooth dynamical systems are characterized by differential positivity, that is, the pointwise infinitesimal contraction of a smooth cone field. The result is analog to the characterization of zero-dimensional hyperbolic attractors by differential stability, which is the pointwise infinitesimal contraction of a Riemannian metric.