title: Probing the Stau-Neutralino Coannihilation Region at the LHC with a soft tau lepton and an ISR jet

abstract: We present a feasibility study, to search for dark matter at the LHC, in events with one soft hadronically decaying tau lepton and missing transverse energy recoiling against a hard $p_{T}$ jet from initial state radiation. This methodology allows the search for Supersymmetry in compressed mass spectra regions, where the mass difference between the lightest neutralino, $\tilde\chi_1^0$, and the stau (the tau superpartner), $\tilde{\tau}$, is small. Several theoretical models predict a direct connection between thermal Bino dark matter and staus within this scenario. We show that compressed regions, not excluded by ATLAS nor CMS experiments, are opened up with the increase in experimental sensitivity reached with the proposed methodology. The requirement of a hard jet from initial state radiation combined with a soft tau lepton is effective in reducing Standard Model backgrounds, providing expected significances greater than 3$\sigma$ for $\tilde{\chi}_{1}^{\pm}$ masses up to 300 GeV and $\tilde{\tau}$-$\tilde{\chi}_{1}^{0}$ mass gaps below 25 GeV with only 30 fb$^{-1}$ of 13 TeV data from the LHC.


title: BlackHoleCam: fundamental physics of the Galactic center

abstract: Einstein's General Theory of Relativity (GR) successfully describes gravity. The most fundamental predictions of GR are black holes (BHs), but in spite of many convincing BH candidates in the Universe, there is no conclusive experimental proof of their existence using astronomical observations in the electromagnetic spectrum. Are BHs real astrophysical objects? Does GR hold in its most extreme limit or are alternatives needed? The prime target to address these fundamental questions is in the center of our own Galaxy, which hosts the closest and best-constrained supermassive BH candidate in the Universe, Sagittarius A* (Sgr A*). Three different types of experiments hold the promise to test GR in a strong-field regime using observations of Sgr A* with new-generation instruments. The first experiment aims to image the relativistic plasma emission which surrounds the event horizon and forms a "shadow" cast against the background, whose predicted size (~50 microarcseconds) can now be resolved by upcoming VLBI experiments at mm-waves such as the Event Horizon Telescope (EHT). The second experiment aims to monitor stars orbiting Sgr A* with the upcoming near-infrared interferometer GRAVITY at the Very Large Telescope (VLT). The third experiment aims to time a radio pulsar in tight orbit about Sgr A* using radio telescopes (including the Atacama Large Millimeter Array or ALMA). The BlackHoleCam project exploits the synergy between these three different techniques and aims to measure the main BH parameters with sufficient precision to provide fundamental tests of GR and probe the spacetime around a BH in any metric theory of gravity. Here, we review our current knowledge of the physical properties of Sgr A* as well as the current status of such experimental efforts towards imaging the event horizon, measuring stellar orbits, and timing pulsars around Sgr A*.


title: Classically stable non-singular cosmological bounces

abstract: One of the fundamental questions of theoretical cosmology is whether the universe can undergo a non-singular bounce, i.e., smoothly transit from a period of contraction to a period of expansion through violation of the null energy condition (NEC) at energies well below the Planck scale and at finite values of the scale factor such that the entire evolution remains classical. A common claim has been that a non-singular bounce either leads to ghost or gradient instabilities or a cosmological singularity. In this letter, we examine cubic Galileon theories and present a procedure for explicitly constructing examples of a non-singular cosmological bounce without encountering any pathologies and maintaining a sub-luminal sound speed for co-moving curvature modes throughout the NEC violating phase. We also discuss the relation between our procedure and earlier work.


title: Potential benefits of a block-space GPU approach for discrete tetrahedral domains

abstract: The study of data-parallel domain re-organization and thread-mapping techniques are relevant topics as they can increase the efficiency of GPU computations when working on spatial discrete domains with non-box-shaped geometry. In this work we study the potential benefits of applying a succint data re-organization of a tetrahedral data-parallel domain of size $\mathcal{O}(n^3)$ combined with an efficient block-space GPU map of the form $g:\mathbb{N} \rightarrow \mathbb{N}^3$. Results from the analysis suggest that in theory the combination of these two optimizations produce significant performance improvement as block-based data re-organization allows a coalesced one-to-one correspondence at local thread-space while $g(\lambda)$ produces an efficient block-space spatial correspondence between groups of data and groups of threads, reducing the number of unnecessary threads from $O(n^3)$ to $O(n^2\rho^3)$ where $\rho$ is the linear block-size and typically $\rho^3 \ll n$. From the analysis, we obtained that a block based succint data re-organization can provide up to $2\times$ improved performance over a linear data organization while the map can be up to $6\times$ more efficient than a bounding box approach. The results from this work can serve as a useful guide for a more efficient GPU computation on tetrahedral domains found in spin lattice, finite element and special n-body problems, among others.


title: Tracking Switched Dynamic Network Topologies from Information Cascades

abstract: Contagions such as the spread of popular news stories, or infectious diseases, propagate in cascades over dynamic networks with unobservable topologies. However, "social signals" such as product purchase time, or blog entry timestamps are measurable, and implicitly depend on the underlying topology, making it possible to track it over time. Interestingly, network topologies often "jump" between discrete states that may account for sudden changes in the observed signals. The present paper advocates a switched dynamic structural equation model to capture the topology-dependent cascade evolution, as well as the discrete states driving the underlying topologies. Conditions under which the proposed switched model is identifiable are established. Leveraging the edge sparsity inherent to social networks, a recursive $\ell_1$-norm regularized least-squares estimator is put forth to jointly track the states and network topologies. An efficient first-order proximal-gradient algorithm is developed to solve the resulting optimization problem. Numerical experiments on both synthetic data and real cascades measured over the span of one year are conducted, and test results corroborate the efficacy of the advocated approach.


title: Defending Non-Bayesian Learning against Adversarial Attacks

abstract: This paper addresses the problem of non-Bayesian learning over multi-agent networks, where agents repeatedly collect partially informative observations about an unknown state of the world, and try to collaboratively learn the true state. We focus on the impact of the adversarial agents on the performance of consensus-based non-Bayesian learning, where non-faulty agents combine local learning updates with consensus primitives. In particular, we consider the scenario where an unknown subset of agents suffer Byzantine faults -- agents suffering Byzantine faults behave arbitrarily. Two different learning rules are proposed.


title: Efficient Routing for Cost Effective Scale-out Data Architectures

abstract: Efficient retrieval of information is of key importance when using Big Data systems. In large scale-out data architectures, data are distributed and replicated across several machines. Queries/tasks to such data architectures, are sent to a router which determines the machines containing the requested data. Ideally, to reduce the overall cost of analytics, the smallest set of machines required to satisfy the query should be returned by the router. Mathematically, this can be modeled as the set cover problem, which is NP-hard, thus making the routing process a balance between optimality and performance. Even though an efficient greedy approximation algorithm for routing a single query exists, there is currently no better method for processing multiple queries than running the greedy set cover algorithm repeatedly for each query. This method is impractical for Big Data systems and the state-of-the-art techniques route a query to all machines and choose as a cover the machines that respond fastest. In this paper, we propose an efficient technique to speedup the routing of a large number of real-time queries while minimizing the number of machines that each query touches (query span). We demonstrate that by analyzing the correlation between known queries and performing query clustering, we can reduce the set cover computation time, thereby significantly speeding up routing of unknown queries. Experiments show that our incremental set cover-based routing is 2.5 times faster and can return on average 50% fewer machines per query when compared to repeated greedy set cover and baseline routing techniques.


title: A Microscopic Description of the Granular Fluidity Field in Nonlocal Flow Modeling

abstract: A recent granular rheology based on an implicit `granular fluidity' field has been shown to quantitatively predict many nonlocal phenomena. However, the physical nature of the field has not been identified. Here, the granular fluidity is found to be a kinematic variable given by the velocity fluctuation and packing fraction. This is verified with many discrete element simulations, which show the operational fluidity definition, solutions of the fluidity model, and the proposed microscopic formula all agree. Kinetic theoretical and Eyring-like explanations shed insight into the obtained form.


title: New examples of higher-dimensional minimal hypersurfaces

abstract: The main results of the paper are Proposition 3 and 4 which provide an effective way to construct minimal hypersurfaces in a Euclidean space. We demonstrate our technique by several new examples. This note is English translation of an earlier draft version written (in Russian) in September 1999. The final version of the paper will be published somewhere else.


title: Dynamics of the complex rational delay recursive sequence $\displaystyle{z_{n+1}=\frac{\alpha+\beta z_{n-k}}{\gamma - z_{n}}}$

abstract: Dynamics of the delay rational difference equation $\displaystyle{z_{n+1}=\frac{\alpha+\beta z_{n-k}}{\gamma - z_{n}}}$ with complex parameters $\alpha$, $\beta$, $\gamma$ and arbitrary complex initial conditions is investigated. Existence of prime period two solutions and higher order periods are ensured in the complex parameters unlike in the case of real parameters of the same rational difference equation. In addition, a new dynamical behavior, chaotic solutions of the difference equation are ensured computationally.


title: Random Polygon to Ellipse: A Generalization

abstract: This paper generalizes the result of Elmachtoub et al to any weighted barycenter, where a transformation is considered which takes an arbitrary point of division $\xi \in (0,1)$ of the segments of a polygon with $n$ vertices. We then consider connecting these new points to form another polygon, and iterate this process. After considering properties of our generalized transformation matrix, a surprisingly elegant interplay of elementary complex analysis and linear algebra is used to find a closed form for our iterative process. We then specify the new limiting ellipse, $\mathcal{E}$, which has oscillating semi-axes. Along the way we find that the case for $\xi = 1/2$ enjoys some special optimality conditions, and periodicity of the ellipse $\mathcal{E}$ is analyzed as well. To conclude, an even more generalized case is considered: taking a different point of division for every segment of our polygon $\mathcal{P} (\vec{x}^{(0)}, \vec{y}^{(0)})$.


title: A tractable method for describing complex couplings between neurons and population rate

abstract: Neurons within a population are strongly correlated, but how to simply capture these correlations is still a matter of debate. Recent studies have shown that the activity of each cell is influenced by the population rate, defined as the summed activity of all neurons in the population. However, an explicit, tractable model for these interactions is still lacking. Here we build a probabilistic model of population activity that reproduces the firing rate of each cell, the distribution of the population rate, and the linear coupling between them. This model is tractable, meaning that its parameters can be learned in a few seconds on a standard computer even for large population recordings. We inferred our model for a population of 160 neurons in the salamander retina. In this population, single-cell firing rates depended in unexpected ways on the population rate. In particular, some cells had a preferred population rate at which they were most likely to fire. These complex dependencies could not be explained by a linear coupling between the cell and the population rate. We designed a more general, still tractable model that could fully account for these non-linear dependencies. We thus provide a simple and computationally tractable way to learn models that reproduce the dependence of each neuron on the population rate.


title: First evidence of coherent $K^{+}$ meson production in neutrino-nucleus scattering

abstract: Neutrino-induced charged-current coherent kaon production, $\nu_{\mu}A\rightarrow\mu^{-}K^{+}A$, is a rare, inelastic electroweak process that brings a $K^+$ on shell and leaves the target nucleus intact in its ground state. This process is significantly lower in rate than neutrino-induced charged-current coherent pion production, because of Cabibbo suppression and a kinematic suppression due to the larger kaon mass. We search for such events in the scintillator tracker of MINERvA by observing the final state $K^+$, $\mu^-$ and no other detector activity, and by using the kinematics of the final state particles to reconstruct the small momentum transfer to the nucleus, which is a model-independent characteristic of coherent scattering. We find the first experimental evidence for the process at $3\sigma$ significance.


title: Baryogenesis from Decaying Magnetic Helicity

abstract: As a result of the Standard Model chiral anomalies, baryon number is violated in the early universe in the presence of a hypermagnetic field with varying helicity. We investigate whether the matter / anti-matter asymmetry of the universe can be created from the decaying helicity of a primordial (hyper)magnetic field before and after the electroweak phase transition. In this model, baryogenesis occurs without $(B-L)$-violation, since the $(B+L)$ asymmetry generated by the hypermagnetic field counteracts the washout by electroweak sphalerons. At the electroweak crossover, the hypermagnetic field becomes an electromagnetic field, which does not source $(B+L)$. Although the sphalerons remain in equilibrium for a time, washout is avoided since the decaying magnetic helicity sources chirality. The relic baryon asymmetry is fixed when the electroweak sphaleron freezes out. Under reasonable assumptions, a baryon asymmetry of $n_B / s \simeq 4 \times 10^{-12}$ can be generated from a maximally helical, right-handed (hyper)magnetic field that has a field strength of $B_0 \simeq 10^{-14} \, {\rm Gauss}$ and coherence length of $\lambda_{0} \simeq 1 \, {\rm pc}$ today. Relaxing an assumption that relates $\lambda_0$ to $B_0$, the model predicts $n_B / s \gtrsim 10^{-10}$, which could potentially explain the observed baryon asymmetry of the universe.


title: BFKL effects and central rapidity dependence in Mueller-Navelet jet production at 13 TeV LHC

abstract: A study of the production of Mueller-Navelet jets at 13 TeV LHC is presented, including BFKL resummation effects and investigating three different variants of the BLM scale optimization method. It is shown how the cross section and the azimuthal observables are affected by the exclusion of the events where, for a given rapidity interval between the two jets, one of these is produced in the central region.


title: Efficiently Inferring Pairwise Subtree Prune-and-Regraft Adjacencies between Phylogenetic Trees

abstract: We develop a time-optimal $O(mn^2)$-time algorithm to construct the subtree prune-regraft (SPR) graph on a collection of m phylogenetic trees with n leaves. This improves on the previous bound of $O(mn^3)$. Such graphs are used to better understand the behaviour of phylogenetic methods and recommend parameter choices and diagnostic criteria. The limiting factor in these analyses has been the difficulty in constructing such graphs for large numbers of trees. We also develop the first efficient algorithms for constructing the nearest-neighbor interchange (NNI) and tree bisection-and-reconnection (TBR) graphs


title: Existence of valuations with smallest normalized volume

abstract: Li introduced the normalized volume of a valuation due to its relation to K-semistability. He conjectured that over a klt singularity there exists a valuation with smallest normalized volume. We prove this conjecture and provide an example to show that such a valuation need not be divisorial.


title: The Tune of Love and the Nature(ness) of Spacetime

abstract: The black hole information paradox is among the most outstanding puzzles in physics. I argue here there is yet another black hole quandary which, in light of the recent direct detection of gravitational waves by Advanced LIGO, reveals a new window to probe the nature of spacetime in the forthcoming era of 'precision gravity.'


title: On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic

abstract: Markov Logic Networks (MLN) and Probabilistic Soft Logic (PSL) are widely applied formalisms in Statistical Relational Learning, an emerging area in Artificial Intelligence that is concerned with combining logical and statistical AI. Despite their resemblance, the relationship has not been formally stated. In this paper, we describe the precise semantic relationship between them from a logical perspective. This is facilitated by first extending fuzzy logic to allow weights, which can be also viewed as a generalization of PSL, and then relate that generalization to MLN. We observe that the relationship between PSL and MLN is analogous to the known relationship between fuzzy logic and Boolean logic, and furthermore the weight scheme of PSL is essentially a generalization of the weight scheme of MLN for the many-valued setting.


title: Generalized Connes-Chern characters in KK-theory with an application to weak invariants of topological insulators

abstract: We use constructive bounded Kasparov K-theory to investigate the numerical invariants stemming from the internal Kasparov products $K_i(\mathcal A) \times KK^i(\mathcal A, \mathcal B) \rightarrow K_0(\mathcal B) \rightarrow \mathbb R$, $i=0,1$, where the last morphism is provided by a tracial state. For the class of properly defined finitely-summable Kasparov $(\mathcal A,\mathcal B)$-cycles, the invariants are given by the pairing of K-theory of $\mathcal B$ with an element of the periodic cyclic cohomology of $\mathcal B$, which we call the generalized Connes-Chern character. When $\mathcal A$ is a twisted crossed product of $\mathcal B$ by $\mathbb Z^k$, $\mathcal A = \mathcal B \rtimes_\xi^\theta \mathbb Z^k$, we derive a local formula for the character corresponding to the fundamental class of a properly defined Dirac cycle. Furthermore, when $\mathcal B = C(\Omega) \rtimes_{\xi'}^{\phi} \mathbb Z^j$, with $C(\Omega)$ the algebra of continuous functions over a disorder configuration space, we show that the numerical invariants are connected to the weak topological invariants of the complex classes of topological insulators, defined in the physics literature. The end products are generalized index theorems for these weak invariants, which enable us to predict the range of the invariants and to identify regimes of strong disorder in which the invariants remain stable. The latter will be reported in a subsequent publication.

categories: math.OA cond-mat.dis-nn math-ph math.KT math.MP


title: The case for duality violations in the analysis of hadronic $\tau$ decays

abstract: We discuss why, in the determination of $\alpha_s(m_{\tau}^2)$ from hadronic $\tau$ decays, two important assumptions made in most of previous analyses, namely the neglect of higher-dimension condensates and of Duality Violations (DVs), have introduced uncontrolled systematic errors into this determination. Although the use of pinched weights is usually offered as a justification of these assumptions, we explain why it is not possible to simultaneously suppress these two contributions; particularly since the Operator Product Expansion is expected to be an asymptotic, rather than a convergent expansion. There is not only experimental and theoretical evidence for DVs, but they also affect the extraction of $\alpha_s(m_{\tau}^2)$.


title: $\alpha_s$ analyses from hadronic tau decays with OPAL and ALEPH data

abstract: Recently, we extracted the strong coupling, $\alpha_s(m_\tau^2)$, from the revised ALEPH data for non-strange hadronic tau decays. Our analysis is based on a method previously used for the determination of the strong coupling from OPAL data. In our strategy, we employ different moments of the spectral functions both with and without pinching, including Duality Violations, in order to obtain fully self-consistent analyses that do not rely on untested assumptions (such as the smallness of higher dimension contributions in the OPE). Here we discuss the $\alpha_s$ values obtained from the ALEPH and the OPAL data, the robustness of the analysis, as well as non-perturbative contributions from DVs and the OPE. We show that, although the $\alpha_s$ determination is sound, non-perturbative effects limit the accuracy with which one can extract the strong coupling from tau decay data. Finally, we discuss the compatibility of the data sets and the possibility of a combined analysis.


title: Canonical idempotents of multiplicity-free families of algebras

abstract: Any multiplicity-free family of finite dimensional algebras has a canonical complete set of of pairwise orthogonal primitive idempotents in each level. We give various methods to compute these idempotents. In the case of symmetric group algebras over a field of characteristic zero, the set of canonical idempotents is precisely the set of seminormal idempotents constructed by Young. As an example, we calculate the canonical idempotents for semisimple Brauer algebras.


title: Les Vari\'et\'es de Hecke-Hilbert aux points classiques de poids $1$

abstract: We show that the Eigenvariety attached to Hilbert modular forms over a totally real field $F$ is smooth at the points corresponding to certain classical weight one theta series and we give a precise criterion for etaleness over the weight space at those points. In the case where the theta series has real multiplication, we construct a non-classical overconvergent generalised eigenform and compute its Fourier coefficients in terms of $p$-adic logarithms of algebraic numbers. Our approach uses deformations and pseudo-deformations of Galois representations.


title: Curvature-driven molecular flows on membrane surfaces

abstract: Morphological change of bilayer membrane in vivo is not a spontaneous procedure but modulated by various types of proteins in general. Most of these modulations are associated with the localization of related proteins in the crowded lipid environment in bilayer membrane. This work presents an mathematical model for the localization of multiple species of diffusion molecules on membrane surfaces. We start with the energetic description of the distributions of molecules on curved membrane surface, by assembling the bending energy of bilayer membrane and the entropic energy of diffusive molecules. We introduce the spontaneous curvature of molecules in membrane, and define the spontaneous curvature of bilayer membrane as a function of the molecule concentrations on membrane surfaces. This connection gives rise to a drift-diffusion equation to govern the gradient flows of the surface molecule concentrations. We recast the energetic formulation and the related governing equations in the Eulerian framework by using a phase field function that defines the membrane morphology. Computational simulations with the proposed mathematical model and related numerical techniques predict the molecular localization on membrane surfaces at locations with preferred mean curvature.


title: Hidden Markov Models on Variable Blocks with a Modal Clustering Algorithm and Applications

abstract: Motivated by high-throughput single-cell cytometry data with applications to vaccine development and immunological research, we consider statistical clustering in large-scale data that contain multiple rare clusters. We propose a new hierarchical mixture model, namely Hidden Markov Model on Variable Blocks (HMM-VB), and a new mode search algorithm called Modal Baum-Welch (MBW) for efficient clustering. Exploiting the widely accepted chain-like dependence among groups of variables in the cytometry data, we propose to treat the hierarchy of variable groups as a figurative time line and employ a HMM-type model, namely HMM-VB. We also propose to use mode-based clustering, aka modal clustering, and overcome the exponential computational complexity by MBW. In a series of experiments on simulated data HMM-VB and MBW have better performance than existing methods. We also apply our method to identify rare cell subsets in cytometry data and examine its strengths and limitations.


title: On the Convergence Rate of Average Consensus and Distributed Optimization over Unreliable Networks

abstract: We consider the problems of reaching average consensus and solving consensus-based optimization over unreliable communication networks wherein packets may be dropped accidentally during transmission. Existing work either assumes that the link failures affect the communication on both directions or that the message senders {\em know exactly}, in each iteration, how many of their outgoing links are functioning properly. In this paper, we consider directed links, and we {\em do not} require each node know its current outgoing degree. First, we propose and characterize the convergence rate of reaching average consensus. Then we apply our robust consensus update to the classical distributed dual averaging method wherein the consensus update is used as the information aggregation primitive. We show that the local iterates converge to a common optimum of the global objective at rate $O(\frac{1}{\sqrt{t}})$, where $t$ is the number of iterations, matching the failure-free performance of the distributed dual averaging method.


title: knor: A NUMA-Optimized In-Memory, Distributed and Semi-External-Memory k-means Library

abstract: k-means is one of the most influential and utilized machine learning algorithms. Its computation limits the performance and scalability of many statistical analysis and machine learning tasks. We rethink and optimize k-means in terms of modern NUMA architectures to develop a novel parallelization scheme that delays and minimizes synchronization barriers. The \textit{k-means NUMA Optimized Routine} (\textsf{knor}) library has (i) in-memory (\textsf{knori}), (ii) distributed memory (\textsf{knord}), and (iii) semi-external memory (\textsf{knors}) modules that radically improve the performance of k-means for varying memory and hardware budgets. \textsf{knori} boosts performance for single machine datasets by an order of magnitude or more. \textsf{knors} improves the scalability of k-means on a memory budget using SSDs. \textsf{knors} scales to billions of points on a single machine, using a fraction of the resources that distributed in-memory systems require. \textsf{knord} retains \textsf{knori}'s performance characteristics, while scaling in-memory through distributed computation in the cloud. \textsf{knor} modifies Elkan's triangle inequality pruning algorithm such that we utilize it on billion-point datasets without the significant memory overhead of the original algorithm. We demonstrate \textsf{knor} outperforms distributed commercial products like H$_2$O, Turi (formerly Dato, GraphLab) and Spark's MLlib by more than an order of magnitude for datasets of $10^7$ to $10^9$ points.


title: Exploring high-level Perspectives on Self-Configuration Capabilities of Systems

abstract: Optimization of product performance repetitively introduces the need to make products adaptive in a more general sense. This more general idea is often captured under the term 'self-configuration'. Despite the importance of such capability, research work on this feature appears isolated by technical domains. It is not easy to tell quickly whether the approaches chosen in different technological domains introduce new ideas or whether the differences just reflect domain idiosyncrasies. For the sake of easy identification of key differences between systems with self-configuring capabilities, I will explore higher level concepts for understanding self-configuration, such as the {\Omega}-units, in order to provide theoretical instruments for connecting different areas of technology and research.


title: Non-singlet coefficient functions for charged-current deep-inelastic scattering to the third order in QCD

abstract: We have calculated the coefficient functions for the structure functions F_2, F_L and F_3 in nu-nubar charged-current deep-inelastic scattering (DIS) at the third order in the strong coupling alpha_s, thus completing the description of unpolarized inclusive W^(+-) exchange DIS to this order of massless perturbative QCD. In this brief note, our new results are presented in terms of compact approximate expressions that are sufficiently accurate for phenomenological analyses. For the benefit of such analyses we also collect, in a unified notation, the corresponding lower-order contributions and the flavour non-singlet coefficient functions for nu+nubar charged-current DIS. The behaviour of all six third-order coefficient functions at small Bjorken-x is briefly discussed.


title: Quantifying the effect of interannual ocean variability on the attribution of extreme climate events to human influence

abstract: In recent years, the climate change research community has become highly interested in describing the anthropogenic influence on extreme weather events, commonly termed "event attribution." Limitations in the observational record and in computational resources motivate the use of uncoupled, atmosphere/land-only climate models with prescribed ocean conditions run over a short period, leading up to and including an event of interest. In this approach, large ensembles of high-resolution simulations can be generated under factual observed conditions and counterfactual conditions that might have been observed in the absence of human interference; these can be used to estimate the change in probability of the given event due to anthropogenic influence. However, using a prescribed ocean state ignores the possibility that estimates of attributable risk might be a function of the ocean state. Thus, the uncertainty in attributable risk is likely underestimated, implying an over-confidence in anthropogenic influence. In this work, we estimate the year-to-year variability in calculations of the anthropogenic contribution to extreme weather based on large ensembles of atmospheric model simulations. Our results both quantify the magnitude of year-to-year variability and categorize the degree to which conclusions of attributable risk are qualitatively affected. The methodology is illustrated by exploring extreme temperature and precipitation events for the northwest coast of South America and northern-central Siberia; we also provides results for regions around the globe. While it remains preferable to perform a full multi-year analysis, the results presented here can serve as an indication of where and when attribution researchers should be concerned about the use of atmosphere-only simulations.


title: Self-dual codes and the non-existence of a quasi-symmetric 2-(37,9,8) design with intersection numbers 1 and 3

abstract: We prove that a certain binary linear code associated with the incidence matrix of a quasi-symmetric 2-(37,9,8) design with intersection numbers 1 and 3 must be contained in an extremal doubly even self-dual code of length 40. Using the classification of extremal doubly even self-dual codes of length 40, we show that a quasi-symmetric 2-(37,9,8) design with intersection numbers 1 and 3 does not exist.


title: Fast and exact evaluation of box splines via the PP-form

abstract: For the class of non-degenerate box splines, we prove that these box splines are piecewise polynomial. This is not a new result, it is in fact a well known and useful property of box splines. However, our proof is constructive, and the main result of this work is a corollary that follows from this proof, namely one that gives an explicit construction scheme for the polynomial pieces in the interior regions of any non-degenerate box spline.


title: Quench dynamics in integrable systems

abstract: These notes cover in some detail lectures I gave at the Les Houches Summer School 2012. I describe here work done with Deepak Iyer with important contributions from Hujie Guan. I discuss some aspects of the physics revealed by quantum quenches and present a formalism for studying the quench dynamics of integrable systems. The formalism presented generalizes an approach by Yudson and is applied to Lieb-Liniger model which describes a gas of $N$ interacting bosons moving on the continuous infinite line while interacting via a short range potential. We carry out the quench from several initial states and for any number of particles and compute the evolution of the density and the noise correlations. In the long time limit the system dilutes and we find that for any value of repulsive coupling independently of the initial state the system asymptotes towards astrongly repulsive gas, while for any value of attractive coupling, the system forms a maximal bound state that dominates at longer times. In either case the system equilibrates but does not thermalize, an effect that is consistent with prethermalization. These results can be confronted with experiments. For much more detail see: Phys. Rev. A 87, 053628 (2013) on which these notes are based. Further applications of the approach to the Heisenberg model and to the Anderson model will be presented elsewhere.


title: Studying the P_c(4450) resonance in J/psi photoproduction off protons

abstract: A resonance-like structure, the P_c(4450), has recently been observed in the J/psi p spectrum by the LHCb collaboration. We discuss the feasibility of detecting this structure in J/psi photoproduction in the CLAS12 experiment at JLab. We present a first estimate of the upper limit for the branching ratio of the P_c(4450) to J/psi p. Our estimates, which take into account the experimental resolution effects, predict that it will be possible to observe a sizable cross section close to the J/psi production threshold and shed light on the P_c(4450) resonance in the future photoproduction measurements.


title: Scalar clouds and the superradiant instability regime of Kerr-Newman black hole

abstract: In this paper, we study a physical system that is composed of massive charged scalar field linearly coupled to a charged rotating Kerr-Newman black hole. Given the parameters of black hole and a specific set of "quantum" numbers, the parameter space of the scalar field, which is a plane spanned by its mass and charge, is divided into five partitions by three simple constraint lines and the existence line of scalar clouds. The physical properties of the system in these partitions are presented. It is found that superradiant instability may be possibly caused only in two of the partitions. In particular, it is shown that both the mass and charge of the scalar clouds are bounded in a limited region. Our results may be used to rapidly judge the possible occurrence of superradiant instability and the existence of scalar clouds around a given black hole.


title: The location of the dust causing internal reddening of active galactic nuclei

abstract: We use the Balmer decrements of the broad-line regions (BLRs) and narrow-line regions (NLRs) of active galactic nuclei (AGNs) as reddening indicators to investigate the location of the dust for four samples of AGNs with reliable estimates of the NLR contribution to the Balmer lines. Intercomparison of the NLR and BLR Balmer decrements indicates that the reddening of the NLR sets a lower limit to the reddening of the BLR. Almost no objects have high NLR reddening but low BLR reddening. The reddening of the BLR is often substantially greater than the reddening of the NLR. The BLR reddening is correlated with the equivalent widths of [O III] lines and the intensity of the [O III] lines relative to broad H\beta. We find these relationships to be consistent with the predictions of a simple model where the additional dust reddening the BLR is interior to the NLR. We thus conclude that the dust causing the additional reddening of the accretion disc and BLR is mostly located at a smaller radius than the NLR.


title: Consequences of the Inherent Density Dependence in Dirac Materials

abstract: Dirac materials are systems in which the dispersion is linear in the vicinity of the Dirac points. As a consequence of this linear dispersion, these systems exhibit unusual behavior and possess unique physical properties that are of great interest. In this work we utilize the single walled carbon nanotube (SWNT) as a model Dirac material and examine the system within the framework of Tomanaga-Luttinger Liquid theory (TLL) revealing several unconventional properties unique to these systems. Specifically, the exponents of the Green's function are electron density independent leading to electron density independent thermodynamic quantities and speed of sound; both of which are vastly different from traditional TLL behavior. Additionally, we discuss the implications the Virial Theorem has for this system; in particular, the total average ground state energy is given by $E=\mathcal{B}/r_s$ where $\mathcal{B}$ is a constant independent of $r_s$. Finally, experimental techniques are discussed in which these predictions of density independent exponents and their behavior can be verified.


title: On salesmen and tourists: two-step optimization in deterministic foragers

abstract: We explore a two-step optimization problem in random environments, the so-called restaurant-coffee shop problem, where a walker aims at visiting the nearest and better restaurant in an area and then move to the nearest and better coffee-shop. This is an extension of the Tourist Problem, a one-step optimization dynamics that can be viewed as a deterministic walk in a random medium. A certain amount of heterogeneity in the values of the resources to be visited causes the emergence of power-laws distributions for the steps performed by the walker, similarly to a L\'{e}vy flight. The fluctuations of the step lengths tend to decrease as a consequence of multiple-step planning, thus reducing the foraging uncertainty. We find that the first and second steps of each planned movement play very different roles in heterogeneous environments. The two-step process improves only slightly the foraging efficiency compared to the one-step optimization, at a much higher computational cost. We discuss the implications of these findings for animal and human mobility, in particular in relation to the computational effort that informed agents should deploy to solve search problems.


title: Resonant inelastic x-ray scattering study of entangled spin-orbital excitations in superconducting PrFeAsO0.7

abstract: Low-energy electron excitation spectra were measured on a single crystal of a typical iron-based superconductor PrFeAsO$_{0.7}$ using resonant inelastic X-ray scattering (RIXS) at the Fe-$L_3$ edge. Characteristic RIXS features are clearly observed around 0.5, 1-1.5 and 2-3 eV energy losses. These excitations are analyzed microscopically with theoretical calculations using a 22-orbital model derived from first-principles electronic structure calculation. Based on the agreement with the experiment, the RIXS features are assigned to Fe-$d$ orbital excitations which, at low energies, are accompanied by spin flipping and dominated by Fe $d_{yz}$ and $d_{xz}$ orbital characters. Furthermore, our calculations suggest dispersive momentum dependence of the RIXS excitations below 0.5 eV, and predict remarkable splitting and merging of the lower-energy excitations in momentum space. Those excitations, which were not observed in the present experiment, highlight the potential of RIXS with an improved energy resolution to unravel new details of the electronic structure of the iron-based superconductors.


title: Enhanced superconductivity, Kondo behavior and negative-curvature resistivity of oxygen-irradiated thin films of aluminium

abstract: We followed the evolution of the normal and superconducting properties of Al thin films after each session of various successive oxygen irradiations at ambient temperature. Such irradiated films, similar to the granular ones, exhibit enhanced superconductivity, Kondo behavior and negative-curvature resistivity. Two distinct roles of oxygen are identified: as a damage-causing projectile and as an implanted oxidizing agent. The former gives rise to the processes involved in the conventional recovery stages. The latter, considered within the context of the Cabrera-Mott model, gives rise to a multistep process which involves charges transfer and creation of stabilized vacancies and charged defects. Based on the outcome of this multistep process, we consider (i) the negative curvature resistivity as a manifestation of a thermally-assisted liberation of trapped electric charges, (ii) the Kondo contribution as a spin-flip scattering from paramagnetic, color-center-type defects, and (iii) the enhancement of T_{c} as being due to a lattice softening facilitated by the stabilized defects and vacancies. The similarity in the phase diagrams of granular and irradiated films as well as the aging effects are discussed along the same line of reasoning.


title: Dynamical analysis of generalised $f(R,\mathcal{L})$ theories

abstract: In this work, we use a dynamical system approach to analyse the viability of $f(R,\mathcal{L})$ candidates for dark energy. We compare these with nonminimal coupled $f(R)$ theories and study the solutions for exponential and power-law forms in order to constraint the allowed range of model parameters.


title: Exact Lower Bounds for the Agnostic Probably-Approximately-Correct (PAC) Machine Learning Model

abstract: We provide an exact non-asymptotic lower bound on the minimax expected excess risk (EER) in the agnostic probably-ap\-proximately-correct (PAC) machine learning classification model and identify minimax learning algorithms as certain maximally symmetric and minimally randomized "voting" procedures. Based on this result, an exact asymptotic lower bound on the minimax EER is provided. This bound is of the simple form $c_\infty/\sqrt{\nu}$ as $\nu\to\infty$, where $c_\infty=0.16997\dots$ is a universal constant, $\nu=m/d$, $m$ is the size of the training sample, and $d$ is the Vapnik--Chervonenkis dimension of the hypothesis class. It is shown that the differences between these asymptotic and non-asymptotic bounds, as well as the differences between these two bounds and the maximum EER of any learning algorithms that minimize the empirical risk, are asymptotically negligible, and all these differences are due to ties in the mentioned "voting" procedures. A few easy to compute non-asymptotic lower bounds on the minimax EER are also obtained, which are shown to be close to the exact asymptotic lower bound $c_\infty/\sqrt{\nu}$ even for rather small values of the ratio $\nu=m/d$. As an application of these results, we substantially improve existing lower bounds on the tail probability of the excess risk. Among the tools used are Bayes estimation and apparently new identities and inequalities for binomial distributions.


title: Image Restoration Using Convolutional Auto-encoders with Symmetric Skip Connections

abstract: Image restoration, including image denoising, super resolution, inpainting, and so on, is a well-studied problem in computer vision and image processing, as well as a test bed for low-level image modeling algorithms. In this work, we propose a very deep fully convolutional auto-encoder network for image restoration, which is a encoding-decoding framework with symmetric convolutional-deconvolutional layers. In other words, the network is composed of multiple layers of convolution and de-convolution operators, learning end-to-end mappings from corrupted images to the original ones. The convolutional layers capture the abstraction of image contents while eliminating corruptions. Deconvolutional layers have the capability to upsample the feature maps and recover the image details. To deal with the problem that deeper networks tend to be more difficult to train, we propose to symmetrically link convolutional and deconvolutional layers with skip-layer connections, with which the training converges much faster and attains better results.


title: Line-of-Sight Extrapolation Noise in Dust Polarization

abstract: The B-modes of polarization at frequencies ranging from 50-1000 GHz are produced by Galactic dust, lensing of primordial E-modes in the cosmic microwave background (CMB) by intervening large scale structure, and possibly by primordial B-modes in the CMB imprinted by gravitational waves produced during inflation. The conventional method used to separate the dust component of the signal is to assume that the signal at high frequencies (e.g., 350 GHz) is due solely to dust and then extrapolate the signal down to lower frequency (e.g., 150 GHz) using the measured scaling of the polarized dust signal amplitude with frequency. For typical Galactic thermal dust temperatures of about 20K, these frequencies are not fully in the Rayleigh-Jeans limit. Therefore, deviations in the dust cloud temperatures from cloud to cloud will lead to different scaling factors for clouds of different temperatures. Hence, when multiple clouds of different temperatures and polarization angles contribute to the integrated line-of-sight polarization signal, the relative contribution of individual clouds to the integrated signal can change between frequencies. This can cause the integrated signal to be decorrelated in both amplitude and direction when extrapolating in frequency. Here we carry out a Monte Carlo analysis on the impact of this line-of-sight extrapolation noise, enabling us to quantify its effect. Using results from the Planck experiment, we find that this effect is small, more than an order of magnitude smaller than the current uncertainties. However, line-of-sight extrapolation noise may be a significant source of uncertainty in future low-noise primordial B-mode experiments. Scaling from Planck results, we find that accounting for this uncertainty becomes potentially important when experiments are sensitive to primordial B-mode signals with amplitude r < 0.0015 .


title: NEOWISE Reactivation Mission Year Two: Asteroid Diameters and Albedos

abstract: The Near-Earth Object Wide-Field Infrared Survey Explorer (NEOWISE) mission continues to detect, track, and characterize minor planets. We present diameters and albedos calculated from observations taken during the second year since the spacecraft was reactivated in late 2013. These include 207 near-Earth asteroids and 8,885 other asteroids. $84\%$ of the near-Earth asteroids did not have previously measured diameters and albedos by the NEOWISE mission. Comparison of sizes and albedos calculated from NEOWISE measurements with those measured by occultations, spacecraft, and radar-derived shapes shows accuracy consistent with previous NEOWISE publications. Diameters and albedos fall within $ \pm \sim20\%$ and $\pm\sim40\%$, 1-sigma, respectively, of those measured by these alternate techniques. NEOWISE continues to preferentially discover near-Earth objects which are large ($>100$ m), and have low albedos.


title: Comparison of Compensation Mechanism Between an NMR Gyroscope and an SERF Gyroscope -- Equivalence of NMR and SERF gyroscopes

abstract: There are two kinds of atomic vapor cell gyroscopes, one is nuclear-magnetic-resonance (NMR) gyroscope and the other is spin-exchange-relaxation-free (SERF) gyroscope. We demonstrate that there is a common model for these two kinds of gyroscope. The output signals of NMR and SERF gyroscopes are compared directly, which provides an important guidance for the scheme choosing and optimization of atomic gyroscope. Although this expose of the equivalence cannot solve the current problems of atomic gyroscopes, such as the narrow response bandwidth of SERF gyroscope and the drift due to the different Fermi-contact interaction coefficient in NMR gyroscope, it provides a simple understanding of atomic gyroscopes and may inspire new schemes combining advantages of both NMR and SERF gyroscopes.


title: A Fused Latent and Graphical Model for Multivariate Binary Data

abstract: We consider modeling, inference, and computation for analyzing multivariate binary data. We propose a new model that consists of a low dimensional latent variable component and a sparse graphical component. Our study is motivated by analysis of item response data in cognitive assessment and has applications to many disciplines where item response data are collected. Standard approaches to item response data in cognitive assessment adopt the multidimensional item response theory (IRT) models. However, human cognition is typically a complicated process and thus may not be adequately described by just a few factors. Consequently, a low-dimensional latent factor model, such as the multidimensional IRT models, is often insufficient to capture the structure of the data. The proposed model adds a sparse graphical component that captures the remaining ad hoc dependence. It reduces to a multidimensional IRT model when the graphical component becomes degenerate. Model selection and parameter estimation are carried out simultaneously through construction of a pseudo-likelihood function and properly chosen penalty terms. The convexity of the pseudo-likelihood function allows us to develop an efficient algorithm, while the penalty terms generate a low-dimensional latent component and a sparse graphical structure. Desirable theoretical properties are established under suitable regularity conditions. The method is applied to the revised Eysenck's personality questionnaire, revealing its usefulness in item analysis. Simulation results are reported that show the new method works well in practical situations.


title: On the Habitability of Our Universe

abstract: Is life most likely to emerge at the present cosmic time near a star like the Sun? We consider the habitability of the Universe throughout cosmic history, and conservatively restrict our attention to the context of "life as we know it" and the standard cosmological model, LCDM. The habitable cosmic epoch started shortly after the first stars formed, about 30 Myr after the Big Bang, and will end about 10 Tyr from now, when all stars will die. We review the formation history of habitable planets and find that unless habitability around low mass stars is suppressed, life is most likely to exist near 0.1 solar mass stars ten trillion years from now. Spectroscopic searches for biosignatures in the atmospheres of transiting Earth-mass planets around low mass stars will determine whether present-day life is indeed premature or typical from a cosmic perspective.

categories: astro-ph.CO astro-ph.EP astro-ph.GA hep-ph hep-th


title: Least Cost Influence Maximization Across Multiple Social Networks

abstract: Recently in Online Social Networks (OSNs), the Least Cost Influence (LCI) problem has become one of the central research topics. It aims at identifying a minimum number of seed users who can trigger a wide cascade of information propagation. Most of existing literature investigated the LCI problem only based on an individual network. However, nowadays users often join several OSNs such that information could be spread across different networks simultaneously. Therefore, in order to obtain the best set of seed users, it is crucial to consider the role of overlapping users under this circumstances. In this article, we propose a unified framework to represent and analyze the influence diffusion in multiplex networks. More specifically, we tackle the LCI problem by mapping a set of networks into a single one via lossless and lossy coupling schemes. The lossless coupling scheme preserves all properties of original networks to achieve high quality solutions, while the lossy coupling scheme offers an attractive alternative when the running time and memory consumption are of primary concern. Various experiments conducted on both real and synthesized datasets have validated the effectiveness of the coupling schemes, which also provide some interesting insights into the process of influence propagation in multiplex networks.


title: subgraph2vec: Learning Distributed Representations of Rooted Sub-graphs from Large Graphs

abstract: In this paper, we present subgraph2vec, a novel approach for learning latent representations of rooted subgraphs from large graphs inspired by recent advancements in Deep Learning and Graph Kernels. These latent representations encode semantic substructure dependencies in a continuous vector space, which is easily exploited by statistical models for tasks such as graph classification, clustering, link prediction and community detection. subgraph2vec leverages on local information obtained from neighbourhoods of nodes to learn their latent representations in an unsupervised fashion. We demonstrate that subgraph vectors learnt by our approach could be used in conjunction with classifiers such as CNNs, SVMs and relational data clustering algorithms to achieve significantly superior accuracies. Also, we show that the subgraph vectors could be used for building a deep learning variant of Weisfeiler-Lehman graph kernel. Our experiments on several benchmark and large-scale real-world datasets reveal that subgraph2vec achieves significant improvements in accuracies over existing graph kernels on both supervised and unsupervised learning tasks. Specifically, on two realworld program analysis tasks, namely, code clone and malware detection, subgraph2vec outperforms state-of-the-art kernels by more than 17% and 4%, respectively.


title: Modulation of entanglement between two oscillators separated in space with an optical parametric amplifier

abstract: We propose a scheme to modulate the entanglement between two oscillators separated in space via the squeezing cavity field generated by the optical parametric amplifier instead of injecting the squeezing field directly with the assistance of Coulomb interaction. We show that the Coulomb interaction between the oscillators is the essential reason for the existence of entanglement. Due to the gain of the optical parametric amplifier and the phase of the pump driving the optical parametric amplifier can simultaneously modulate the squeezing cavity field, the radiation pressure interaction between the cavity field and the oscillator is modulated accordingly. We find that there is competing effect between the radiation pressure interaction and the Coulomb interaction for the oscillator which these two interactions act on simultaneously. Therefore, the modulation of entanglement can be achieved with the assistance of Coulomb interaction. The results of numerical simulation show that the present scheme has stronger robustness against the temperature of environment compared with previous schemes in experimentally feasible regimes.


title: Regularity vs. constructive complete (co)distributivity

abstract: It is well known that a relation $\varphi$ between sets is regular if, and only if, $\mathcal{K}\varphi$ is completely distributive (cd), where $\mathcal{K}\varphi$ is the complete lattice consisting of fixed points of the Kan adjunction induced by $\varphi$. For a small quantaloid $\mathcal{Q}$, we investigate the $\mathcal{Q}$-enriched version of this classical result, i.e., the regularity of $\mathcal{Q}$-distributors versus the constructive complete distributivity (ccd) of $\mathcal{Q}$-categories, and prove that "the dual of $\mathcal{K}\varphi$ is (ccd) $\implies$ $\varphi$ is regular $\implies$ $\mathcal{K}\varphi$ is (ccd)" for any $\mathcal{Q}$-distributor $\varphi$. Although the converse implications do not hold in general, in the case that $\mathcal{Q}$ is a commutative integral quantale, we show that these three statements are equivalent for any $\varphi$ if, and only if, $\mathcal{Q}$ is a Girard quantale.


title: Schwinger-Dyson equation for quarks in a QCD inspired model

abstract: We discuss formulation of QCD in Minkowski-spacetime and effect of an operator product expansion by means of normal ordering of fields in the QCD Lagrangian. The formulation of QCD in the Minkowski-spacetime allows us to solve a constraint equation and decompose the gauge field propagator in the sum of an instantaneous part, which forms a bound state, and a retarded part, which contains the relativistic corrections. In Quantum Field Theory, for a Lagrangian with unordered operator fields, one can make normal ordering by means of the operator product expansion, then the gluon condensate appear. This gives us a natural way of obtaining a dimensional parameter in QCD, which is missing in the QCD Lagrangian. We derive a Schwinger-Dyson equation for a quark, which is studied both numerically and analytically. The critical value of the strong coupling constant $\alpha_s = 4/{\pi}$, above which a nontrivial solution appears and a spontaneous chiral symmetry breaking occurs, is found. For the sake of simplicity, the considered model describes only one flavor massless quark, but the methods can be used in more general case. The Fourier-sine transform of a function with log-power asymptotic was performed.


title: Carbon stars from LAMOST DR2 data

abstract: In this work, we present the new catalog of carbon stars from the LAMOST DR2 catalog. In total, 894 carbon stars are identified from multiple line indices measured from the stellar spectra. Combining the CN bands in the red end with \ctwo\ and other lines, we are able to identify the carbon stars. Moreover, we also classify the carbon stars into spectral sub-types of \ch, \CR, and \cn. These sub-types approximately show distinct features in the multi-dimensional line indices, implying that in the future we can use them to identify carbon stars from larger spectroscopic datasets. Meanwhile, from the line indices space, while the \cn\ stars are clearly separated from the others, we find no clear separation between \CR\ and \ch\ sub-types. The \CR\ and \ch\ stars seem to smoothly transition from one to another. This may hint that the \CR\ and \ch\ stars may not be different in their origins but look different in their spectra because of different metallicity. Due to the relatively low spectral resolution and lower signal-to-noise ratio, the ratio of $^{12}$C/$^{13}$C is not measured and thus the \cj\ stars are not identified.


title: L2-transverse conformal Killing forms on complete foliated manifolds

abstract: In this article, we study the L2-transverse conformal Killing forms on complete foliated Riemannian manifolds and prove some vanishing theorems. Also, we study the same problems on Kahler foliations with a complete bundle-like metric.


title: Vanishing theorems of the basic harmonic forms on a complete foliated Riemannian manifold

abstract: On a compact foliated Riemannian manifold with some transversal curvature conditions, there are no nontrivial basic harmonic forms (M. Min-Oo et al., J. Reine Angew. Math. 415 (1991). In this paper, we extend the above facts to a complete foliated Riemannian manifold.


title: On the global existence and blowup of smooth solutions to the multi-dimensional compressible Euler equations with time-depending damping

abstract: In this paper, we are concerned with the global existence and blowup of smooth solutions to the multi-dimensional compressible Euler equations with time-depending damping \begin{equation*} \partial_t\rho+\operatorname{div}(\rho u)=0, \quad \partial_t(\rho u)+\operatorname{div}\left(\rho u\otimes u+p\,I_d\right)=-\alpha(t)\rho u, \quad \rho(0,x)=\bar \rho+\varepsilon\rho_0(x),\quad u(0,x)=\varepsilon u_0(x), \end{equation*} where $x=(x_1, \cdots, x_d)\in\Bbb R^d$ $(d=2,3)$, the frictional coefficient is $\alpha(t)=\frac{\mu}{(1+t)^\lambda}$ with $\lambda\ge0$ and $\mu>0$, $\bar\rho>0$ is a constant, $\rho_0,u_0 \in C_0^\infty(\Bbb R^d)$, $(\rho_0,u_0)\not\equiv 0$, $\rho(0,x)>0$, and $\varepsilon>0$ is sufficiently small. One can totally divide the range of $\lambda\ge0$ and $\mu>0$ into the following four cases: Case 1: $0\le\lambda<1$, $\mu>0$ for $d=2,3$; Case 2: $\lambda=1$, $\mu>3-d$ for $d=2,3$; Case 3: $\lambda=1$, $\mu\le 3-d$ for $d=2$; Case 4: $\lambda>1$, $\mu>0$ for $d=2,3$. \noindent We show that there exists a global $C^{\infty}-$smooth solution $(\rho, u)$ in Case 1, and Case 2 with $\operatorname{curl} u_0\equiv 0$, while in Case 3 and Case 4, in general, the solution $(\rho, u)$ blows up in finite time. Therefore, $\lambda=1$ and $\mu=3-d$ appear to be the critical power and critical value, respectively, for the global existence of small amplitude smooth solution $(\rho, u)$ in $d-$dimensional compressible Euler equations with time-depending damping.


title: A Time-constraint Satisfying and Cost-reducing node evaluation metric for Message Routing in Mobile Crowd Sensing Networks

abstract: In mobile crowd sensing networks data forwarding through opportunistic contacts between participants. Data is replicated to encountered participants. For optimizing data delivery ratio and reducing redundant data a lot of data forwarding schemes, which selectively replicate data to encountered participants through node's data forwarding metric are proposed. However most of them neglect a kind of redundant data whose Time-To-Live is expired. For reducing this kind of redundant data we proposed a new method to evaluate node's data forwarding metric, which is used to measure the node's probability of forwarding data to destination within data's constraint time. The method is divided into two parts. The first is evaluating nodes whether have possibility to contact destination within time constraint based on transient cluster. We propose a method to detect node's transient cluster, which is based on node's contact rate. Only node, which has possibility to contact destination, has chances to the second step. It effectively reduces the computational complexity. The second is calculating data forwarding probability of node to destination according to individual ICT (inter contact time) distribution. Evaluation results show that our proposed transient cluster detection method is more simple and quick. And from two aspects of data delivery ratio and network overhead our approach outperforms other existing data forwarding approach.


title: $p$-extended Mathieu series from the Schl\"omilch series point of view

abstract: Motivated by certain current results by Parmar and Pog\'any [9] in which the authors introduced the so-called $p$-extended Mathieu series the main aim of this paper is to present a connection between such series and a various types of Schl\"omilch series.


title: Invariant curves of almost periodic twist mappings

abstract: In this paper we are concerned with the existence of invariant curves of planar twist mappings which are almost periodic in a spatial variable. As an application of this result to differential equations we will discuss the existence of almost periodic solutions and the boundedness of all solutions for superlinear Duffing's equation with an almost periodic external force.


title: Distributed Optimization Under Adversarial Nodes

abstract: We investigate the vulnerabilities of consensus-based distributed optimization protocols to nodes that deviate from the prescribed update rule (e.g., due to failures or adversarial attacks). We first characterize certain fundamental limitations on the performance of any distributed optimization algorithm in the presence of adversaries. We then propose a resilient distributed optimization algorithm that guarantees that the non-adversarial nodes converge to the convex hull of the minimizers of their local functions under certain conditions on the graph topology, regardless of the actions of a certain number of adversarial nodes. In particular, we provide sufficient conditions on the graph topology to tolerate a bounded number of adversaries in the neighborhood of every non-adversarial node, and necessary and sufficient conditions to tolerate a globally bounded number of adversaries. For situations where there are up to F adversaries in the neighborhood of every node, we use the concept of maximal F-local sets of graphs to provide lower bounds on the distance-to-optimality of achievable solutions under any algorithm. We show that finding the size of such sets is NP-hard.


title: Detailed study of SNR G306.3-0.9 using XMM-Newton and Chandra observations

abstract: We used combined data from XMM-Newton and Chandra observatories to study the X-ray morphology of SNR G306.3-0.9. A spatially-resolved spectral analysis was used to obtain physical and geometrical parameters of different regions of the remnant. Spitzer infrared observations were also used to constrain the progenitor supernova and study the environment in which the SNR evolved. The X-ray morphology of the remnant displays a non-uniform structure of semi-circular appearance, with a bright southwest region and very weak or almost negligible X-ray emission in its northern part. These results indicate that the remnant is propagating in a non-uniform environment as the shock fronts are encountering a high-density medium, where enhanced infrared emission is detected. The X-ray spectral analysis of the selected regions shows distinct emission-line features of several metal elements, confirming the thermal origin of the emission. The X-ray spectra are well represented by a combination of two absorbed thermal plasma models: one in equilibrium ionization with a mean temperature of ~0.19 keV, and another out of equilibrium ionization at a higher temperature of ~1.1 or 1.6-1.9 keV. For regions located in the northeast, central, and southwest part of the SNR, we found elevated abundances of Si, S, Ar, Ca, and Fe, typical of ejecta material. The outer regions located northwest and south show values of the abundances above solar but lower than to those found in the central regions. This suggests that the composition of the emitting outer parts of the SNR is a combination of ejecta and shocked material of the interstellar medium. The comparison between the S/Si, Ar/Si, and Ca/Si abundances ratios (1.75, 1.27, and 2.72 in the central region, respectively), favor a Type Ia progenitor for this SNR, a result that is also supported by an independent morphological analysis using X-ray and IR data.


title: Enhancing power of rare variant association test by Zoom-Focus Algorithm (ZFA) to locate optimal testing region

abstract: Motivation: Exome or targeted sequencing data exerts analytical challenge to test single nucleotide polymorphisms (SNPs) with extremely small minor allele frequency (MAF). Various rare variant tests were proposed to increase power by aggregating SNPs within a fixed genomic region, such as a gene or pathway. However, a gene could contain from several to thousands of markers, and not all of them may be related to the phenotype. Combining functional and non-functional SNPs in arbitrary genomic region could impair the testing power. Results: We propose a Zoom-Focus algorithm (ZFA) to locate the optimal testing region within a given genomic region, as a wrapper function to be applied in conjunction with rare variant association tests. In the first Zooming step, a given genomic region is partitioned by order of two, and the best partition is located within all partition levels. In the next Focusing step, boundaries of the zoomed region are refined. Simulation studies showed that ZFA substantially enhanced the statistical power of rare variant tests by over 10 folds, including the WSS, SKAT and W-test. The algorithm is applied on real exome sequencing data of hypertensive disorder, and identified biologically relevant genetic markers to metabolic disorder that are undiscoverable by testing using full gene. The proposed algorithm is an efficient and powerful tool to increase the effectiveness of rare variant association tests for exome sequencing datasets of complex disorder.


title: Predicting risky behavior in social communities

abstract: Predicting risk profiles of individuals in networks (e.g.~susceptibility to a particular disease, or likelihood of smoking) is challenging for a variety of reasons. For one, `local' features (such as an individual's demographic information) may lack sufficient information to make informative predictions; this is especially problematic when predicting `risk,' as the relevant features may be precisely those that an individual is disinclined to reveal in a survey. Secondly, even if such features are available, they still may miss crucial information, as `risk' may be a function not just of an individual's features but also those of their friends and social communities. Here, we predict individual's risk profiles as a function of both their local features and those of their friends. Instead of modeling influence from the social network directly (which proved difficult as friendship links may be sparse and partially observed), we instead model influence by discovering social communities in the network that may be related to risky behavior. The result is a model that predicts risk as a function of local features, while making up for their deficiencies and accounting for social influence by uncovering community structure in the network. We test our model by predicting risky behavior among adolescents from the Add health data set, and hometowns among users in a Facebook ego net. Compared to prediction by features alone, our model demonstrates better predictive accuracy when measured as a whole, and in particular when measured as a function of network "richness."


title: A Note on Schnyder's Theorem

abstract: We give an alternate proof of Schnyder's Theorem, that the incidence poset of a graph $G$ has dimension at most three if and only if $G$ is planar.


title: On the index conjecture in zero-sum theory: singular case

abstract: Let $S=(a_1)\cdots(a_k)$ be a minimal zero-sum sequence over a finite cyclic group $G$. The index conjecture states that if $k=4$ and $\gcd(|G|,6)=1$, then $S$ has index $1$. In this paper we prove that if $S$ is singular then the index of $S$ is $1$.


title: Magnetic Dirac Fermions and Chern Insulator Supported on Pristine Silicon Surface

abstract: Emergence of ferromagnetism in non-magnetic semiconductors is strongly desirable, especially in topological materials thanks to the possibility to achieve quantum anomalous Hall effect. Based on first-principles calculations, we propose that for Si thin film grown on metal substrate, the pristine Si(111)-root3xroot3 surface with a spontaneous weak reconstruction has a strong tendency of ferromagnetism and nontrivial topological properties, characterized by spin polarized Dirac-fermion surface states. In contrast to conventional routes relying on introduction of alien charge carriers or specially patterned substrates, the spontaneous magnetic order and spin-orbit coupling on the pristine silicon surface together gives rise to quantized anomalous Hall effect with a finite Chern number C=-1. This work suggests exciting opportunities in silicon-based spintronics and quantum computing free from alien dopants or proximity effects.


title: Enhancement of entanglement in distant micromechanical mirrors using parametric interactions

abstract: We theoretically investigate the stability of a two cascaded cavity optomechanical system with optical parametric amplifiers (OPAs) inside the two coupled cavities, and study the steady-state entanglement between two distant mechanical resonators. We show that the parameter regime where the system is unstable without OPAs, such as relatively high laser intensity and blue detuning, can be exploited to build the steady-state mechanical entanglement by modulating the parametric gain. The application of OPAs is helpful to preserve the mechanical entanglement suffered from the dissipation at some finite temperature. The scheme provides an alternative way for improving and engineering the quantum entanglement of two distant mechanical oscillators.


title: Molecular dynamics simulations of the lattice thermal conductivity of CuInTe2

abstract: The lattice thermal conductivity of thermoelectric material CuInTe2 is predicted using classical molecular dynamics simulations, where a simple but effective Morse-type interatomic potential is constructed by fitting first-principles total energy calculations. In a broad temperature range from 300 to 900 K, our simulated results agree well with those measured experimentally, as well as those obtained from phonon Boltzmann transport equation. By introducing the Cd impurity and Cu vacancy, the thermal conductivity of CuInTe2 can be effectively reduced to further enhance the thermoelectric performance of this chalcopyrite compound.


title: PRESAGE: Protecting Structured Address Generation against Soft Errors

abstract: Modern computer scaling trends in pursuit of larger component counts and power efficiency have, unfortunately, lead to less reliable hardware and consequently soft errors escaping into application data ("silent data corruptions"). Techniques to enhance system resilience hinge on the availability of efficient error detectors that have high detection rates, low false positive rates, and lower computational overhead. Unfortunately, efficient detectors to detect faults during address generation (to index large arrays) have not been widely researched. We present a novel lightweight compiler-driven technique called PRESAGE for detecting bit-flips affecting structured address computations. A key insight underlying PRESAGE is that any address computation scheme that flows an already incurred error is better than a scheme that corrupts one particular array access but otherwise (falsely) appears to compute perfectly. Enabling the flow of errors allows one to situate detectors at loop exit points, and helps turn silent corruptions into easily detectable error situations. Our experiments using PolyBench benchmark suite indicate that PRESAGE-based error detectors have a high error-detection rate while incurring low overheads.


title: Scalar Curvature and Intrinsic Flat Convergence

abstract: Herein we present open problems and survey examples and theorems concerning sequences of Riemannian manifolds with uniform lower bounds on scalar curvature and their limit spaces. Examples of Gromov and of Ilmanen which naturally ought to have certain limit spaces do not converge with respect to smooth or Gromov-Hausdorff convergence. Thus we focus here on the notion of Intrinsic Flat convergence, developed jointly with Wenger. This notion has been applied successfully to study sequences that arise in General Relativity. Gromov has suggested it should be applied in other settings as well. We first review intrinsic flat convergence, its properties, and its compactness theorems, before presenting the applications and the open problems.


title: Cross-layer design for downlink multi-hop cloud radio access networks with network coding

abstract: There are two fundamentally different fronthaul techniques in the downlink communication of cloud radio access network (C-RAN): the data-sharing strategy and the compression-based strategy. Under the former strategy, each user's message is multicast from the central processor (CP) to all the serving remote radio heads (RRHs) over the fronthaul network, which then cooperatively serve the users through joint beamforming; while under the latter strategy, the user messages are first beamformed then quantized at the CP, and the compressed signal is unicast to the corresponding RRH, which then decompresses its received signal for wireless transmission. Previous works show that in general the compression-based strategy outperforms the data-sharing strategy. This paper, on the other hand, point s out that in a C-RAN model where the RRHs are connected to the CP via multi-hop routers, data-sharing can be superior to compression if the network coding technique is adopted for multicasting user messages to the cooperating RRHs, and the RRH's beamforming vectors, the user-RRH association, and the network coding design over the fronthaul network are jointly optimized based on the techniques of sparse optimization an d successive convex approximation. This is in comparison to the compression-based strategy, where information is unicast over the fronthaul network by simple routing, and the RRH's compression noise covariance and beamforming vectors, as well as the routing strategy over the fronthaul network are jointly optimized based on the successive convex approximation technique. The observed gain in overall network throughput is due to that information multicast is more efficient than information unicast over the multi-hop fronthaul of a C-RAN.


title: Aggregation-based cutting-planes for packing and covering integer programs

abstract: In this paper, we study the strength of Chvatal-Gomory (CG) cuts and more generally aggregation cuts for packing and covering integer programs (IPs). Aggregation cuts are obtained as follows: Given an IP formulation, we first generate a single implied inequality using aggregation of the original constraints, then obtain the integer hull of the set defined by this single inequality with variable bounds, and finally use the inequalities describing the integer hull as cutting-planes. Our first main result is to show that for packing and covering IPs, the CG and aggregation closures can be 2-approximated by simply generating the respective closures for each of the original formulation constraints, without using any aggregations. On the other hand, we use computational experiments to show that aggregation cuts can be arbitrarily stronger than cuts from individual constraints for general IPs. The proof of the above stated results for the case of covering IPs with bounds require the development of some new structural results, which may be of independent interest. Finally, we examine the strength of cuts based on k different aggregation inequalities simultaneously, the so-called multi-row cuts, and show that every packing or covering IP with a large integrality gap also has a large k-aggregation closure rank. In particular, this rank is always at least of the order of the logarithm of the integrality gap.


title: Several Classes of Negabent Functions over Finite Fields

abstract: Negabent functions as a class of generalized bent functions have attracted a lot of attention recently due to their applications in cryptography and coding theory. In this paper, we consider the constructions of negabent functions over finite fields. First, by using the compositional inverses of certain binomial and trinomial permutations, we present several classes of negabent functions of the form $f(x)=\Tr_1^n(\lambda x^{2^k+1})+\Tr_1^n(ux)\Tr_1^n(vx)$, where $\lambda\in \F_{2^n}$, $2\leq k\leq n-1$, $(u,v)\in \F^*_{2^n}\times \F^*_{2^n}$, and $\Tr_1^n(\cdot)$ is the trace function from $\F_{2^n}$ to $\F_{2}$. Second, by using Kloosterman sum, we prove that the condition for the cubic monomials given by Zhou and Qu (Cryptogr. Commun., to appear, DOI 10.1007/s12095-015-0167-0.) to be negabent is also necessary. In addition, a conjecture on negabent monomials whose exponents are of Niho type is given.


title: TASI lectures on quantum matter (with a view toward holographic duality)

abstract: These are notes from my lectures at TASI 2015. The goal is to provide context for the study of strongly-correlated quantum many-body systems using quantum field theory, and possibly string theory.


title: Greedy, Joint Syntactic-Semantic Parsing with Stack LSTMs

abstract: We present a transition-based parser that jointly produces syntactic and semantic dependencies. It learns a representation of the entire algorithm state, using stack long short-term memories. Our greedy inference algorithm has linear time, including feature extraction. On the CoNLL 2008--9 English shared tasks, we obtain the best published parsing performance among models that jointly learn syntax and semantics.


title: Leveraging Contextual Cues for Generating Basketball Highlights

abstract: The massive growth of sports videos has resulted in a need for automatic generation of sports highlights that are comparable in quality to the hand-edited highlights produced by broadcasters such as ESPN. Unlike previous works that mostly use audio-visual cues derived from the video, we propose an approach that additionally leverages contextual cues derived from the environment that the game is being played in. The contextual cues provide information about the excitement levels in the game, which can be ranked and selected to automatically produce high-quality basketball highlights. We introduce a new dataset of 25 NCAA games along with their play-by-play stats and the ground-truth excitement data for each basket. We explore the informativeness of five different cues derived from the video and from the environment through user studies. Our experiments show that for our study participants, the highlights produced by our system are comparable to the ones produced by ESPN for the same games.


title: Multiplicity and Pseudorapidity distributions of charged particles in asymmetric and deformed nuclear collisions in a Wounded Quark Model

abstract: The charged particle multiplicity ($n_{ch}$) and pseudorapidity density $(dn_{ch}/d\eta)$ are key observables to characterize the properties of matter created in heavy ion collisions. The dependence of these observables on collision energy and the collision geometry are a key tool to understand the underlying particle production mechanism. Recently a lot of focus has been made on asymmetric and deformed nuclei collisions since these collisions can provide a deeper understanding about the nature of quantum chromodynamics (QCD). On phenomenological perspective a unified model which describes the experimental data coming from various kind of collision experiments, is much needed to provide the physical insights about the production mechanism. In this paper, we have calculated the charged hadron multiplicities for nucleon-nucleus (such as proton-lead $(p-Pb)$ and asymmetric nuclei collisions like deutron-gold $(d-Au)$, and copper-gold $(Cu-Au)$ within a new version of wounded quark model (WQM) and shown their variation with respect to centrality. Further we have used a suitable density function within our WQM to calculate pseudorapidity density of charged hadrons at mid-rapidity in the collisions of deformed uranium nuclei. We found that our model with suitable density functions describes the experimental data for symmetric, asymmetric and deformed nuclei collisions simultaneously over a wide range of collision energy.


title: Alternating Estimation for Structured High-Dimensional Multi-Response Models

abstract: We consider learning high-dimensional multi-response linear models with structured parameters. By exploiting the noise correlations among responses, we propose an alternating estimation (AltEst) procedure to estimate the model parameters based on the generalized Dantzig selector. Under suitable sample size and resampling assumptions, we show that the error of the estimates generated by AltEst, with high probability, converges linearly to certain minimum achievable level, which can be tersely expressed by a few geometric measures, such as Gaussian width of sets related to the parameter structure. To the best of our knowledge, this is the first non-asymptotic statistical guarantee for such AltEst-type algorithm applied to estimation problem with general structures.


title: On Yau's uniformization conjecture

abstract: Let $M^n$ be a complete noncompact K\"ahler manifold with nonnegative bisectional curvature and maximal volume growth, we prove that $M$ is biholomorphic to $\mathbb{C}^n$. This confirms Yau's uniformization conjecture when M has maximal volume growth.


title: First order density wave like transitions in surface doped Na$_2$IrO$_3$

abstract: We demonstrate that the surface of the honeycomb lattice iridate Na$_2$IrO$_3$ is extremely tunable by plasma etching. We have succeeded in turning the surface of Na$_2$IrO$_3$ metallic by Ar plasma etching which leads to the removal of Na from the surface. The surface structure does not change in this process as revealed by grazing incidence small angle x-ray scattering (GISAXS). The sheet resistance $R_s$ can be reduced by several orders of magnitude by varying the etching duration. Temperature dependent $R_s(T)$ for the metallic samples show signatures of spin or charge density wave transitions with abrupt changes in $R_s$. Thermal hysteresis between cooling and warming measurements across the transition indicates a first order transition. For the most metallic sample $R_s(T)$ data at low temperatures follow a $T^2$ behaviour suggesting normal Fermi liquid behaviour.


title: Accurate Quotient-Difference algorithm: error analysis, improvements and applications

abstract: The compensated quotient-difference (Compqd) algorithm is proposed along with some applications. The main motivation is based on the fact that the standard quotient-difference (qd) algorithm can be numerically unstable. The Compqd algorithm is obtained by applying error-free transformations to improve the traditional qd algorithm. We study in detail the error analysis of the qd and Compqd algorithms and we introduce new condition numbers so that the relative forward rounding error bounds can be derived directly. Our numerical experiments illustrate that the Compqd algorithm is much more accurate than the qd algorithm, relegating the influence of the condition numbers up to second order in the rounding unit of the computer. Three applications of the new algorithm in the obtention of continued fractions and in pole and zero detection are shown.


title: Functions of triples of noncommuting self-adjoint operators and their perturbations

abstract: In this paper we study properties of functions of triples of not necessarily commuting self-adjoint operators. The main result of the paper shows that unlike in the case of functions of pairs of self-adjoint operators there is no Lipschitz type estimates in the trace norm for arbitrary functions in the Besov class $B_{\infty,1}^1({\Bbb R}^3)$.


title: Evaluation and selection of Medical Tourism sites: A rough AHP based MABAC approach

abstract: In this paper, a novel multiple criteria decision making (MCDM) methodology is presented for assessing and prioritizing medical tourism destinations in uncertain environment. A systematic evaluation and assessment method is proposed by integrating rough number based AHP (Analytic Hierarchy Process) and rough number based MABAC (Multi-Attributive Border Approximation area Comparison). Rough number is used to aggregate individual judgments and preferences to deal with vagueness in decision making due to limited data. Rough AHP analyzes the relative importance of criteria based on their preferences given by experts. Rough MABAC evaluates the alternative sites based on the criteria weights. The proposed methodology is explained through a case study considering different cities for healthcare service in India. The validity of the obtained ranking for the given decision making problem is established by testing criteria proposed by Wang and Triantaphyllou (2008) along with further analysis and discussion.


title: Non-linear Label Ranking for Large-scale Prediction of Long-Term User Interests

abstract: We consider the problem of personalization of online services from the viewpoint of ad targeting, where we seek to find the best ad categories to be shown to each user, resulting in improved user experience and increased advertisers' revenue. We propose to address this problem as a task of ranking the ad categories depending on a user's preference, and introduce a novel label ranking approach capable of efficiently learning non-linear, highly accurate models in large-scale settings. Experiments on a real-world advertising data set with more than 3.2 million users show that the proposed algorithm outperforms the existing solutions in terms of both rank loss and top-K retrieval performance, strongly suggesting the benefit of using the proposed model on large-scale ranking problems.


title: Interacting ultracold atomic kicked rotors: dynamical localization ?

abstract: We study the fate of dynamical localization of two quantum kicked rotors with contact interaction. This interaction mimics experimental realizations with ultracold atomic gases. Dynamical localization for a single rotor takes place in momentum space. The contact interaction affects the evolution of the relative momentum $k$ of a pair of interacting rotors in a non-analytic way. Consequently the evolution operator $U$ is exciting large relative momenta with amplitudes which decay only as a power law $1/k^4$. This is in contrast to the center-of-mass momentum $K$ for which the amplitudes excited by $U$ decay superexponentially fast. Therefore dynamical localization is preserved for the center-of-mass momentum, but destroyed for the relative momentum for any nonzero strength of interaction.


title: Credibilistic TOPSIS Model for Evaluation and Selection of Municipal Solid Waste Disposal Methods

abstract: Municipal solid waste management (MSWM) is a challenging issue of urban development in developing countries. Each country having different socio-economic-environmental background, might not accept a particular disposal method as the optimal choice. Selection of suitable disposal method in MSWM, under vague and imprecise information can be considered as multi criteria decision making problem (MCDM). In the present paper, TOPSIS (Technique for Order Preference by Similarity to Ideal Solution) methodology is extended based on credibility theory for evaluating the performances of MSW disposal methods under some criteria fixed by experts. The proposed model helps decision makers to choose a preferable alternative for their municipal area. A sensitivity analysis by our proposed model confirms this fact.


title: Quantum optical metrology in the lossy $SU(2)$ and $SU(1,1)$ interferometers

abstract: We study the phase sensitivity in the conventional $SU(2)$ and nonconventional $SU(1,1)$ interferometers with the coherent and squeezed vacuum input state via the quantum Cramer-Rao bound. We explicitly construct the detection scheme that gives the optimal phase sensitivity. For practical purposes, we show that in the presence of photon loss, both interferometers with proper homodyne detections, are nearly optimal. We also find that unlike the coherent state and squeezed vacuum state, the effects of the imperfect detector on the phase sensitivity cannot be asymptotically removed for a generic coherent-squeezed state by increasing the amplifier gain of the OPA.


title: Le th\'eor\`eme des accroissements finis comme question curriculaire

abstract: Beyond the difficulty to give true practical motives to introduce a theorem, the didactic transposition of scholarly knowledge in a school setting often leads to freezing a technical tool into a theorem given under minimal assumptions. Probably whole categories of exercises have no other justification than establishing the necessity of introducing a theorem under minimal assumptions in a curriculum. The mean value theorem represents a paradigmatic situation, showing not only the expectations of the curriculum writers, but also part of the school unconscious that manifests itself in the very notion of rigor.


title: A Knowledge-Based Resource Discovery for Internet of Things

abstract: In the sensing as a service paradigm, Internet of Things (IoT) Middleware platforms allow data consumers to retrieve the data they want without knowing the underlying technical details of IoT resources (i.e. sensors and data processing components). However, configuring an IoT middleware platform and retrieving data is a significant challenge for data consumers as it requires both technical knowledge and domain expertise. In this paper, we propose a knowledge driven approach called Context Aware Sensor Configuration Model (CASCOM) to simplify the process of configuring IoT middleware platforms, so the data consumers, specifically non-technical personnel, can easily retrieve the data they required. In this paper, we demonstrate how IoT resources can be described using semantics in such away that they can later be used to compose service work-flows. Such automated semantic-knowledge based IoT resource composition approach advances the current research. We demonstrate the feasibility and the usability of our approach through a prototype implementation based on an IoT middleware called Global Sensor Networks (GSN), though our model can be generalized to any other middleware platform.


title: Energy saving mechanisms, collective behavior and the variation range hypothesis in biological systems: A review

abstract: Energy saving mechanisms are ubiquitous in nature. Aerodynamic and hydrodynamic drafting, vortice uplift, Bernoulli suction, thermoregulatory coupling, path following, physical hooks, synchronization, and cooperation are only some of the better-known examples. While drafting mechanisms also appear in non-biological systems such as sedimentation and particle vortices, the broad spectrum of these mechanisms appears more diversely in biological systems including bacteria, spermatozoa, various aquatic species, birds, land animals, semi-fluid dwellers like turtle hatchlings, as well as human systems. We present the thermodynamic framework for energy saving mechanisms, and we review evidence in favor of the variation range hypothesis. This hypothesis posits that, as an evolutionary process, the variation range between strongest and weakest group members converges on the equivalent energy saving quantity that is generated by the energy saving mechanism. We also review self-organized structures that emerge due to energy saving mechanisms, including convective processes that can be observed in many systems over both short and long time scales, as well as high collective output processes in which a form of collective position locking occurs.


title: The rotating normal form of braids is regular

abstract: Defined on Birman-Ko-Lee monoids, the rotating normal form has strong connections with the Dehornoy's braid ordering. It can be seen as a process for selecting between all the representative words of a Birman-Ko-Lee braid a particular one, called rotating word. In this paper we construct, for all n 2, a finite-state automaton which recognizes rotating words on n strands, proving that the rotating normal form is regular. As a consequence we obtain the regularity of a $\sigma$-definite normal form defined on the whole braid group.


title: Joint Millimeter Wave and Microwave Resources Allocation in Cellular Networks with Dual-Mode Base Stations

abstract: In this paper, a novel dual-mode scheduling framework is proposed that jointly performs user applications (UA) selection and scheduling over microwave ($\mu$W) and millimeter wave (mmW) bands. The proposed scheduling framework utilizes a set of context information, including the channel state information, the delay tolerance and required load per UA, and the uncertainty of mmW channels, to maximize the quality-of-service (QoS) per UA. The scheduling problem is formulated as an optimization with minimum unsatisfied relations (min-UR) problem which is shown to be challenging to solve. Consequently, a long-term scheduling framework, consisting of two stages, is proposed. Within this framework, first, the scheduling over $\mu$W band is formulated as a matching game and to solve this problem, a novel algorithm is proposed and shown to yield a two-sided stable resource allocation. Second, over the mmW band, the scheduling problem is formulated as a 0-1 Knapsack problem and a novel algorithm is proposed to solve it. Furthermore, it is shown that the proposed framework can find an effective scheduling solution, over both $\mu$W and mmW, in polynomial time. Simulation results show that, compared with conventional scheduling schemes, the proposed approach significantly increases the number of satisfied UAs and enhances the users' quality-of-experience.


title: The Generalised Colouring Numbers on Classes of Bounded Expansion

abstract: The generalised colouring numbers $\mathrm{adm}_r(G)$, $\mathrm{col}_r(G)$, and $\mathrm{wcol}_r(G)$ were introduced by Kierstead and Yang as generalisations of the usual colouring number, also known as the degeneracy of a graph, and have since then found important applications in the theory of bounded expansion and nowhere dense classes of graphs, introduced by Ne\v{s}et\v{r}il and Ossona de Mendez. In this paper, we study the relation of the colouring numbers with two other measures that characterise nowhere dense classes of graphs, namely with uniform quasi-wideness, studied first by Dawar et al. in the context of preservation theorems for first-order logic, and with the splitter game, introduced by Grohe et al. We show that every graph excluding a fixed topological minor admits a universal order, that is, one order witnessing that the colouring numbers are small for every value of $r$. Finally, we use our construction of such orders to give a new proof of a result of Eickmeyer and Kawarabayashi, showing that the model-checking problem for successor-invariant first-order formulas is fixed-parameter tractable on classes of graphs with excluded topological minors.