title: Galaxy 2-Point Covariance Matrix Estimation for Next Generation Surveys

abstract: We perform a detailed analysis of the covariance matrix of the spherically averaged galaxy power spectrum and present a new, practical method for estimating this within an arbitrary survey without the need for running mock galaxy simulations that cover the full survey volume. The method uses theoretical arguments to modify the covariance matrix measured from a set of small-volume cubic galaxy simulations, which are computationally cheap to produce compared to larger simulations and match the measured small-scale galaxy clustering more accurately than is possible using theoretical modelling. We include prescriptions to analytically account for the window function of the survey, which convolves the measured covariance matrix in a non-trivial way. We also present a new method to include the effects of supersample covariance and modes outside the small simulation volume which requires no additional simulations and still allows us to scale the covariance matrix. As validation, we compare the covariance matrix estimated using our new method to that from a brute force calculation using 500 simulations originally created for analysis of the Sloan Digital Sky Survey Main Galaxy Sample (SDSS-MGS). We find excellent agreement on all scales of interest for large scale structure analysis, including those dominated by the effects of the survey window, and on scales where theoretical models of the clustering normally break-down, but the new method produces a covariance matrix with significantly better signal-to-noise. Although only formally correct in real-space, we also discuss how our method can be extended to incorporate the effects of Redshift Space Distortions.


title: On the Prospects for Detecting a Net Photon Circular Polarization Produced by Decaying Dark Matter

abstract: If dark matter interactions with Standard Model particles are $CP$-violating, then dark matter annihilation/decay can produce photons with a net circular polarization. We consider the prospects for experimentally detecting evidence for such a circular polarization. We identify optimal models for dark matter interactions with the Standard Model, from the point of view of detectability of the net polarization, for the case of either symmetric or asymmetric dark matter. We find that, for symmetric dark matter, evidence for net polarization could be found by a search of the Galactic Center by an instrument sensitive to circular polarization with an efficiency-weighted exposure of at least $50000~\text{cm}^2~\text{yr}$, provided the systematic detector uncertainties are constrained at the $1\%$ level. Better sensitivity can be obtained in the case of asymmetric dark matter. We discuss the prospects for achieving the needed level of performance using possible detector technologies.


title: Calculus on symplectic manifolds

abstract: On a symplectic manifold, there is a natural elliptic complex replacing the de Rham complex. It can be coupled to a vector bundle with connection and, when the curvature of this connection is constrained to be a multiple of the symplectic form, we find a new complex. In particular, on complex projective space with its Fubini-Study form and connection, we can build a series of differential complexes akin to the Bernstein-Gelfand-Gelfand complexes from parabolic differential geometry.


title: Defining Recursive Predicates in Graph Orders

abstract: We study the first order theory of structures over graphs i.e. structures of the form ($\mathcal{G},\tau$) where $\mathcal{G}$ is the set of all (isomorphism types of) finite undirected graphs and $\tau$ some vocabulary. We define the notion of a recursive predicate over graphs using Turing Machine recognizable string encodings of graphs. We also define the notion of an arithmetical relation over graphs using a total order $\leq_t$ on the set $\mathcal{G}$ such that ($\mathcal{G},\leq_t$) is isomorphic to ($\mathbb{N},\leq$). We introduce the notion of a \textit{capable} structure over graphs, which is one satisfying the conditions : (1) definability of arithmetic, (2) definability of cardinality of a graph, and (3) definability of two particular graph predicates related to vertex labellings of graphs. We then show any capable structure can define every arithmetical predicate over graphs. As a corollary, any capable structure also defines every recursive graph relation. We identify capable structures which are expansions of graph orders, which are structures of the form ($\mathcal{G},\leq$) where $\leq$ is a partial order. We show that the subgraph order i.e. ($\mathcal{G},\leq_s$), induced subgraph order with one constant $P_3$ i.e. ($\mathcal{G},\leq_i,P_3$) and an expansion of the minor order for counting edges i.e. ($\mathcal{G},\leq_m,sameSize(x,y)$) are capable structures. In the course of the proof, we show the definability of several natural graph theoretic predicates in the subgraph order which may be of independent interest. We discuss the implications of our results and connections to Descriptive Complexity.


title: Improving average ranking precision in user searches for biomedical research datasets

abstract: Availability of research datasets is keystone for health and life science study reproducibility and scientific progress. Due to the heterogeneity and complexity of these data, a main challenge to be overcome by research data management systems is to provide users with the best answers for their search queries. In the context of the 2016 bioCADDIE Dataset Retrieval Challenge, we investigate a novel ranking pipeline to improve the search of datasets used in biomedical experiments. Our system comprises a query expansion model based on word embeddings, a similarity measure algorithm that takes into consideration the relevance of the query terms, and a dataset categorisation method that boosts the rank of datasets matching query constraints. The system was evaluated using a corpus with 800k datasets and 21 annotated user queries. Our system provides competitive results when compared to the other challenge participants. In the official run, it achieved the highest infAP among the participants, being +22.3% higher than the median infAP of the participant's best submissions. Overall, it is ranked at top 2 if an aggregated metric using the best official measures per participant is considered. The query expansion method showed positive impact on the system's performance increasing our baseline up to +5.0% and +3.4% for the infAP and infNDCG metrics, respectively. Our similarity measure algorithm seems to be robust, in particular compared to Divergence From Randomness framework, having smaller performance variations under different training conditions. Finally, the result categorization did not have significant impact on the system's performance. We believe that our solution could be used to enhance biomedical dataset management systems. In particular, the use of data driven query expansion methods could be an alternative to the complexity of biomedical terminologies.


title: A DC Programming Approach for Solving Multicast Network Design Problems via the Nesterov Smoothing Technique

abstract: This paper continues our effort initiated in [9] to study Multicast Communication Networks, modeled as bilevel hierarchical clustering problems, by using mathematical optimization techniques. Given a finite number of nodes, we consider two different models of multicast networks by identifying a certain number of nodes as cluster centers, and at the same time, locating a particular node that serves as a total center so as to minimize the total transportation cost through the network. The fact that the cluster centers and the total center have to be among the given nodes makes this problem a discrete optimization problem. Our approach is to reformulate the discrete problem as a continuous one and to apply Nesterov smoothing approximation technique on the Minkowski gauges that are used as distance measures. This approach enables us to propose two implementable DCA-based algorithms for solving the problems. Numerical results and practical applications are provided to illustrate our approach.


title: Towards computable flows and robust estimates for inf-sup stable FEM applied to the time-dependent incompressible Navier-Stokes equations

abstract: Inf-sup stable FEM applied to time-dependent incompressible Navier-Stokes flows are considered. The focus lies on robust estimates for the kinetic and dissipation energies in a twofold sense. Firstly, pressure-robustness ensures the fulfilment of a fundamental invariance principle and velocity error estimates are not corrupted by the pressure approximability. Secondly, $Re$-semi-robustness means that constants appearing on the right-hand side of kinetic and dissipation energy error estimates (including Gronwall constants) do not explicitly depend on the Reynolds number. Such estimates rely on the essential regularity assumption $\nabla u \in L^1(0,T;L^\infty(\Omega))$ which is discussed in detail. In the sense of best practice, we review and establish pressure- and $Re$-semi-robust estimates for pointwise divergence-free $H^1$-conforming FEM (like Scott-Vogelius pairs or certain isogeometric based FEM) and pointwise divergence-free $H$(div)-conforming discontinuous Galerkin FEM. For convection-dominated problems, the latter naturally includes an upwind stabilisation for the velocity which is not gradient-based.

categories: math.NA math-ph math.MP physics.comp-ph physics.flu-dyn


title: AppTechMiner: Mining Applications and Techniques from Scientific Articles

abstract: This paper presents AppTechMiner, a rule-based information extraction framework that automatically constructs a knowledge base of all application areas and problem solving techniques. Techniques include tools, methods, datasets or evaluation metrics. We also categorize individual research articles based on their application areas and the techniques proposed/improved in the article. Our system achieves high average precision (~82%) and recall (~84%) in knowledge base creation. It also performs well in application and technique assignment to an individual article (average accuracy ~66%). In the end, we further present two use cases presenting a trivial information retrieval system and an extensive temporal analysis of the usage of techniques and application areas. At present, we demonstrate the framework for the domain of computational linguistics but this can be easily generalized to any other field of research.


title: A Straightforward Method to Judge the Completeness of a Polymorphic Gate Set

abstract: Polymorphic circuits are a special kind of circuits which possess some different build-in functions and these functions are activated by environment parameters, like light and VDD. Some theories have been proposed to guide the design of polymorphic circuits, including the definition of complete polymorphic gate sets and algorithms to judge the completeness of a polymorphic gate set. However, the previous algorithms have to enumerate all the polymorphic signals for judging the completeness of a polymorphic gate set, and it is not easy to be conducted manually. In this paper, a straightforward method is proposed to judge the completeness of a polymorphic gate set. And the correctness of the straightforward method is proved theoretically. Some examples are given to show that the proposed method could be conducted step by step. Its actual computing cost is usually low, and it is suitable for manual operation.


title: A Simplification Method of Polymorphic Boolean Functions

abstract: Polymorphic circuits are a special kind of circuits which possess multiple build-in functions, and these functions are activated by environment parameters, like temperature, light and VDD. The behavior of a polymorphic circuit can be described by a polymorphic Boolean function. For the first time, this brief presents a simplification method of the polymorphic Boolean function.


title: Design Methods for Polymorphic Combinational Logic Circuits based on the Bi_Decomposition Approach

abstract: Polymorphic circuits are a special kind of digital logic components, which possess multiple build-in functions. In different environments, a polymorphic circuit would perform different functions. Evolutionary Algorithms, Binary Decision Diagrams (BDD) and the multiplex method have been adopted to design polymorphic circuits. However, the evolutionary methods face the scalable problem. The BDD method consumes too much gate resource. The polymorphic circuit built by the multiplex method rarely contains polymorphic gates. In this paper, based on the traditional Bi_Decomposition circuit design approach, two methods, i.e. the Poly_Bi_Decomposition method and the Transformation&Bi_Decomposition method, are proposed for designing polymorphic circuits. The Poly_Bi_Decomposition method can design relatively large and gate-efficient polymorphic circuits with a higher percentage of polymorphic gates. The Transformation&Bi_Decomposition method can use the traditional circuit design approaches and tools, e.g. Bi_Decomposition, to design polymorphic circuits directly. The experimental results show the good performance of the proposed methods.


title: Quasi-polynomial Hitting Sets for Circuits with Restricted Parse Trees

abstract: We study the class of non-commutative Unambiguous circuits or Unique-Parse-Tree (UPT) circuits, and a related model of Few-Parse-Trees (FewPT) circuits (which were recently introduced by Lagarde, Malod and Perifel [LMP16] and Lagarde, Limaye and Srinivasan [LLS17]) and give the following constructions: (1) An explicit hitting set of quasipolynomial size for UPT circuits, (2) An explicit hitting set of quasipolynomial size for FewPT circuits (circuits with constantly many parse tree shapes), (3) An explicit hitting set of polynomial size for UPT circuits (of known parse tree shape), when a parameter of preimage-width is bounded by a constant. The above three results are extensions of the results of [AGKS15], [GKST15] and [GKS16] to the setting of UPT circuits, and hence also generalize their results in the commutative world from read-once oblivious algebraic branching programs (ROABPs) to UPT-set-multilinear circuits. The main idea is to study shufflings of non-commutative polynomials, which can then be used to prove suitable depth reduction results for UPT circuits and thereby allow a careful translation of the ideas in [AGKS15], [GKST15] and [GKS16].


title: Quandle rings

abstract: In this paper, a theory of quandle rings is proposed for quandles analogous to the classical theory of group rings for groups, and interconnections between quandles and associated quandle rings are explored.


title: Existence of positive solutions to a nonlinear elliptic system with nonlinearity involving gradient term

abstract: In this work we analyze the existence of solutions to the nonlinear elliptic system: \begin{equation*} \left\{ \begin{array}{rcll} -\Delta u & = & v^q+\a g & \text{in }\Omega , \\ -\Delta v& = &|\nabla u|^{p}+\l f &\text{in }\Omega , \\ u=v&=& 0 & \text{on }\partial \Omega ,\\ u,v& \geq & 0 & \text{in }\Omega, \end{array}% \right. \end{equation*} where $\Omega$ is a bounded domain of $\ren$ and $p\ge 1$, $q>0$ with $pq>1$. $f,g$ are nonnegative measurable functions with additional hypotheses and $\a, \l\ge 0$. As a consequence we show that the fourth order problem \begin{equation*} \left\{ \begin{array}{rcll} \Delta^2 u & = &|\nabla u|^{p}+\tilde{\l} \tilde{f} &\text{in }\Omega , \\ u=\D u&=& 0 & \text{on }\partial \Omega ,\\ \end{array}% \right. \end{equation*} has a solution for all $p>1$, under suitable conditions on $\tilde{f}$ and $\tilde{\l}$.


title: Transversals, plexes, and multiplexes in iterated quasigroups

abstract: A $d$-ary quasigroup of order $n$ is a $d$-ary operation over a set of cardinality $n$ such that the Cayley table of the operation is a $d$-dimensional latin hypercube of the same order. Given a binary quasigroup $G$, the $d$-iterated quasigroup $G^{\left[d\right]}$ is a $d$-ary quasigroup that is a $d$-time composition of $G$ with itself. A $k$-multiplex (a $k$-plex) $K$ in a $d$-dimensional latin hypercube $Q$ of order $n$ or in the corresponding $d$-ary quasigroup is a multiset (a set) of $kn$ entries such that each hyperplane and each symbol of $Q$ is covered by exactly $k$ elements of $K$. A transversal is a 1-plex. In this paper we prove that there exists a constant $c(G,k)$ such that if a $d$-iterated quasigroup $G$ of order $n$ has a $k$-multiplex then for large $d$ the number of its $k$-multiplexes is asymptotically equal to $c(G,k) \left(\frac{(kn)!}{k!^n}\right)^{d-1}$. As a corollary we obtain that if the number of transversals in the Cayley table of a $d$-iterated quasigroup $G$ of order $n$ is nonzero then asymptotically it is $c(G,1) n!^{d-1}$. In addition, we provide limit constants and recurrence formulas for the numbers of transversals in two iterated quasigroups of order 5, characterize a typical $k$-multiplex and estimate numbers of partial $k$-multiplexes and transversals in $d$-iterated quasigroups.


title: On the rough Gronwall lemma and its applications

abstract: We present a rough path analog of the classical Gronwall Lemma introduced recently by A. Deya, M. Gubinelli, M. Hofmanov\'a, S. Tindel in [arXiv:1604.00437] and discuss two of its applications. First, it is applied in the framework of rough path driven PDEs in order to establish energy estimates for weak solutions. Second, it is used in order to prove uniqueness for reflected rough differential equations.


title: On the global regularity for anisotropic dissipative surface quasi-geostrophic equation

abstract: In this paper, we consider the two-dimensional surface quasi-geostrophic equation with fractional horizontal dissipation and fractional vertical thermal diffusion. Global existence of classical solutions is established when the dissipation powers are restricted to a suitable range. Due to the nonlocality of these 1D fractional operators, some of the standard energy estimate techniques no longer apply, to overcome this difficulty, we establish several anisotropic embedding and interpolation inequalities involving fractional derivatives. In addition, in order to bypass the unavailability of the classical Gronwall inequality, we establish a new logarithmic type Gronwall inequality, which may be of independent interest and potential applications.


title: Transverse single-spin asymmetry in the low-virtuality leptoproduction of open charm as a probe of the gluon Sivers function

abstract: We study the low-virtuality inclusive leptoproduction of open charm, $p^\uparrow l\rightarrow D^0+X$ as a probe of the gluon Sivers function. We perform the analysis in a generalised parton model framework. At leading order, this process is sensitive only to the gluon content of the proton. Hence any detection of a transverse single-spin asymmetry in this process would be clear indication of a non-zero gluon Sivers function (GSF). Considering COMPASS and a future Electron-Ion Collider (EIC), we present predictions for asymmetry using fits for the GSF available in literature. Predictions for peak asymmetry values lie in the range of 0.8\% to 13\%. We also present estimates of the upper bound on the asymmetry as obtained with a maximal gluon Sivers function. Further, for the case of the Electron-Ion Collider, we evaluate the asymmetry in the muons decaying from the $D$-meson and find that the asymmetry is well preserved in the kinematics of the muons. Peak values of the muon asymmetry are close to those obtained for the $D$-meson and lie in the range $0.75\%$ to 11\%.


title: The Segre embedding of the quantum conformal superspace

abstract: In this paper study the quantum deformation of the superflag Fl(2|0, 2|1,4|1), and its big cell, describing the complex conformal and Minkowski superspaces respectively. In particular, we realize their projective embedding via a generalization to the super world of the Segre map and we use it to construct a quantum deformation of the super line bundle realizing this embedding. This strategy allows us to obtain a description of the quantum coordinate superring of the superflag that is then naturally equipped with a coaction of the quantum complex conformal supergroup SL_q(4|1).


title: A Grouping Genetic Algorithm for Joint Stratification and Sample Allocation Designs

abstract: Predicting the cheapest sample size for the optimal stratification in multivariate survey design is a problem in cases where the population frame is large. A solution exists that iteratively searches for the minimum sample size necessary to meet accuracy constraints in partitions of atomic strata created by the Cartesian product of auxiliary variables into larger strata. The optimal stratification can be found by testing all possible partitions. However the number of possible partitions grows exponentially with the number of initial strata. There are alternative ways of modelling this problem, one of the most natural is using Genetic Algorithms (GA). These evolutionary algorithms use recombination, mutation and selection to search for optimal solutions. They often converge on optimal or near-optimal solution more quickly than exact methods. We propose a new GA approach to this problem using grouping genetic operators instead of traditional operators. The results show a significant improvement in solution quality for similar computational effort, corresponding to large monetary savings.


title: Regularity of symbolic powers of cover ideals of graphs

abstract: Let $G$ be a graph which belongs to either of the following classes: (i) bipartite graphs, (ii) unmixed graphs, or (iii) claw--free graphs. Assume that $J(G)$ is the cover ideal $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that$$k{\rm deg}(J(G))\leq {\rm reg}(J(G)^{(k)})\leq (k-1){\rm deg}(J(G))+|V(G)|-1.$$We also determine families of graphs for which the above inequalities are equality.


title: ASTRI for the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) will be the largest ground-based observatory operating in the very-high-energy gamma-ray (20 GeV - 300 TeV) range. It will be based on more than one hundred telescopes, located at two sites (northern and southern hemispheres). The energy coverage, in the southern CTA array, will extend up to hundreds of TeV thanks to 70 small size telescopes (SST), with primary mirrors of about 4 meters in diameter and large field of view of the order of 9 degrees. It is proposed that one of the first sets of precursors for the CTA SSTs array will be represented by nine ASTRI telescopes. Their prototype, named ASTRI SST-2M, is installed in Italy. It is currently completing the overall commissioning before entering the science verification phase that will performed observing bright TeV sources as Crab Nebula, Mrk421 and Mrk 501 cross-checking the prototype performance with the Monte Carlo predictions. ASTRI telescopes are characterized by a dual-mirror optical design based on the Schwarzschild- Couder (SC) configuration. The focal-plane camera is curved in order to fit the ideal prescription for the SC design and the sensors are small size silicon photomultipliers read-out by a fast front-end electronics. The telescope prototype installed in Italy, has been developed by the Italian National Institute for Astrophysics, INAF, following an end-to-end approach that comprises all aspects from the design, construction and implementation of the entire hardware and software system to the final scientific products. All parts of the system have been designed to comply with the CTA requirements. A collaborative effort, addressed to the implementation of the first ASTRI telescopes for the CTA southern site, is now on-going led by INAF with the Universidade de Sao Paulo (Brazil), the North-West University (South Africa) and the Italian National Institute for Nuclear Physics.


title: Dynamical Anisotropic Response of Black Phosphorus under Magnetic Field

abstract: Black phosphorus (BP) has emerged as a promising material candidate for next generation electronic and optoelectronic devices due to its high mobility, tunable band gap and highly anisotropic properties. In this work, polarization resolved ultrafast mid-infrared transient reflection spectroscopy measurements are performed to study the dynamical anisotropic optical properties of BP under magnetic fields up to 9 T. The relaxation dynamics of photoexcited carrier is found to be insensitive to the applied magnetic field due to the broadening of the Landau levels and large effective mass of carriers. While the anisotropic optical response of BP decreases with increasing magnetic field, its enhancement due to the excitation of hot carriers is similar to that without magnetic field. These experimental results can be well interpreted by the magneto-optical conductivity of the Landau levels of BP thin film, based on an effective k*p Hamiltonian and linear response theory. These findings suggest attractive possibilities of multi-dimensional controls of anisotropic response (AR) of BP with light, electric and magnetic field, which further introduces BP to the fantastic magnetic field sensitive applications.


title: Automatic Contraction of Unstructured Tensor Networks

abstract: The evaluation of partition functions is a central problem in statistical physics. For lattice systems and other discrete models the partition function may be expressed as the contraction of a tensor network. Unfortunately computing such contractions is difficult, and many methods to make this tractable require periodic or otherwise structured networks. Here I present a new algorithm for contracting unstructured tensor networks. This method makes no assumptions about the structure of the network and performs well in both structured and unstructured cases so long as the correlation structure is local.


title: Tools and Procedures for the CTA Array Calibration

abstract: The Cherenkov Telescope Array (CTA) is an international initiative to build the next generation ground-based very-high-energy gamma-ray observatory. Full sky coverage will be assured by two arrays, one located on each of the northern and southern hemispheres. Three different sizes of telescopes will cover a wide energy range from tens of GeV up to hundreds of TeV. These telescopes, of which prototypes are currently under construction or completion, will have different mirror sizes and fields-of-view designed to access different energy regimes. Additionally, there will be groups of telescopes with different optics system, camera and electronics design. Given this diversity of instruments, an overall coherent calibration of the full array is a challenging task. Moreover, the CTA requirements on calibration accuracy are much more stringent than those achieved with current Imaging Atmospheric Cherenkov Telescopes, like for instance: the systematic errors in the energy scale must not exceed 10%.In this contribution we present both the methods that, applied directly to the acquired observational CTA data, will ensure that the calibration is correctly performed to the stringent required precision, and the calibration equipment that, external to the telescopes, is currently under development and testing. Moreover, some notes about the operative procedure to be followed with both methods and instruments, will be described. The methods applied to the observational CTA data include the analysis of muon ring images, of carefully selected cosmic-ray air shower images, of the reconstructed electron spectrum and that of known gamma-ray sources and the possible use of stereo techniques hardware-independent. These methods will be complemented with the use of calibrated light sources located on ground or on board unmanned aerial vehicles.


title: A Neural Network Architecture Combining Gated Recurrent Unit (GRU) and Support Vector Machine (SVM) for Intrusion Detection in Network Traffic Data

abstract: Gated Recurrent Unit (GRU) is a recently-developed variation of the long short-term memory (LSTM) unit, both of which are types of recurrent neural network (RNN). Through empirical evidence, both models have been proven to be effective in a wide variety of machine learning tasks such as natural language processing (Wen et al., 2015), speech recognition (Chorowski et al., 2015), and text classification (Yang et al., 2016). Conventionally, like most neural networks, both of the aforementioned RNN variants employ the Softmax function as its final output layer for its prediction, and the cross-entropy function for computing its loss. In this paper, we present an amendment to this norm by introducing linear support vector machine (SVM) as the replacement for Softmax in the final output layer of a GRU model. Furthermore, the cross-entropy function shall be replaced with a margin-based function. While there have been similar studies (Alalshekmubarak & Smith, 2013; Tang, 2013), this proposal is primarily intended for binary classification on intrusion detection using the 2013 network traffic data from the honeypot systems of Kyoto University. Results show that the GRU-SVM model performs relatively higher than the conventional GRU-Softmax model. The proposed model reached a training accuracy of ~81.54% and a testing accuracy of ~84.15%, while the latter was able to reach a training accuracy of ~63.07% and a testing accuracy of ~70.75%. In addition, the juxtaposition of these two final output layers indicate that the SVM would outperform Softmax in prediction time - a theoretical implication which was supported by the actual training and testing time in the study.


title: Detailed chemical composition of classical Cepheids in the LMC cluster NGC 1866 and in the field of the SMC

abstract: Context: Cepheids are excellent tracers of young stellar populations. They play a crucial role in astrophysics as standard candles. The chemistry of classical Cepheids in the Milky Way is now quite well-known. Despite a much larger sample, the chemical composition of Magellanic Cepheids has been only scarcely investigated. Aims: For the first time, we study the chemical composition of several Cepheids located in the same populous cluster: NGC 1866, in the Large Magellanic Cloud (LMC). To also investigate the chemical composition of Cepheids at lower metallicity, four targets are located in the Small Magellanic Cloud (SMC). Our sample allows us to increase the number of Cepheids with known metallicities in the LMC/SMC by 20%/25% and the number of Cepheids with detailed chemical composition in the LMC/SMC by 46%/50%. Methods: We use canonical spectroscopic analysis to determine the chemical composition of Cepheids and provide abundances for a good number of $\alpha$, iron-peak and neutron-capture elements. Results: We find that six Cepheids in the LMC cluster NGC 1866 have a very homogeneous chemical composition, also consistent with red giant branch (RGB) stars in the cluster. Period--age relations that include no or average rotation indicate that all the Cepheids in NGC 1866 have a similar age and therefore belong to the same stellar population. Our results are in good agreement with theoretical models accounting for luminosity and radial velocity variations. Using distances based on period-luminosity relations in the near- or mid-infrared, we investigate for the first time the metallicity distribution of the young population in the SMC in the depth direction. Preliminary results show no metallicity gradient along the SMC main body, but our sample is small and does not contain Cepheids in the inner few degrees of the SMC.


title: TestREx: a Framework for Repeatable Exploits

abstract: Web applications are the target of many well known exploits and also a fertile ground for the discovery of security vulnerabilities. Yet, the success of an exploit depends both on the vulnerability in the application source code and the environment in which the application is deployed and run. As execution environments are complex (application servers, databases and other supporting applications), we need to have a reliable framework to test whether known exploits can be reproduced in different settings, better understand their effects, and facilitate the discovery of new vulnerabilities. In this paper, we present TestREx - a framework that allows for highly automated, easily repeatable exploit testing in a variety of contexts, so that a security tester may quickly and efficiently perform large-scale experiments with vulnerability exploits. It supports packing and running applications with their environments, injecting exploits, monitoring their success, and generating security reports. We also provide a corpus of example applications, taken from related works or implemented by us.


title: A trapped field of 13.4 T in a stack of HTS tapes with 30 \mu m substrate

abstract: Superconducting bulk (RE)Ba$_2$Cu$_3$O$_{7-x}$ materials (RE-rare earth elements) have been successfully used to generate magnetic flux densities in excess of 17 T. This work investigates an alternative approach by trapping flux in stacks of second generation high temperature superconducting tape from several manufacturers using field cooling and pulsed field magnetisation techniques. Flux densities of up to 13.4 T were trapped by field cooling at ~5 K between two 12 mm square stacks, an improvement of 70% over previous value achieved in an HTS tape stack. The trapped flux approaches the record values in (RE)BCO bulks and reflects the rapid developments still being made in the HTS tape performance.


title: A Product Shape Congruity Measure via Entropy in Shape Scale Space

abstract: Product shape is one of the factors that trigger preference decisions of customers. Congruity of shape elements and deformation of shape from the prototype are two factors that are found to influence aesthetic response, hence preference. We propose a measure to indirectly quantify congruity of different parts of the shape and the degree to which the parts deviate from a sphere, i.e. our choice of the prototype, without explicitly defining parts and their relations. The basic signals and systems concept that we use is the entropy. Our measure attains its lowest value for a volume enclosed by a sphere. On one hand, deformations from the prototype cause an increase in the measure. On the other hand, as deformations create congruent parts, our measure decreases due to the attained harmony. Our preliminary experimental results are consistent with our expectations.


title: On the relationship of Mathematics to the real world

abstract: In this article, I discuss the relationship of mathematics to the physical world, and to other spheres of human knowledge. In particular, I argue that Mathematics is created by human beings, and the number $\pi$ can not be said to have existed $100,000$ years ago, using the conventional meaning of the word `exist'.


title: Coherence enhanced quantum metrology in a nonequilibrium optical molecule

abstract: We explore the quantum metrology in an optical molecular system coupled to two environments with different temperatures, using a quantum master equation beyond secular approximation. We discover that the steady-state coherence originating from and sustained by the nonequilibrium condition can enhance quantum metrology. We also study the quantitative measures of the nonequilibrium condition in terms of the curl flux, heat current and entropy production at the steady state. They are found to grow with temperature difference. However, an apparent paradox arises considering the contrary behaviors of the steady-state coherence and the nonequilibrium measures in relation to the inter-cavity coupling strength. This paradox is resolved by decomposing the heat current into a population part and a coherence part. Only the latter, coherence heat current, is tightly connected to the steady-state coherence and behaves similarly with respect to the inter-cavity coupling strength. Interestingly, the coherence heat current flows from the low-temperature reservoir to the high-temperature reservoir, opposite to the direction of the population heat current. Our work offers a viable way to enhance quantum metrology for open quantum systems through steady-state coherence sustained by the nonequilibrium condition, which can be controlled and manipulated to maximize its utility. The potential applications go beyond quantum metrology and extend to areas such as device designing, quantum computation and quantum technology in general.


title: Measurement of quarkonium production in proton--lead and proton--proton collisions at $5.02$ $\mathrm{TeV}$ with the ATLAS detector

abstract: The modification of the production of $J/\psi$, $\psi(\mathrm{2S})$, and $\mit{\Upsilon}(n\mathrm{S})$ ($n = 1, 2, 3$) in $p$+Pb collisions with respect to their production in $pp$ collisions has been studied. The $p$+Pb and $pp$ datasets used in this paper correspond to integrated luminosities of $28$ $\mathrm{nb}^{-1}$ and $25$ $\mathrm{pb}^{-1}$ respectively, collected in 2013 and 2015 by the ATLAS detector at the LHC, both at a centre-of-mass energy per nucleon pair of 5.02 TeV. The quarkonium states are reconstructed in the dimuon decay channel. The yields of $J/\psi$ and $\psi(\mathrm{2S})$ are separated into prompt and non-prompt sources. The measured quarkonium differential cross sections are presented as a function of rapidity and transverse momentum, as is the nuclear modification factor, $R_{p\mathrm{Pb}}$ for $J/\psi$ and $\mit{\Upsilon}(\mathrm{1S})$. No significant modification of the $J/\psi$ production is observed while $\mit{\Upsilon}(\mathrm{1S})$ production is found to be suppressed at low transverse momentum in $p$+Pb collisions relative to $pp$ collisions. The production of excited charmonium and bottomonium states is found to be suppressed relative to that of the ground states in central $p$+Pb collisions.


title: Practical measurement-device-independent entanglement quantification

abstract: The robust estimation of entanglement is key to the validation of implementations of quantum systems. On the one hand, the evaluation of standard entanglement measures, either using quantum tomography or using quantitative entanglement witnesses requires perfect implementation of measurements. On the other hand, measurement-device-independent entanglement witnesses (MDIEWs) can certify entanglement of all entangled states using untrusted measurement devices. We show that MDIEWs can be used as well to quantify entanglement according to standard entanglement measures, and present a practical method to derive such witnesses using experimental data only.


title: TANAMI: Tracking Active Galactic Nuclei with Austral Milliarcsecond Interferometry - II. Additional Sources

abstract: TANAMI is a multiwavelength program monitoring active galactic nuclei (AGN) south of -30deg declination including high-resolution Very Long Baseline Interferometry (VLBI) imaging, radio, optical/UV, X-ray and gamma-ray studies. We have previously published first-epoch 8.4GHz VLBI images of the parsec-scale structure of the initial sample. In this paper, we present images of 39 additional sources. The full sample comprises most of the radio- and gamma-ray brightest AGN in the southern quarter of the sky, overlapping with the region from which high-energy (>100TeV) neutrino events have been found. We characterize the parsec-scale radio properties of the jets and compare with the quasi-simultaneous Fermi/LAT gamma-ray data. Furthermore, we study the jet properties of sources which are in positional coincidence with high-energy neutrino events as compared to the full sample. We test the positional agreement of high-energy neutrino events with various AGN samples. Our observations yield the first images of many jets below -30deg declination at milliarcsecond resolution. We find that gamma-ray loud TANAMI sources tend to be more compact on parsec-scales and have higher core brightness temperatures than gamma-ray faint jets, indicating higher Doppler factors. No significant structural difference is found between sources in positional coincidence with high-energy neutrino events and other TANAMI jets. The 22 gamma-ray brightest AGN in the TANAMI sky show only a weak positional agreement with high-energy neutrinos demonstrating that the >100TeV IceCube signal is not simply dominated by a small number of the $\gamma$-ray brightest blazars. Instead, a larger number of sources have to contribute to the signal with each individual source having only a small Poisson probability for producing an event in multi-year integrations of current neutrino detectors.


title: Conjugate gradient based acceleration for inverse problems

abstract: The conjugate gradient method is a widely used algorithm for the numerical solution of a system of linear equations. It is particularly attractive because it allows one to take advantage of sparse matrices and produces (in case of infinite precision arithmetic) the exact solution after a finite number of iterations. It is thus well suited for many types of inverse problems. On the other hand, the method requires the computation of the gradient. Here difficulty can arise, since the functional of interest to the given inverse problem may not be differentiable. In this paper, we review two approaches to deal with this situation: iteratively reweighted least squares and convolution smoothing. We apply the methods to a more generalized, two parameter penalty functional. We show advantages of the proposed algorithms using examples from a geotomographical application and for synthetically constructed multi-scale reconstruction and regularization parameter estimation.


title: Efficient Online Linear Optimization with Approximation Algorithms

abstract: We revisit the problem of \textit{online linear optimization} in case the set of feasible actions is accessible through an approximated linear optimization oracle with a factor $\alpha$ multiplicative approximation guarantee. This setting is in particular interesting since it captures natural online extensions of well-studied \textit{offline} linear optimization problems which are NP-hard, yet admit efficient approximation algorithms. The goal here is to minimize the $\alpha$\textit{-regret} which is the natural extension of the standard \textit{regret} in \textit{online learning} to this setting. We present new algorithms with significantly improved oracle complexity for both the full information and bandit variants of the problem. Mainly, for both variants, we present $\alpha$-regret bounds of $O(T^{-1/3})$, were $T$ is the number of prediction rounds, using only $O(\log{T})$ calls to the approximation oracle per iteration, on average. These are the first results to obtain both average oracle complexity of $O(\log{T})$ (or even poly-logarithmic in $T$) and $\alpha$-regret bound $O(T^{-c})$ for a constant $c>0$, for both variants.


title: On the local behaviour of specializations of function field extensions

abstract: Given a field $k$ of characteristic zero and an indeterminate $T$ over $k$, we investigate the local behaviour at primes of $k$ of finite Galois extensions of $k$ arising as specializations of finite Galois extensions $E/k(T)$ (with $E/k$ regular) at points $t_0 \in \mathbb{P}^1(k)$. We provide a general result about decomposition groups at primes of $k$ in specializations, extending a fundamental result of Beckmann concerning inertia groups. We then apply our result to study crossed products, the Hilbert--Grunwald property, and finite parametric sets.


title: Systematic challenges for future gravitational wave measurements of precessing binary black holes

abstract: The properties of precessing, coalescing binary black holes are presently inferred through comparison with two approximate models of compact binary coalescence. In this work we show these two models often disagree substantially when binaries have modestly large spins ($a\gtrsim 0.4$) and modest mass ratios ($q\gtrsim 2$). We demonstrate these disagreements using standard figures of merit and the parameters inferred for recent detections of binary black holes. By comparing to numerical relativity, we confirm these disagreements reflect systematic errors. We provide concrete examples to demonstrate that these systematic errors can significantly impact inferences about astrophysically significant binary parameters. For the immediate future, parameter inference for binary black holes should be performed with multiple models (including numerical relativity), and carefully validated by performing inference under controlled circumstances with similar synthetic events.


title: Survivable Probability of SDN-enabled Cloud Networking with Random Physical Link Failure

abstract: Software-driven cloud networking is a new paradigm in orchestrating physical resources (CPU, network bandwidth, energy, storage) allocated to network functions, services, and applications, which is commonly modeled as a cross-layer network. This model carries a physical network representing the physical infrastructure, a logical network showing demands, and logical-to-physical node/link mappings. In such networks, a single failure in the physical network may trigger cascading failures in the logical network and disable network services and connectivity. In this paper, we propose an evaluation metric, survivable probability, to evaluate the reliability of such networks under random physical link failure(s). We propose the concept of base protecting spanning tree and prove the necessary and sufficient conditions for its existence and relation to survivability. We then develop mathematical programming formulations for reliable cross-layer network routing design with the maximal reliable probability. Computation results demonstrate the viability of our approach.


title: Abstract densities and ideals of sets

abstract: Abstract upper densities are monotone and subadditive functions from the power set of positive integers to the unit real interval that generalize the upper densities used in number theory, including the upper asymptotic density, the upper Banach density, and the upper logarithmic density. We answer a question posed by G. Grekos in 2013, and prove the existence of translation invariant abstract upper densities onto the unit interval, whose null sets are precisely the family of finite sets, or the family of sequences whose series of reciprocals converge. We also show that no such density can be atomless. (More generally, these results also hold for a large class of summable ideals.)


title: Existence and uniqueness of fixed point for ordered contraction type operator in Banach Space

abstract: In this paper, we investigate the existence and uniqueness of fixed point for partially ordered contraction type operators in Banach Space. We also present applications to integral and differential equations.


title: Conformation And Mechanical Response of Spray Deposited Single Strand DNA on Gold

abstract: Single molecule force spectroscopy of DNA strands adsorbed at surfaces is a powerful technique used in air or liquid environments to quantify their mechanical properties. Although the force responses are limited to unfolding events so far, single base detection might be possible in more drastic cleanliness conditions such as ultra high vacuum. Here, we report on high resolution imaging and pulling attempts at low temperature (5K) of a single strand DNA (ssDNA) molecules composed of 20 cytosine bases adsorbed on Au(111) by scanning probe microscopy and numerical calculations. Using electrospray deposition technique, the ssDNA were successfully transferred from solution onto a surface kept in ultra high vacuum. Real space characterizations reveal that the ssDNA have an amorphous structure on gold in agreement with numerical calculations. Subsequent substrate annealing promotes the desorption of solvent molecules, DNA as individual molecules as well as the formation of DNA self assemblies. Furthermore, pulling experiments by force spectroscopy have been conducted to measure the mechanical response of the ssDNA while detaching. A periodic pattern of 0.2 to 0.3nm is observed in the force curve which arises from the stick slip of single nucleotide bases over the gold. Although an intra molecular response is obtained in the force curve, a clear distinction of each nucleotide detachment is not possible due the complex structure of ssDNA adsorbed on gold.


title: Analytical description of spontaneous emission of light at the optical event horizon

abstract: Quantum fluctuations in curved space-time cause the emission of particles. In order to understand how they may be detected in a laboratory experiment, we consider a moving refractive index perturbation in an optical medium, which exhibits optical event horizons. Based on the field theory in curved space-time we formulate an analytical method to calculate the scattering matrix that completely describes mode coupling leading to the emission of photon pairs in various configurations. We then quantify the spectrally resolved photon number correlations. Moreover, we apply our method in a case study, in which we consider a moving refractive index step in bulk fused silica. We calculate key observables in the moving frame as well as in the laboratory frame, such as the emission spectrum and the spectrally resolved quantum correlations of the photon number. We observe significant spectral correlations between modes of opposite norm, evidence of their vacuum origin. We find that emission from horizons is characterised by an increased photon flux, a signature spectral shape as well as a correlation with the partner photon mode approaching unity. These methods and findings pave the way to the observation of particles from the event horizon in dispersive systems.


title: Large data scattering for the defocusing NLKG on waveguide $\mathbb R^d\times\mathbb T$

abstract: We consider the pure-power defocusing nonlinear Klein-Gordon equation, in the energy subcritical case, posed on the product space $\mathbb R^d\times \mathbb T$, where $\mathbb T$ is the one-dimensional flat torus. In this framework, we prove that scattering holds for any initial data belonging to the energy space $H^1 \times L^2$ for $1\leq d\leq 4$. The strategy consists in proving a suitable profile decomposition theorem in $\mathbb R^d\times \mathbb T$ to pursue a concentration-compactness \& rigidity method.


title: The Golden Quantizer: The Complex Gaussian Random Variable Case

abstract: The problem of quantizing a circularly-symmetric complex Gaussian random variable is considered. For this purpose, we design two non-uniform quantizers, a high-rate-, and a Lloyd-Max-, quantizer that are both based on the (golden angle) spiral-phyllotaxis packing principle. We find that the proposed schemes have lower mean-square error distortion compared to (non)-uniform polar/rectangular-quantizers, and near-identical to the best performing trained vector quantizers. The proposed quantizer scheme offers a structured design, a simple natural index ordering, and allow for any number of centroids.


title: Testing the variability of the proton-to-electron mass ratio from observations of methanol in the dark cloud core L1498

abstract: The dependence of the proton-to-electron mass ratio, mu, on the local matter density was investigated using methanol emission in the dense dark cloud core L1498. Towards two different positions in L1498, five methanol transitions were detected and an extra line was tentatively detected at a lower confidence level in one of the positions. The observed centroid frequencies were then compared with their rest frame frequencies derived from least-squares fitting to a large data set. Systematic effects, as the underlying methanol hyperfine structure and the Doppler tracking of the telescope, were investigated and their effects were included in the total error budget. The comparison between the observations and the rest frame frequencies constrains potential mu variation at the level of Dmu/mu < 6 x 10^(-8), at a 3 sigma confidence level. For the dark cloud we determine a total CH3OH (A+E) beam averaged column density of 3-4 x 10^(12) cm(-2) (within roughly a factor of two), an E- to A-type methanol column density ratio of N(A-CH3OH)/N(E-CH3OH) = 1.00 +/- 0.15, a density of n(H2) = 3 x 10^5 cm^(-3) (again within a factor of two), and a kinetic temperature of Tkin = 6 +/- 1 K. In a kinetic model including the line intensities observed for the methanol lines, the n(H2) density is higher and the temperature is lower than that derived in previous studies based on different molecular species; the intensity of the 1_0 --> 1_-1 E line strength is not well reproduced.


title: The boundary behavior of domains with complete translating, minimal and CMC graphs in $N^2\times \mathbb{R}$

abstract: In this note we discuss graphs over a domain $\Omega\subset N^2$ in the product manifold $N^2\times \mathbb{R}$. Here $N^2$ is a complete Riemannian surface and $\Omega$ has peice-wise smooth boundary. Let $\gamma \subset\partial\Omega$ be a smooth connected arc and $\Sigma$ be a complete graph in $N^2\times \mathbb{R}$ over $\Omega$. We show that if $\Sigma$ is a minimal or translating graph, then $\gamma$ is a geodesic in $N^2$. Moreover if $\Sigma$ is a CMC graph, then $\gamma$ has constant principle curvature in $N^2$. This explains the infinity value boundary condition upon domains having Jenkins-Serrin theorems on minimal and CMC graphs in $N^2\times \mathbb{R}$.


title: Detecting Changes in Time Series Data using Volatility Filters

abstract: This work develops techniques for the sequential detection and location estimation of transient changes in the volatility (standard deviation) of time series data. In particular, we introduce a class of change detection algorithms based on the windowed volatility filter. The first method detects changes by employing a convex combination of two such filters with differing window sizes, such that the adaptively updated convex weight parameter is then used as an indicator for the detection of instantaneous power changes. Moreover, the proposed adaptive filtering based method is readily extended to the multivariate case by using recent advances in distributed adaptive filters, thereby using cooperation between the data channels for more effective detection of change points. Furthermore, this work also develops a novel change point location estimator based on the differenced output of the volatility filter. Finally, the performance of the proposed methods were evaluated on both synthetic and real world data.


title: Simple Theory of Ionic Activity in Concentrated Electrolytes

abstract: The Debye-H\" uckel formula for ionic activity coefficients is extended for concentrated solutions by solving a simple model of many-body Coulomb correlations and adding the Born solvation energy. Given the bulk permittivity, our formula is able to fit activity data for diverse electrolytes with only one parameter to adjust the correlation length, which interpolates between the Bjerrum length and the mean ion spacing. The results show that ionic activity in most electrolytes is dominated by three types of electrostatic forces: (i) mean-field charge screening, (ii) solvation, and (iii) Coulomb correlations, both "over-screening" (charge oscillations) and "under-screening" (extending beyond the Debye screening length).


title: Informational work storage in quantum thermodynamics

abstract: We present a critical examination of the difficulties with the quantum versions of a lifted weight that are widely used as work storage systems in quantum thermodynamics. To overcome those difficulties, we turn to the strong connections between information and thermodynamics illuminated by Szilard's engine and Landauer's principle, and consider the concept of informational work storage. This concept is in sharp contrast with the usual one of mechanical work storage underlying the idealization of a quantum weight. An informational work storage system based on maximally mixed qubits that does not act as an entropy sink and is capable of truly distinguishing work from heat is studied. Applying it to the problem of single-shot work extraction in various extraction schemes, we show that for a given system state the maximum extractable work is independent of extraction scheme, in accordance with the second law of thermodynamics.


title: Horndeski extension of the minimal theory of quasidilaton massive gravity

abstract: The minimal theory of quasidilaton massive gravity allows for a stable self-accelerating de Sitter solution in a wide range of parameters. On the other hand, in order for the theory to be compatible with local gravity tests, the fifth force due to the quasidilaton scalar needs to be screened at local scales. The present paper thus extends the theory by inclusion of a cubic Horndeski term in a way that (i) respects the quasidilaton global symmetry, that (ii) maintains the physical degrees of freedom in the theory being three, that (iii) can accommodate the Vainshtein screening mechanism and that still (iv) allows for a stable self-accelerating de Sitter solution. After adding the Horndeski term (and a k-essence type nonlinear kinetic term as well) to the precursor action, we switch to the Hamiltonian language and find a complete set of independent constraints. We then construct the minimal theory with three physical degrees of freedom by carefully adding a pair of constraints to the total Hamiltonian of the precursor theory. Switching back to the Lagrangian language, we study cosmological solutions and their stability in the minimal theory. In particular, we show that a self-accelerating de Sitter solution is stable for a wide range of parameters. Furthermore, as in the minimal theory of massive gravity, the propagation speed of the massive gravitational waves in the high momentum limit precisely agrees with the speed of light.


title: Electric field vector mapping of guided ionization waves at atmospheric pressure

abstract: In this study, the dynamic of guided ionization wave (IW) generated by an atmospheric pressure plasma jet (APPJ) device in plasma gun configuration is experimentally investigated. The present work focuses on the properties of the intense electric field (EF) driving the IW. Taking advantages of APPJs to produce guided and reproducible IWs, the induced EF vector is characterized spatially and temporally along the direction of propagation. With this approach, EF vector mapping of guided IWs have been measured and documented for the first time. In the first part, the propagation within a glass tube of the first IW is investigated. Under the present conditions, a second guided IW is observed and propagates, leading to the formation of a guided streamer. The EF due to transient charge deposited on the wall surface is observed, particularly at the end of the tube. In the second part, one reports on the EF vector mapping under a dielectric substrate in contact with guided IWs. EF strength up to 55 kV cm$^{-1}$ has been measured and corroborates prior results from predictive numerical simulations. Intriguing configurations of the EF lines will be of significant interest to validate theoretical models in order to refine the non-equilibrium plasma chemistry kinetics. Furthermore, this preliminary work provides important insights into various applications involving IW driven discharges such as liquid activation, environmental treatments, plasma medicine, active flow control and plasma agriculture.


title: G-thinker: Big Graph Mining Made Easier and Faster

abstract: This paper proposes a general system for compute-intensive graph mining tasks that find from a big graph all subgraphs that satisfy certain requirements (e.g., graph matching and community detection). Due to the broad range of applications of such tasks, many single-threaded algorithms have been proposed. However, graphs such as online social networks and knowledge graphs often have billions of vertices and edges, which require distributed processing in order to scale. Unfortunately, existing distributed graph processing systems such as Pregel and GraphLab are designed for data-intensive analytics, and are inefficient for compute-intensive graph mining tasks since computation over any data is coupled with the data's access that involves network transmission. We propose a distributed graph mining framework, called G-thinker, which is designed for compute-intensive graph mining workloads. G-thinker provides an intuitive graph-exploration API for the convenient implementation of various graph mining algorithms, and the runtime engine provides efficient execution with bounded memory consumption, light network communication, and parallelism between computation and communication. Extensive experiments were conducted, which demonstrate that G-thinker is orders of magnitude faster than existing solution, and can scale to graphs that are two orders of magnitude larger given the same hardware resources.


title: On percolation of two-dimensional hard disks

abstract: We consider the hard-core model in $\mathbb{R}^2$, in which a random set of non-intersecting unit disks is sampled with an intensity parameter $\lambda$. Given $\varepsilon>0$ we consider the graph in which two disks are adjacent if they are at distance $\leq \varepsilon$ from each other. We prove that this graph, $G$, is highly connected when $\lambda$ is greater than a certain threshold depending on $\varepsilon$. Namely, given a square annulus with inner radius $L_1$ and outer radius $L_2$, the probability that the annulus is crossed by $G$ is at least $1 - C \exp(-cL_1)$. As a corollary we prove that a Gibbs state admits an infinite component of $G$ if the intensity $\lambda$ is large enough, depending on $\varepsilon$.


title: Bounded Projective Functions and Hyperbolic Metrics with Isolated Singularities

abstract: We establish a correspondence on a Riemann surface between hyperbolic metrics with isolated singularities and bounded projective functions whose Schwarzian derivatives have at most double poles and whose monodromies lie in ${\rm PSU}(1,\,1)$. As an application, we construct explicitly a new class of hyperbolic metrics with countably many singularities on the unit disc.


title: Cortical Spike Synchrony as a Measure of Input Familiarity

abstract: Spike synchrony, which occurs in various cortical areas in response to specific perception, action and memory tasks, has sparked a long-standing debate on the nature of temporal organization in cortex. One prominent view is that this type of synchrony facilitates the binding or grouping of separate stimulus components. We argue instead for a more general function: A measure of the prior probability of incoming stimuli, implemented by long-range, horizontal, intra-cortical connections. We show that networks of this kind -- pulse-coupled excitatory spiking networks in a noisy environment -- can provide a sufficient substrate for stimulus-dependent spike synchrony. This allows a quick (few spikes) estimate of the match between inputs and the input history as encoded in the network structure. Given the ubiquity of small, strongly excitatory subnetworks in cortex, we thus propose that many experimental observations of spike synchrony can be viewed as signs of input patterns that resemble long-term experience, i.e. patterns of high prior probability.


title: Cognitive networks: brains, internet, and civilizations

abstract: In this short essay, we discuss some basic features of cognitive activity at several different space-time scales: from neural networks in the brain to civilizations. One motivation for such comparative study is its heuristic value. Attempts to better understand the functioning of "wetware" involved in cognitive activities of central nervous system by comparing it with a computing device have a long tradition. We suggest that comparison with Internet might be more adequate. We briefly touch upon such subjects as encoding, compression, and Saussurean trichotomy langue/langage/parole in various environments.


title: A Quantum Damper

abstract: As an application of the classically decayable correlation in a quantum chaos system maintained over an extremely long time-scale (Matsui et al, Europhys.Lett. 113(2016),40008), we propose a minimal model of quantum damper composed of a quantum harmonic oscillator (HO) weakly interacting with a bounded quantum chaos system. Although the whole system obeys unitary evolution dynamics of only three quantum degrees of freedom, the mechanical work applied to the HO is stationary converted into the "internal energy" characterized by an effective temperature in an irreversible way over a sufficiently long time-scale, if the components of the quantum chaos system are mutually entangled enough. A paradoxical dependence of the duration time of the stationary conversion on the driving strength is also discussed.


title: Computing twisted Alexander polynomials for Montesinos links

abstract: In recent years, twisted Alexander polynomial has been playing an important role in low-dimensional topology. For Montesinos links, we develop an efficient method to compute the twisted Alexander polynomial associated to any linear representation. In particular, formulas for multi-variable Alexander polynomials of these links can be easily derived.


title: Monadic Second-Order Logic with Arbitrary Monadic Predicates

abstract: We study Monadic Second-Order Logic (MSO) over finite words, extended with (non-uniform arbitrary) monadic predicates. We show that it defines a class of languages that has algebraic, automata-theoretic and machine-independent characterizations. We consider the regularity question: given a language in this class, when is it regular? To answer this, we show a substitution property and the existence of a syntactical predicate. We give three applications. The first two are to give very simple proofs that the Straubing Conjecture holds for all fragments of MSO with monadic predicates, and that the Crane Beach Conjecture holds for MSO with monadic predicates. The third is to show that it is decidable whether a language defined by an MSO formula with morphic predicates is regular.


title: The Physics of Protoplanetesimal Dust Agglomerates. X. Mechanical properties of dust aggregates probed by a solid-projectile impact

abstract: Dynamic characterization of mechanical properties of dust aggregates has been one of the most important problems to quantitatively discuss the dust growth in protoplanetary disks. We experimentally investigate the dynamic properties of dust aggregates by low-speed ($\lesssim 3.2$ m s$^{-1}$) impacts of solid projectiles. Spherical impactors made of glass, steel, or lead are dropped onto a dust aggregate of packing fraction $\phi=0.35$ under vacuum conditions. The impact results in cratering or fragmentation of the dust aggregate, depending on the impact energy. The crater shape can be approximated by a spherical segment and no ejecta are observed. To understand the underlying physics of impacts into dust aggregates, the motion of the solid projectile is acquired by a high-speed camera. Using the obtained position data of the impactor, we analyze the drag-force law and dynamic pressure induced by the impact. We find that there are two characteristic strengths. One is defined by the ratio between impact energy and crater volume and is $\simeq 120$ kPa. The other strength indicates the fragmentation threshold of dynamic pressure and is $\simeq 10$ kPa. The former characterizes the apparent plastic deformation and is consistent with the drag force responsible for impactor deceleration. The latter corresponds to the dynamic tensile strength to create cracks. Using these results, a simple model for the compaction and fragmentation threshold of dust aggregates is proposed. In addition, the comparison of drag-force laws for dust aggregates and loose granular matter reveals the similarities and differences between the two materials.


title: Gamma-ray and X-ray emission from the Galactic Centre: hints on the nuclear star cluster formation history

abstract: The Milky Way centre exhibits an intense flux in the gamma and X-ray bands, whose origin is partly ascribed to the possible presence of a large population of millisecond pulsars (MSPs) and cataclysmic variables (CVs), respectively. However, the number of sources required to generate such an excess is much larger than what is expected from in situ star formation and evolution, opening a series of questions about the formation history of the Galactic nucleus. In this paper we make use of direct $N$-body simulations to investigate whether these sources could have been brought to the Galactic centre by a population of star clusters that underwent orbital decay and formed the Galactic nuclear star cluster (NSC). Our results suggest that the gamma ray emission is compatible with a population of MSPs that were mass segregated in their parent clusters, while the X-ray emission is consistent with a population of CVs born via dynamical interactions in dense star clusters. Combining observations with our modelling, we explore how the observed $\gamma$ ray flux can be related to different NSC formation scenarios. Finally, we show that the high-energy emission coming from the galactic central regions can be used to detect black holes heavier than $10^5\Ms$ in nearby dwarf galaxies.


title: Direct epiperimetric inequalities for the thin obstacle problem and applications

abstract: For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in \mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type. In particular, at difference from the classical statements, we do not assume any a priori closeness to a special class of homogeneous functions. In dimension $2$, we also prove the epiperimetric inequality at any free boundary point. As a first application, we improve the set of admissible frequencies for blow ups, previously known to be $\lambda \in \{\frac32\} \cup [2,\infty)$, and we classify the global $\lambda$-homogeneous minimizers, with $\lambda\in [\frac32,2+c]\cup\bigcup_{m\in \mathbb N}(2m-c_m^-,2m+c_m^+)$, showing as a consequence that the frequencies $\frac32$ and $2m$ are isolated. Secondly, we give a short and self-contained proof of the regularity of the free boundary previously obtained by Athanasopoulos-Caffarelli-Salsa (Amer. J. Math., 130(2) (2008), 485-498) for regular points and Garofalo-Petrosyan (Invent. Math., 177(2) (2009), 415-461) for singular points, by means of an epiperimetric inequality of logarithmic type which applies for the first time also at all singular points of thin-obstacle free boundaries. In particular we improve the $C^1$ regularity of the singular set with frequency $2m$ by an explicit logarithmic modulus of continuity.


title: Trading Bounds for Memory in Games with Counters

abstract: We study two-player games with counters, where the objective of the first player is that the counter values remain bounded. We investigate the existence of a trade-off between the size of the memory and the bound achieved on the counters, which has been conjectured by Colcombet and Loeding. We show that unfortunately this conjecture does not hold: there is no trade-off between bounds and memory, even for finite arenas. On the positive side, we prove the existence of a trade-off for the special case of thin tree arenas. This allows to extend the theory of regular cost functions over thin trees, and obtain as a corollary the decidability of cost monadic second-order logic over thin trees.


title: Two Recursively Inseparable Problems for Probabilistic Automata

abstract: This paper introduces and investigates decision problems for numberless probabilistic automata, i.e. probabilistic automata where the support of each probabilistic transitions is specified, but the exact values of the probabilities are not. A numberless probabilistic automaton can be instantiated into a probabilistic automaton by specifying the exact values of the non-zero probabilistic transitions. We show that the two following properties of numberless probabilistic automata are recursively inseparable: - all instances of the numberless automaton have value 1, - no instance of the numberless automaton has value 1.


title: Weighted jump and variational inequalities for rough operators

abstract: In this paper, we systematically study weighted jump and variational inequalities for rough operators. More precisely, we show some weighted jump and variational inequalities for the families $\mathcal T:=\{T_\varepsilon\}_{\varepsilon>0}$ of truncated singular integrals and $\mathcal M_{\Omega}:=\{M_{\Omega,t}\}_{t>0}$ of averaging operators with rough kernels, which are defined respectively by $$ T_\varepsilon f(x)=\int_{|y|>\varepsilon}\frac{\Omega(y')}{|y|^n}f(x-y)dy$$ and $$M_{\Omega,t} f(x)=\frac1{t^n}\int_{|y|<t}\Omega(y')f(x-y)dy, $$ where the kernel $\Omega$ belongs to $L^q(\mathbf S^{n-1})$ for $q>1$.


title: A Detail Based Method for Linear Full Reference Image Quality Prediction

abstract: In this paper, a novel Full Reference method is proposed for image quality assessment, using the combination of two separate metrics to measure the perceptually distinct impact of detail losses and of spurious details. To this purpose, the gradient of the impaired image is locally decomposed as a predicted version of the original gradient, plus a gradient residual. It is assumed that the detail attenuation identifies the detail loss, whereas the gradient residuals describe the spurious details. It turns out that the perceptual impact of detail losses is roughly linear with the loss of the positional Fisher information, while the perceptual impact of the spurious details is roughly proportional to a logarithmic measure of the signal to residual ratio. The affine combination of these two metrics forms a new index strongly correlated with the empirical Differential Mean Opinion Score (DMOS) for a significant class of image impairments, as verified for three independent popular databases. The method allowed alignment and merging of DMOS data coming from these different databases to a common DMOS scale by affine transformations. Unexpectedly, the DMOS scale setting is possible by the analysis of a single image affected by additive noise.


title: Variational inequalities for the commutators of rough operators with BMO functions

abstract: In this paper, starting with a relatively simple observation that the variational estimates of the commutators of the standard Calder\'on-Zygmund operators with the BMO functions can be deduced from the weighted variational estimates of the standard Calder\'on-Zygmund operators themselves, we establish similar variational estimates for the commutators of the BMO functions with rough singular integrals which do not admit any weighted variational estimates. The proof involves many Littlewood-Paley type inequalities with commutators as well as Bony decomposition and related para-product estimates.


title: Robust Emotion Recognition from Low Quality and Low Bit Rate Video: A Deep Learning Approach

abstract: Emotion recognition from facial expressions is tremendously useful, especially when coupled with smart devices and wireless multimedia applications. However, the inadequate network bandwidth often limits the spatial resolution of the transmitted video, which will heavily degrade the recognition reliability. We develop a novel framework to achieve robust emotion recognition from low bit rate video. While video frames are downsampled at the encoder side, the decoder is embedded with a deep network model for joint super-resolution (SR) and recognition. Notably, we propose a novel max-mix training strategy, leading to a single "One-for-All" model that is remarkably robust to a vast range of downsampling factors. That makes our framework well adapted for the varied bandwidths in real transmission scenarios, without hampering scalability or efficiency. The proposed framework is evaluated on the AVEC 2016 benchmark, and demonstrates significantly improved stand-alone recognition performance, as well as rate-distortion (R-D) performance, than either directly recognizing from LR frames, or separating SR and recognition.


title: Some jump and variational inequalities for the Calder\'on commutators and related operators

abstract: In this paper, we establish jump and variational inequalities for the Calder\'{o}n commutators, which are typical examples of non-convolution Calder\'on-Zygmund operators. For this purpose, we also show jump and variational inequalities for para-products and commutators from pseudo-differential calculus, which are of independent interest. New ingredients in the proofs involve identifying Carleson measures constructed from sequences of stopping times, in addition to many Littlewood-Paley type estimates with gradient.


title: DPC-Net: Deep Pose Correction for Visual Localization

abstract: We present a novel method to fuse the power of deep networks with the computational efficiency of geometric and probabilistic localization algorithms. In contrast to other methods that completely replace a classical visual estimator with a deep network, we propose an approach that uses a convolutional neural network to learn difficult-to-model corrections to the estimator from ground-truth training data. To this end, we derive a novel loss function for learning SE(3) corrections based on a matrix Lie groups approach, with a natural formulation for balancing translation and rotation errors. We use this loss to train a Deep Pose Correction network (DPC-Net) that predicts corrections for a particular estimator, sensor and environment. Using the KITTI odometry dataset, we demonstrate significant improvements to the accuracy of a computationally-efficient sparse stereo visual odometry pipeline, that render it as accurate as a modern computationally-intensive dense estimator. Further, we show how DPC-Net can be used to mitigate the effect of poorly calibrated lens distortion parameters.


title: Expectation thinning operators based on linear fractional probability generating functions

abstract: We introduce a two-parameter expectation thinning operator based on a linear fractional probability generating function. The operator is then used to define a first-order integer-valued autoregressive \inar1 process. Distributional properties of the \inar1 process are described. We revisit the Bernoulli-geometric \inar1 process of Bourguignon and Wei{\ss} (2017) and we introduce a new stationary \inar1 process with a compound negative binomial distribution. Lastly, we show how a proper randomization of our operator leads to a generalized notion of monotonicity for distributions on \bzp.


title: Picard groups for tropical toric schemes

abstract: From any monoid scheme $X$ (also known as an $\mathbb{F}_1$-scheme) one can pass to a semiring scheme (a generalization of a tropical scheme) $X_S$ by scalar extension to an idempotent semifield $S$. We prove that for a given irreducible monoid scheme $X$ (satisfying some mild conditions) and an idempotent semifield $S$, the Picard group $Pic(X)$ of $X$ is stable under scalar extension to $S$ (and in fact to any field $K$). In other words, we show that the groups $Pic(X)$ and $Pic(X_S)$ (and $Pic(X_K)$) are isomorphic. In particular, if $X_\mathbb{C}$ is a toric variety, then $Pic(X)$ is the same as the Picard group of the associated tropical scheme. The Picard groups can be computed by considering the correct sheaf cohomology groups. We also define the group $CaCl(X_S)$ of Cartier divisors modulo principal Cartier divisors for a cancellative semiring scheme $X_S$ and prove that $CaCl(X_S)$ is isomorphic to $Pic(X_S)$.


title: Homogeneous isotropization and equilibration of a strongly coupled plasma with a critical point

abstract: We use holography to investigate the process of homogeneous isotropization and thermalization in a strongly coupled $\mathcal{N} = 4$ Super Yang-Mills plasma charged under a $U(1)$ subgroup of the global $SU(4)$ R-symmetry which features a critical point in its phase diagram. Isotropization dynamics at late times is affected by the critical point in agreement with the behavior of the characteristic relaxation time extracted from the analysis of the lowest non-hydrodynamic quasinormal mode in the $SO(3)$ quintuplet (external scalar) channel of the theory. In particular, the isotropization time may decrease or increase as the chemical potential increases depending on whether one is far or close enough to the critical point, respectively. On the other hand, the thermalization time associated with the equilibration of the scalar condensate, which happens only after the system has relaxed to a (nearly) isotropic state, is found to always increase with chemical potential in agreement with the characteristic relaxation time associated to the lowest non-hydrodynamic quasinormal mode in the $SO(3)$ singlet (dilaton) channel. These conclusions about the late dynamics of the system are robust in the sense that they hold for different initial conditions seeding the time evolution of the far-from-equilibrium plasma.


title: Non-abelian tensor product of residually finite groups

abstract: Let $G$ and $H$ be groups that act compatibly on each other. We denote by $\eta(G,H)$ a certain extension of the non-abelian tensor product $G \otimes H$ by $G \times H$. Suppose that $G$ is residually finite and the subgroup $[G,H] = \langle g^{-1}g^h \ \mid g \in G, h\in H\rangle$ satisfies some non-trivial identity $f \equiv~1$. We prove that if $p$ is a prime and every tensor has $p$-power order, then the non-abelian tensor product $G \otimes H$ is locally finite. Further, we show that if $n$ is a positive integer and every tensor is left $n$-Engel in $\eta(G,H)$, then the non-abelian tensor product $G \otimes H$ is locally nilpotent. The content of this paper extend some results concerning the non-abelian tensor square $G \otimes G$.


title: Location Privacy in Mobile Edge Clouds: A Chaff-based Approach

abstract: In this paper, we consider user location privacy in mobile edge clouds (MECs). MECs are small clouds deployed at the network edge to offer cloud services close to mobile users, and many solutions have been proposed to maximize service locality by migrating services to follow their users. Co-location of a user and his service, however, implies that a cyber eavesdropper observing service migrations between MECs can localize the user up to one MEC coverage area, which can be fairly small (e.g., a femtocell). We consider using chaff services to defend against such an eavesdropper, with focus on strategies to control the chaffs. Assuming the eavesdropper performs maximum likelihood (ML) detection, we consider both heuristic strategies that mimic the user's mobility and optimized strategies designed to minimize the detection or tracking accuracy. We show that a single chaff controlled by the optimal strategy or its online variation can drive the eavesdropper's tracking accuracy to zero when the user's mobility is sufficiently random. We further propose extended strategies that utilize randomization to defend against an advanced eavesdropper aware of the strategy. The efficacy of our solutions is verified through both synthetic and trace-driven simulations.


title: Switch between critical percolation modes in city traffic dynamics

abstract: Percolation transition is widely observed in networks ranging from biology to engineering. While much attention has been paid to network topologies, studies rarely focus on critical percolation phenomena driven by network dynamics. Using extensive real data, we study the critical percolation properties in city traffic dynamics. Our results suggest that two modes of different critical percolation behaviors are switching in the same network topology under different traffic dynamics. One mode of city traffic (during nonrush hours or days off) has similar critical percolation characteristics as small world networks, while the other mode (during rush hours on working days) tends to behave as a 2D lattice. This switching behavior can be understood by the fact that the high-speed urban roads during nonrush hours or days off (that are congested during rush hours) represent effective long-range connections, like in small world networks. Our results might be useful for understanding and improving traffic resilience.


title: Local Edge Betweenness based Label Propagation for Community Detection in Complex Networks

abstract: Nowadays, identification and detection community structures in complex networks is an important factor in extracting useful information from networks. Label propagation algorithm with near linear-time complexity is one of the most popular methods for detecting community structures, yet its uncertainty and randomness is a defective factor. Merging LPA with other community detection metrics would improve its accuracy and reduce instability of LPA. Considering this point, in this paper we tried to use edge betweenness centrality to improve LPA performance. On the other hand, calculating edge betweenness centrality is expensive, so as an alternative metric, we try to use local edge betweenness and present LPA-LEB (Label Propagation Algorithm Local Edge Betweenness). Experimental results on both real-world and benchmark networks show that LPA-LEB possesses higher accuracy and stability than LPA when detecting community structures in networks.


title: Computational Machines in a Coexistence with Concrete Universals and Data Streams

abstract: We discuss that how the majority of traditional modeling approaches are following the idealism point of view in scientific modeling, which follow the set theoretical notions of models based on abstract universals. We show that while successful in many classical modeling domains, there are fundamental limits to the application of set theoretical models in dealing with complex systems with many potential aspects or properties depending on the perspectives. As an alternative to abstract universals, we propose a conceptual modeling framework based on concrete universals that can be interpreted as a category theoretical approach to modeling. We call this modeling framework pre-specific modeling. We further, discuss how a certain group of mathematical and computational methods, along with ever-growing data streams are able to operationalize the concept of pre-specific modeling.


title: Methods for Estimation of Convex Sets

abstract: In the framework of shape constrained estimation, we review methods and works done in convex set estimation. These methods mostly build on stochastic and convex geometry, empirical process theory, functional analysis, linear programming, extreme value theory, etc. The statistical problems that we review include density support estimation, estimation of the level sets of densities or depth functions, nonparametric regression, etc. We focus on the estimation of convex sets under the Nikodym and Hausdorff metrics, which require different techniques and, quite surprisingly, lead to very different results, in particular in density support estimation. Finally, we discuss computational issues in high dimensions.


title: Fully Convolutional Neural Networks for Dynamic Object Detection in Grid Maps (Masters Thesis)

abstract: One of the most important parts of environment perception is the detection of obstacles in the surrounding of the vehicle. To achieve that, several sensors like radars, LiDARs and cameras are installed in autonomous vehicles. The produced sensor data is fused to a general representation of the surrounding. In this thesis the dynamic occupancy grid map approach of Nuss et al. is used while three goals are achieved. First, the approach of Nuss et al. to distinguish between moving and non-moving obstacles is improved by using Fully Convolutional Neural Networks to create a class prediction for each grid cell. For this purpose, the network is initialized with public pre-trained network models and the training is executed with a semi-automatic generated dataset. The second goal is to provide orientation information for each detected moving obstacle. This could improve tracking algorithms, which are based on the dynamic occupancy grid map. The orientation extraction based on the Convolutional Neural Network shows a better performance in comparison to an orientation extraction directly over the velocity information of the dynamic occupancy grid map. A general problem of developing machine learning approaches like Neural Networks is the number of labeled data, which can always be increased. For this reason, the last goal is to evaluate a semi-supervised learning algorithm, to generate automatically more labeled data. The result of this evaluation shows that the automated labeled data does not improve the performance of the Convolutional Neural Network. All in all, the best results are combined to compare the detection against the approach of Nuss et al. [36] and a relative improvement of 34.8% is reached.


title: Fully Convolutional Neural Networks for Dynamic Object Detection in Grid Maps

abstract: Grid maps are widely used in robotics to represent obstacles in the environment and differentiating dynamic objects from static infrastructure is essential for many practical applications. In this work, we present a methods that uses a deep convolutional neural network (CNN) to infer whether grid cells are covering a moving object or not. Compared to tracking approaches, that use e.g. a particle filter to estimate grid cell velocities and then make a decision for individual grid cells based on this estimate, our approach uses the entire grid map as input image for a CNN that inspects a larger area around each cell and thus takes the structural appearance in the grid map into account to make a decision. Compared to our reference method, our concept yields a performance increase from 83.9% to 97.2%. A runtime optimized version of our approach yields similar improvements with an execution time of just 10 milliseconds.


title: Attractors in complex networks

abstract: In the framework of the generalized Lotka Volterra model, solutions representing multispecies sequencial competition can be predictable with high probability. In this paper, we show that it occurs because the corresponding "heteroclinic channel" forms part of an attractor. We prove that, generically, in an attracting heteroclinic network involving a finite number of hyperbolic and non-resonant saddle-equilibria whose linearization has only real eigenvalues, the connections corresponding to the most positive expanding eigenvalues form a part of an attractor (observable in numerical simulations).


title: On the existence of primitive completely normal bases of finite fields

abstract: Let $\mathbb{F}_q$ be the finite field of characteristic $p$ with $q$ elements and $\mathbb{F}_{q^n}$ its extension of degree $n$. We prove that there exists a primitive element of $\mathbb{F}_{q^n}$ that produces a completely normal basis of $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$, provided that $n=p^{\ell}m$ with $(m,p)=1$ and $q>m$.


title: The repeated midpoint rule for weakly singular Volterra integral equations of the first kind with perturbed data

abstract: In the present paper we consider the regularizing properties of the repeated midpoint rule for the stable solution of weakly singular Volterra integral equations of the first kind with perturbed right hand sides. The H\"older continuity of the solution and its derivative is carefully taken into account, and correction weights are considered to get rid of initial conditions. The proof of the inverse stability of the quadrature weights relies on Banach algebra techniques. Finally, numerical results are presented.


title: Quiver mutation and combinatorial DT-invariants

abstract: A quiver is an oriented graph. Quiver mutation is an elementary operation on quivers. It appeared in physics in Seiberg duality in the nineties and in mathematics in the definition of cluster algebras by Fomin-Zelevinsky in 2002. We show, for large classes of quivers Q, using quiver mutation and quantum dilogarithms, one can construct the combinatorial DT-invariant, a formal power series intrinsically associated with Q. When defined, it coincides with the "total" Donaldson-Thomas invariant of Q (with a generic potential) provided by algebraic geometry (work of Joyce, Kontsevich-Soibelman, Szendroi and many others). We illustrate combinatorial DT-invariants on many examples and point out their links to quantum cluster algebras and to (infinite) generalized associahedra.


title: The 12C(a,g)16O reaction and its implications for stellar helium burning

abstract: The creation of carbon and oxygen in our universe is one of the forefront questions in nuclear astrophysics. The determination of the abundance of these elements is key to both our understanding of the formation of life on earth and to the life cycles of stars. While nearly all models of different nucleosynthesis environments are affected by the production of carbon and oxygen, a key ingredient, the precise determination of the reaction rate of 12C(a,g)16O, has long remained elusive. This is owed to the reaction's inaccessibility, both experimentally and theoretically. Nuclear theory has struggled to calculate this reaction rate because the cross section is produced through different underlying nuclear mechanisms. Isospin selection rules suppress the E1 component of the ground state cross section, creating a unique situation where the E1 and E2 contributions are of nearly equal amplitudes. Experimentally there have also been great challenges. Measurements have been pushed to the limits of state of the art techniques, often developed for just these measurements. The data have been plagued by uncharacterized uncertainties, often the result of the novel measurement techniques, that have made the different results challenging to reconcile. However, the situation has markedly improved in recent years, and the desired level of uncertainty, about 10%, may be in sight. In this review the current understanding of this critical reaction is summarized. The emphasis is placed primarily on the experimental work and interpretation of the reaction data, but discussions of the theory and astrophysics are also pursued. The main goal is to summarize and clarify the current understanding of the reaction and then point the way forward to an improved determination of the reaction rate.


title: Active nematic gels as active relaxing solids

abstract: I put forward a continuum theory for active nematic gels, defined as fluids or suspensions of orientable rodlike objects endowed with active dynamics, that is based on symmetry arguments and compatibility with thermodynamics. The starting point is our recent theory that models (passive) nematic liquid crystals as relaxing nematic elastomers. The interplay between viscoelastic response and active dynamics of the microscopic constituents is naturally taken into account. By contrast with standard theories, activity is not introduced as an additional term of the stress tensor, but it is added as an external remodeling force that competes with the passive relaxation dynamics and drags the system out of equilibrium. In a simple one-dimensional channel geometry, we show that the interaction between non-uniform nematic order and activity results in either a spontaneous flow of particles or a self-organization into sub-channels flowing in opposite directions.


title: Stable super-resolution limit and smallest singular value of restricted Fourier matrices

abstract: We consider the inverse problem of recovering the locations and amplitudes of a collection of point sources represented as a discrete measure, given $M+1$ of its noisy low-frequency Fourier coefficients. Super-resolution refers to a stable recovery when the distance $\Delta$ between the two closest point sources is less than $1/M$. We introduce a clumps model where the point sources are closely spaced within several clumps. Under this assumption, we derive a non-asymptotic lower bound for the minimum singular value of a Vandermonde matrix whose nodes are determined by the point sources. Our estimate is given as a weighted $\ell^2$ sum, where each term only depends on the configuration of each individual clump. The main novelty is that our lower bound obtains an exact dependence on the {\it Super-Resolution Factor} $SRF=(M\Delta)^{-1}$. As noise level increases, the {\it sensitivity of the noise-space correlation function in the MUSIC algorithm} degrades according to a power law in $SRF$ where the exponent depends on the cardinality of the largest clump. Numerical experiments validate our theoretical bounds for the minimum singular value and the sensitivity of MUSIC. We also provide lower and upper bounds for a min-max error of super-resolution for the grid model, which in turn is closely related to the minimum singular value of Vandermonde matrices.


title: WRS: Waiting Room Sampling for Accurate Triangle Counting in Real Graph Streams

abstract: If we cannot store all edges in a graph stream, which edges should we store to estimate the triangle count accurately? Counting triangles (i.e., cycles of length three) is a fundamental graph problem with many applications in social network analysis, web mining, anomaly detection, etc. Recently, much effort has been made to accurately estimate global and local triangle counts in streaming settings with limited space. Although existing methods use sampling techniques without considering temporal dependencies in edges, we observe temporal locality in real dynamic graphs. That is, future edges are more likely to form triangles with recent edges than with older edges. In this work, we propose a single-pass streaming algorithm called Waiting-Room Sampling (WRS) for global and local triangle counting. WRS exploits the temporal locality by always storing the most recent edges, which future edges are more likely to form triangles with, in the waiting room, while it uses reservoir sampling for the remaining edges. Our theoretical and empirical analyses show that WRS is: (a) Fast and 'any time': runs in linear time, always maintaining and updating estimates while new edges arrive, (b) Effective: yields up to 47% smaller estimation error than its best competitors, and (c) Theoretically sound: gives unbiased estimates with small variances under the temporal locality.