title: Critical fluctuations and slowing down of chaos

abstract: Fluids cooled to the liquid-vapor critical point develop system-spanning fluctuations in density that transform their visual appearance. Despite the rich phenomenology of this critical point, there is not currently an explanation of the underlying mechanical instability. How do structural correlations in molecular positions overcome the destabilizing force of deterministic chaos in the molecular dynamics? Here, we couple techniques from nonlinear dynamics and statistical physics to analyze the emergence of this singular state. Our numerical simulations reveal that the ordering mechanisms of critical dynamics are directly measurable through the hierarchy of spatiotemporal Lyapunov modes. A subset of unstable modes softens near the critical point, with a marked suppression in their characteristic exponents reflecting a weakened sensitivity to initial conditions. Finite-time fluctuations in these exponents, however, exhibit diverging dynamical timescales and power law signatures of critical dynamics. Collectively, these results are symptomatic of a critical slowing down of chaos that sits at the root of our statistical understanding of the singular thermodynamic responses at the liquid-vapor critical point.


title: Ethnographie de la structuration d'un corpus collectif de messages de soutien social en ligne

abstract: In this paper, we propose a study of progressive development of the structure of corpus collected starting from the discussion forums. These are the first results from an ethnographic description of constitution and analysis practices of a corpus located within an interdisciplinary project. At first, we describe the personal digital documents folder of a researcher, relative to his corpus analysis of interactions of social support online. Next, we examine the constitution of a shared corpus, result of the pooling of individual corpora, small size, produced by researchers participating in the project, each individual corpus reflecting his producer's perspectives of research.


title: Edge modes and Surface-Preserving Symmetries in Einstein-Maxwell Theory

abstract: Einstein-Maxwell theory is not only covariant under diffeomorphisms but also is under $U(1)$ gauge transformations. We introduce a combined transformation constructed out of diffeomorphism and $U(1)$ gauge transformation. We show that symplectic potential, which is defined in covariant phase space method, is not invariant under combined transformations. In order to deal with that problem, following Donnelly and Freidel proposal \cite{1}, we introduce new fields. In this way, phase space and consequently symplectic potential will be extended. We show that new fields produce edge modes. We consider surface-preserving symmetries and we show that the group of surface-preserving symmetries is semi-direct sum of 2-dimensional diffeomorphism group on a spacelike codimension two surface with $SL(2,\mathbb{R})$ and $U(1)$. Eventually, we deduce that the Casimir of $SL(2,\mathbb{R})$ is the area element, similar to the pure gravity case \cite{1}.


title: Application of Bounded Total Variation Denoising in Urban Traffic Analysis

abstract: While it is believed that denoising is not always necessary in many big data applications, we show in this paper that denoising is helpful in urban traffic analysis by applying the method of bounded total variation denoising to the urban road traffic prediction and clustering problem. We propose two easy-to-implement methods to estimate the noise strength parameter in the denoising algorithm, and apply the denoising algorithm to GPS-based traffic data from Beijing taxi system. For the traffic prediction problem, we combine neural network and history matching method for roads randomly chosen from an urban area of Beijing. Numerical experiments show that the predicting accuracy is improved significantly by applying the proposed bounded total variation denoising algorithm. We also test the algorithm on clustering problem, where a recently developed clustering analysis method is applied to more than one hundred urban road segments in Beijing based on their velocity profiles. Better clustering result is obtained after denoising.


title: Ultra-Conformable Free-Standing Capacitors Based on Ultrathin Polyvinyl Formal Films

abstract: Conformable Electronics refers to a class of electronic devices that have the ability to conformally adhere onto non-planar surfaces and materials, resulting particularly appealing for skin applications, such as the case of skin-worn unobtrusive (bio)sensors for healthcare monitoring. Conformability can be addressed by integrating basic electronic components on ultrathin polymeric film substrates. Among other basic electronic components, capacitors are fundamental ones for energy storage, sensing, frequency tuning, impedance adaptation and signal processing. In this work we present a novel approach for conformable capacitors based on a free-standing, ultrathin and ultra-conformable nanosheets of poly (vinyl formal) (PVF), which serve both as structural and dielectric component of the capacitor. A novel fabrication approach is proposed and applied to fully free-standing ultrathin capacitors fabrication, having an overall thickness as low as 200 nm; that represents, to the best of our knowledge, the thinnest free-standing capacitors ever reported. Thanks to the ultra-low thickness, the proposed capacitors are able to sustain flexure to extremely small curvature radii (as low as 1.5 {\mu}m) and to conform to complex surfaces, such as a nylon mesh with micrometric texture without compromising their operation.


title: Few Cuts Meet Many Point Sets

abstract: We study the problem of how to breakup many point sets in $\mathbb{R}^d$ into smaller parts using a few splitting (shared) hyperplanes. This problem is related to the classical Ham-Sandwich Theorem. We provide a logarithmic approximation to the optimal solution using the greedy algorithm for submodular optimization.


title: On a new integrable generalization of the Toda lattice and a discrete Yajima-Oikawa system

abstract: We propose a new integrable generalization of the Toda lattice wherein the original Flaschka-Manakov variables are coupled to newly introduced dependent variables; the general case wherein the additional dependent variables are vector-valued is considered. This generalization admits a Lax pair based on an extension of the Jacobi operator, an infinite number of conservation laws and, in a special case, a simple Hamiltonian structure. In fact, the second flow of this generalized Toda hierarchy reduces to the usual Toda lattice when the additional dependent variables vanish; the first flow of the hierarchy reduces to a long wave-short wave interaction model, known as the Yajima-Oikawa system, in a suitable continuous limit. This integrable discretization of the Yajima-Oikawa system is essentially different from the discrete Yajima-Oikawa system proposed in arXiv:1509.06996 (also see https://link.aps.org/doi/10.1103/PhysRevE.91.062902) and studied in arXiv:1804.10224. Two integrable discretizations of the nonlinear Schr\"odinger hierarchy, the Ablowitz-Ladik hierarchy and the Konopelchenko-Chudnovsky hierarchy, are contained in the generalized Toda hierarchy as special cases.


title: Proton-transfer induced fluorescence in self assembled short peptides

abstract: We employ Molecular Dynamics (MD) and Time-Dependent Density Functional Theory (TDDFT) to explore the fluorescence of Hydrogen-bonded dimer and trimer structures of Cyclic FF (Phe- Phe) molecules. We show that in some of these configurations a photon can induce either an \textit{intra}-molecular proton transfer, or an \textit{inter}-molecular proton transfer that can occur in the excited S1 and S2 states. This proton transfer, taking place within the Hydrogen bond, leads to a significant red-shift that can explain the experimentally observed visible fluorescence in biological and bioinspired peptide nanostructures with a $\beta$-sheet biomolecular arrangement. Finally, we also show that such proton transfer is highly sensitive to the geometrical bonding of the dimers and trimers, and that it occurs only in specific configurations allowed by the formation of Hydrogen bonds.


title: A theory of reparameterizations for AdS$_3$ gravity

abstract: We rewrite the Chern-Simons description of pure gravity on global AdS$_3$ and on Euclidean BTZ black holes as a quantum field theory on the AdS boundary. The resulting theory is (two copies of) the path integral quantization of a certain coadjoint orbit of the Virasoro group, and it should be regarded as the quantum field theory of the boundary gravitons. This theory respects all of the conformal field theory axioms except one: it is not modular invariant. The coupling constant is $1/c$ with $c$ the central charge, and perturbation theory in $1/c$ encodes loop contributions in the gravity dual. The QFT is a theory of reparametrizations analogous to the Schwarzian description of nearly AdS$_2$ gravity, and has several features including: (i) it is ultraviolet-complete; (ii) the torus partition function is the vacuum Virasoro character, which is one-loop exact by a localization argument; (iii) it reduces to the Schwarzian theory upon compactification; (iv) it provides a powerful new tool for computing Virasoro blocks at large $c$ via a diagrammatic expansion. We use the theory to compute several observables to one-loop order in the bulk, including the "heavy-light" limit of the identity block. We also work out some generalizations of this theory, including the boundary theory which describes fluctuations around two-sided eternal black holes.


title: A phase field formulation for hydrogen assisted cracking

abstract: We present a phase field modeling framework for hydrogen assisted cracking. The model builds upon a coupled mechanical and hydrogen diffusion response, driven by chemical potential gradients, and a hydrogen-dependent fracture energy degradation law grounded on first principles calculations. The coupled problem is solved in an implicit time integration scheme, where displacements, phase field order parameter and hydrogen concentration are the primary variables. We show that phase field formulations for fracture are particularly suitable to capture material degradation due to hydrogen. Specifically, we model (i) unstable crack growth in the presence of hydrogen, (ii) failure stress sensitivity to hydrogen content in notched specimens, (iii) cracking thresholds under constant load, (iv) internal hydrogen assisted fracture in cracked specimens, and (v) complex crack paths arising from corrosion pits. Computations reveal a good agreement with experiments, highlighting the predictive capabilities of the present scheme. The work could have important implications for the prediction and prevention of catastrophic failures in corrosive environments. The finite element code developed can be downloaded from www.empaneda.com/codes


title: A Hybrid Recommender System for Patient-Doctor Matchmaking in Primary Care

abstract: We partner with a leading European healthcare provider and design a mechanism to match patients with family doctors in primary care. We define the matchmaking process for several distinct use cases given different levels of available information about patients. Then, we adopt a hybrid recommender system to present each patient a list of family doctor recommendations. In particular, we model patient trust of family doctors using a large-scale dataset of consultation histories, while accounting for the temporal dynamics of their relationships. Our proposed approach shows higher predictive accuracy than both a heuristic baseline and a collaborative filtering approach, and the proposed trust measure further improves model performance.


title: A quantum related-key attack based on Bernstein-Vazirani algorithm

abstract: Due to the powerful computing capability of quantum computers, cryptographic researchers have applied quantum algorithms to cryptanalysis and obtained many interesting results in recent years. In this paper, we study related-key attack in the quantum setting, and proposed a specific related-key attack which can recover the key of block ciphers efficiently, as long as the attacked block ciphers satisfy certain conditions. The attack algorithm employs Bernstein-Vazirani algorithm as a subroutine and requires the attacker to query the encryption oracle with quantum superpositions. Afterwards, we rigorously demonstrate the validity of the attack and analyze its complexity. Our work shows that related-key attack is quite powerful when combined with quantum algorithms, and provides some guidance for the design of block ciphers that are secure against quantum adversaries.


title: Non-invasive Focusing Through Scattering Layers Using Speckle-Correlations

abstract: Angular speckle correlations known as the 'memory-effect' have recently been exploited for non-invasive imaging through scattering layers. Here, we show how the imaging information obtained from speckle correlations can be used as a noninvasive feedback mechanism for wavefront shaping. We utilize this feedback to demonstrate guide-star free noninvasive focusing of coherent light through highly scattering layers.


title: Strong-I^K-Convergence in Probabilistic Metric Spaces

abstract: In this paper we study the idea of strong-I^K-convergence of functions which is common generalization of strong-I*-convergence of functions in probabilistic metric spaces. We also study strong-I^K-limit points of functions in the same space.


title: Intrinsic ultracontractivity for fractional Schr\"odinger operators

abstract: We establish sharp pointwise estimates for the ground states of some singular fractional Schr\"odinger operators on relatively compact Euclidean subsets. The considered operators are of the type $(-\Delta)^{\alpha/2}|_\Omega-V$, where $V\in L^1_{Loc}$ and $(-\Delta)^{\alpha/2}|_\Omega$ is the fractional-Laplacian on an open subset $\Omega$ in $\mathbb{R}^d$ with zero exterior condition . The intrinsic ultracontractivity property for such operators is discussed as well and a sharp large time asymptotic for their heat kernels is derived.


title: Rectifying curves on a smooth surface immersed in the euclidean space

abstract: The main objective of the present paper is to investigate a sufficient condition for which a rectifying curve on a smooth surface remains invariant under isometry of surfaces, and also it is shown that under such an isometry the component of the position vector of a rectifying curve on a smooth surface along the normal to the surface is invariant.


title: Swapping space for time: An alternative to time-domain interferometry

abstract: Young's double-slit experiment requires two waves produced simultaneously at two different points in space. In quantum mechanics the waves correspond to a single quantum object, even as complex as a big molecule. An interference is present as long as one cannot tell for sure which slit is chosen by the object. The more we know about the path, the worse the interference. In the paper we show that quantum mechanics allows for a dual version of the phenomenon: self-interference of waves propagating through a single slit but at different moments of time. The effect occurs for time-independent Hamiltonians and thus should not be confused with Moshinsky-type time-domain interference, a consequence of active modulation of parameters of the system (oscillating mirrors, chopped beams, time-dependent apertures, moving gratings, etc.). The discussed phenomenon is counterintuitive even for those who are trained in quantum interferometry. For example, the more we know about the trajectory in space, the better the interference. Exactly solvable models lead to formulas deceptively similar to those from a Youngian analysis. There are reasons to believe that this new type of quantum interference was already observed in atomic interferometry almost three decades ago, but was misinterpreted and thus rejected as an artifact of unknown origin.


title: The Common Path of SOXS (Son of X-Shooter)

abstract: Son of X-Shooter (SOXS) will be a high-efficiency spectrograph with a mean Resolution-Slit product of $\sim 4500$ (goal 5000) over the entire band capable of simultaneously observing the complete spectral range 350-2000 nm. It consists of three scientific arms (the UV-VIS Spectrograph, the NIR Spectrograph and the Acquisition Camera) connected by the Common Path system to the NTT and the Calibration Unit. The Common Path is the backbone of the instrument and the interface to the NTT Nasmyth focus flange. The light coming from the focus of the telescope is split by the common path optics into the two different optical paths in order to feed the two spectrographs and the acquisition camera. The instrument project went through the Preliminary Design Review in 2017 and is currently in Final Design Phase (with FDR in July 2018). This paper outlines the status of the Common Path system and is accompanied by a series of contributions describing the SOXS design and properties after the instrument Preliminary Design Review.


title: Random forest prediction of Alzheimer's disease using pairwise selection from time series data

abstract: Time-dependent data collected in studies of Alzheimer's disease usually has missing and irregularly sampled data points. For this reason time series methods which assume regular sampling cannot be applied directly to the data without a pre-processing step. In this paper we use a machine learning method to learn the relationship between pairs of data points at different time separations. The input vector comprises a summary of the time series history and includes both demographic and non-time varying variables such as genetic data. The dataset used is from the 2017 TADPOLE grand challenge which aims to predict the onset of Alzheimer's disease using including demographic, physical and cognitive data. The challenge is a three-fold diagnosis classification into AD, MCI and control groups, the prediction of ADAS-13 score and the normalised ventricle volume. While the competition proceeds, forecasting methods may be compared using a leaderboard dataset selected from the Alzheimer's Disease Neuroimaging Initiative (ADNI) and with standard metrics for measuring accuracy. For diagnosis, we find an mAUC of 0.82, and a classification accuracy of 0.73. The results show that the method is effective and comparable with other methods.


title: Introducing Computer Science to High School Students through Logic Programming

abstract: This paper investigates how high school students in an introductory computer science course approach computing in the Logic Programming (LP) paradigm. This qualitative study shows how novice students operate within the LP paradigm while engaging in foundational computing concepts and skills: students are engaged in a cyclical process of abstraction, reasoning, and creating representations of their ideas in code while also being informed by the (procedural) requirements and the revision/debugging process. As these computing concepts and skills are also expected in traditional approaches to introductory K-12 CS courses, this paper asserts that LP is a viable paradigm choice for high school novices. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).


title: A Study of Fatou Set, Julia set and Escaping Set in Conjugate Transcendental Semigroup

abstract: We define commutator of a transcendental semigroup, and on the basis of this concept, we define conjugate semigroup. We prove that the conjugate semigroup is nearly abelian if and only if the given semigroup is nearly abelian. We also prove that image of each of escaping set, Julia set and Fatou set under commutator (affine complex conjugating maps) is equal to respectively escaping set, Julia set and Fatou set of conjugate semigroup. Finally, we prove that every element of the nearly abelian semigroup $ S $ can be written as the composition of an element from the set generated by the set of commutators $ \Phi(S) $ and the composition of the certain powers of its generators.


title: Reactor Neutrino Spectral Distortions Play Little Role in Mass Hierarchy Experiments

abstract: The Coulomb enhancement of low energy electrons in nuclear beta decay generates sharp cutoffs in the accompanying antineutrino spectrum at the beta decay endpoint energies. It has been conjectured that these features will interfere with measuring the effect of a neutrino mass hierarchy on an oscillated nuclear reactor antineutrino spectrum. These sawtooth-like features will appear in detailed reactor antineutrino spectra, with characteristic energy scales similar to the oscillation period critical to neutrino mass hierarchy determination near a 53 km baseline. However, these sawtooth-like distortions are found to contribute at a magnitude of only a few percent relative to the mass hierarchy-dependent oscillation pattern in Fourier space. In the Fourier cosine and sine transforms, the features that encode a neutrino mass hierarchy dominate by over sixteen (thirty-three) times in prominence to the maximal contribution of the sawtooth-like distortions from the detailed energy spectrum, given $3.2\%/\sqrt{E_\mathrm{vis.}/\mathrm{MeV}}$ (perfect) detector energy resolution. The effect of these distortions is shown to be negligible even when the uncertainties in the reactor spectrum, oscillation parameters, and counting statistics are considered. This result is shown to hold even when the opposite hierarchy oscillation patterns are nearly degenerate in energy space, if energy response nonlinearities are controlled to below 0.5\%. Therefore with accurate knowledge of detector energy response, the sawtooth-like features in reactor antineutrino spectra will not significantly impede neutrino mass hierarchy measurements using reactor antineutrinos.


title: VerIDeep: Verifying Integrity of Deep Neural Networks through Sensitive-Sample Fingerprinting

abstract: Deep learning has become popular, and numerous cloud-based services are provided to help customers develop and deploy deep learning applications. Meanwhile, various attack techniques have also been discovered to stealthily compromise the model's integrity. When a cloud customer deploys a deep learning model in the cloud and serves it to end-users, it is important for him to be able to verify that the deployed model has not been tampered with, and the model's integrity is protected. We propose a new low-cost and self-served methodology for customers to verify that the model deployed in the cloud is intact, while having only black-box access (e.g., via APIs) to the deployed model. Customers can detect arbitrary changes to their deep learning models. Specifically, we define \texttt{Sensitive-Sample} fingerprints, which are a small set of transformed inputs that make the model outputs sensitive to the model's parameters. Even small weight changes can be clearly reflected in the model outputs, and observed by the customer. Our experiments on different types of model integrity attacks show that we can detect model integrity breaches with high accuracy ($>$99\%) and low overhead ($<$10 black-box model accesses).


title: The vertical motion history of disk stars throughout the Galaxy

abstract: It has long been known that the vertical motions of Galactic disk stars increase with stellar age, commonly interpreted as vertical heating through orbit scattering. Here we map the vertical actions of disk stars as a function of age ($\tau\le$ 8 Gyrs) and across a large range of Galactocentric radii, $\overline{R}_{\rm GC}$, drawing on APOGEE and Gaia data. We fit $\widehat{J_z}(\overline{R}_{\rm GC},\tau )$ as a combination of the vertical action at birth, $\widehat{J_{z,0}}$, and subsequent heating $\widehat{\Delta J_z}_{\, {\rm 1Gyr}}(\overline{R}_{\rm GC})$ that scales as $\tau^{\gamma(\overline{R}_{\rm GC})}$. The inferred birth temperature, $\widehat{J_{z,0}}(\overline{R}_{\rm GC})$ is 1 kpc km/s for 3 kpc < $\overline{R}_{\rm GC}$ < 10 kpc, consistent with the ISM velocity dispersion; but it rapidly rises outward, to 8 kpc km/s for $\overline{R}_{\rm GC}$ = 14 kpc, likely reflecting the stars' birth in a warped or flared gas disk. We find the heating rate $\widehat{\Delta J_z}_{\, {\rm 1Gyr}}$ to be modest and nearly constant across all radii, 1.6 kpc km/s Gyr$^{-1}$. The stellar age dependence $\gamma$ gently grows with Galactocentric radius, from $\gamma \simeq$ 1 for $\overline{R}_{\rm GC}\lesssim R_\odot$ to $\gamma \simeq$ 1.3 at $\overline{R}_{\rm GC}$ =14 kpc. The observed $J_z - \tau$ relation at all radii is considerably steeper ($\gamma\gtrsim$ 1) than the time dependence theoretically expected from orbit scattering, $J_z\propto t^{0.5}$. We illustrate how this conundrum can be resolved if we also account for the fact that at earlier epochs the scatterers were more common, and the restoring force from the stellar disk surface mass density was low. Our analysis may re-instate gradual orbital scattering as a plausible and viable mechanism to explain the age-dependent vertical motions of disk stars.


title: Probing star formation in galaxies at $z \approx 1$ via a Giant Metrewave Radio Telescope stacking analysis

abstract: We have used the Giant Metrewave Radio Telescope (GMRT) to carry out deep 610 MHz continuum imaging of four sub-fields of the DEEP2 Galaxy Redshift Survey. We stacked the radio emission in the GMRT images from a near-complete (absolute blue magnitude ${\rm M_B} \leq -21$) sample of 3698 blue star-forming galaxies with redshifts $0.7 \lesssim z \lesssim 1.45$ to detect (at $\approx 17\sigma$ significance) the median rest-frame 1.4 GHz radio continuum emission of the sample galaxies. The stacked emission is unresolved, with a rest-frame 1.4 GHz luminosity of $\rm L_{1.4 \; GHz} = (4.13 \pm 0.24) \times 10^{22}$ W Hz$^{-1}$. We used the local relation between total star formation rate (SFR) and 1.4 GHz luminosity to infer a median total SFR of $\rm (24.4 \pm 1.4)\; M_\odot$ yr$^{-1}$ for blue star-forming galaxies with $\rm M_B \leq -21$ at $0.7 \lesssim z \lesssim 1.45$. We detect the main-sequence relation between SFR and stellar mass, $\rm M_\star$, obtaining $\rm SFR = (13.4 \pm 1.8) \times [(M_{\star}/(10^{10} \;M_\odot)]^{0.73 \pm 0.09} \; M_\odot \; yr^{-1}$; the power-law index shows no change over $z \approx 0.7 - 1.45$. We find that the nebular line emission suffers less extinction than the stellar continuum, contrary to the situation in the local Universe; the ratio of nebular extinction to stellar extinction increases with decreasing redshift. We obtain an upper limit of 0.87 Gyr to the atomic gas depletion time of a sub-sample of the DEEP2 galaxies at $z \approx 1.3$; neutral atomic gas thus appears to be a transient phase in high-$z$ star-forming galaxies.


title: A Giant Metrewave Radio Telescope survey for associated HI 21-cm absorption in the Caltech-Jodrell Flat-spectrum sample

abstract: We report a Giant Metrewave Radio Telescope (GMRT) survey for associated HI 21-cm absorption from 50 active galactic nuclei (AGNs), at $z \approx 0.04 - 3.01$, selected from the Caltech-Jodrell Bank Flat-spectrum (CJF) sample. Clean spectra were obtained towards 40 sources, yielding two new absorption detections, at $z = 0.229$ towards TXS 0003+380 and $z = 0.333$ towards TXS 1456+375, besides confirming an earlier detection, at $z = 1.277$ towards TXS 1543+480. There are 92 CJF sources, at $0.01 \lesssim z \lesssim 3.6$, with searches for associated HI 21-cm absorption, by far the largest uniformly-selected AGN sample with searches for such absorption. We find weak ($\approx 2\sigma$) evidence for a lower detection rate of HI 21-cm absorption at high redshifts, with detection rates of $28^{+10}_{-8}$\% and $7^{+6}_{-4}$\% in the low-$z$ ($z < z_{\rm med}$) and high-$z$ ($z > z_{\rm med}$) sub-samples, respectively. We use two-sample tests to find that the strength of the HI 21-cm absorption in the AGNs of our sample depends on both redshift and AGN luminosity, with a lower detection rate and weaker absorption at high redshifts and high ultraviolet/radio AGN luminosities. Unfortunately, the luminosity bias in our sample, with high-luminosity AGNs arising at high redshifts, implies that it is not currently possible to identify whether redshift evolution or AGN luminosity is the primary cause of the weaker absorption in high-$z$, high-luminosity AGNs. We find that the strength of HI 21-cm absorption does not depend on AGN colour, suggesting that dust extinction is not the main cause of reddening in the CJF sample.


title: Who Falls for Online Political Manipulation?

abstract: Social media, once hailed as a vehicle for democratization and the promotion of positive social change across the globe, are under attack for becoming a tool of political manipulation and spread of disinformation. A case in point is the alleged use of trolls by Russia to spread malicious content in Western elections. This paper examines the Russian interference campaign in the 2016 US presidential election on Twitter. Our aim is twofold: first, we test whether predicting users who spread trolls' content is feasible in order to gain insight on how to contain their influence in the future; second, we identify features that are most predictive of users who either intentionally or unintentionally play a vital role in spreading this malicious content. We collected a dataset with over 43 million elections-related posts shared on Twitter between September 16 and November 9, 2016, by about 5.7 million users. This dataset includes accounts associated with the Russian trolls identified by the US Congress. Proposed models are able to very accurately identify users who spread the trolls' content (average AUC score of 96%, using 10-fold validation). We show that political ideology, bot likelihood scores, and some activity-related account meta data are the most predictive features of whether a user spreads trolls' content or not.


title: Color centers in diamond as novel probes of superconductivity

abstract: Magnetic imaging using color centers in diamond through both scanning and wide-field methods offers a combination of unique capabilities for studying superconductivity, for example, enabling accurate vector magnetometry at high temperature or high pressure, with spatial resolution down to the nanometer scale. The paper briefly reviews various experimental modalities in this rapidly developing nascent field and provides an outlook towards possible future directions.


title: The frog model on trees with drift

abstract: We provide a uniform upper bound on the minimal drift so that the one-per-site frog model on a $d$-ary tree is recurrent. To do this, we introduce a subprocess that couples across trees with different degrees. Finding couplings for frog models on nested sequences of graphs is known to be difficult. The upper bound comes from combining the coupling with a new, simpler proof that the frog model on a binary tree is recurrent when the drift is sufficiently strong. Additionally, we describe a coupling between frog models on trees for which the degree of the smaller tree divides that of the larger one. This implies that the critical drift has a limit as $d$ tends to infinity along certain subsequences.


title: HST F160W Imaging of Very Massive Galaxies at $1.5<z<3.0$: Diversity of Structures and the Effect of Close Pairs on Number Density Estimates

abstract: We present a targeted follow-up Hubble Space Telescope WFC3 F160W imaging study of very massive galaxies $(\log(M_{\rm{star}}/M_{\odot})> 11.2)$ selected from a combination of ground-based near-infrared galaxy surveys (UltraVISTA, NMBS-II, UKIDSS UDS) at $1.5<z<3$. We find that these galaxies are diverse in their structures, with $\sim1/3$ of the targets being composed of close pairs, and span a wide range in sizes. At $1.5<z<2.5$, the sizes of both star-forming and quiescent galaxies are consistent with the extrapolation of the stellar mass-size relations determined at lower stellar masses. At $2.5<z<3.0$, however, we find evidence that quiescent galaxies are systematically larger than expected based on the extrapolation of the relation derived using lower stellar mass galaxies. We used the observed light profiles of the blended systems to decompose their stellar masses and investigate the effect of the close pairs on the measured number densities of very massive galaxies in the early universe. We estimate correction factors to account for close-pair blends and apply them to the observed stellar mass functions measured using ground-based surveys. Given the large uncertainties associated with this extreme population of galaxies, there is currently little tension between the (blending-corrected) number density estimates and predictions from theoretical models. Although we currently lack the statistics to robustly correct for close-pair blends, we show that this is a systematic effect which can reduce the observed number density of very massive galaxies by up to a factor of $\sim1.5$, and should be accounted for in future studies of stellar mass functions.


title: The HH30 edge-on T Tauri star A rotating and precessing monopolar outflow scrutinized by ALMA

abstract: The disk-outflow connection is thought to play a key role in extracting excess angular momentum from a forming protostar. We present ALMA 0.25" angular resolution observations - in the dust continuum at 1.33 mm and of the molecular line transitions of $^{12}$CO(2-1) and $^{13}$CO(2-1) - of the circumstellar disk and outflow around the T Tauri star HH30, a rare and beautiful example of a pre-main sequence star exhibiting a flared edge-on disk, an optical jet, and a CO molecular outflow. The 1.3 mm continuum emission shows a remarkable elongated morphology along PA=31.2{\deg}+/-0.1{\deg} that has a constant brightness out to a radius of r=75 au. The emission is marginally resolved in the transverse direction, implying an intrinsic vertical width $\leq$24 au and an inclination to the line-of-sight i$\geq$84.8{\deg}. The monopolar outflow, detected in $^{12}$CO, arises from the north-eastern face of the disk from a disk radius r$\leq$22 au and extends up to 5" (or 700 au) above the disk plane. We derive a lower limit to the total mass of the CO cavity/outflow of 1.7E-5 M$_\odot$. The CO cavity morphology is that of a hollow cone with semi-opening angle ~35{\deg}. The derived kinematics are consistent with gas flowing along the conical surface with a constant velocity of 9.3+/-0.7 km/s. We detect small rotation signatures (Vphi x sin(i) $\in$ [0.1;0.5] km/s) in the same sense as the underlying circumstellar disk. From these rotation signatures we infer an average specific angular momentum of the outflow of 38+/-15 au km/s at altitudes z<250 au. We also report the detection of small amplitude wiggling (1.2{\deg}) of the CO axis around an average inclination to the line of sight of i=91{\deg}. The derived morphology and kinematics of the CO cavity are compatible with expectations from a slow disk wind, originating either through photo-evaporation or magneto-centrifugal processes.


title: CLUES about M33: the reversed radial stellar age gradient in the outskirts of Triangulum galaxy

abstract: HST/ACS observations along the major axis of M33 show that the mean age of its stars decreases with increasing distance from the galaxy center. Such a behavior is consistent with an inside-out growth of the disc. However, in the outermost observed field, at r$\simeq$11.6 kpc, a reversal of this gradient is detected, with old stars found in high percentages beyond this radius. In this work we investigate the origin of such a reversal in stellar age gradient, by using a simulated M33 analogue from the Constrained Local UniversE Simulations (CLUES). The simulated M33 is similar to the observed one in terms of mass, rotation velocity, surface brightness and, similar to what has been reported in observations, shows a stellar age turnaround at large radii. We demonstrate that this reversal is mostly a result of stellar accretion from old satellite galaxies and, to a lesser extent, of stellar migration of in-situ stars. The old accreted stars, with formation times tf < 4 Gyrs, are kinematically hot and can be differentiated from the in-situ stars by their high velocity dispersion and the fact that they do not have rotationally-supported orbits. In the future, obtaining kinematic information of the stars in the outskirt of M33 will help to verify this scenario.


title: Evaluating the QSO contribution to the 21-cm signal from the Cosmic Dawn

abstract: The upcoming radio interferometer Square Kilometre Array (SKA) is expected to directly detect the redshifted 21-cm signal from the neutral hydrogen present during the Cosmic Dawn. Temperature fluctuations from X-ray heating of the neutral intergalactic medium can dominate the fluctuations in the 21-cm signal from this time. This heating depends on the abundance, clustering, and properties of the X-ray sources present, which remain highly uncertain. We present a suite of three new large-volume, 349\,Mpc a side, fully numerical radiative transfer simulations including QSO-like sources, extending the work previously presented in Ross et al. (2017). The results show that our QSOs have a modest contribution to the heating budget, yet significantly impact the 21-cm signal. Initially, the power spectrum is boosted on large scales by heating from the biased QSO-like sources, before decreasing on all scales. Fluctuations from images of the 21-cm signal with resolutions corresponding to SKA1-Low at the appropriate redshifts are well above the expected noise for deep integrations, indicating that imaging could be feasible for all the X-ray source models considered. The most notable contribution of the QSOs is a dramatic increase in non-Gaussianity of the signal, as measured by the skewness and kurtosis of the 21-cm probability distribution functions. However, in the case of late Lyman-$\alpha$ saturation, this non-Gaussianity could be dramatically decreased particularly when heating occurs earlier. We conclude that increased non-Gaussianity is a promising signature of rare X-ray sources at this time, provided that Lyman-$\alpha$ saturation occurs before heating dominates the 21-cm signal.


title: Classical and Quantum Results on Logarithmic Terms in the Soft Theorem in Four Dimensions

abstract: We explore the logarithmic terms in the soft theorem in four dimensions by analyzing classical scattering with generic incoming and outgoing states and one loop quantum scattering amplitudes. The classical and quantum results are consistent with each other. Although most of our analysis in quantum theory is carried out for one loop amplitudes in a theory of (charged) scalars interacting via gravitational and electromagnetic interactions, we expect the results to be valid more generally.


title: Effective Caching for the Secure Content Distribution in Information-Centric Networking

abstract: The secure distribution of protected content requires consumer authentication and involves the conventional method of end-to-end encryption. However, in information-centric networking (ICN) the end-to-end encryption makes the content caching ineffective since encrypted content stored in a cache is useless for any consumer except those who know the encryption key. For effective caching of encrypted content in ICN, we propose a novel scheme, called the Secure Distribution of Protected Content (SDPC). SDPC ensures that only authenticated consumers can access the content. The SDPC is a lightweight authentication and key distribution protocol; it allows consumer nodes to verify the originality of the published article by using a symmetric key encryption. The security of the SDPC was proved with BAN logic and Scyther tool verification.


title: Infinite series of quaternionic 1-vertex cube complexes, the doubling construction, and explicit cubical Ramanujan complexes

abstract: We construct vertex transitive lattices on products of trees of arbitrary dimension $d \geq 1$ based on quaternion algebras over global fields with exactly two ramified places. Starting from arithmetic examples, we find non-residually finite groups generalizing earlier results of Wise, Burger and Mozes to higher dimension. We make effective use of the combinatorial language of cubical sets and the doubling construction generalized to arbitrary dimension. Congruence subgroups of these quaternion lattices yield explicit cubical Ramanujan complexes, a higher dimensional cubical version of Ramanujan graphs (optimal expanders).


title: Quasi-positivity and recognition of products of conjugacy classes in free groups

abstract: Given a group $G$ and a subset $X \subset G$, an element $g \in G$ is called quasi-positive if it is equal to a product of conjugates of elements in the semigroup generated by $X$. This notion is important in the context of braid groups, where it has been shown that the closure of quasi-positive braids coincides with the geometrically defined class of $\mathbb{C}$-transverse links. We describe an algorithm that recognizes whether or not an element of a free group is quasi-positive with respect to a basis. Spherical cancellation diagrams over free groups are used to establish the validity of the algorithm and to determine the worst-case runtime.


title: NL4Py: Agent-Based Modeling in Python with Parallelizable NetLogo Workspaces

abstract: External control of agent-based models is vital for complex adaptive systems research. Often these experiments require vast numbers of simulation runs and are computationally expensive. NetLogo is the language of choice for most agent-based modelers but lacks direct API access through Python. NL4Py is a Python package for the parallel execution of NetLogo simulations via Python, designed for speed, scalability, and simplicity of use. NL4Py provides access to the large number of open-source machine learning and analytics libraries of Python and enables convenient and efficient parallelization of NetLogo simulations with minimal coding expertise by domain scientists.


title: Planet Formation: An Optimized Population-Synthesis Approach

abstract: The physics of planet formation is investigated using a population synthesis approach. We develop a simple model for planetary growth including pebble and gas accretion, and orbital migration in an evolving protoplanetary disk. The model is run for a population of 2000 stars with a range of disk masses and radii, and initial protoplanet orbits. The resulting planetary distribution is compared with the observed population of extrasolar planets, and the model parameters are improved iteratively using a particle swarm optimization scheme. The characteristics of the final planetary systems are mainly controlled by the pebble isolation mass, which is the mass of a planet that perturbs nearby gas enough to halt the inward flux of drifting pebbles and stop growth. The pebble isolation mass increases with orbital distance so that giant planet cores can only form in the outer disk. Giants migrate inwards, populating a wide range of final orbital distances. The best model fits have large initial protoplanet masses, short pebble drift timescales, low disk viscosities, and short atmospheric cooling times, all of which promote rapid growth. The model successfully reproduces the observed frequency and distribution of giant planets and brown dwarfs. The fit for super Earths is poorer for single-planet systems, but improves steadily when more protoplanets are included. Although the study was designed to match the extrasolar planet distribution, analogs of the Solar System form in 1-2% of systems that contain at least 4 protoplanets.


title: Extragalactic Imprints in Galactic Dust Maps

abstract: Extragalactic astronomy relies on the accurate estimation of source photometry corrected for Milky Way dust extinction. This has motivated the creation of a number of "Galactic" dust maps. We investigate whether these maps are contaminated by extragalactic signals using the clustering-redshift technique, i.e., by measuring a set of angular cross-correlations with spectroscopic objects as a function of redshift. Our tomographic analysis reveals imprints of extragalactic large-scale structure patterns in nine out of 10 Galactic dust maps, including all infrared-based maps as well as "stellar" reddening maps. When such maps are used for extinction corrections, this extragalactic contamination introduces redshift- and scale-dependent biases in photometric estimates at the millimagnitude level. It can affect both object-based analyses, such as the estimation of the Hubble diagram with supernovae, as well as spatial statistics. The bias can be appreciable when measuring angular correlation functions with low amplitudes, such as lensing-induced correlations or angular correlations for sources distributed over a broad redshift range. As expected, we do not detect any extragalactic contamination for the dust map inferred from 21cm HI observations. Such a map provides an alternative to widely used infrared-based maps but relies on the assumption of a constant dust-to-gas ratio. We note that, using the WISE 12 micron map sensitive to polycyclic aromatic hydrocarbons (PAH), an indirect dust tracer, we detect the diffuse extragalactic PAH background up to $z\sim2$. Finally, we provide a procedure to minimize the level of biased magnitude corrections in maps with extragalactic imprints.


title: Revisiting the computation of cohomology classes of the Witt algebra using conformal field theory and aspects of conformal algebra

abstract: In this article, we revisit some aspects of the computation of the cohomology class of $H^2 ( \text{Witt}, \mathbb{C})$ using some methods in two-dimensional conformal field theory and conformal algebra to obtain the one-dimensional central extension of the Witt algebra to the Virasoro algebra. Even though this is well-known in the context of standard mathematical physics literature, the operator product expansion of the energy-momentum tensor in two-dimensional conformal field theory is presented almost axiomatically. In this paper, we attempt to reformulate it with the help of a suitable modification of conformal algebra (as developed by V. Kac), and apply it to compute the representative element of the cohomology class which gives the desired central extension. This paper was written in the scope of an undergraduate's exploration of conformal field theory and his attempt to gain insight on the subject from a mathematical perspective.


title: Do females create higher impact research? Scopus citations and Mendeley readers for articles from five countries

abstract: There are known gender imbalances in participation in scientific fields, from female dominance of nursing to male dominance of mathematics. It is not clear whether there is also a citation imbalance, with some claiming that male-authored research tends to be more cited. No previous study has assessed gender differences in the readers of academic research on a large scale, however. In response, this article assesses whether there are gender differences in the average citations and/or Mendeley readers of academic publications. Field normalised logged Scopus citations and Mendeley readers from mid-2018 for articles published in 2014 were investigated for articles with first authors from India, Spain, Turkey, the UK and the USA in up to 251 fields with at least 50 male and female authors. Although female-authored research is less cited in Turkey (-4.0%) and India (-3.6%), it is marginally more cited in Spain (0.4%), the UK (0.4%), and the USA (0.2%). Female-authored research has fewer Mendeley readers in India (-1.1%) but more in Spain (1.4%), Turkey (1.1%), the UK (2.7%) and the USA (3.0%). Thus, whilst there may be little practical gender difference in citation impact in countries with mature science systems, the higher female readership impact suggests a wider audience for female-authored research. The results show that the conclusions from a gender analysis depend on the field normalisation method. A theoretically informed decision must therefore be made about which normalisation to use. The results also suggest that arithmetic mean-based field normalisation is favourable to males.


title: Trend without hiccups: a Kalman filter approach

abstract: Have you ever felt miserable because of a sudden whipsaw in the price that triggered an unfortunate trade? In an attempt to remove this noise, technical analysts have used various types of moving averages (simple, exponential, adaptive one or using Nyquist criterion). These tools may have performed decently but we show in this paper that this can be improved dramatically thanks to the optimal filtering theory of Kalman filters (KF). We explain the basic concepts of KF and its optimum criterion. We provide a pseudo code for this new technical indicator that demystifies its complexity. We show that this new smoothing device can be used to better forecast price moves as lag is reduced. We provide 4 Kalman filter models and their performance on the SP500 mini-future contract. Results are quite illustrative of the efficiency of KF models with better net performance achieved by the KF model combining smoothing and extremum position.


title: Probabilistic Ensemble of Collaborative Filters

abstract: Collaborative filtering is an important technique for recommendation. Whereas it has been repeatedly shown to be effective in previous work, its performance remains unsatisfactory in many real-world applications, especially those where the items or users are highly diverse. In this paper, we explore an ensemble-based framework to enhance the capability of a recommender in handling diverse data. Specifically, we formulate a probabilistic model which integrates the items, the users, as well as the associations between them into a generative process. On top of this formulation, we further derive a progressive algorithm to construct an ensemble of collaborative filters. In each iteration, a new filter is derived from re-weighted entries and incorporated into the ensemble. It is noteworthy that while the algorithmic procedure of our algorithm is apparently similar to boosting, it is derived from an essentially different formulation and thus differs in several key technical aspects. We tested the proposed method on three large datasets, and observed substantial improvement over the state of the art, including L2Boost, an effective method based on boosting.


title: Code-Mixed Sentiment Analysis Using Machine Learning and Neural Network Approaches

abstract: Sentiment Analysis for Indian Languages (SAIL)-Code Mixed tools contest aimed at identifying the sentence level sentiment polarity of the code-mixed dataset of Indian languages pairs (Hi-En, Ben-Hi-En). Hi-En dataset is henceforth referred to as HI-EN and Ben-Hi-En dataset as BN-EN respectively. For this, we submitted four models for sentiment analysis of code-mixed HI-EN and BN-EN datasets. The first model was an ensemble voting classifier consisting of three classifiers - linear SVM, logistic regression and random forests while the second one was a linear SVM. Both the models used TF-IDF feature vectors of character n-grams where n ranged from 2 to 6. We used scikit-learn (sklearn) machine learning library for implementing both the approaches. Run1 was obtained from the voting classifier and Run2 used the linear SVM model for producing the results. Out of the four submitted outputs Run2 outperformed Run1 in both the datasets. We finished first in the contest for both HI-EN with an F-score of 0.569 and BN-EN with an F-score of 0.526.


title: $\alpha$-Approximation Density-based Clustering of Multi-valued Objects

abstract: This submission has been removed by arXiv administrators due to copyright infringement.


title: ALES: Overview and Upgrades

abstract: The Arizona Lenslets for Exoplanet Spectroscopy (ALES) is the world's first AO-fed thermal infrared integral field spectrograph, mounted inside the Large Binocular Telescope Interferometer (LBTI) on the LBT. An initial mode of ALES allows 3-4 micron spectra at R~20 with 0.026'' spaxels over a 1''x1'' field-of-view. We are in the process of upgrading ALES with additional wavelength ranges, spectral resolutions, and plate scales allowing a broad suite of science that takes advantage of ALES's unique ability to work at wavelengths >2 microns, and at the diffraction limit of the LBT's full 23.8 meter aperture.


title: The retraction relation for biracks

abstract: In {\it Set-theoretical solutions to the quantum Yang-Baxter equation} (Duke Math. J. {\bf 100} (1999), 169--209), Etingof, Schedler and Soloviev introduced, for each non-degenerate involutive set-theoretical solution $(X,\sigma,\tau)$ of the Yang-Baxter equation, the equivalence relation $\sim$ defined on the set $X$ and they considered a new non-degenerate involutive induced \emph{retraction} solution defined on the quotient set $X^{\sim}$. It is well known that translating set-theoretical non-degenerate solutions of the Yang-Baxter equation into the universal algebra language we obtain an algebra called a \emph{birack}. In the paper we introduce the \emph{generalized retraction} relation $\approx$ on a birack, which is equal to $\sim$ in an involutive case. We present a complete algebraic proof that the relation $\approx$ is a congruence of the birack. Thus we show that the retraction of a set-theoretical non-degenerate solution is well defined not only in the involutive case but also in the case of all non-involutive solutions.


title: On-Chip Optical Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) are a class of Artificial Neural Networks(ANNs) that employ the method of convolving input images with filter-kernels for object recognition and classification purposes. In this paper, we propose a photonics circuit architecture which could consume a fraction of energy per inference compared with state of the art electronics.


title: The Planetary Systems Imager: 2-5 Micron Channel

abstract: We summarize the red channel (2-5 micron) of the Planetary Systems Imager (PSI), a proposed second-generation instrument for the TMT. Cold exoplanets emit the majority of their light in the thermal infrared, which means these exoplanets can be detected at a more modest contrast than at other wavelengths. PSI-Red will be able to detect and characterize a wide variety of exoplanets, including radial-velocity planets on wide orbits, accreting protoplanets in nearby star-forming regions, and reflected-light planets around the nearest stars. PSI-Red will feature an imager, a low-resolution lenslet integral field spectrograph, a medium-resolution lenslet+slicer integral field spectrograph, and a fiber-fed high-resolution spectrograph.


title: The Elephant in the Room

abstract: We showcase a family of common failures of state-of-the art object detectors. These are obtained by replacing image sub-regions by another sub-image that contains a trained object. We call this "object transplanting". Modifying an image in this manner is shown to have a non-local impact on object detection. Slight changes in object position can affect its identity according to an object detector as well as that of other objects in the image. We provide some analysis and suggest possible reasons for the reported phenomena.


title: New transit timing observations for GJ 436 b, HAT-P-3 b, HAT-P-19 b, WASP-3 b, and XO-2 b

abstract: We present new transit observations acquired between 2014 and 2018 for the hot exoplanets GJ 436 b, HAT-P-3 b, HAT-P-19 b, WASP-3 b, and XO-2 b. New mid-transit times extend the timespan covered by observations of these exoplanets and allow us to refine their transit ephemerides. All new transits are consistent with linear ephemerides.


title: Longest Increasing Subsequence under Persistent Comparison Errors

abstract: We study the problem of computing a longest increasing subsequence in a sequence $S$ of $n$ distinct elements in the presence of persistent comparison errors. In this model, every comparison between two elements can return the wrong result with some fixed (small) probability $ p $, and comparisons cannot be repeated. Computing the longest increasing subsequence exactly is impossible in this model, therefore, the objective is to identify a subsequence that (i) is indeed increasing and (ii) has a length that approximates the length of the longest increasing subsequence. We present asymptotically tight upper and lower bounds on both the approximation factor and the running time. In particular, we present an algorithm that computes an $O(\log n)$-approximation in time $O(n\log n)$, with high probability. This approximation relies on the fact that that we can approximately sort $n$ elements in $O(n\log n)$ time such that the maximum dislocation of an element is at most $O(\log n)$. For the lower bounds, we prove that (i) there is a set of sequences, such that on a sequence picked randomly from this set every algorithm must return an $\Omega(\log n)$-approximation with high probability, and (ii) any $O(\log n)$-approximation algorithm for longest increasing subsequence requires $\Omega(n \log n)$ comparisons, even in the absence of errors.


title: Toeplitz operators on Bergman spaces of polygonal domains

abstract: We study the boundedness of Toeplitz operators with locally integrable symbols on Bergman spaces $A^p(\Omega),$ $1<p<\infty,$ where $\Omega\subset \mathbb{C}$ is a bounded simply connected domain with polygonal boundary. We give sufficient conditions for the boundedness of generalized Toeplitz operators in terms of "averages" of symbol over certain Cartesian squares. We use the Whitney decomposition of $\Omega$ in the proof. We also give examples of bounded Toeplitz operators on $A^p(\Omega)$ in the case where polygon $\Omega$ has such a large corner that the Bergman projection is unbounded.


title: Braidonium: a braiding quantum circuit based on the $4\pi$ Josephson effect

abstract: We propose a topological qubit in which braiding and readout are mediated by the $4\pi$ Majorana-Josephson effect. The braidonium device consists of three Majorana nanowires that come together to make a tri-junction; in order to control the superconducting phase differences at the tri-junction the nanowires are enclosed in a ring made of a conventional superconductor; and in order to perform initialization/readout one of the nanowires is coupled to a fluxonium qubit through a topological Josephson junction. We analyze how flux-based control and readout protocols can be used to demonstrate braiding and qubit operation for realistic materials and circuit parameters.


title: Magnetic field stabilization system for atomic physics experiments

abstract: Atomic physics experiments commonly use millitesla-scale magnetic fields to provide a quantization axis. As atomic transition frequencies depend on the amplitude of this field, many experiments require a stable absolute field. Most setups use electromagnets, which require a power supply stability not usually met by commercially available units. We demonstrate stabilization of a field of 14.6 mT to 4.3 nT rms noise (0.29 ppm), compared to noise of $\gtrsim$ 100 nT without any stabilization. The rms noise is measured using a field-dependent hyperfine transition in a single $^{43}$Ca$^+$ ion held in a Paul trap at the centre of the magnetic field coils. For the $^{43}$Ca$^+$ "atomic clock" qubit transition at 14.6 mT, which depends on the field only in second order, this would yield a projected coherence time of many hours. Our system consists of a feedback loop and a feedforward circuit that control the current through the field coils and could easily be adapted to other field amplitudes, making it suitable for other applications such as neutral atom traps.


title: Model order reduction for parametrized nonlinear hyperbolic problems as an application to Uncertainty Quantification

abstract: In this work, we focus on reduced order modeling (ROM) techniques for hyperbolic conservation laws with application in uncertainty quantification (UQ) and in conjunction with the well-known Monte Carlo sampling method. Because we are interested in model order reduction (MOR) techniques for unsteady non-linear hyperbolic systems of conservation laws, which involve moving waves and discontinuities, we explore the parameter-time framework and in the same time we deal with nonlinearities using a POD-EIM-Greedy algorithm \cite{Drohmann2012}. We provide under some hypothesis an error indicator, which is also an error upper bound for the difference between the high fidelity solution and the reduced one.


title: On the magnetic field inside the solar circle of the Galaxy: On the possibility of investigation some of characteristics of the interstellar medium with using of pulsars with large Faraday rotation values

abstract: To study some characteristics of the interstellar medium, observational data of pulsars with large Faraday rotation values (|RM|> 300 rad / m2) were used. It was suggested and justified that large |RM| values can be due to the contribution of the regions with increased electron concentration, projected on the pulsar. Most likely these are the HII regions, dark nebulae and molecular clouds. In these objects the magnetic field can be oriented in the direction of a large-scale field of the Galaxy, or simply is a deformed extension of the galactic field. It was shown that the Galactic distribution of rotation measures of pulsars with |RM|> 300rad / m2 corresponds to the circular model of the magnetic field of the Galaxy, with the counter-clockwise direction of the magnetic field in the galactocentric circle 5 kpc <R <7 kpc.


title: Hydrodynamic Lift on Boats

abstract: Boats float supported only by buoyancy at rest and at very low speeds. As the speed increases, a hull capable of planing makes a sharp transition to a lifting surface while plowing up the bow wave. As the speed increases further the boat planes, and at a high enough speed buoyancy becomes negligible; hydrodynamic lift carries the weight. More generally, any flow past a lifting surface generates a force perpendicular to the flow once the flow separates from the trailing edge without backflow (without vortex formation). Wings, hydrofoils, sails, and propellers are examples of lifting surfaces. The idea of a planing hull as lifting surface has been discussed inconclusively in the literature. We provide evidence for the onset of lift before planing and also produce an empirically correct lift coefficient for the planing of a v-bottom (prismatic shape) hull at high enough speeds that the wet surface area is confined roughly to a triangular shape near the transom. Our model follows our calculation of the lift on a fully submerged delta wing hydrofoil. The lift is reduced once the hydrofoil pierces the air-water interface.


title: Fundamentals of Recurrent Neural Network (RNN) and Long Short-Term Memory (LSTM) Network

abstract: Because of their effectiveness in broad practical applications, LSTM networks have received a wealth of coverage in scientific journals, technical blogs, and implementation guides. However, in most articles, the inference formulas for the LSTM network and its parent, RNN, are stated axiomatically, while the training formulas are omitted altogether. In addition, the technique of "unrolling" an RNN is routinely presented without justification throughout the literature. The goal of this paper is to explain the essential RNN and LSTM fundamentals in a single document. Drawing from concepts in signal processing, we formally derive the canonical RNN formulation from differential equations. We then propose and prove a precise statement, which yields the RNN unrolling technique. We also review the difficulties with training the standard RNN and address them by transforming the RNN into the "Vanilla LSTM" network through a series of logical arguments. We provide all equations pertaining to the LSTM system together with detailed descriptions of its constituent entities. Albeit unconventional, our choice of notation and the method for presenting the LSTM system emphasizes ease of understanding. As part of the analysis, we identify new opportunities to enrich the LSTM system and incorporate these extensions into the Vanilla LSTM network, producing the most general LSTM variant to date. The target reader has already been exposed to RNNs and LSTM networks through numerous available resources and is open to an alternative pedagogical approach. A Machine Learning practitioner seeking guidance for implementing our new augmented LSTM model in software for experimentation and research will find the insights and derivations in this tutorial valuable as well.


title: Metrics for Signal Temporal Logic Formulae

abstract: Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research on verification and control synthesis from STL requirements, there is no formal framework for comparing two STL formulae. In this paper, we show that under mild assumptions, STL formulae admit a metric space. We propose two metrics over this space based on i) the Pompeiu-Hausdorff distance and ii) the symmetric difference measure, and present algorithms to compute them. Alongside illustrative examples, we present applications of these metrics for two fundamental problems: a) design quality measures: to compare all the temporal behaviors of a designed system, such as a synthetic genetic circuit, with the "desired" specification, and b) loss functions: to quantify errors in Temporal Logic Inference (TLI) as a first step to establish formal performance guarantees of TLI algorithms.


title: Variations between Dust and Gas in the Diffuse Interstellar Medium. 3. Changes in Dust Properties

abstract: We study infrared emission of 17 isolated, diffuse clouds with masses of order solar masses, to test the hypothesis that grain property variations cause the apparently low gas-to-dust ratios that have been measured in those clouds. Maps of the clouds were constructed from WISE data and directly compared to the maps of dust optical depth from Planck. The mid-infrared emission per unit dust optical depth has a significant trend toward lower values at higher optical depths. The trend can be quantitatively explained by extinction of starlight within the clouds. The relative amounts of PAH and very small grains traced by WISE, compared to large grains tracked by Planck, are consistent with being constant. The temperature of the large grains significantly decreases for clouds with larger dust optical depth; this trend is partially due to dust property variations but is primarily due to extinction of starlight. We updated the prediction for molecular hydrogen column density, taking into account variations in dust properties, and find it can explain the observed dust optical depth per unit gas column density. Thus the low gas-to-dust ratios in the clouds are most likely due to `dark gas' that is molecular hydrogen.


title: Flows, Fixed Points and Duality in Chern-Simons-matter theories

abstract: It has been conjectured that 3d fermions minimally coupled to Chern-Simons gauge fields are dual to 3d critical scalars, also minimally coupled to Chern-Simons gauge fields. The large $N$ arguments for this duality can formally be used to show that Chern-Simons-gauged {\it critical} (Gross-Neveu) fermions are also dual to gauged `{\it regular}' scalars at every order in a $1/N$ expansion, provided both theories are well-defined (when one fine-tunes the two relevant parameters of each of these theories to zero). In the strict large $N$ limit these `quasi-bosonic' theories appear as fixed lines parameterized by $x_6$, the coefficient of a sextic term in the potential. While $x_6$ is an exactly marginal deformation at leading order in large $N$, it develops a non-trivial $\beta$ function at first subleading order in $1/N$. We demonstrate that the beta function is a cubic polynomial in $x_6$ at this order in $1/N$, and compute the coefficients of the cubic and quadratic terms as a function of the 't Hooft coupling. We conjecture that flows governed by this leading large $N$ beta function have three fixed points for $x_6$ at every non-zero value of the 't Hooft coupling, implying the existence of three distinct regular bosonic and three distinct dual critical fermionic conformal fixed points, at every value of the 't Hooft coupling. We analyze the phase structure of these fixed point theories at zero temperature. We also construct dual pairs of large $N$ fine-tuned renormalization group flows from supersymmetric ${\cal N}=2$ Chern-Simons-matter theories, such that one of the flows ends up in the IR at a regular boson theory while its dual partner flows to a critical fermion theory. This construction suggests that the duality between these theories persists at finite $N$, at least when $N$ is large.


title: Data Likelihood of Active Fires Satellite Detection and Applications to Ignition Estimation and Data Assimilation

abstract: Data likelihood of fire detection is the probability of the observed detection outcome given the state of the fire spread model. We derive fire detection likelihood of satellite data as a function of the fire arrival time on the model grid. The data likelihood is constructed by a combination of the burn model, the logistic regression of the active fires detections, and the Gaussian distribution of the geolocation error. The use of the data likelihood is then demonstrated by an estimation of the ignition point of a wildland fire by the maximization of the likelihood of MODIS and VIIRS data over multiple possible ignition points.


title: Continuous Authentication of Smartphones Based on Application Usage

abstract: An empirical investigation of active/continuous authentication for smartphones is presented in this paper by exploiting users' unique application usage data, i.e., distinct patterns of use, modeled by a Markovian process. Variations of Hidden Markov Models (HMMs) are evaluated for continuous user verification, and challenges due to the sparsity of session-wise data, an explosion of states, and handling unforeseen events in the test data are tackled. Unlike traditional approaches, the proposed formulation does not depend on the top N-apps, rather uses the complete app-usage information to achieve low latency. Through experimentation, empirical assessment of the impact of unforeseen events, i.e., unknown applications and unforeseen observations, on user verification is done via a modified edit-distance algorithm for simple sequence matching. It is found that for enhanced verification performance, unforeseen events should be incorporated in the models by adopting smoothing techniques with HMMs. For validation, extensive experiments on two distinct datasets are performed. The marginal smoothing technique is the most effective for user verification in terms of equal error rate (EER) and with a sampling rate of 1/30s^{-1} and 30 minutes of historical data, and the method is capable of detecting an intrusion within ~2.5 minutes of application use.


title: A Survey on Context-based Co-presence Detection Techniques

abstract: In this paper, we present a systematic survey on the contextual information based proximity detection techniques. These techniques are heavily used for improving security and usability in Zero-Interaction based Co-presence Detection and Authentication (ZICDA) systems. In particular, the survey includes a discussion on the possible adversary and communication models along with the existing security attacks on ZICDA systems, and it reviews the state-of-the-art proximity detection techniques that make use of contextual information. These proximity detection techniques are commonly referred to as Contextual Co-presence (COCO) protocols, which dynamically collect and use contextual information to improve the security of ZICDA systems during the proximity verification process. Finally, we summarize the significant challenges and suggest possible innovative and efficient future solutions for securely detecting co-presence between devices in the presence of adversaries. The proximity verification techniques presented in the literature usually involve trade-offs between metrics such as efficiency, security, deployment cost, and usability. At present, there is no ideal solution which adequately addresses the trade-off between these metrics. Therefore, we trust that this review gives an insight into the strengths and shortcomings of the known research methodologies and pave the way for the design of future practical, secure, and efficient solutions.


title: Emission from Volcanic SO Gas on Io at High Spectral Resolution

abstract: Jupiter's moon Io hosts a dynamic atmosphere that is continually stripped off and replenished through frost sublimation and volcanic outgassing. We observed an emission band at 1.707 $\mu$m thought to be produced by hot SO molecules directly ejected from a volcanic vent; the observations were made the NIRSPEC instrument on the Keck II telescope while Io was in eclipse by Jupiter on three nights in 2012-2016, and included two observations with 10x higher spectral resolution than all prior observations of this band. These high-resolution spectra reveal a contribution to the SO emission from gas reservoirs at both high and low rotational temperatures. The scenario preferred by de Pater et al. (2002) for the source of the SO gas - direct volcanic emission of SO in the excited state - is consistent with these two temperature components if the local gas density is high enough that rotational energy can be lost collisionally before the excited electronic state spontaneously decays. Under this scenario, the required bulk atmospheric gas density and surface pressure are $n\sim 10^{11}$ cm$^{-3}$ and 1-3 nbar, consistent with observations and modeling of Io's dayside atmosphere at altitudes below 10 km. The low-temperature gas component is warmer for observations in the first 20 minutes of eclipse (in Dec 2015) than after Io had been in shadow for 1.5 hours (in May 2016), suggesting cooling of the atmosphere during eclipse. Excess emission is consistently observed at 1.69 $\mu$m, which cannot be matched by two-temperature gas models but can be matched by models that over-populate high rotational states. Finally, a comparison of the total band strengths observed across eight dates from 1999-2016 reveals no significant dependence on thermal hot spot activity (including Loki Patera), on the time since Io has been in shadow, nor on the phase of Io's orbit at the time of observation.


title: Scanning the Internet for ROS: A View of Security in Robotics Research

abstract: Because robots can directly perceive and affect the physical world, security issues take on particular importance. In this paper, we describe the results of our work on scanning the entire IPv4 address space of the Internet for instances of the Robot Operating System (ROS), a widely used robotics platform for research. Our results identified that a number of hosts supporting ROS are exposed to the public Internet, thereby allowing anyone to access robotic sensors and actuators. As a proof of concept, and with consent, we were able to read image sensor information and move the robot of a research group in a US university. This paper gives an overview of our findings, including the geographic distribution of publicly-accessible platforms, the sorts of sensor and actuator data that is available, as well as the different kinds of robots and sensors that our scan uncovered. Additionally, we offer recommendations on best practices to mitigate these security issues in the future.


title: Convolutions on the Sphere: Commutation with Differential Operators

abstract: We generalize the definition of convolution of vectors and tensors on the 2-sphere, and prove that it commutes with differential operators. Moreover, vectors and tensors that are normal/tangent to the spherical surface remain so after the convolution. These properties make the new filtering operation particularly useful to analyzing and modeling nonlinear dynamics in spherical systems, such as in geophysics, astrophysics, and in inertial confinement fusion applications. An essential tool we use is the theory of scalar, vector, and tensor spherical harmonics. We then show that our generalized filtering operation is equivalent to the (traditional) convolution of scalar fields of the Helmholtz decomposition of vectors and tensors.

categories: math-ph math.MP physics.flu-dyn physics.plasm-ph


title: Topological Graphic Passwords And Their Matchings Towards Cryptography

abstract: Graphical passwords (GPWs) are convenient for mobile equipments with touch screen. Topological graphic passwords (Topsnut-gpws) can be saved in computer by classical matrices and run quickly than the existing GPWs. We research Topsnut-gpws by the matching of view, since they have many advantages. We discuss: configuration matching partition, coloring/labelling matching partition, set matching partition, matching chain, etc. And, we introduce new graph labellings for enriching Topsnut-matchings and show that these labellings can be realized for trees or spanning trees of networks. In theoretical works we explore Graph Labelling Analysis, and show that every graph admits our extremal labellings and set-type labellings in graph theory. Many of the graph labellings mentioned are related with problems of set matching partitions to number theory, and yield new objects and new problems to graph theory.


title: The alternative bases of Boolean functions as a means of improving the structure of digital blocks

abstract: This paper analyzes three forms of representation of Boolean functions, such as Classical, Algebraic and Reed-Muller. The concept of intersection and subsets of representation forms have been introduced, moreover suitable criteria for creating these subsets have been established. Later, these subsets have been quantitatively compared by the number of parameters, in order to assess the effectiveness of using each of the forms of representations proposed in the work. Definitions of the specific weight of subsets of priority forms of the representation of Boolean functions showed that the classical form is the least optimal, in comparison with the parameters of other forms Also, it has been shown that the use of alternative forms of representation of Boolean functions, in some cases, allows to reduce twice the number of incoming PLA buses. Estimating the average loss from the exclusive use of the Classical Form Representation also shows that the use of alternatives yields significant benefits in some parameters, this can be used to optimize devices in the logic design process and reduce the chip area, what also contributes to reductions in the cost of such devices.


title: Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)

abstract: This volume constitutes the pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), held on 4-6th September 2018 in Frankfurt am Main, Germany and co-located with the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP 2018) and the 26th International Workshop on Functional and Logic Programming (WFLP 2018).


title: Fuzzy Clustering to Identify Clusters at Different Levels of Fuzziness: An Evolutionary Multi-Objective Optimization Approach

abstract: Fuzzy clustering methods identify naturally occurring clusters in a dataset, where the extent to which different clusters are overlapped can differ. Most methods have a parameter to fix the level of fuzziness. However, the appropriate level of fuzziness depends on the application at hand. This paper presents Entropy $c$-Means (ECM), a method of fuzzy clustering that simultaneously optimizes two contradictory objective functions, resulting in the creation of fuzzy clusters with different levels of fuzziness. This allows ECM to identify clusters with different degrees of overlap. ECM optimizes the two objective functions using two multi-objective optimization methods, Non-dominated Sorting Genetic Algorithm II (NSGA-II), and Multiobjective Evolutionary Algorithm based on Decomposition (MOEA/D). We also propose a method to select a suitable trade-off clustering from the Pareto front. Experiments on challenging synthetic datasets as well as real-world datasets show that ECM leads to better cluster detection compared to the conventional fuzzy clustering methods as well as previously used multi-objective methods for fuzzy clustering.


title: The value of a liability cash flow in discrete time subject to capital requirements

abstract: The aim of this paper is to define the market-consistent multi-period value of an insurance liability cash flow in discrete time subject to repeated capital requirements, and explore its properties. In line with current regulatory frameworks, the approach presented is based on a hypothetical transfer of the original liability and a replicating portfolio to an empty corporate entity whose owner must comply with repeated one-period capital requirements but has the option to terminate the ownership at any time. The value of the liability is defined as the no-arbitrage price of the cash flow to the policyholders, optimally stopped from the owner's perspective, taking capital requirements into account. The value is computed as the solution to a sequence of coupled optimal stopping problems or, equivalently, as the solution to a backward recursion.


title: Formation of cometary O$_{2}$ ice and related ice species on grain surfaces in the midplane of the pre-Solar nebula

abstract: [Abridged] The detection of abundant O$_{2}$ ice at 1-10% with respect to H$_{2}$O ice in the comae of comets 1P/Halley and 67P/Churyumov-Gerasimenko motivated attempts to explain the origin of the high O$_{2}$ ice abundance. Recent chemical modelling of the outer, colder regions of a protoplanetary disk midplane has shown production of O$_{2}$ ice at the same abundance as that measured in the comet. An updated chemical kinetics code is utilised here to evolve chemistry under pre-Solar nebula midplane conditions. Four different chemical starting conditions, and the effects of various chemical parameters are tested. The parameter space investigation revealed a sweet spot for production of O$_{2}$ ice at an abundance matching those in 67P and 1P, and O$_{3}$ and H$_{2}$O$_{2}$ ices abundances matching those in 67P. This means that there is a radial region in the pre-Solar nebula from 120-150 AU, within which O$_{2}$ could have been produced in-situ via ice chemistry on grain surfaces. However, it is apparent that there is a high degree of sensitivity of the chemistry to the assumed chemical parameters (e.g. binding energy, activation barrier width, and quantum tunnelling barrier). Hence, because the more likely scenario starting with a percentage of elemental oxygen locked in O$_{2}$ also reproduces the O$_{2}$ ice abundance in 67P at early stages, this supports previous suggestions that the cometary O$_{2}$ ice could have a primordial origin.


title: On sound ranging in proper metric spaces

abstract: We consider the sound ranging, or source localization, problem - find the source-point from the moments when the wave-sphere of linearly, with time, increasing radius reaches the sensor-points - in the proper metric spaces (any closed ball is compact) and, in particular, in the finite-dimensional normed spaces. We approximate the solution to arbitrary precision by the iterative process with the stopping criterion.


title: The Effectiveness of Multitask Learning for Phenotyping with Electronic Health Records Data

abstract: Electronic phenotyping is the task of ascertaining whether an individual has a medical condition of interest by analyzing their medical record and is foundational in clinical informatics. Increasingly, electronic phenotyping is performed via supervised learning. We investigate the effectiveness of multitask learning for phenotyping using electronic health records (EHR) data. Multitask learning aims to improve model performance on a target task by jointly learning additional auxiliary tasks and has been used in disparate areas of machine learning. However, its utility when applied to EHR data has not been established, and prior work suggests that its benefits are inconsistent. We present experiments that elucidate when multitask learning with neural nets improves performance for phenotyping using EHR data relative to neural nets trained for a single phenotype and to well-tuned logistic regression baselines. We find that multitask neural nets consistently outperform single-task neural nets for rare phenotypes but underperform for relatively more common phenotypes. The effect size increases as more auxiliary tasks are added. Moreover, multitask learning reduces the sensitivity of neural nets to hyperparameter settings for rare phenotypes. Last, we quantify phenotype complexity and find that neural nets trained with or without multitask learning do not improve on simple baselines unless the phenotypes are sufficiently complex.


title: A one point non-concentration estimate for Laplace eigenfunctions on polygons

abstract: In this paper we consider eigenfunctions of the Laplacian on a planar domain with polygonal boundary with Dirichlet, Neumann, or mixed boundary conditions. The main result is a quantitative estimate on the $L^2$ mass of eigenfunctions near a point in terms of the distance to the nearest non-adjacent boundary face. In particular, eigenfunctions cannot concentrate completely at any one single point. The technique of proof is to use the commutator ideas from the recent work of the author \cite{Chr-tri,Chr-simp} on triangles and simplices.


title: Linked Causal Variational Autoencoder for Inferring Paired Spillover Effects

abstract: Modeling spillover effects from observational data is an important problem in economics, business, and other fields of research. % It helps us infer the causality between two seemingly unrelated set of events. For example, if consumer spending in the United States declines, it has spillover effects on economies that depend on the U.S. as their largest export market. In this paper, we aim to infer the causation that results in spillover effects between pairs of entities (or units), we call this effect as \textit{paired spillover}. To achieve this, we leverage the recent developments in variational inference and deep learning techniques to propose a generative model called Linked Causal Variational Autoencoder (LCVA). Similar to variational autoencoders (VAE), LCVA incorporates an encoder neural network to learn the latent attributes and a decoder network to reconstruct the inputs. However, unlike VAE, LCVA treats the \textit{latent attributes as confounders that are assumed to affect both the treatment and the outcome of units}. Specifically, given a pair of units $u$ and $\bar{u}$, their individual treatment and outcomes, the encoder network of LCVA samples the confounders by conditioning on the observed covariates of $u$, the treatments of both $u$ and $\bar{u}$ and the outcome of $u$. Once inferred, the latent attributes (or confounders) of $u$ captures the spillover effect of $\bar{u}$ on $u$. Using a network of users from job training dataset (LaLonde (1986)) and co-purchase dataset from Amazon e-commerce domain, we show that LCVA is significantly more robust than existing methods in capturing spillover effects.


title: Using Interplanetary Medium as Propellant for Plasma Thruster Propulsion

abstract: Consuming long-range interplanetary medium with fuel for driving plasma thrust is vital. Methods of capturing the space environment depending on its density and the ship velocity are indispensable issues to extract the space environment as a propellant. This matter of neutral fluxes would use solar radiation to create ionization in a plasma thruster. Extracting propellant at certain ranges look extremely promising where a low thrust device operates continuously to deliver a celestial target close at the speed of light. However, at longer distances, the density of space rapidly diminishes and it may be impossible to maintain at a plasma thruster continuous operation mode but instead might be workable with a pulsed engine. Nonetheless, at still longer-range interstellar missions, the insufficient propellant will require examining other alternatives than a plasma thruster for other candidate propulsion system, possibly either propellantless or a propulsor is driven by electric and/or magnetic fields to satisfy these mission objectives.


title: Asymptotically almost periodic solutions of fractional relaxation inclusions with Caputo derivatives

abstract: In the paper under review, we analyze asymptotically almost periodic solutions for a class of (semilinear) fractional relaxation inclusions with Stepanov almost periodic coefficients. As auxiliary tools, we use subordination principles, fixed point theorems and the well known results on the generation of infinitely differentiable degenerate semigroups with removable singularites at zero. Our results are well illustrated and seem to be not considered elsewhere even for fractional relaxation equations with almost sectorial operators.


title: Model-Based Iterative Reconstruction for One-Sided Ultrasonic Non-Destructive Evaluation

abstract: One-sided ultrasonic non-destructive evaluation (UNDE) is extensively used to characterize structures that need to be inspected and maintained from defects and flaws that could affect the performance of power plants, such as nuclear power plants. Most UNDE systems send acoustic pulses into the structure of interest, measure the received waveform and use an algorithm to reconstruct the quantity of interest. The most widely used algorithm in UNDE systems is the synthetic aperture focusing technique (SAFT) because it produces acceptable results in real time. A few regularized inversion techniques with linear models have been proposed which can improve on SAFT, but they tend to make simplifying assumptions that do not address how to obtain reconstructions from large real data sets. In this paper, we propose a model-based iterative reconstruction (MBIR) algorithm designed for scanning UNDE systems. To further reduce some of the artifacts in the results, we enhance the forward model to account for the transmitted beam profile, the occurrence of direct arrival signals, and the correlation between scans from adjacent regions. Next, we combine the forward model with a spatially variant prior model to account for the attenuation of deeper regions. We also present an algorithm to jointly reconstruct measurements from large data sets. Finally, using simulated and extensive experimental data, we show MBIR results and demonstrate how we can improve over SAFT as well as existing regularized inversion techniques.


title: Auto-Calibration of Cone Beam Geometries from Arbitrary Rotating Markers using a Vector Geometry Formulation of Projection Matrices

abstract: A method for the determination of the projection geometry of highly magnifying cone beam micro computed tomography systems based on few rotating fiducial markers of unknown position within the field of view is derived. By employing the projection matrix formalism commonly used in computer graphics, a very clear presentation of the resulting self consistent calibration problem can be given relating the sought-for matrix to observable parameters of the markers' projections. Both an easy to implement solution procedure for both the unknown projection matrix and the marker assembly as well as the mapping from projection matrices to real space positions and orientations of source and detector relative to the rotational axis are provided. The separate treatment of the calibration problem in terms of projection matrices on the one hand and the independent transformation to a more intuitive geometry representation on the other hand proves to be very helpful with respect to the discussion of the ambiguities occurring in reference-free calibration. In particular, a link between methods based on knowledge on the sample and those based on knowledge solely on the detector geometry can be drawn. This further provides another intuitive view on the often reported difficulty in the estimation of the detector tilt towards the rotational axis. A simulation study considering $10^{6}$ randomly generated cone beam imaging configurations and fiducial marker distributions within a range of typical scenarios is performed in order to assess the stability of the proposed technique.


title: DeepMag: Source Specific Motion Magnification Using Gradient Ascent

abstract: Many important physical phenomena involve subtle signals that are difficult to observe with the unaided eye, yet visualizing them can be very informative. Current motion magnification techniques can reveal these small temporal variations in video, but require precise prior knowledge about the target signal, and cannot deal with interference motions at a similar frequency. We present DeepMag an end-to-end deep neural video-processing framework based on gradient ascent that enables automated magnification of subtle color and motion signals from a specific source, even in the presence of large motions of various velocities. While the approach is generalizable, the advantages of DeepMag are highlighted via the task of video-based physiological visualization. Through systematic quantitative and qualitative evaluation of the approach on videos with different levels of head motion, we compare the magnification of pulse and respiration to existing state-of-the-art methods. Our method produces magnified videos with substantially fewer artifacts and blurring whilst magnifying the physiological changes by a similar degree.


title: A Shimorin-type analytic model for left-invertible operators on an annulus and applications

abstract: A new analytic model for left-invertible operators is introduced and investigated. We show that left-invertible operator $T$, which satisfies certain conditions can be modelled as a multiplication operator $\mathscr{M}_z$ on a reproducing kernel Hilbert space of vector-valued analytic functions on an annulus or a disc. A similar result for composition operators in $\ell^2$-spaces is established.


title: Modification of incoherent scattering under the influence of system eigenmodes

abstract: The optical properties of inhomogeneous cerium dioxide (CeO2) films on aluminum (Al) sublayer are investigated. The dependencies of the reflection, scattering, and absorption of coherent electromagnetic radiation as functions of the incidence angle and polarization are studied. The experimental and numerical studies show the existence of an incidence angle at which the scattering and absorption of coherent radiation with s-polarization increase simultaneously and the specular reflection becomes just about a few percents. The angle corresponds to an excitation of Fabry-Perot resonator modes. This effect opens up great prospects for manipulation (tuning) of the reflection from the inhomogeneous films.


title: Theory and numerical simulation of heat transport in multi-component systems

abstract: The thermal conductivity of classical multi-component fluids is seemingly affected by the intrinsic arbitrariness in the definition of the atomic energies and it is ill-conditioned numerically, when evaluated from the Green-Kubo theory of linear response. To cope with these two problems we introduce two new concepts: a convective invariance principle for transport coefficients, in the first case, and multi-variate cepstral analysis, in the second. A combination of these two concepts allows one to substantially reduce the noise affecting the estimate of the thermal conductivity from equilibrium molecular dynamics, even for one-component systems.

categories: cond-mat.stat-mech cond-mat.mtrl-sci physics.comp-ph physics.data-an


title: Local and global analysis of nodal sets

abstract: This is a survey for the JDG 50th Anniversary conference of recent results on nodal sets of eigenfunctions of the Laplacian on a compact Riemannian manifold. In part the techniques are `local', i.e. only assuming eigenfunctions are defined on small balls, and in part the techniques are `global', i.e. exploiting dynamics of the geodesic flow. The local part begins with a review of doubling indices and freqeuency functions as local measures of fast or slow growth of eigenfunctions. The pattern of boxes with maximal doubling indices plays a central role in the results of Logunov-Malinnokova, giving upper and lower bounds for hypersurface measures of nodal sets in the setting of general $C^{\infty}$ metrics. The proofs of both their polynomial upper bound and sharp lower bound are sketched. The survey continues with a global proof of the sharp upper bound for real analytic metrics (originally proved by Donnelly-Fefferman with local arguments), using analytic continuation to Grauert tubes. Then it reviews results of Toth-Zelditch giving sharp upper bounds on Hausdorff measures of intersections of nodal sets with real analytic submanifolds in the real analytic setting. Last, it goes over lower bounds of Jung-Zelditch on numbers of nodal domains in the case of $C^{\infty}$ surfaces of non-positive curvature and concave boundary or on negatively curved `real' Riemann surfaces, which are based on ergodic properties of the geodesic flow and eigenfunctions, and on estimates of restrictions of eigenfunctions to hypersurfaces. The last section details recent results on restrictions.