title: Quasi-phase-matching $\chi^{(3)}-$parametric interactions in sinusoidally-tapered waveguides

abstract: In this article, I show how periodically-tapered waveguides can be employed as efficient quasi-phase-matching schemes for four-wave mixing parametric processes in third-order nonlinear materials. As an example, a thorough study of enhancing third-harmonic generation in sinusoidally-tapered fibres has been conducted. The quasi-phase-matching condition has been obtained for nonlinear parametric interactions in these structures using Fourier-series analysis. The dependencies of the conversion efficiency of the third harmonic on the modulation amplitude, tapering period, longitudinal-propagation direction, and pump wavelength have been studied. In comparison to uniform waveguides, the conversion efficiency has been enhanced by orders of magnitudes. I envisage that this work can reshape the field of guided nonlinear optics using centrosymmetric materials.


title: Towards a Quantitative Averaging Principle for Stochastic Differential Equations

abstract: This work explores the use of a forward-backward martingale method together with a decoupling argument and entropic estimates between the conditional and averaged measures to prove a strong averaging principle for stochastic differential equations with order of convergence 1/2. We obtain explicit expressions for all the constants involved. At the price of some extra assumptions on the time marginals and an exponential bound in time, we loosen the usual boundedness and Lipschitz assumptions. We conclude with an application of our result to Temperature-Accelerated Molecular Dynamics.


title: Differential equations driven by rough paths with jumps

abstract: We develop the rough path counterpart of It\^o stochastic integration and - differential equations driven by general semimartingales. This significantly enlarges the classes of (It\^o / forward) stochastic differential equations treatable with pathwise methods. A number of applications are discussed.


title: Up and Down the Black Hole Radio/X-ray Correlation: the 2017 mini-outbursts from Swift J1753.5-0127

abstract: The candidate black hole X-ray binary Swift J1753.5-0127 faded to quiescence in 2016 November, after a prolonged outburst that was discovered in 2005. Nearly three months later the system displayed renewed activity that lasted through 2017 July. Here, we present radio and X-ray monitoring over ~3 months of the renewed activity to study the coupling between the jet and the inner regions of the disk/jet system. Our observations cover low X-ray luminosities that have not historically been well-sampled (Lx~2e33 - 1e36 erg/s; 1-10 keV), including time periods when the system was both brightening and fading. At these low luminosities Swift J1753.5-0127 occupies a parameter space in the radio/X-ray luminosity plane that is comparable to "canonical" systems (e.g., GX 339-4), regardless of whether the system was brightening or fading, even though during its >11-year outburst Swift J1753.5-0127 emitted less radio emission from its jet than expected. We discuss implications for the existence of a single radio/X-ray luminosity correlation for black hole X-ray binaries at the lowest luminosities (Lx < 1e35 erg/s), and we compare to supermassive black holes. Our campaign includes the lowest luminosity quasi-simultaneous radio/X-ray detection to date for a black hole X-ray binary during its rise out of quiescence, thanks to early notification from optical monitoring combined with fast responses from sensitive multiwavelength facilities.


title: VST-Flow: Fine-grained low-level reasoning about real-world C code

abstract: We show how support for information-flow security proofs could be added on top of the Verified Software Toolchain (VST). We discuss several attempts to define information flow security in a VST-compatible way, and present a statement of information flow security in "continuation-passing" style. Moreover, we present Hoare rules augmented with information flow control assertions, and sketch how these rules could be proven sound with respect to the definition given before. We also discuss how this can be implemented in the Coq proof assistant, and how VST's proof automation framework (VST-Floyd) can be adapted to support convenient information flow security proofs.


title: Star cluster formation history along the minor axis of the Large Magellanic Cloud

abstract: We analysed Washington $CMT_1$ photometry of star clusters located along the minor axis of the LMC, from the LMC optical centre up to $\sim$ 39 degrees outwards to the North-West. The data base was exploited in order to search for new star cluster candidates, to produce cluster CMDs cleaned from field star contamination and to derive age estimates for a statistically complete cluster sample. We confirmed that 146 star cluster candidates are genuine physical systems, and concluded that an overall $\sim$ 30 per cent of catalogued clusters in the surveyed regions are unlikely to be true physical systems. We did not find any new cluster candidates in the outskirts of the LMC (deprojected distance $\ge$ 8 degrees). The derived ages of the studied clusters are in the range 7.2 < log($t$ yr$^{-1}$) $\le$ 9.4, with the sole exception of the globular cluster NGC\,1786 (log($t$ yr$^{-1}$) = 10.10). We also calculated the cluster frequency for each region, from which we confirmed previously proposed outside-in formation scenarios. In addition, we found that the outer LMC fields show a sudden episode of cluster formation (log($t$ yr$^{-1}$) $\sim$ 7.8-7.9) that continued until log($t$ yr$^{-1}$) $\sim$ 7.3 only in the outermost LMC region. We link these features to the first pericentre passage of the LMC to the MW, which could have triggered cluster formation due to ram pressure interaction between the LMC and MW halo.


title: Self-calibration of highly-redundant low-frequency arrays - initial results with HERA

abstract: HERA is a highly-redundant transit interferometer with 14\,m-diameter parabolic dish elements. We exploit the fact that the Galactic centre transits through the main beam of the telescope to attempt a conventional self-calibration approach to imaging and calibration. The Galactic centre provides a bright source which, we show, can be approximated as a point source sufficiently well to initialise the self-calibration loop and derive initial delays and antenna frequency-independent phases. Subsequent iteration using a more complex sky model derived from the data itself then converges to a reasonable bandpass calibration. The calibration solutions have good stability properties. We show therefore that the conventional self-calibration is a feasible parallel approach in addition to the redundant calibration already planned for HERA. The conventional imaging and calibration is useful as a cross-check to the alternatives being pursued in the HERA project, as a way of quantifying the performance of the hardware on the ground (and potentially identifying problems) and as a route to imaging and removing brighter continuum sources before power spectrum analysis.


title: A Generic Framework for Interesting Subspace Cluster Detection in Multi-attributed Networks

abstract: Detection of interesting (e.g., coherent or anomalous) clusters has been studied extensively on plain or univariate networks, with various applications. Recently, algorithms have been extended to networks with multiple attributes for each node in the real-world. In a multi-attributed network, often, a cluster of nodes is only interesting for a subset (subspace) of attributes, and this type of clusters is called subspace clusters. However, in the current literature, few methods are capable of detecting subspace clusters, which involves concurrent feature selection and network cluster detection. These relevant methods are mostly heuristic-driven and customized for specific application scenarios. In this work, we present a generic and theoretical framework for detection of interesting subspace clusters in large multi-attributed networks. Specifically, we propose a subspace graph-structured matching pursuit algorithm, namely, SG-Pursuit, to address a broad class of such problems for different score functions (e.g., coherence or anomalous functions) and topology constraints (e.g., connected subgraphs and dense subgraphs). We prove that our algorithm 1) runs in nearly-linear time on the network size and the total number of attributes and 2) enjoys rigorous guarantees (geometrical convergence rate and tight error bound) analogous to those of the state-of-the-art algorithms for sparse feature selection problems and subgraph detection problems. As a case study, we specialize SG-Pursuit to optimize a number of well-known score functions for two typical tasks, including detection of coherent dense and anomalous connected subspace clusters in real-world networks. Empirical evidence demonstrates that our proposed generic algorithm SG-Pursuit performs superior over state-of-the-art methods that are designed specifically for these two tasks.


title: Nontrivial bundles of coadjoint orbits over $S^2$

abstract: Let $G$ be a compact connected semisimple Lie group with Lie algebra $\mathfrak{g}$. Let $\mathcal{O}\subset\mathfrak{g}^*$ be a coadjoint orbit. The action of $G$ on $\mathcal{O}$ induces a morphism $\rho:G\to \mathrm{Homeo}(\mathcal{O})$. We prove that the induced map $\pi_1(\rho):\pi_1(G)\to\pi_1(\mathrm{Homeo}(\mathcal{O}))$ is injective. This strengthens a theorem of McDuff and Tolman (conjectured by Weinstein in 1989) according to which the analogous map $G\to\mathrm{Ham}(\mathcal{O})$ is injective on fundamental groups, where $\mathrm{Ham}(\mathcal{O})$ is the group of Hamiltonian diffeomorphisms of the standard symplectic structure on $\mathcal{O}$. To prove our theorem we associate to every nontrivial element of $\pi_1(G)$ a bundle over $S^2$ with fiber $\mathcal{O}$, using the standard patching construction. We then prove that the resulting bundle is topologically nontrivial by studying its cohomology. For this, we prove that it suffices to consider the case in which $G$ is simple and $\mathcal{O}$ is a minimal orbit, and then we prove our result for simple $G$ and minimal orbit $\mathcal{O}$ in a case by case analysis; the proof for the exceptional groups $E_6$ and $E_7$ relies on computer calculations, while all the other ones are addressed by hand. A basic tool in some of our computations is a generalization of Chevalley's formula to bundles of coadjoint orbits over $S^2$ that we prove in this paper.


title: Measuring the single-photon temporal-spectral wave function

abstract: Temporal-spectral modes of light provide a fundamental window into the nature of atomic and molecular systems and offer robust means for information encoding. Methods to precisely characterize the temporal-spectral state of light at the single-photon level thus play a central role in understanding quantum emitters and are a key requirement for quantum technologies that harness single-photon states. Here we demonstrate an optical reference-free method, which melds techniques from ultrafast metrology and single-photon spectral detection, to characterize the temporal-spectral state of single photons. This provides a robust, wavelength-tunable approach for rapid characterization of pulsed single-photon states that underpins emerging optical quantum technologies based upon the temporal-spectral mode structure of quantum light.


title: Exact method of determination of the recombination mode from time resolved photoluminescence data

abstract: A method of data analysis is proposed for the determination of the carrier recombination processes in optically excited matter measured by time-resolved photoluminescence, differentiating monomolecular, bi-molecular, tri-molecular, and higher order molecular processes. Our method allows to determine whether the so-called ABC model describes time evolution of optical relaxation of the excited system. The procedure is applicable to the time evolution of any optically excited medium. As an illustration, the method is successfully applied to III-nitride polar and non-polar multi-quantum wells. We show that in this case the mono- and bi-molecular processes determine the carrier relaxation, and the tri-molecular Auger recombination contribution is negligible.


title: Finite-time scaling at the Anderson transition for vibrations in solids

abstract: A model in which a three-dimensional elastic medium is represented by a network of identical masses connected by springs of random strengths and allowed to vibrate only along a selected axis of the reference frame, exhibits an Anderson localization transition. To study this transition, we assume that the dynamical matrix of the network is given by a product of a sparse random matrix with real, independent, Gaussian-distributed non-zero entries and its transpose. A finite-time scaling analysis of system's response to an initial excitation allows us to estimate the critical parameters of the localization transition. The critical exponent is found to be $\nu = 1.57 \pm 0.02$ in agreement with previous studies of Anderson transition belonging to the three-dimensional orthogonal universality class.


title: Shiba Bound States across the mobility edge in doped InAs nanowires

abstract: We present a study of Andreev Quantum Dots (QDots) fabricated with small-diameter (30 nm) Si-doped InAs nanowires where the Fermi level can be tuned across a mobility edge separating localized states from delocalized states. The transition to the insulating phase is identified by a drop in the amplitude and width of the excited levels and is found to have remarkable consequences on the spectrum of superconducting SubGap Resonances (SGRs). While at deeply localized levels, only quasiparticles co-tunneling is observed, for slightly delocalized levels, Shiba bound states form and a parity changing quantum phase transition is identified by a crossing of the bound states at zero energy. Finally, in the metallic regime, single Andreev resonances are observed.


title: Emergent $\mathrm{SU}(4)$ Symmetry in $\alpha$-ZrCl$_3$ and Crystalline Spin-Orbital Liquids

abstract: While the enhancement of the spin-space symmetry from the usual $\mathrm{SU}(2)$ to $\mathrm{SU}(N)$ is promising for finding nontrivial quantum spin liquids, its realization in magnetic materials remains challenging. Here we propose a new mechanism by which the $\mathrm{SU}(4)$ symmetry emerges in the strong spin-orbit coupling limit. In $d^1$ transition metal compounds with edge-sharing anion octahedra, the spin-orbit coupling gives rise to strongly bond-dependent and apparently $\mathrm{SU}(4)$-breaking hopping between the $J_\textrm{eff}=3/2$ quartets. However, in the honeycomb structure, a gauge transformation maps the system to an $\mathrm{SU}(4)$-symmetric Hubbard model. In the strong repulsion limit at quarter filling, as realized in $\alpha$-ZrCl$_3,$ the low-energy effective model is the $\mathrm{SU}(4)$ Heisenberg model on the honeycomb lattice, which cannot have a trivial gapped ground state and is expected to host a gapless spin-orbital liquid. By generalizing this model to other three-dimensional lattices, we also propose crystalline spin-orbital liquids protected by this emergent $\mathrm{SU}(4)$ symmetry and space group symmetries.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.stat-mech hep-lat


title: Canonical Models and the Complexity of Modal Team Logic

abstract: We study modal team logic MTL, the team-semantical extension of modal logic ML closed under Boolean negation. Its fragments, such as modal dependence, independence, and inclusion logic, are well-understood. However, due to the unrestricted Boolean negation, the satisfiability problem of full MTL has been notoriously resistant to a complexity theoretical classification. In our approach, we introduce the notion of canonical models into the team-semantical setting. By construction of such a model, we reduce the satisfiability problem of MTL to simple model checking. Afterwards, we show that this approach is optimal in the sense that MTL-formulas can efficiently enforce canonicity. Furthermore, to capture these results in terms of complexity, we introduce a non-elementary complexity class, TOWER(poly), and prove that it contains satisfiability and validity of MTL as complete problems. We also prove that the fragments of MTL with bounded modal depth are complete for the levels of the elementary hierarchy (with polynomially many alternations). The respective hardness results hold for both strict or lax semantics of the modal operators and the splitting disjunction, and also over the class of reflexive and transitive frames.


title: Detection of Anomalies in Large Scale Accounting Data using Deep Autoencoder Networks

abstract: Learning to detect fraud in large-scale accounting data is one of the long-standing challenges in financial statement audits or fraud investigations. Nowadays, the majority of applied techniques refer to handcrafted rules derived from known fraud scenarios. While fairly successful, these rules exhibit the drawback that they often fail to generalize beyond known fraud scenarios and fraudsters gradually find ways to circumvent them. To overcome this disadvantage and inspired by the recent success of deep learning we propose the application of deep autoencoder neural networks to detect anomalous journal entries. We demonstrate that the trained network's reconstruction error obtainable for a journal entry and regularized by the entry's individual attribute probabilities can be interpreted as a highly adaptive anomaly assessment. Experiments on two real-world datasets of journal entries, show the effectiveness of the approach resulting in high f1-scores of 32.93 (dataset A) and 16.95 (dataset B) and less false positive alerts compared to state of the art baseline methods. Initial feedback received by chartered accountants and fraud examiners underpinned the quality of the approach in capturing highly relevant accounting anomalies.


title: An item response theory evaluation of the Light and Spectroscopy Concept Inventory national data set

abstract: This paper presents the first item response theory (IRT) analysis of the national data set on introductory, general education, college-level astronomy teaching using the Light and Spectroscopy Concept Inventory (LSCI). We used the difference between students' pre- and post-instruction IRT-estimated abilities as a measure of learning gain. This analysis provides deeper insights than prior publications into both the LSCI as an instrument and into the effectiveness of teaching and learning in introductory astronomy courses. Our IRT analysis supports the classical test theory findings of prior studies using the LSCI with this population. In particular, we found that students in classes that used active learning strategies at least 25\% of the time had average IRT-estimated learning gains that were approximately 1 logit larger than students in classes that spent less time on active learning strategies. We also found that instructors who want their classes to achieve an improvement in abilities of average $\Delta \theta = 1$ logit must spend at least 25\% of class time on active learning strategies. However, our analysis also powerfully illustrates the lack of insight into student learning that is revealed by looking at a single measure of learning gain, such as average $\Delta \theta$. Educators and researchers should also examine the distributions of students' abilities pre- and post-instruction in order to understand how many students actually achieved an improvement in their abilities and whether or not a majority of students have moved to post-abilities significantly greater than the national average.


title: Detecting Faces Using Region-based Fully Convolutional Networks

abstract: Face detection has achieved great success using the region-based methods. In this report, we propose a region-based face detector applying deep networks in a fully convolutional fashion, named Face R-FCN. Based on Region-based Fully Convolutional Networks (R-FCN), our face detector is more accurate and computational efficient compared with the previous R-CNN based face detectors. In our approach, we adopt the fully convolutional Residual Network (ResNet) as the backbone network. Particularly, We exploit several new techniques including position-sensitive average pooling, multi-scale training and testing and on-line hard example mining strategy to improve the detection accuracy. Over two most popular and challenging face detection benchmarks, FDDB and WIDER FACE, Face R-FCN achieves superior performance over state-of-the-arts.


title: Explicit Inverse Confluent Vandermonde Matrices with Applications to Exponential Quantum Operators

abstract: The Cayley-Hamilton problem of expressing functions of matrices in terms of only their eigenvalues is well-known to simplify to finding the inverse of the confluent Vandermonde matrix. Here, we give a highly compact formula for the inverse of any matrix, and apply it to the confluent Vandermonde matrix, achieving in a single equation what has only been achieved by long iterative algorithms until now. As a prime application, we use this result to get a simple formula for explicit exponential operators in terms of only their eigenvalues, with an emphasis on application to finite discrete quantum systems with time dependence. This powerful result permits explicit solutions to all Schr\"odinger and von Neumann equations for time-commuting Hamiltonians, and explicit solutions to any degree of approximation in the non-time-commuting case. The same methods can be extended to general finite discrete open systems to get explicit quantum operations for time evolution using effective joint systems, and the exact solution of all finite discrete Baker-Campbell-Hausdorff formulas.


title: On converse bounds for classical communication over quantum channels

abstract: We explore several new converse bounds for classical communication over quantum channels in both the one-shot and asymptotic regimes. First, we show that the Matthews-Wehner meta-converse bound for entanglement-assisted classical communication can be achieved by activated, no-signalling assisted codes, suitably generalizing a result for classical channels. Second, we derive a new efficiently computable meta-converse on the amount of classical information unassisted codes can transmit over a single use of a quantum channel. As applications, we provide a finite resource analysis of classical communication over quantum erasure channels, including the second-order and moderate deviation asymptotics. Third, we explore the asymptotic analogue of our new meta-converse, the $\Upsilon$-information of the channel. We show that its regularization is an upper bound on the classical capacity, which is generally tighter than the entanglement-assisted capacity and other known efficiently computable strong converse bounds. For covariant channels we show that the $\Upsilon$-information is a strong converse bound.


title: Observation of supermodulation in LaO0.5F0.5BiSe2 by scanning tunneling microscopy and spectroscopy

abstract: We observed surface and electronic structure of LaO0.5F0.5BiSe2 single crystal by scanning tunneling microscopy/spectroscopy (STM/STS) at 4.2 K. Square lattice composed of Bi atoms was observed at a positive sample bias voltage on the surface prepared by cleavage. At a negative sample bias voltage, a stripe structure running along Bi-Bi directions was observed as in the previous report on NdO0.7F0.3BiS2. Furthermore, we observed a supermodulation running along the diagonal directions with the period of about 5 times of the lattice constant. This seems to be indicative of structural instability of this system rather than electronic instability attributed to a nesting picture.


title: J/$\psi$ elliptic flow in Pb-Pb collisions at $\mathbf{\sqrt{s_{\rm NN}}}$ = 5.02 TeV

abstract: We report a precise measurement of the J/$\psi$ elliptic flow in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV with the ALICE detector at the LHC. The J/$\psi$ mesons are reconstructed at mid-rapidity ($|y| < 0.9$) in the dielectron decay channel and at forward rapidity ($2.5<y<4.0$) in the dimuon channel, both down to zero transverse momentum. At forward rapidity, the elliptic flow $v_2$ of the J/$\psi$ is studied as a function of transverse momentum and centrality. A positive $v_2$ is observed in the transverse momentum range $2 < p_{\rm T} < 8$ GeV/$c$ in the three centrality classes studied and confirms with higher statistics our earlier results at $\sqrt{s_{\rm NN}} = 2.76$ TeV in semi-central collisions. At mid-rapidity, the J/$\psi$ $v_2$ is investigated as a function of transverse momentum in semi-central collisions and found to be in agreement with the measurements at forward rapidity. These results are compared to transport model calculations. The comparison supports the idea that at low $p_{\rm T}$ the elliptic flow of the J/$\psi$ originates from the thermalization of charm quarks in the deconfined medium, but suggests that additional mechanisms might be missing in the models.


title: A Data Mining Approach Combining K-Means Clustering with Bagging Neural Network for Short-term Wind Power Forecasting

abstract: Wind power forecasting (WPF) is significant to guide the dispatching of grid and the production planning of wind farm effectively. The intermittency and volatility of wind leading to the diversity of the training samples have a major impact on the forecasting accuracy. In this paper, to deal with the training samples dynamics and improve the forecasting accuracy, a data mining approach consisting of K-means clustering and bagging neural network is proposed for short-term WPF. Based on the similarity among historical days, K-means clustering is used to classify the samples into several categories, which contain the information of meteorological conditions and historical power data. In order to overcome the over fitting and instability problems of conventional networks, a bagging-based ensemble approach is integrated into the back propagation neural network. To confirm the effectiveness, the proposed data mining approach is examined on real wind generation data traces. The simulation results show that it can obtain better forecasting accuracy than other baseline and existed short-term WPF approaches.


title: Supervising Unsupervised Learning

abstract: We introduce a framework to leverage knowledge acquired from a repository of (heterogeneous) supervised datasets to new unsupervised datasets. Our perspective avoids the subjectivity inherent in unsupervised learning by reducing it to supervised learning, and provides a principled way to evaluate unsupervised algorithms. We demonstrate the versatility of our framework via simple agnostic bounds on unsupervised problems. In the context of clustering, our approach helps choose the number of clusters and the clustering algorithm, remove the outliers, and provably circumvent the Kleinberg's impossibility result. Experimental results across hundreds of problems demonstrate improved performance on unsupervised data with simple algorithms, despite the fact that our problems come from heterogeneous domains. Additionally, our framework lets us leverage deep networks to learn common features from many such small datasets, and perform zero shot learning.


title: Neighborhood Complexes of Some Exponential Graphs

abstract: In this article, we consider the bipartite graphs $K_2 \times K_n$. We first show that the connectedness of $\mathcal{N}(K_{n+1}^{K_n}) =0$. Further, we show that $\text{Hom}(K_2 \times K_{n}, K_{m})$ is homotopic to $S^{m-2}$, if $2\leq m <n$.


title: Bifurcations in valveless pumping techniques from a coupled fluid-structure-electrophysiology model in heart development

abstract: We explore an embryonic heart model that couples electrophysiology and muscle-force generation to flow induced using a $2D$ fluid-structure interaction framework based on the immersed boundary method. The propagation of action potentials are coupled to muscular contraction and hence the overall pumping dynamics. In comparison to previous models, the electro-dynamical model does not use prescribed motion to initiate the pumping motion, but rather the pumping dynamics are fully coupled to an underlying electrophysiology model, governed by the FitzHugh-Nagumo equations. Perturbing the diffusion parameter in the FitzHugh-Nagumo model leads to a bifurcation in dynamics of action potential propagation. This bifurcation is able to capture a spectrum of different pumping regimes, with dynamic suction pumping and peristaltic-like pumping at the extremes. We find that more bulk flow is produced within the realm of peristaltic-like pumping.


title: Two topologically distinct Dirac-line semimetal phases and topological phase transitions in rhombohedrally stacked honeycomb lattices

abstract: Three-dimensional topological semimetals can support band crossings along one-dimensional curves in the momentum space (nodal lines or Dirac lines) protected by structural symmetries and topology. We consider rhombohedrally (ABC) stacked honeycomb lattices supporting Dirac lines protected by time-reversal, inversion and spin rotation symmetries. For typical band structure parameters there exists a pair of nodal lines in the momentum space extending through the whole Brillouin zone in the stacking direction. We show that these Dirac lines are topologically distinct from the usual Dirac lines which form closed loops inside the Brillouin zone. In particular, an energy gap can be opened only by first merging the Dirac lines going through the Brillouin zone in a pairwise manner so that they turn into closed loops inside the Brillouin zone, and then by shrinking these loops into points. We show that this kind of topological phase transition can occur in rhombohedrally stacked honeycomb lattices by tuning the ratio of the tunneling amplitudes in the directions perpendicular and parallel to the layers. We also discuss the properties of the surface states in the different phases of the model.


title: Dimension 1 sequences are close to randoms

abstract: We show that a sequence has effective Hausdorff dimension 1 if and only if it is coarsely similar to a Martin-L\"{o}f random sequence. More generally, a sequence has effective dimension $s$ if and only if it is coarsely similar to a weakly $s$-random sequence. Further, for any $s<t$, every sequence of effective dimension $s$ can be changed on density at most $H^{-1}(t)-H^{-1}(s)$ of its bits to produce a sequence of effective dimension $t$, and this bound is optimal.


title: Coherence and non-classicality of quantum Markov processes

abstract: Although quantum coherence is a basic trait of quantum mechanics, the presence of coherences in the quantum description of a certain phenomenon does not rule out the possibility to give an alternative description of the same phenomenon in purely classical terms. Here, we give definite criteria to determine when and to what extent quantum coherence is equivalent to non-classicality. We prove that a Markovian multi-time statistics obtained from repeated measurements of a non-degenerate observable cannot be traced back to a classical statistics if and only if the dynamics is able to generate coherences and to subsequently turn them into populations. Furthermore, we show with simple examples that such connection between quantum coherence and non-classicality is generally absent if the statistics is non-Markovian.


title: Critical percolation in the slow cooling of the bi-dimensional ferromagnetic Ising model

abstract: We show that the equilibrium interfaces in the disordered phase have critical percolation fractal dimension over a wide range of length scales. We confirm that the system falls out of equilibrium at a temperature that depends on the cooling rate as predicted by the Kibble-Zurek argument and we prove that the dynamic growing length once the cooling reaches the critical point satisfies the same scaling. We determine the dynamic scaling properties of the interface winding angle variance and we show that the crossover between critical Ising and critical percolation properties is determined by the growing length reached when the system fell out of equilibrium.


title: The Inuence of Misspecified Covariance on False Discovery Control when Using Posterior Probabilities

abstract: This paper focuses on the influence of a misspecified covariance structure on false discovery rate for the large scale multiple testing problem. Specifically, we evaluate the influence on the marginal distribution of local fdr statistics, which are used in many multiple testing procedures and related to Bayesian posterior probabilities. Explicit forms of the marginal distributions under both correctly specified and incorrectly specified models are derived. The Kullback-Leibler divergence is used to quantify the influence caused by a misspecification. Several numerical examples are provided to illustrate the influence. A real spatio-temporal data on soil humidity is discussed.


title: Triviality of the ground-state metastate in long-range Ising spin glasses in one dimension

abstract: We consider the one-dimensional model of a spin glass with independent Gaussian-distributed random interactions, that have mean zero and variance $1/|i-j|^{2\sigma}$, between the spins at sites $i$ and $j$ for all $i\neq j$. It is known that, for $\sigma>1$, there is no phase transition at any non-zero temperature in this model. We prove rigorously that, for $\sigma>3/2$, any Newman-Stein metastate for the ground states (i.e.\ the frequencies with which distinct ground states are observed in finite size samples in the limit of infinite size, for given disorder) is trivial and unique. In other words, for given disorder and asymptotically at large sizes, the same ground state, or its global spin flip, is obtained (almost) always. The proof consists of two parts: one is a theorem (based on one by Newman and Stein for short-range two-dimensional models), valid for all $\sigma>1$, that establishes triviality under a convergence hypothesis on something similar to the energies of domain walls, and the other (based on older results for the one-dimensional model) establishes that the hypothesis is true for $\sigma>3/2$. In addition, we derive heuristic scaling arguments and rigorous exponent inequalities which tend to support the validity of the hypothesis under broader conditions. The constructions of various metastates are extended to all values $\sigma>1/2$. Triviality of the metastate in bond-diluted power-law models for $\sigma>1$ is proved directly.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: How far is quasar UV/optical variability from damped random walk at low frequency?

abstract: Studies have shown that UV/optical light curves of quasars can be described with the prevalent damped random walk (DRW, also known as Ornstein-Uhlenbeck process) model. A white noise power spectral density (PSD) is expected at low frequency in this model, however, direct observational constraint to the low frequency PSD slope is hard due to limited lengths of the light curves available. Meanwhile, quasars show too large scatter in their DRW parameters to be attributed to the uncertainties in the measurements and the dependence of variation to known physical factors. In this work we present simulations showing that, if the low frequency PSD deviates from DRW, the red noise leakage can naturally produce large scatter in variation parameters measured from simulated light curves. The steeper the low frequency PSD slope is, the larger scatter we expect. Based on the observations of SDSS Stripe 82 quasars, we find the low frequency PSD slope should be no steeper than -1.3. The actual slope could be flatter, which consequently requires that quasar variabilities should be influenced by other unknown factors. We speculate that magnetic field and/or metallicity could be such additional factors.


title: Economic Complexity: "Buttarla in caciara" vs a constructive approach

abstract: This note is a contribution to the debate about the optimal algorithm for Economic Complexity that recently appeared on ArXiv [1, 2] . The authors of [2] eventually agree that the ECI+ algorithm [1] consists just in a renaming of the Fitness algorithm we introduced in 2012, as we explicitly showed in [3]. However, they omit any comment on the fact that their extensive numerical tests claimed to demonstrate that the same algorithm works well if they name it ECI+, but not if its name is Fitness. They should realize that this eliminates any credibility to their numerical methods and therefore also to their new analysis, in which they consider many algorithms [2]. Since by their own admission the best algorithm is the Fitness one, their new claim became that the search for the best algorithm is pointless and all algorithms are alike. This is exactly the opposite of what they claimed a few days ago and it does not deserve much comments. After these clarifications we also present a constructive analysis of the status of Economic Complexity, its algorithms, its successes and its perspectives. For us the discussion closes here, we will not reply to further comments.


title: Cooperative Motion Planning for Non-Holonomic Agents with Value Iteration Networks

abstract: Cooperative motion planning is still a challenging task for robots. Recently, Value Iteration Networks (VINs) were proposed to model motion planning tasks as Neural Networks. In this work, we extend VINs to solve cooperative planning tasks under non-holonomic constraints. For this, we interconnect multiple VINs to pay respect to each other's outputs. Policies for cooperation are generated via iterative gradient descend. Validation in simulation shows that the resulting networks can resolve non-holonomic motion planning problems that require cooperation.


title: Characterization of coherent quantum frequency combs using electro-optic phase modulation

abstract: We demonstrate a two-photon interference experiment for phase coherent biphoton frequency combs (BFCs), created through spectral amplitude filtering of biphotons with a continuous broadband spectrum. By using an electro-optic phase modulator, we project the BFC lines into sidebands that overlap in frequency. The resulting high-visibility interference patterns provide an approach to verify frequency-bin entanglement even with slow single-photon detectors; we show interference patterns with visibilities that surpass the classical threshold for qubit and qutrit states. Additionally, we show that with entangled qutrits, two-photon interference occurs even with projections onto different final frequency states. Finally, we show the versatility of this scheme for weak-light measurements by performing a series of two-dimensional experiments at different signal-idler frequency offsets to measure the dispersion of a single-mode fiber.


title: Bayesian Nonparametric Inference for Panel Count Data with an Informative Observation Process

abstract: In this paper, the panel count data analysis for recurrent events is considered. Such analysis is useful for studying tumor or infection recurrences in both clinical trial and observational studies. A bivariate Gaussian Cox process model is proposed to jointly model the observation process and the recurrent event process. Bayesian nonparametric inference is proposed for simultaneously estimating regression parameters, bivariate frailty effects and baseline intensity functions. Inference is done through Markov chain Monte Carlo, with fully developed computational techniques. Predictive inference is also discussed under the Bayesian setting. The proposed method is shown to be efficient via simulation studies. A clinical trial dataset on skin cancer patients is analyzed to illustrate the proposed approach.


title: Mixtures and products in two graphical models

abstract: We compare two statistical models of three binary random variables. One is a mixture model and the other is a product of mixtures model called a restricted Boltzmann machine. Although the two models we study look different from their parametrizations, we show that they represent the same set of distributions on the interior of the probability simplex, and are equal up to closure. We give a semi-algebraic description of the model in terms of six binomial inequalities and obtain closed form expressions for the maximum likelihood estimates. We briefly discuss extensions to larger models.


title: Linear isomorphisms preserving Green's relations for matrices over semirings

abstract: In this paper we characterize those linear bijective maps on the monoid of all $n \times n$ square matrices over an anti-negative semifield which preserve and strongly preserve each of Green's equivalence relations $\mathcal{L}, \mathcal{R}, \mathcal{D}, \mathcal{J}$ and the corresponding three pre-orderings $\leq_\mathcal{L}, \leq_\mathcal{R}, \leq_\mathcal{J}$. These results apply in particular to the tropical and boolean semirings, and for these two semirings we also obtain corresponding results for the $\mathcal{H}$ relation.


title: Algorithms and Architecture for Real-time Recommendations at News UK

abstract: Recommendation systems are recognised as being hugely important in industry, and the area is now well understood. At News UK, there is a requirement to be able to quickly generate recommendations for users on news items as they are published. However, little has been published about systems that can generate recommendations in response to changes in recommendable items and user behaviour in a very short space of time. In this paper we describe a new algorithm for updating collaborative filtering models incrementally, and demonstrate its effectiveness on clickstream data from The Times. We also describe the architecture that allows recommendations to be generated on the fly, and how we have made each component scalable. The system is currently being used in production at News UK.


title: High-fidelity quantum state preparation using neighboring optimal control

abstract: We present an approach to single-shot high-fidelity preparation of an $n$-qubit state based on neighboring optimal control theory. This represents a new application of the neighboring optimal control formalism which was originally developed to produce single-shot high-fidelity quantum gates. To illustrate the approach, and to provide a proof-of-principle, we use it to prepare the two qubit Bell state $|\beta_{01}\rangle = (1/\sqrt{2})\left[\, |01\rangle + |10\rangle\,\right]$ with an error probability $\epsilon\sim 10^{-6}$ ($10^{-5}$) for ideal (non-ideal) control. Using standard methods in the literature, these high-fidelity Bell states can be leveraged to fault-tolerantly prepare the logical state $|\overline{\beta}_{01}\rangle$.


title: Dust Deficiency in the Interacting Galaxy NGC 3077

abstract: Using 70 $\mu$ m observations taken with the PACS instrument of the Herschel space telescope, the dust content of the nearby and interacting spiral galaxy NGC 3077 has been compared with the dust content of the isolated galaxies such as NGC 2841, NGC 3184 and NGC 3351. The dust content has allowed us to derive dust-to-gas ratios for the four spiral galaxies of our sample. We find that NGC 2841, NGC 3184 and NGC 3351 have dust masses of 6.5-9.1 $\times$ 10$^7$ M$\odot$, which are a factor of $\sim$10 higher than the value found for NGC 3077. This result shows that NGC 3077 is a dust deficient galaxy, as was expected, because this galaxy is affected by tidal interactions with its neighboring galaxies M81 and M82. NGC 3077 reveals a dust-to-gas ratio of 17.5%, much higher than the average ratio of 1.8% of the isolated galaxies, evidencing that NGC 3077 is also deficient in H$_2$+HI gas. Therefore, it seems that, in this galaxy, gas has been stripped more efficiently than dust.


title: AndroZoo++: Collecting Millions of Android Apps and Their Metadata for the Research Community

abstract: We present a growing collection of Android apps collected from several sources, including the official Google Play app market and a growing collection of various metadata of those collected apps aiming at facilitating the Android-relevant research works. Our dataset by far has collected over five million apps and over 20 types of metadata such as VirusTotal reports. Our objective of collecting this dataset is to contribute to ongoing research efforts, as well as to enable new potential research topics on Android Apps. By releasing our app and metadata set to the research community, we also aim at encouraging our fellow researchers to engage in reproducible experiments. This article will be continuously updated based on the growing apps and metadata collected in the AndroZoo project. If you have specific metadata that you want to collect from AndroZoo and which are not yet provided by far, please let us know. We will thereby prioritise it in our collecting process so as to provide it to our fellow researchers in a short manner.


title: On the Difference Between Closest, Furthest, and Orthogonal Pairs: Nearly-Linear vs Barely-Subquadratic Complexity in Computational Geometry

abstract: Point location problems for $n$ points in $d$-dimensional Euclidean space (and $\ell_p$ spaces more generally) have typically had two kinds of running-time solutions: * (Nearly-Linear) less than $d^{poly(d)} \cdot n \log^{O(d)} n$ time, or * (Barely-Subquadratic) $f(d) \cdot n^{2-1/\Theta(d)}$ time, for various $f$. For small $d$ and large $n$, "nearly-linear" running times are generally feasible, while "barely-subquadratic" times are generally infeasible. For example, in the Euclidean metric, finding a Closest Pair among $n$ points in ${\mathbb R}^d$ is nearly-linear, solvable in $2^{O(d)} \cdot n \log^{O(1)} n$ time, while known algorithms for Furthest Pair (the diameter of the point set) are only barely-subquadratic, requiring $\Omega(n^{2-1/\Theta(d)})$ time. Why do these proximity problems have such different time complexities? Is there a barrier to obtaining nearly-linear algorithms for problems which are currently only barely-subquadratic? We give a novel exact and deterministic self-reduction for the Orthogonal Vectors problem on $n$ vectors in $\{0,1\}^d$ to $n$ vectors in ${\mathbb Z}^{\omega(\log d)}$ that runs in $2^{o(d)}$ time. As a consequence, barely-subquadratic problems such as Euclidean diameter, Euclidean bichromatic closest pair, ray shooting, and incidence detection do not have $O(n^{2-\epsilon})$ time algorithms (in Turing models of computation) for dimensionality $d = \omega(\log \log n)^2$, unless the popular Orthogonal Vectors Conjecture and the Strong Exponential Time Hypothesis are false. That is, while poly-log-log-dimensional Closest Pair is in $n^{1+o(1)}$ time, the analogous case of Furthest Pair can encode larger-dimensional problems conjectured to require $n^{2-o(1)}$ time. We also show that the All-Nearest Neighbors problem in $\omega(\log n)$ dimensions requires $n^{2-o(1)}$ time to solve, assuming either of the above conjectures.


title: Correlating Satellite Cloud Cover with Sky Cameras

abstract: The role of clouds is manifold in understanding the various events in the atmosphere, and also in studying the radiative balance of the earth. The conventional manner of such cloud analysis is performed mainly via satellite images. However, because of its low temporal- and spatial- resolutions, ground-based sky cameras are now getting popular. In this paper, we study the relation between the cloud cover obtained from MODIS images, with the coverage obtained from ground-based sky cameras. This will help us to better understand cloud formation in the atmosphere - both from satellite images and ground-based observations.


title: Isoperimetric problems for a nonlocal perimeter of Minkowski type

abstract: We prove a quantitative version of the isoperimetric inequality for a non local perimeter of Minkowski type. We also apply this result to study isoperimetric problems with repulsive interaction terms, under convexity constraints. We show existence of minimizers, and we describe the shape of minimizers in certain parameter regimes.


title: Simulation of plasma loading of high-pressure RF cavities

abstract: Muon beam-induced plasma loading of radio-frequency (RF) cavities filled with high pressure hydrogen gas with 1% dry air dopant has been studied via numerical simulations. The electromagnetic code SPACE, that resolves relevant atomic physics processes, including ionization by the muon beam, electron attachment to dopant molecules, and electron-ion and ion-ion recombination, has been used. Simulations studies have been performed in the range of parameters typical for practical muon cooling channels.


title: Some Extensions to Touchard's Theorem on Odd Perfect Numbers

abstract: The multiplicative structure of an odd perfect number $n$, if any, is $n=\pi^\alpha M^2$, where $\pi$ is prime, $\gcd(\pi,M)=1$ and $\pi\equiv \alpha\equiv1\pmod{4}$. An additive structure of $n$, established by Touchard, is that "$\bigl(n\equiv 9\pmod{36}\bigr )$ OR $\bigl (n\equiv1\pmod{12}\bigr )$". A first extension of Touchard's result is that the proposition "$\bigl(n\equiv x^2\pmod{4 x^2}\bigr )$ OR $\bigl (n\equiv \pi\equiv1\pmod{4 x}\bigr )$" holds for $x=3$ (the extension is due to the fact that the second congruence contains also $\pi$). We further extend the proof to $x=\alpha+2$, $\alpha+2$ prime, with the restriction that the congruence modulo $4 x$ does not include $n$. Besides, we note that the first extension of Touchard's result holds also with an exclusive disjunction, so that $\pi\equiv 1\pmod{12}$ is a sufficient condition because $3\nmid n$.


title: Sampling of probability measures in the convex order by Wasserstein projection

abstract: In this paper, for $\mu$ and $\nu$ two probability measures on $\mathbb{R}^d$ with finite moments of order $\rho\ge 1$, we define the respective projections for the $W_\rho$-Wasserstein distance of $\mu$ and $\nu$ on the sets of probability measures dominated by $\nu$ and of probability measures larger than $\mu$ in the convex order. The $W_2$-projection of $\mu$ can be easily computed when $\mu$ and $\nu$ have finite support by solving a quadratic optimization problem with linear constraints. In dimension $d=1$, Gozlan et al.~(2018) have shown that the projections do not depend on $\rho$. We explicit their quantile functions in terms of those of $\mu$ and $\nu$. The motivation is the design of sampling techniques preserving the convex order in order to approximate Martingale Optimal Transport problems by using linear programming solvers. We prove convergence of the Wasserstein projection based sampling methods as the sample sizes tend to infinity and illustrate them by numerical experiments.


title: An Evolutionary Game for User Access Mode Selection in Fog Radio Access Networks

abstract: The fog radio access network (F-RAN) is a promising paradigm for the fifth generation wireless communication systems to provide high spectral efficiency and energy efficiency. Characterizing users to select an appropriate communication mode among fog access point (F-AP), and device-to-device (D2D) in F-RANs is critical for performance optimization. Using evolutionary game theory, we investigate the dynamics of user access mode selection in F-RANs. Specifically, the competition among groups of potential users space is formulated as a dynamic evolutionary game, and the evolutionary equilibrium is the solution to this game. Stochastic geometry tool is used to derive the proposals' payoff expressions for both F-AP and D2D users by taking into account the different nodes locations, cache sizes as well as the delay cost. The analytical results obtained from the game model are evaluated via simulations, which show that the evolutionary game based access mode selection algorithm can reach a much higher payoff than the max rate based algorithm.


title: Optimal approximation of piecewise smooth functions using deep ReLU neural networks

abstract: We study the necessary and sufficient complexity of ReLU neural networks---in terms of depth and number of weights---which is required for approximating classifier functions in $L^2$. As a model class, we consider the set $\mathcal{E}^\beta (\mathbb R^d)$ of possibly discontinuous piecewise $C^\beta$ functions $f : [-1/2, 1/2]^d \to \mathbb R$, where the different smooth regions of $f$ are separated by $C^\beta$ hypersurfaces. For dimension $d \geq 2$, regularity $\beta > 0$, and accuracy $\varepsilon > 0$, we construct artificial neural networks with ReLU activation function that approximate functions from $\mathcal{E}^\beta(\mathbb R^d)$ up to $L^2$ error of $\varepsilon$. The constructed networks have a fixed number of layers, depending only on $d$ and $\beta$, and they have $O(\varepsilon^{-2(d-1)/\beta})$ many nonzero weights, which we prove to be optimal. In addition to the optimality in terms of the number of weights, we show that in order to achieve the optimal approximation rate, one needs ReLU networks of a certain depth. Precisely, for piecewise $C^\beta(\mathbb R^d)$ functions, this minimal depth is given---up to a multiplicative constant---by $\beta/d$. Up to a log factor, our constructed networks match this bound. This partly explains the benefits of depth for ReLU networks by showing that deep networks are necessary to achieve efficient approximation of (piecewise) smooth functions. Finally, we analyze approximation in high-dimensional spaces where the function $f$ to be approximated can be factorized into a smooth dimension reducing feature map $\tau$ and classifier function $g$---defined on a low-dimensional feature space---as $f = g \circ \tau$. We show that in this case the approximation rate depends only on the dimension of the feature space and not the input dimension.


title: Atomic theory of viscoelastic response and memory effects in metallic glasses

abstract: An atomic-scale theory of the viscoelastic response of metallic glasses is derived from first principles, using a Zwanzig-Caldeira-Leggett system-bath Hamiltonian as a starting point within the framework of nonaffine linear response to mechanical deformation. This approach provides a Generalized-Langevin-Equation (GLE) as the average equation of motion for an atom or ion in the material, from which non-Markovian nonaffine viscoelastic moduli are extracted. These can be evaluated using the vibrational density of states (DOS) as input, where the boson peak plays a prominent role for the mechanics. To compare with experimental data of binary ZrCu alloys, numerical DOS was obtained from simulations of this system, which take also electronic degrees of freedom into account via the embedded atom method (EAM) for the interatomic potential. It is shown that the viscoelastic $\alpha$-relaxation, including the $\alpha$-wing asymmetry in the loss modulus, can be very well described by the theory if the memory kernel (the non-Markovian friction) in the GLE is taken to be a stretched-exponential decaying function of time. This finding directly implies strong memory effects in the atomic-scale dynamics, and suggests that the $\alpha$-relaxation time is related to the characteristic time-scale over which atoms retain memory of their previous collision history. This memory time grows dramatically below the glass transition.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.other cond-mat.stat-mech


title: Erlang Code Evolution Control

abstract: During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and other ideas such as allowing the programmer to chose an expression of interest that must preserve the behaviour, or the recording of the sequences of values to which this expression is evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.


title: Construction of the Poincar\'e sheaf on the stack of rank two Higgs bundles of $\mathbf{P}^{1}$

abstract: Let $\mathcal{H}iggs_{ss}$ be the stack of semistable rank two Higgs bundles on $\mathbf{P}^{1}$ with value in $O(n)$ where $n\geq 2$. In this paper we will construct the Poincar\'e sheaf $\mathcal{P}$ on $\mathcal{H}iggs_{ss}\times_{H}\mathcal{H}iggs_{ss}$ which is maximal Cohen-Macaulay and flat over $\mathcal{H}iggs_{ss}$.


title: Commonsense Scene Semantics for Cognitive Robotics: Towards Grounding Embodied Visuo-Locomotive Interactions

abstract: We present a commonsense, qualitative model for the semantic grounding of embodied visuo-spatial and locomotive interactions. The key contribution is an integrative methodology combining low-level visual processing with high-level, human-centred representations of space and motion rooted in artificial intelligence. We demonstrate practical applicability with examples involving object interactions, and indoor movement.


title: The Orthogonal Vectors Conjecture for Branching Programs and Formulas

abstract: In the Orthogonal Vectors (OV) problem, we wish to determine if there is an orthogonal pair of vectors among $n$ Boolean vectors in $d$ dimensions. The OV Conjecture (OVC) posits that OV requires $n^{2-o(1)}$ time to solve, for all $d=\omega(\log n)$. Assuming the OVC, optimal time lower bounds have been proved for many prominent problems in $P$. We prove that OVC is true in several computational models of interest: * For all sufficiently large $n$ and $d$, OV for $n$ vectors in $\{0,1\}^d$ has branching program complexity $\tilde{\Theta}(n\cdot \min(n,2^d))$. In particular, the lower bounds match the upper bounds up to polylog factors. * OV has Boolean formula complexity $\tilde{\Theta}(n\cdot \min(n,2^d))$, over all complete bases of $O(1)$ fan-in. * OV requires $\tilde{\Theta}(n\cdot \min(n,2^d))$ wires, in formulas comprised of gates computing arbitrary symmetric functions of unbounded fan-in. Our lower bounds basically match the best known (quadratic) lower bounds for any explicit function in those models. Analogous lower bounds hold for many related problems shown to be hard under OVC, such as Batch Partial Match, Batch Subset Queries, and Batch Hamming Nearest Neighbors, all of which have very succinct reductions to OV. The proofs use a certain kind of input restriction that is different from typical random restrictions where variables are assigned independently. We give a sense in which independent random restrictions cannot be used to show hardness, in that OVC is false in the "average case" even for $AC^0$ formulas: * For every fixed $p \in (0,1)$ there is an $\epsilon_p > 0$ such that for every $n$ and $d$, OV instances where input bits are independently set to $1$ with probability $p$ (and $0$ otherwise) can be solved with $AC^0$ formulas of size $O(n^{2-\epsilon_p})$, on all but a $o_n(1)$ fraction of instances.


title: And That's A Fact: Distinguishing Factual and Emotional Argumentation in Online Dialogue

abstract: We investigate the characteristics of factual and emotional argumentation styles observed in online debates. Using an annotated set of "factual" and "feeling" debate forum posts, we extract patterns that are highly correlated with factual and emotional arguments, and then apply a bootstrapping methodology to find new patterns in a larger pool of unannotated forum posts. This process automatically produces a large set of patterns representing linguistic expressions that are highly correlated with factual and emotional language. Finally, we analyze the most discriminating patterns to better understand the defining characteristics of factual and emotional arguments.


title: Forensics Analysis of Android Mobile VoIP Apps

abstract: Voice over Internet Protocol (VoIP) applications (apps) provide convenient and low cost means for users to communicate and share information with each other in real-time. Day by day, the popularity of such apps is increasing, and people produce and share a huge amount of data, including their personal and sensitive information. This might lead to several privacy issues, such as revealing user contacts, private messages or personal photos. Therefore, having an up-to-date forensic understanding of these apps is necessary. This chapter presents analysis of forensically valuable remnants of three popular Mobile VoIP (mVoIP) apps on Google Play store, namely: Viber, Skype, and WhatsApp Messenger, in order to figure out to what extent these apps reveal forensically valuable information about the users activities. We performed a thorough investigative study of these three mVoIP apps on smartphone devices. Our experimental results show that several artefacts, such as messages, contact details, phone numbers, images, and video files, are recoverable from the smartphone device that is equipped with these mVoIP apps.


title: Nematic liquid crystal phase in a system of interacting dimers and monomers

abstract: We consider a monomer-dimer system with a strong attractive dimer-dimer interaction that favors alignment. In 1979, Heilmann and Lieb conjectured that this model should exhibit a nematic liquid crystal phase, in which the dimers are mostly aligned, but do not manifest any translational order. We prove this conjecture for large dimer activity and strong interactions. The proof follows a Pirogov-Sinai scheme, in which we map the dimer model to a system of hard-core polymers whose partition function is computed using a convergent cluster expansion.

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


title: Conversational Exploratory Search via Interactive Storytelling

abstract: Conversational interfaces are likely to become more efficient, intuitive and engaging way for human-computer interaction than today's text or touch-based interfaces. Current research efforts concerning conversational interfaces focus primarily on question answering functionality, thereby neglecting support for search activities beyond targeted information lookup. Users engage in exploratory search when they are unfamiliar with the domain of their goal, unsure about the ways to achieve their goals, or unsure about their goals in the first place. Exploratory search is often supported by approaches from information visualization. However, such approaches cannot be directly translated to the setting of conversational search. In this paper we investigate the affordances of interactive storytelling as a tool to enable exploratory search within the framework of a conversational interface. Interactive storytelling provides a way to navigate a document collection in the pace and order a user prefers. In our vision, interactive storytelling is to be coupled with a dialogue-based system that provides verbal explanations and responsive design. We discuss challenges and sketch the research agenda required to put this vision into life.


title: A Fair Individual Rate Comparison between MIMO-NOMA and MIMO-OMA

abstract: In this paper, we compare the individual rate of MIMO-NOMA and MIMO-OMA when users are paired into clusters. A power allocation (PA) strategy is proposed, which ensures that MIMO-NOMA achieves a higher individual rate for each user than MIMO-OMA with arbitrary PA and optimal degrees of freedom split. In addition, a special case with equal degrees of freedom and arbitrary PA for OMA is considered, for which the individual rate superiority of NOMA still holds. Moreover, it is shown that NOMA can attain better fairness through appropriate PA. Finally, simulations are carried out, which validate the developed analytical results.


title: Stability of Metallic Hydrogen at Ambient Conditions

abstract: The possibility of metallic hydrogen was first mooted by Wigner and Huntington in 1935. Here it is show that the calculations from that paper are in remarkably good agreement with modern density functional theory results. The possibility that metallic hydrogen could be recovered to ambient pressure is often attributed to papers by Brovman, although in fact they only say it would be metastable with undetermined lifetime. Density functional theory calculations presented here show that reasonable candidate structures for metallic hydrogen are wildly unstable at ambient conditions, and molecular dynamics calculations show that the lifetime to which Brovman et al refer is considerably less than a picosecond. It is concluded that the prospects of using recovered metallic hydrogen as rocket fuel or for electricity distribution may have been overstated.


title: Isogeometric Analysis and Harmonic Stator-Rotor Coupling for Simulating Electric Machines

abstract: This work proposes Isogeometric Analysis as an alternative to classical finite elements for simulating electric machines. Through the spline-based Isogeometric discretization it is possible to parametrize the circular arcs exactly, thereby avoiding any geometrical error in the representation of the air gap where a high accuracy is mandatory. To increase the generality of the method, and to allow rotation, the rotor and the stator computational domains are constructed independently as multipatch entities. The two subdomains are then coupled using harmonic basis functions at the interface which gives rise to a saddle-point problem. The properties of Isogeometric Analysis combined with harmonic stator-rotor coupling are presented. The results and performance of the new approach are compared to the ones for a classical finite element method using a permanent magnet synchronous machine as an example.


title: Hardware-Efficient Bosonic Quantum Error-Correcting Codes Based on Symmetry Operators

abstract: We establish a symmetry-operator framework for designing quantum error correcting~(QEC) codes based on fundamental properties of the underlying system dynamics. Based on this framework, we propose three hardware-efficient bosonic QEC codes that are suitable for $\chi^{(2)}$-interaction based quantum computation: the $\chi^{(2)}$ parity-check code, the $\chi^{(2)}$ embedded error-correcting code, and the $\chi^{(2)}$ binomial code, all of which detect photon-loss or photon-gain errors by means of photon-number parity measurements and then correct them via $\chi^{(2)}$ Hamiltonian evolutions and linear-optics transformations. Our symmetry-operator framework provides a systematic procedure for finding QEC codes that are not stabilizer codes. The $\chi^{(2)}$ binomial code is of special interest because, with $m\le N$ identified from channel monitoring, it can correct $m$-photon loss errors, $m$-photon gain errors, and $(m-1)$th-order dephasing errors using logical qudits that are encoded in $O(N)$ photons. In comparison, other bosonic QEC codes require $O(N^2)$ photons to correct the same degree of bosonic errors. Such improved photon-efficiency underscores the additional error-correction power that can be provided by channel monitoring. We develop quantum Hamming bounds for photon-loss errors in the code subspaces associated with the $\chi^{(2)}$ parity-check code and the $\chi^{(2)}$ embedded error-correcting code, and we prove that these codes saturate their respective bounds. Our $\chi^{(2)}$ QEC codes exhibit hardware efficiency in that they address the principal error mechanisms and exploit the available physical interactions of the underlying hardware, thus reducing the physical resources required for implementing their encoding, decoding, and error-correction operations, and their universal encoded-basis gate sets.


title: Constraining the pitch angle of the Galactic spiral arms in the Milky Way

abstract: We carry out analyses of some parameters of the galactic spiral arms, in the currently available samples. We present a catalog of the observed pitch angle for each spiral arm in the Milky Way disk. For each long spiral arm in the Milky Way, we investigate for each individual arm its pitch angle, as measured through different methods (parallaxes, twin-tangent arm, kinematical, etc), and assess their answers. Second, we catalog recent advances in the cartography of the Galaxy (global mean arm pitch, arm number, arm shape, interarm distance at the Sun). We statistically compare the results over a long time frame, from 1980 to 2017. Histograms of about 90 individual results published in recent years (since mid-2015) are compared to 66 earlier results (from 1980 to 2005), showing the ratio of primary to secondary peaks to have increased by almost a factor of 3. Similarly, many earlier discrepancies (expressed in r.m.s.) have been reduced by almost a factor 3.


title: A Two-Phase Power Allocation Scheme for CRNs Employing NOMA

abstract: In this paper, we consider the power allocation (PA) problem in cognitive radio networks (CRNs) employing nonorthogonal multiple access (NOMA) technique. Specifically, we aim to maximize the number of admitted secondary users (SUs) and their throughput, without violating the interference tolerance threshold of the primary users (PUs). This problem is divided into a two-phase PA process: a) maximizing the number of admitted SUs; b) maximizing the minimum throughput among the admitted SUs. To address the first phase, we apply a sequential and iterative PA algorithm, which fully exploits the characteristics of the NOMA-based system. Following this, the second phase is shown to be quasiconvex and is optimally solved via the bisection method. Furthermore, we prove the existence of a unique solution for the second phase and propose another PA algorithm, which is also optimal and significantly reduces the complexity in contrast with the bisection method. Simulation results verify the effectiveness of the proposed two-phase PA scheme.


title: Are you serious?: Rhetorical Questions and Sarcasm in Social Media Dialog

abstract: Effective models of social dialog must understand a broad range of rhetorical and figurative devices. Rhetorical questions (RQs) are a type of figurative language whose aim is to achieve a pragmatic goal, such as structuring an argument, being persuasive, emphasizing a point, or being ironic. While there are computational models for other forms of figurative language, rhetorical questions have received little attention to date. We expand a small dataset from previous work, presenting a corpus of 10,270 RQs from debate forums and Twitter that represent different discourse functions. We show that we can clearly distinguish between RQs and sincere questions (0.76 F1). We then show that RQs can be used both sarcastically and non-sarcastically, observing that non-sarcastic (other) uses of RQs are frequently argumentative in forums, and persuasive in tweets. We present experiments to distinguish between these uses of RQs using SVM and LSTM models that represent linguistic features and post-level context, achieving results as high as 0.76 F1 for "sarcastic" and 0.77 F1 for "other" in forums, and 0.83 F1 for both "sarcastic" and "other" in tweets. We supplement our quantitative experiments with an in-depth characterization of the linguistic variation in RQs.


title: Recursive Binary Neural Network Learning Model with 2.28b/Weight Storage Requirement

abstract: This paper presents a storage-efficient learning model titled Recursive Binary Neural Networks for sensing devices having a limited amount of on-chip data storage such as < 100's kilo-Bytes. The main idea of the proposed model is to recursively recycle data storage of synaptic weights (parameters) during training. This enables a device with a given storage constraint to train and instantiate a neural network classifier with a larger number of weights on a chip and with a less number of off-chip storage accesses. This enables higher classification accuracy, shorter training time, less energy dissipation, and less on-chip storage requirement. We verified the training model with deep neural network classifiers and the permutation-invariant MNIST benchmark. Our model uses only 2.28 bits/weight while for the same data storage constraint achieving ~1% lower classification error as compared to the conventional binary-weight learning model which yet has to use 8 to 16 bit storage per weight. To achieve the similar classification error, the conventional binary model requires ~4x more data storage for weights than the proposed model.


title: Top-Down Saliency Detection Driven by Visual Classification

abstract: This paper presents an approach for top-down saliency detection guided by visual classification tasks. We first learn how to compute visual saliency when a specific visual task has to be accomplished, as opposed to most state-of-the-art methods which assess saliency merely through bottom-up principles. Afterwards, we investigate if and to what extent visual saliency can support visual classification in nontrivial cases. To achieve this, we propose SalClassNet, a CNN framework consisting of two networks jointly trained: a) the first one computing top-down saliency maps from input images, and b) the second one exploiting the computed saliency maps for visual classification. To test our approach, we collected a dataset of eye-gaze maps, using a Tobii T60 eye tracker, by asking several subjects to look at images from the Stanford Dogs dataset, with the objective of distinguishing dog breeds. Performance analysis on our dataset and other saliency bench-marking datasets, such as POET, showed that SalClassNet out-performs state-of-the-art saliency detectors, such as SalNet and SALICON. Finally, we analyzed the performance of SalClassNet in a fine-grained recognition task and found out that it generalizes better than existing visual classifiers. The achieved results, thus, demonstrate that 1) conditioning saliency detectors with object classes reaches state-of-the-art performance, and 2) providing explicitly top-down saliency maps to visual classifiers enhances classification accuracy.


title: Harvesting Creative Templates for Generating Stylistically Varied Restaurant Reviews

abstract: Many of the creative and figurative elements that make language exciting are lost in translation in current natural language generation engines. In this paper, we explore a method to harvest templates from positive and negative reviews in the restaurant domain, with the goal of vastly expanding the types of stylistic variation available to the natural language generator. We learn hyperbolic adjective patterns that are representative of the strongly-valenced expressive language commonly used in either positive or negative reviews. We then identify and delexicalize entities, and use heuristics to extract generation templates from review sentences. We evaluate the learned templates against more traditional review templates, using subjective measures of "convincingness", "interestingness", and "naturalness". Our results show that the learned templates score highly on these measures. Finally, we analyze the linguistic categories that characterize the learned positive and negative templates. We plan to use the learned templates to improve the conversational style of dialogue systems in the restaurant domain.


title: The first gap for total curvatures of planar graphs with nonnegative curvature

abstract: We prove that the total curvature of a planar graph with nonnegative combinatorial curvature is at least $\frac{1}{12}$ if it is positive. Moreover, we classify the metric structures of ambient polygonal surfaces for planar graphs attaining this bound.


title: Gradient correction and Bohm potential for 2D and 1D electron gases at a finite temperature

abstract: From the static polarization function of electrons in the random phase approximation the quantum Bohm potential for the quantum hydrodynamic description of electrons, and the density gradient correction to the Thomas-Fermi free energy at a finite temperature for the 2D and 1D cases are derived. The behavior of the Bohm potential and of the density gradient correction as a function of the degeneracy parameter is discussed. Based on recent developments in the fluid description of quantum plasmas, the Bohm potential for the high frequency domain is presented.


title: Video Synopsis Generation Using Spatio-Temporal Groups

abstract: Millions of surveillance cameras operate at 24x7 generating huge amount of visual data for processing. However, retrieval of important activities from such a large data can be time consuming. Thus, researchers are working on finding solutions to present hours of visual data in a compressed, but meaningful way. Video synopsis is one of the ways to represent activities using relatively shorter duration clips. So far, two main approaches have been used by researchers to address this problem, namely synopsis by tracking moving objects and synopsis by clustering moving objects. Synopses outputs, mainly depend on tracking, segmenting, and shifting of moving objects temporally as well as spatially. In many situations, tracking fails, thus produces multiple trajectories of the same object. Due to this, the object may appear and disappear multiple times within the same synopsis output, which is misleading. This also leads to discontinuity and often can be confusing to the viewer of the synopsis. In this paper, we present a new approach for generating compressed video synopsis by grouping tracklets of moving objects. Grouping helps to generate a synopsis where chronologically related objects appear together with meaningful spatio-temporal relation. Our proposed method produces continuous, but a less confusing synopses when tested on publicly available dataset videos as well as in-house dataset videos.


title: An Atlas of Star-Forming Galaxy Equivalent Widths

abstract: We present an atlas of starburst galaxy emission lines spanning 10 orders of magnitude in ionizing flux and 7 orders of magnitude in hydrogen number density. Coupling SEDs from Starburst99 with photoionization calculations from Cloudy, we track 96 emission lines from 977 {\AA} to 205 m which are common to nebular regions, have been observed in H II regions, and serve as useful diagnostic lines. Each simulation grid displays equivalent widths and contains ~1.5x10$^4$ photoionization models calculated by supplying a spectral energy distribution, chemical abundances, dust content, and gas metallicity (ranging from 0.2 Z$\odot$ to 5.0 Z$\odot$). Our simulations will prove useful in starburst emission line data analysis, especially regarding local starburst galaxies that show high ionization emission lines. One sample application of our atlas predicts that C IV $\lambda$1549 will serve as a useful diagnostic emission line of vigorous star formation for coming James Webb Space Telescope observations predicting a peak equivalent width of approximately 316 {\AA}.


title: Neutrinoless double-$\beta$ decay of $^{124}$Sn, $^{130}$Te, and $^{136}$Xe in the Hamiltonian-based generator-coordinate method

abstract: We present a generator-coordinate method for realistic shell-model Hamiltonians that closely approximates the full shell model calculations of the matrix elements for the neutrinoless double-$\beta$ decay of $^{124}$Sn, $^{130}$Te, and $^{136}$Xe. We treat not only quadrupole deformations but also the proton-neutron pairing amplitudes as generator coordinates. We validate this method by calculating and comparing spectroscopic quantities with the exact shell model results and experimental data. Our Hamiltonian-based generator-coordinate method produces $0\nu\beta\beta$ matrix elements much closer to the shell model ones, compared to the existing energy-density-functional-based generator-coordinate approaches. The remaining overestimation of $0\nu\beta\beta$ nuclear matrix element suggests that additional correlations may be needed to be taken into account for $^{124}$Sn, $^{130}$Te, and $^{136}$Xe when calculating with the Hamiltonian-based generator-coordinate method. The validation of this method may open the possibility of calculating $0\nu\beta\beta$ matrix element of $^{150}$Nd in a large shell-model space.


title: String Attractors

abstract: Let $S$ be a string of length $n$. In this paper we introduce the notion of \emph{string attractor}: a subset of the string's positions $[1,n]$ such that every distinct substring of $S$ has an occurrence crossing one of the attractor's elements. We first show that the minimum attractor's size yields upper-bounds to the string's repetitiveness as measured by its linguistic complexity and by the length of its longest repeated substring. We then prove that all known compressors for repetitive strings induce a string attractor whose size is bounded by their associated repetitiveness measure, and can therefore be considered as approximations of the smallest one. Using further reductions, we derive the approximation ratios of these compressors with respect to the smallest attractor and solve several open problems related to the asymptotic relations between repetitiveness measures (in particular, between the the sizes of the Lempel-Ziv factorization, the run-length Burrows-Wheeler transform, the smallest grammar, and the smallest macro scheme). These reductions directly provide approximation algorithms for the smallest string attractor. We then apply string attractors to solve efficiently a fundamental problem in the field of compressed computation: we present a universal compressed data structure for text extraction that improves existing strategies simultaneously for \emph{all} known dictionary compressors and that, by recent lower bounds, almost matches the optimal running time within the resulting space. To conclude, we consider generalizations of string attractors to labeled graphs, show that the attractor problem is NP-complete on trees, and provide a logarithmic approximation computable in polynomial time.


title: Exclusion of Stellar Companions to Exoplanet Host Stars

abstract: Given the frequency of stellar multiplicity in the solar neighborhood, it is important to study the impacts this can have on exoplanet properties and orbital dynamics. There have been numerous imaging survey projects established to detect possible low-mass stellar companions to exoplanet host stars. Here we provide the results from a systematic speckle imaging survey of known exoplanet host stars. In total, 71 stars were observed at 692~nm and 880~nm bands using the Differential Speckle Survey Instrument (DSSI) at the Gemini-North Observatory. Our results show that all but 2 of the stars included in this sample have no evidence of stellar companions with luminosities down to the detection and projected separation limits of our instrumentation. The mass-luminosity relationship is used to estimate the maximum mass a stellar companion can have without being detected. These results are used to discuss the potential for further radial velocity follow-up and interpretation of companion signals.


title: Ion Potential in Non-ideal Dense Quantum Plasmas

abstract: The screened ion potential in non-ideal dense quantum plasmas is investigated by invoking the Singwi-Tosi-Land-Sj\"olander approximation for the electronic local field correction at densities $r_s\lesssim 2$ and degeneracy parameters $\theta\lesssim 1$, where $r_s$ is the ratio of the mean inter-particle distance to the first Bohr radius, and $\theta$ is the ratio of the thermal energy to the Fermi energy of the electrons. Various cross-checks with ion potentials obtained from ground state quantum Monte-Carlo data, the random phase approximation, as well as with existing analytical models are presented. Further, the importance of the electronic correlation effects for the dynamics in strongly coupled ionic subsystems for $0.1\leq r_s\leq 2$ is discussed.


title: A Dirac field interacting with point nuclear dynamics

abstract: The system describing a single Dirac electron field coupled with classically moving point nuclei is presented and studied. The model is a semi-relativistic extension of corresponding time-dependent one-body Hartree-Fock equation coupled with classical nuclear dynamics, already known and studied both in quantum chemistry and in rigorous mathematical literature. We prove local existence of solutions for data in $H^s$ with $s>1$ and local well posedness in $H^s$ for $s>3/2$. In the course of the analysis a second new result of independent interest is discussed and proved, namely the construction of the propagator for the Dirac operator with several moving Coulomb singularities.


title: An Approximate Solver for Multi-medium Riemann Problem with Mie-Gr\"uneisen Equations of State

abstract: We propose an approximate solver for multi-medium Riemann problems with materials described by a family of general Mie-Gr\"uneisen equations of state, which are widely used in practical applications. The solver provides the interface pressure and normal velocity by an iterative method. The well-posedness and convergence of the solver is verified with mild assumptions on the equations of state. To validate the solver, it is employed in computing the numerical flux on phase interfaces of a numerical scheme on Eulerian grids that was developed recently for compressible multi-medium flows. Numerical examples are presented for Riemann problems, air blast and underwater explosion applications.


title: Generalised nonminimally gravity-matter coupled theory

abstract: In this paper, a new generalised gravity-matter coupled theory of gravity is presented. This theory is constructed by assuming an action with an arbitrary function $f(T,B,L_m)$ which depends on the scalar torsion $T$, the boundary term $B=\nabla_{\mu}T^{\mu}$ and the matter Lagrangian $L_m$. Since the function depends on $B$ which appears in $R=-T+B$, it is possible to also reproduce curvature-matter coupled models such as $f(R,L_m)$ gravity. Additionally, the full theory also contains some interesting new teleparallel gravity-matter coupled theories of gravities such as $f(T,L_m)$ or $C_1 T+ f(B,L_m)$. The complete dynamical system for flat FLRW cosmology is presented and for some specific cases of the function, the corresponding cosmological model is studied. When it is necessary, the connection of our theory and the dynamical system of other well-known theories is discussed.


title: Solitary wave solutions of several nonlinear PDEs modeling shallow water waves

abstract: We apply the version of the method of simplest equation called modified method of simplest equation for obtaining exact traveling wave solutions of a class of equations that contain as particular case a nonlinear PDE that models shallow water waves in viscous fluid (Topper-Kawahara equation). As simplest equation we use a version of the Riccati equation. We obtain two exact traveling wave solutions of equations from the studied class of equations and discuss the question of imposing boundary conditions on one of these solutions.


title: Learning Functional Causal Models with Generative Neural Networks

abstract: We introduce a new approach to functional causal modeling from observational data, called Causal Generative Neural Networks (CGNN). CGNN leverages the power of neural networks to learn a generative model of the joint distribution of the observed variables, by minimizing the Maximum Mean Discrepancy between generated and observed data. An approximate learning criterion is proposed to scale the computational cost of the approach to linear complexity in the number of observations. The performance of CGNN is studied throughout three experiments. Firstly, CGNN is applied to cause-effect inference, where the task is to identify the best causal hypothesis out of $X\rightarrow Y$ and $Y\rightarrow X$. Secondly, CGNN is applied to the problem of identifying v-structures and conditional independences. Thirdly, CGNN is applied to multivariate functional causal modeling: given a skeleton describing the direct dependences in a set of random variables $\textbf{X} = [X_1, \ldots, X_d]$, CGNN orients the edges in the skeleton to uncover the directed acyclic causal graph describing the causal structure of the random variables. On all three tasks, CGNN is extensively assessed on both artificial and real-world data, comparing favorably to the state-of-the-art. Finally, CGNN is extended to handle the case of confounders, where latent variables are involved in the overall causal model.


title: On modulated ergodic theorems

abstract: Let $T$ be a weakly almost periodic (WAP) linear operator on a Banach space $X$. A sequence of scalars $(a_n)_{n\ge 1}$ {\it modulates} $T$ on $Y \subset X$ if $\frac1n\sum_{k=1}^n a_kT^k x$ converges in norm for every $x \in Y$. We obtain a sufficient condition for $(a_n)$ to modulate every WAP operator on the space of its flight vectors, a necessary and sufficient condition for (weakly) modulating every WAP operator $T$ on the space of its (weakly) stable vectors, and sufficient conditions for modulating every contraction on a Hilbert space on the space of its weakly stable vectors. We study as an example modulation by the modified von Mangoldt function $\Lambda'(n):=\log n1_\mathbb P(n)$ (where $\mathbb P =(p_k)_{k\ge 1}$ is the sequence of primes), and show that, as in the scalar case, convergence of the corresponding modulated averages is equivalent to convergence of the averages along the primes $\frac1n\sum_{k=1}^n T^{p_k}x$. We then prove that for any contraction $T$ on a Hilbert space $H$ and $x \in H$, and also for every invertible $T$ with $\sup_{n \in \mathbb Z} \|T^n\| <\infty$ on $L^r(\Omega,\mu)$ ($1<r< \infty$) and $f \in L^r$, the averages along the primes converge.


title: Late time sky as a probe of steps and oscillations in primordial Universe

abstract: The standard model of cosmology with nearly Gaussian, isotropic, scale invariant and adiabatic initial conditions describes the cosmological observations well. However, the study of any deviation from the mentioned conditions will open up a new horizon to the physics of early universe. In this work, we study the effect of the oscillatory and step-like features in potentials of inflationary models in late time large scale structure observations. Mainly we study the matter power spectrum, number density of the structures, dark matter halo bias and specifically CMB lensing. We show that the oscillatory models can introduce some degeneracy with late time effects on BAO scale. We also conclude that high frequency oscillatory models which are favored by Planck data do not have significant effect on the non linear structure formation. Finally we show that inflationary models with step functions which deviates from the standard model in small scales $l \leq 1 Mpc$ can be constrained by future experiments via CMB lensing. We propose the idea that CMB lensing is a bias independent observation which can be used as a small scale physics probe due to distribution of the lenses in low redshifts. Meantime this model can alter the prediction of the cosmological model for the number density of small structures and can be used as a probable explanation for galactic scale crisis of $\Lambda$CDM.


title: Cystoid macular edema segmentation of Optical Coherence Tomography images using fully convolutional neural networks and fully connected CRFs

abstract: In this paper we present a new method for cystoid macular edema (CME) segmentation in retinal Optical Coherence Tomography (OCT) images, using a fully convolutional neural network (FCN) and a fully connected conditional random fields (dense CRFs). As a first step, the framework trains the FCN model to extract features from retinal layers in OCT images, which exhibit CME, and then segments CME regions using the trained model. Thereafter, dense CRFs are used to refine the segmentation according to the edema appearance. We have trained and tested the framework with OCT images from 10 patients with diabetic macular edema (DME). Our experimental results show that fluid and concrete macular edema areas were segmented with good adherence to boundaries. A segmentation accuracy of $0.61\pm 0.21$ (Dice coefficient) was achieved, with respect to the ground truth, which compares favourably with the previous state-of-the-art that used a kernel regression based method ($0.51\pm 0.34$). Our approach is versatile and we believe it can be easily adapted to detect other macular defects.


title: Laser spectroscopic characterization of the nuclear clock isomer $^{229m}$Th

abstract: The isotope $^{229}$Th is the only nucleus known to possess an excited state $^{229m}$Th in the energy range of a few electron volts, a transition energy typical for electrons in the valence shell of atoms, but about four orders of magnitude lower than common nuclear excitation energies. A number of applications of this unique nuclear system, which is accessible by optical methods, have been proposed. Most promising among them appears a highly precise nuclear clock that outperforms existing atomic timekeepers. Here we present the laser spectroscopic investigation of the hyperfine structure of $^{229m}$Th$^{2+}$, yielding values of fundamental nuclear properties, namely the magnetic dipole and electric quadrupole moments as well as the nuclear charge radius. After the recent direct detection of this long-searched-for isomer, our results now provide detailed insight into its nuclear structure and present a method for its non-destructive optical detection.


title: Holographic model for charmonium dissociation

abstract: We present a holographic bottom up model for the thermal behavior of $ c \bar c$ vector mesons in a finite temperature and density plasma. There is a clear physical interpretation for the three imput energy parameters of the model. Two of them are related to the mass spectrum of the heavy meson. Namely the quark mass and the string tension of the quark anti-quark interaction. The third parameter is a large energy scale associated with the non-hadronic meson decay. In such a process the heavy meson is transformed into a much lighter state by electroweak processes. The corresponding transition amplitude is assumed to depend on the enegy scale associated with this large mass variation. With this three parameter model one can fit the masses and decay constants of $ J / \Psi $ and three radial excitations with an rms error of 20.7 %. Using the geometry of a charged black hole, one finds the spectral function for charmonium states inside a plasma at finite temperature and density. The charmonium dissociation in the medium is represented by the decrease in the height of the spectral function peaks.


title: Combination of inclusive and differential $\mathrm{t}\overline{\mathrm{t}}$ charge asymmetry measurements using ATLAS and CMS data at $\sqrt{s} =$ 7 and 8 TeV

abstract: This paper presents combinations of inclusive and differential measurements of the charge asymmetry ($A_{\mathrm{C}}$) in top quark pair ($\mathrm{t}\overline{\mathrm{t}}$) events with a lepton+jets signature by the ATLAS and CMS Collaborations, using data from LHC proton-proton collisions at centre-of-mass energies of 7 and 8 TeV corresponding to integrated luminosities of about 5 and 20 fb$^{-1}$ for each experiment, respectively. The resulting combined LHC measurements of the inclusive charge asymmetry are $A_{\mathrm{C}}^{\mathrm{LHC7}} = 0.005 \pm0.007 \text{ (stat)}\pm0.006 \text{ (syst)}$ at 7 TeV and $A_{\mathrm{C}}^{\mathrm{LHC8}} = 0.0055 \pm0.0023\text{ (stat)}\pm0.0025\text{ (syst)}$ at 8 TeV. These values, as well as the combination of $A_{\mathrm{C}}$ measurements as a function of the invariant mass of the $\mathrm{t}\overline{\mathrm{t}}$ system at 8 TeV, are consistent with the respective standard model predictions.


title: Granger Mediation Analysis of Multiple Time Series with an Application to fMRI

abstract: It becomes increasingly popular to perform mediation analysis for complex data from sophisticated experimental studies. In this paper, we present Granger Mediation Analysis (GMA), a new framework for causal mediation analysis of multiple time series. This framework is motivated by a functional magnetic resonance imaging (fMRI) experiment where we are interested in estimating the mediation effects between a randomized stimulus time series and brain activity time series from two brain regions. The stable unit treatment assumption for causal mediation analysis is thus unrealistic for this type of time series data. To address this challenge, our framework integrates two types of models: causal mediation analysis across the variables and vector autoregressive models across the temporal observations. We further extend this framework to handle multilevel data to address individual variability and correlated errors between the mediator and the outcome variables. These models not only provide valid causal mediation for time series data but also model the causal dynamics across time. We show that the modeling parameters in our models are identifiable, and we develop computationally efficient methods to maximize the likelihood-based optimization criteria. Simulation studies show that our method reduces the estimation bias and improve statistical power, compared to existing approaches. On a real fMRI data set, our approach not only infers the causal effects of brain pathways but accurately captures the feedback effect of the outcome region on the mediator region.


title: Local tests of gravitation with Gaia observations of Solar System Objects

abstract: In this proceeding, we show how observations of Solar System Objects with Gaia can be used to test General Relativity and to constrain modified gravitational theories. The high number of Solar System objects observed and the variety of their orbital parameters associated with the impressive astrometric accuracy will allow us to perform local tests of General Relativity. In this communication, we present a preliminary sensitivity study of the Gaia observations on dynamical parameters such as the Sun quadrupolar moment and on various extensions to general relativity such as the parametrized post-Newtonian parameters, the fifth force formalism and a violation of Lorentz symmetry parametrized by the Standard-Model extension framework. We take into account the time sequences and the geometry of the observations that are particular to Gaia for its nominal mission (5 years) and for an extended mission (10 years).