title: On the relative bias of void tracers in the Dark Energy Survey

abstract: Luminous tracers of large-scale structure are not entirely representative of the distribution of mass in our Universe. As they arise from the highest peaks in the matter density field, the spatial distribution of luminous objects is biased towards those peaks. On large scales, where density fluctuations are mild, this bias simply amounts to a constant offset in the clustering amplitude of the tracer, known as linear bias. In this work we focus on the relative bias between galaxies and galaxy clusters that are located inside and in the vicinity of cosmic voids, extended regions of relatively low density in the large-scale structure of the Universe. With the help of hydro-dynamical simulations we verify that the relation between galaxy and cluster overdensity around voids remains linear. Hence, the void-centric density profiles of different tracers can be linked by a single multiplicative constant. This amounts to the same value as the relative linear bias between tracers for the largest voids in the sample. For voids of small sizes, which typically arise in higher density regions, this constant has a higher value, possibly showing an environmental dependence similar to that observed for the linear bias itself. We confirm our findings by analysing mocks and data obtained during the first year of observations by the Dark Energy Survey. As a side product, we present the first catalogue of three-dimensional voids extracted from a photometric survey with a controlled photo-z uncertainty. Our results will be relevant in forthcoming analyses that attempt to use voids as cosmological probes.


title: A new quadruple-image gravitational lens in an edge-on disk galaxy at z=0.0956

abstract: We report the serendipitous discovery of a quadruply-lensed source behind the z=0.095 edge-on disk galaxy 2MASXJ13170000-1405187, based on public imaging survey data from Pan-STARRS PS1 and the VISTA Hemisphere Survey. Follow-up imaging from Magellan/LDSS3 shows that the background source is spatially extended (i.e. not a QSO), and that two of the lensed images are observed through a prominent dust ring in the disk of the lens galaxy. We summarise results of preliminary modelling, which indicates an Einstein radius of 1.44 arcsec, and a K-band mass-to-light ratio of 0.5, relative to the solar value.


title: A No-go Theorem for a Gauge Vector as a Space-time Goldstone

abstract: Scalars and fermions can arise as Goldstone modes of non-linearly realised extensions of the Poincare group (with important implications for the soft limits of such theories): the Dirac-Born-Infeld scalar realises a higher-dimensional Poincare symmetry, while the Volkov-Akulov fermion corresponds to super-Poincare. In this paper we classify extensions of the Poincare group which give rise to a vector Goldstone mode instead. Our main result is that there are no healthy interacting $U(1)$ gauge theories that non-linearly realise space-time symmetries beyond gauge transformations. This implies that the special soft limits of e.g. the Born-Infeld vector cannot be explained by space-time symmetries.


title: Formation Timescales for High-Mass X-ray Binaries in M33

abstract: We have identified 55 candidate high-mass X-ray binaries (HMXBs) in M33 using available archival {\it HST} and {\it Chandra} imaging to find blue stars associated with X-ray positions. We use the {\it HST} photometric data to model the color-magnitude diagrams in the vicinity of each candidate HMXB to measure a resolved recent star formation history (SFH), and thus a formation timescale, or age for the source. Taken together, the SFHs for all candidate HMXBs in M33 yield an age distribution that suggests preferred formation timescales for HMXBs in M33 of $<$ 5 Myr and $\sim$ 40 Myr after the initial star formation episode. The population at 40 Myr is seen in other Local Group galaxies, and can be attributed to a peak in formation efficiency of HMXBs with neutron stars as compact objects and B star secondary companions. This timescale is preferred as neutron stars should form in abundance from $\sim$ 8 M$_{\odot}$ core-collapse progenitors on these timescales, and B stars are shown observationally to be most actively losing mass around this time. The young population at $<$ 5 Myr has not be observed in other Local Group HMXB population studies, but may be attributed to a population of very massive progenitors forming black holes very early on. We discuss these results in the context of massive binary evolution, and the implications for compact object binaries and gravitational wave sources.


title: The New $\nu$MSM : Radiative Neutrino Masses, keV-Scale Dark Matter and Viable Leptogenesis with sub-TeV New Physics

abstract: We study the scenario in which the Standard model is augmented by three generations of right-handed neutrinos and a scalar doublet. The newly introduced fields share an odd charge under a $\mathbb{Z}_2$ parity symmetry. This model, commonly known as "Scotogenic", was designed to provide a mechanism for active neutrino mass generation as well as a viable dark matter candidate. In this paper we consider a scenario in which the dark matter particle is at the keV-scale. Such particle is free from X-ray limits due to the unbroken parity symmetry that forbids the mixing between active and right-handed neutrinos. The active neutrino masses are radiatively generated from the new scalars and the two heavier right-handed states with $\sim \mathcal{O}(100)$ GeV masses. These heavy fermions can produce the observed baryon asymmetry of the Universe through the combination of Akhmedov-Rubakov-Smirnov mechanism and recently proposed scalar decays. To the best of our knowledge, this is the first time that these two mechanisms are shown to be successful in any radiative model. We identify the parameter space where the successful leptogenesis is compatible with the observed abundance of dark matter as well as the measurements from the neutrino oscillation experiments. Interestingly, combining dark matter production and successful leptogenesis gives rise to strict limits from big bang nucleosynthesis which do not allow the mass of dark matter to lie above $\sim 10$ keV, providing a phenomenological hint for considered low-scale dark matter. By featuring the keV-scale dark matter free from stringent X-ray limits, successful baryon asymmetry generation and non-zero active neutrino masses, the model is a direct analogue to the $\nu$MSM model proposed by Asaka, Blanchet and Shaposhnikov. Therefore we dub the presented framework as "The new $\nu$MSM" abbreviated as $\nu\nu$MSM.


title: Strong coupling limit of the Polaron measure and the Pekar process

abstract: The {\it{Polaron measure}} is defined as the transformed path measure $$\widehat{\mathbb P}_{\epsilon,T}= Z_{\epsilon,T}^{-1}\,\, \exp\bigg\{\frac{1}{2}\int_{-T}^T\int_{-T}^T\frac{\epsilon\e^{-\epsilon|t-s|}}{|\omega(t)-\omega(s)|} \,\d s \,\d t\bigg\}\d\mathbb P$$ with respect to the law $\mathbb P$ of three dimensional Brownian increments on a finite interval $[-T,T]$, and $ Z_{\epsilon,T}$ is the partition function with $\epsilon>0$ being a constant. The logarithmic asymptotic behavior of the partition function $Z_{\epsilon,T}$ was analyzed in \cite{DV83} showing that $$ g_0=\lim_{\epsilon \to 0}\bigg[\lim_{T\to\infty}\frac{\log Z_{\eps,T}}{2T}\bigg]=\sup_{\heap{\psi\in H^1(\R^3)}{\|\psi\|_2=1}} \bigg\{\int_{\mathbb R^3}\int_{\mathbb R^3}\d x\d y\,\frac {\psi^2(x) \psi^2(y)}{|x-y|} -\frac 12\big\|\nabla \psi\big\|_2^2\bigg\}. $$ In \cite{MV18} we analyzed the actual path measures and showed that the limit ${\widehat {\mathbb P}}_{\eps}=\lim_{T\to\infty}\widehat{\mathbb P}_{\eps,T}$ exists and identified this limit explicitly, and as a corollary, we also deduced the central limit theorem for $(2T)^{-1/2}(\omega(T)-\omega(-T))$ under $\widehat{\mathbb P}_{\eps,T}$ and obtained an expression for the limiting variance $\sigma^2(\eps)$. In the present article, we investigate the {\it{strong coupling limit}} $\lim_{\eps\to 0} \lim_{T\to\infty} \widehat{\mathbb P}_{\eps,T}=\lim_{\eps\to 0} \widehat {\mathbb P}_\eps$ and show that this limit coincides with the increments of the stationary Pekar process with generator $$ \frac 12 \Delta+ \bigg(\frac{\nabla\psi}\psi\bigg)\cdot \nabla $$ for any maximizer $\psi$ of the free enrgy $g_0$. The Pekar process was also earlier identified in \cite{MV14}, \cite{KM15} and \cite{BKM15} as the limiting object of the {\it{mean-field Polaron}} measures.}


title: A three-phase amplification of the cosmic magnetic field in galaxies

abstract: Arguably the main challenge of galactic magnetism studies is to explain how the interstellar medium of galaxies reaches energetic equipartition despite the extremely weak cosmic primordial magnetic fields that are originally predicted to thread the inter-galactic medium. Previous numerical studies of isolated galaxies suggest that a fast dynamo amplification might suffice to bridge the gap spanning many orders of magnitude in strength between the weak early Universe magnetic fields and the ones observed in high redshift galaxies. To better understand their evolution in the cosmological context of hierarchical galaxy growth, we probe the amplification process undergone by the cosmic magnetic field within a spiral galaxy to unprecedented accuracy by means of a suite of constrained transport magnetohydrodynamical adaptive mesh refinement cosmological zoom simulations with different stellar feedback prescriptions. A galactic turbulent dynamo is found to be naturally excited in this cosmological environment, being responsible for most of the amplification of the magnetic energy. Indeed, we find that the magnetic energy spectra of simulated galaxies display telltale inverse cascades. Overall, the amplification process can be divided in three main phases, which are related to different physical mechanisms driving galaxy evolution: an initial collapse phase, an accretion-driven phase, and a feedback-driven phase. While different feedback models affect the magnetic field amplification differently, all tested models prove to be subdominant at early epochs, before the feedback-driven phase is reached. Thus the three-phase evolution paradigm is found to be quite robust vis-a-vis feedback prescriptions.


title: The Secular Dynamics of TNOs and Planet Nine Interactions

abstract: The existence of Planet Nine has been suggested to explain the pericenter clustering of extreme trans-Neptunian objects (TNOs). However, the underlying dynamics involving Planet Nine, test particles and Neptune is rich, and it remains unclear which dynamical processes lead to the alignment and how they depends on the properties of Planet Nine. Here, we investigate the secular interactions between an eccentric outer perturber and TNOs starting in a near-coplanar configuration. We find that a large number of TNOs could survive outside of mean motion resonances at 4Gyr, which differs from previous results obtained in the exact coplanar case with Neptune being treated as a quadrupole potential. In addition, secular dynamics leads to the orbital clustering seen in N-body simulations. We find that a near coplanar Planet Nine can flip TNO orbital planes, and when this happens, the geometrical longitudes of pericenter of the TNOs librate around $180^\circ$ during the flip. Orbital precession caused by the inner giant planets can suppress the flips while keeping the longitude of pericenter librating when $30\lesssim r_p \lesssim 80$ AU $\&$ $a\gtrsim 250$ AU. This results in the alignment of the pericenter of the low inclination TNOs ($i \lesssim 40^\circ$). We find the anti-aligned population and the flipped orbits could be produced by an eccentric ($e_9 \gtrsim 0.4$) outer planet of $\sim 10M_{\oplus}$ in a wide $a_9 \gtrsim 400 \sim 800$ AU orbit. Future surveys on the high inclination TNOs will help further constrain the properties of possible outer planets.


title: Floquet chiral magnetic effect

abstract: A single Weyl fermion, which is prohibited in static lattice systems by the Nielsen-Ninomiya theorem, is shown to be realized in a periodically driven three-dimensional lattice system with a topologically nontrivial Floquet unitary operator, manifesting the chiral magnetic effect. We give a topological classification of Floquet unitary operators in the Altland-Zirnbauer symmetry classes for all dimensions, and use it to predict that all gapless surface states of topological insulators and superconductors can emerge in bulk quasienergy spectra in Floquet systems.

categories: cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el hep-lat


title: Forward asteroseismic modeling of stars with a convective core from gravity-mode oscillations: parameter estimation and stellar model selection

abstract: We propose a methodological framework to perform forward asteroseismic modeling of stars with a convective core, based on gravity-mode oscillations. These probe the near-core region in the deep stellar interior. The modeling relies on a set of observed high-precision oscillation frequencies of low-degree coherent gravity modes with long lifetimes and their observational uncertainties. Identification of the mode degree and azimuthal order is assumed to be achieved from rotational splitting and/or from period spacing patterns. This paper has two major outcomes. The first is a comprehensive list and discussion of the major uncertainties of theoretically predicted gravity-mode oscillation frequencies based on linear pulsation theory, caused by fixing choices of the input physics for evolutionary models. Guided by a hierarchy among these uncertainties of theoretical frequencies, we subsequently provide a global methodological scheme to achieve forward asteroseismic modeling. We properly take into account correlations amongst the free parameters included in stellar models. Aside from the stellar mass, metalicity and age, the major parameters to be estimated are the near-core rotation rate, the amount of convective core overshooting, and the level of chemical mixing in the radiative zones. This modeling scheme allows for maximum likelihood estimation of the stellar parameters for fixed input physics of the equilibrium models, followed by stellar model selection considering various choices of the input physics. Our approach uses the Mahalanobis distance instead of the often used $\chi^2$ statistic and includes heteroscedasticity. It provides estimation of the unknown variance of the theoretically predicted oscillation frequencies.


title: The Off-Topic Memento Toolkit

abstract: Web archive collections are created with a particular purpose in mind. A curator selects seeds, or original resources, which are then captured by an archiving system and stored as archived web pages, or mementos. The systems that build web archive collections are often configured to revisit the same original resource multiple times. This is incredibly useful for understanding an unfolding news story or the evolution of an organization. Unfortunately, over time, some of these original resources can go off-topic and no longer suit the purpose for which the collection was originally created. They can go off-topic due to web site redesigns, changes in domain ownership, financial issues, hacking, technical problems, or because their content has moved on from the original topic. Even though they are off-topic, the archiving system will still capture them, thus it becomes imperative to anyone performing research on these collections to identify these off-topic mementos. Hence, we present the Off-Topic Memento Toolkit, which allows users to detect off-topic mementos within web archive collections. The mementos identified by this toolkit can then be separately removed from a collection or merely excluded from downstream analysis. The following similarity measures are available: byte count, word count, cosine similarity, Jaccard distance, S{\o}rensen-Dice distance, Simhash using raw text content, Simhash using term frequency, and Latent Semantic Indexing via the gensim library. We document the implementation of each of these similarity measures. We possess a gold standard dataset generated by manual analysis, which contains both off-topic and on-topic mementos. Using this gold standard dataset, we establish a default threshold corresponding to the best F1 score for each measure. We also provide an overview of potential future directions that the toolkit may take.


title: Continuous-variable quantum neural networks

abstract: We introduce a general method for building neural networks on quantum computers. The quantum neural network is a variational quantum circuit built in the continuous-variable (CV) architecture, which encodes quantum information in continuous degrees of freedom such as the amplitudes of the electromagnetic field. This circuit contains a layered structure of continuously parameterized gates which is universal for CV quantum computation. Affine transformations and nonlinear activation functions, two key elements in neural networks, are enacted in the quantum network using Gaussian and non-Gaussian gates, respectively. The non-Gaussian gates provide both the nonlinearity and the universality of the model. Due to the structure of the CV model, the CV quantum neural network can encode highly nonlinear transformations while remaining completely unitary. We show how a classical network can be embedded into the quantum formalism and propose quantum versions of various specialized model such as convolutional, recurrent, and residual networks. Finally, we present numerous modeling experiments built with the Strawberry Fields software library. These experiments, including a classifier for fraud detection, a network which generates Tetris images, and a hybrid classical-quantum autoencoder, demonstrate the capability and adaptability of CV quantum neural networks.


title: Observationally inferred dark matter phase-space distribution and direct detection experiments

abstract: We present a detailed analysis of the effect of an observationally determined dark matter (DM) velocity distribution function (VDF) of the Milky Way (MW) on DM direct detection rates. We go beyond local kinematic tracers and use rotation curve data up to 200 kpc to construct a MW mass model and self-consistently determine the local phase-space distribution of DM. This approach mitigates any incomplete understanding of local dark matter-visible matter degeneracies that can affect the determination of the VDF. Comparing with the oft used Standard Halo Model (SHM), which assumes an isothermal VDF, we look at how the tail of the empirically determined VDF alters our interpretation of the present direct detection WIMP DM cross section exclusion limits. While previous studies have suggested a very large difference (of more than an order of magnitude) in the bounds at low DM masses, we show that accounting for the detector response at low threshold energies, the difference is still significant although less extreme. The change in the number of signal events, when using the empirically determined DM VDF in contrast to the SHM VDF, is most prominent for low DM masses for which the shape of the recoil energy spectrum depends sensitively on the detector threshold energy as well as detector response near the threshold. We demonstrate that these trends carry over to the respective DM exclusion limits, modulo detailed understanding of the experimental backgrounds. With the unprecedented precision of astrometric data in the GAIA era, use of observationally determined DM phase-space will become a critical and necessary ingredient for DM searches. We provide an accurate fit to the current best observationally determined DM VDF (and self-consistent local DM density) for use in analyzing current DM direct detection data by the experimental community.


title: String diagrams and categorification

abstract: These are lectures notes for a mini-course given at the conference Interactions of Quantum Affine Algebras with Cluster Algebras, Current Algebras, and Categorification in June 2018. The goal is to introduce the reader to string diagram techniques for monoidal categories, with an emphasis on their role in categorification.


title: Combining Word Feature Vector Method with the Convolutional Neural Network for Slot Filling in Spoken Language Understanding

abstract: Slot filling is an important problem in Spoken Language Understanding (SLU) and Natural Language Processing (NLP), which involves identifying a user's intent and assigning a semantic concept to each word in a sentence. This paper presents a word feature vector method and combines it into the convolutional neural network (CNN). We consider 18 word features and each word feature is constructed by merging similar word labels. By introducing the concept of external library, we propose a feature set approach that is beneficial for building the relationship between a word from the training dataset and the feature. Computational results are reported using the ATIS dataset and comparisons with traditional CNN as well as bi-directional sequential CNN are also presented.


title: Learning Distributed Representations from Reviews for Collaborative Filtering

abstract: Recent work has shown that collaborative filter-based recommender systems can be improved by incorporating side information, such as natural language reviews, as a way of regularizing the derived product representations. Motivated by the success of this approach, we introduce two different models of reviews and study their effect on collaborative filtering performance. While the previous state-of-the-art approach is based on a latent Dirichlet allocation (LDA) model of reviews, the models we explore are neural network based: a bag-of-words product-of-experts model and a recurrent neural network. We demonstrate that the increased flexibility offered by the product-of-experts model allowed it to achieve state-of-the-art performance on the Amazon review dataset, outperforming the LDA-based approach. However, interestingly, the greater modeling power offered by the recurrent neural network appears to undermine the model's ability to act as a regularizer of the product representations.


title: Diving Deep onto Discriminative Ensemble of Histological Hashing & Class-Specific Manifold Learning for Multi-class Breast Carcinoma Taxonomy

abstract: Histopathological images (HI) encrypt resolution dependent heterogeneous textures & diverse color distribution variability, manifesting in micro-structural surface tissue convolutions. Also, inherently high coherency of cancerous cells poses significant challenges to breast cancer (BC) multi-classification. As such, multi-class stratification is sparsely explored & prior work mainly focus on benign & malignant tissue characterization only, which forestalls further quantitative analysis of subordinate classes like adenosis, mucinous carcinoma & fibroadenoma etc, for diagnostic competence. In this work, a fully-automated, near-real-time & computationally inexpensive robust multi-classification deep framework from HI is presented. The proposed scheme employs deep neural network (DNN) aided discriminative ensemble of holistic class-specific manifold learning (CSML) for underlying HI sub-space embedding & HI hashing based local shallow signatures. The model achieves 95.8% accuracy pertinent to multi-classification & 2.8% overall performance improvement & 38.2% enhancement for Lobular carcinoma (LC) sub-class recognition rate as compared to the existing state-of-the-art on well known BreakHis dataset is achieved. Also, 99.3% recognition rate at 200X & a sensitivity of 100% for binary grading at all magnification validates its suitability for clinical deployment in hand-held smart devices.


title: A Survey of Inverse Reinforcement Learning: Challenges, Methods and Progress

abstract: Inverse reinforcement learning (IRL) is the problem of inferring the reward function of an agent, given its policy or observed behavior. Analogous to RL, IRL is perceived both as a problem and as a class of methods. By categorically surveying the current literature in IRL, this article serves as a reference for researchers and practitioners of machine learning and beyond to understand the challenges of IRL and select the approaches best suited for the problem on hand. The survey formally introduces the IRL problem along with its central challenges such as the difficulty in performing accurate inference and its generalizability, its sensitivity to prior knowledge, and the disproportionate growth in solution complexity with problem size. The article elaborates how the current methods mitigate these challenges. We further discuss the extensions to traditional IRL methods for handling: inaccurate and incomplete perception, an incomplete model, multiple reward functions, and nonlinear reward functions. This survey concludes the discussion with some broad advances in the research area and currently open research questions.


title: The Many Shapes of Archive-It

abstract: Web archives, a key area of digital preservation, meet the needs of journalists, social scientists, historians, and government organizations. The use cases for these groups often require that they guide the archiving process themselves, selecting their own original resources, or seeds, and creating their own web archive collections. We focus on the collections within Archive-It, a subscription service started by the Internet Archive in 2005 for the purpose of allowing organizations to create their own collections of archived web pages, or mementos. Understanding these collections could be done via their user-supplied metadata or via text analysis, but the metadata is applied inconsistently between collections and some Archive-It collections consist of hundreds of thousands of seeds, making it costly in terms of time to download each memento. Our work proposes using structural metadata as an additional way to understand these collections. We explore structural features currently existing in these collections that can unveil curation and crawling behaviors. We adapt the concept of the collection growth curve for understanding Archive-It collection curation and crawling behavior. We also introduce several seed features and come to an understanding of the diversity of resources that make up a collection. Finally, we use the descriptions of each collection to identify four semantic categories of Archive-It collections. Using the identified structural features, we reviewed the results of runs with 20 classifiers and are able to predict the semantic category of a collection using a Random Forest classifier with a weighted average F1 score of 0.720, thus bridging the structural to the descriptive. Our method is useful because it saves the researcher time and bandwidth. Identifying collections by their semantic category allows further downstream processing to be tailored to these categories.


title: Drag Coefficient of a Circular Inclusion in a Near-Critical Binary Fluid Membrane

abstract: We calculate the drag coefficient of a circular liquid domain, which is put in a flat fluid membrane composed of a binary fluid mixture lying in the homogeneous phase near the demixing critical point. Assuming a sufficiently small correlation length, we regard the domain dynamics as independent of the critical fluctuation and use the Gaussian free-energy functional for the mixture. Because of the near-criticality, the preferential attraction between the domain component and one of the mixture components generates the composition gradient outside the domain significantly and can affect the drag coefficient. We first consider a domain having the same membrane viscosity as the domain exterior. The drag coefficient is expanded with respect to a dimensionless strength of the preferential attraction. It is numerically shown that the magnitude of the expansion coefficient decreases much as the order of the strength increases and that the first-order term of the series usually gives a good approximation for practical material constants. The effect of the preferential attraction is shown to be able to become significantly large in practice. We second consider cases where the membrane viscosities of the domain interior and exterior are different. The first-order term of the expansion series decreases to approach zero as the domain viscosity increases to infinity. This agrees with previous numerical results showing that the hydrodynamics makes the effect of the preferential attraction negligibly small for a rigid disk.


title: Chromospheric condensations and magnetic field in a C3.6-class flare studied via He I D3 spectro-polarimetry

abstract: Context. Magnetic reconnection during flares takes place in the corona but a substantial part of flare energy is deposited in the chromosphere. However, high-resolution spectro-polarimetric chromospheric observations of flares are very rare. The most used observables are Ca II 8542 {\AA} and He I 10830 {\AA}. Aims. We aim to study the chromosphere during a C3.6 class flare via spectro-polarimetric observations of the He I D3 line. Methods. We present the first SST/CRISP spectro-polarimetric observations of He I D3. We analyze the data using the inversion code HAZEL, and estimate the LOS velocity and the magnetic field vector. Results. Strong He I D3 emission at the flare footpoints, as well as strong He I D3 absorption profiles tracing the flaring loops are observed during the flare. The He I D3 traveling emission kernels at the flare footpoints exhibit strong chromospheric condensations of up to $\sim$ 60 km/s at their leading edge. Our observations suggest that such condensations result in shocking the deep chromosphere, causing broad and modestly blueshifted He I D3 profiles indicating subsequent upflows. A strong and rather vertical magnetic field of up to $\sim$ 2500 G is measured in the flare footpoints, confirming that the He I D3 line is likely formed in the deep chromosphere at those locations. We provide chromospheric line-of-sight velocity and magnetic field maps obtained via He I D3 inversions. We propose a fan-spine configuration as the flare magnetic field topology. Conclusions. The He I D3 line is an excellent diagnostic to study the chromosphere during flares. The impact of strong condensations on the deep chromosphere has been observed. Detailed maps of the flare dynamics and the magnetic field are obtained.


title: CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects

abstract: Cryptographic API misuses, such as exposed secrets, predictable random numbers, and vulnerable certificate verification, seriously threaten software security. The vision of automatically screening cryptographic API calls in massive-sized (e.g., millions of LoC) Java programs is not new. However, hindered by the practical difficulty of reducing false positives without compromising analysis quality, this goal has not been accomplished. State-of-the-art crypto API screening solutions are not designed to operate on a large scale. Our technical innovation is a set of fast and highly accurate slicing algorithms. Our algorithms refine program slices by identifying language-specific irrelevant elements. The refinements reduce false alerts by 76% to 80% in our experiments. Running our tool, CrytoGuard, on 46 high-impact large-scale Apache projects and 6,181 Android apps generate many security insights. Our findings helped multiple popular Apache projects to harden their code, including Spark, Ranger, and Ofbiz. We also have made substantial progress towards the science of analysis in this space, including: i) manually analyzing 1,295 Apache alerts and confirming 1,277 true positives (98.61% precision), ii) creating a benchmark with 38-unit basic cases and 74-unit advanced cases, iii) performing an in-depth comparison with leading solutions including CrySL, SpotBugs, and Coverity. We are in the process of integrating CryptoGuard with the Software Assurance Marketplace (SWAMP).


title: Topology-controlled thermopower oscillations in multiterminal Andreev interferometers

abstract: We theoretically investigate coherent oscillations of the thermopower $\mathcal{S}$ as a function of the magnetic flux $\Phi$ in six-terminal Andreev interferometers. We demonstrate that the thermopower behavior is determined by a number of contributions originating from the Josephson-like and Aharonov-Bohm-like effects as well as from electron-hole asymmetry. The relative weight of these contributions depends on the relation between temperature, voltage bias and an effective Thouless energy of our setup. We particularly emphasize the role of the system topology that may have a dramatic impact on the behavior of $\mathcal{S}(\Phi)$.


title: Long-time large deviations for the multi-asset Wishart stochastic volatility model and option pricing

abstract: We prove a large deviations principle for the class of multidimensional affine stochastic volatility models considered in (Gourieroux, C. and Sufana, R., J. Bus. Econ. Stat., 28(3), 2010), where the volatility matrix is modelled by a Wishart process. This class extends the very popular Heston model to the multivariate setting, thus allowing to model the joint behaviour of a basket of stocks or several interest rates. We then use the large deviation principle to obtain an asymptotic approximation for the implied volatility of basket options and to develop an asymptotically optimal importance sampling algorithm, to reduce the number of simulations when using Monte-Carlo methods to price derivatives.


title: Harmonic maps for Hitchin representations

abstract: Let $(S,g_0)$ be a hyperbolic surface, $\rho$ be a Hitchin representation for $PSL(n,\mathbb R)$, and $f$ be the unique $\rho$-equivariant harmonic map from $(\widetilde S, \widetilde g_0)$ to the corresponding symmetric space. We show its energy density satisfies $e(f)\geq 1$ and equality holds at one point only if $e(f)\equiv 1$ and $\rho$ is the base $n$-Fuchsian representation of $(S,g_0)$. In particular, we show given a Hitchin representation $\rho$ for $PSL(n,\mathbb R)$, every $\rho$-equivariant minimal immersion $f$ from a hyperbolic plane $\mathbb H^2$ into the corresponding symmetric space $X$ is distance-increasing, i.e. $f^*(g_{X})\geq g_{\mathbb H^2}$. Equality holds at one point only if it holds everywhere and $\rho$ is an $n$-Fuchsian representation.


title: Implementing smooth functions of a Hermitian matrix on a quantum computer

abstract: We review existing methods for implementing smooth functions f(A) of a sparse Hermitian matrix A on a quantum computer, and analyse a further combination of these techniques which has some advantages of simplicity and resource consumption in some cases. Our construction uses the linear combination of unitaries method with Chebyshev polynomial approximations. The query complexity we obtain is O(log C/eps) where eps is the approximation precision, and C>0 is an upper bound on the magnitudes of the derivatives of the function f over the domain of interest. The success probability depends on the 1-norm of the Taylor series coefficients of f, the sparsity d of the matrix, and inversely on the smallest singular value of the target matrix f(A).


title: Learning to Decode 7T-like MR Image Reconstruction from 3T MR Images

abstract: Increasing demand for high field magnetic resonance (MR) scanner indicates the need for high-quality MR images for accurate medical diagnosis. However, cost constraints, instead, motivate a need for algorithms to enhance images from low field scanners. We propose an approach to process the given low field (3T) MR image slices to reconstruct the corresponding high field (7T-like) slices. Our framework involves a novel architecture of a merged convolutional autoencoder with a single encoder and multiple decoders. Specifically, we employ three decoders with random initializations, and the proposed training approach involves selection of a particular decoder in each weight-update iteration for back propagation. We demonstrate that the proposed algorithm outperforms some related contemporary methods in terms of performance and reconstruction time.


title: The Minimax Learning Rates of Normal and Ising Undirected Graphical Models

abstract: Let $G$ be an undirected graph with $m$ edges and $d$ vertices. We show that $d$-dimensional Ising models on $G$ can be learned from $n$ i.i.d. samples within expected total variation distance some constant factor of $\min\{1, \sqrt{(m + d)/n}\}$, and that this rate is optimal. We show that the same rate holds for the class of $d$-dimensional multivariate normal undirected graphical models with respect to $G$. We also identify the optimal rate of $\min\{1, \sqrt{m/n}\}$ for Ising models with no external magnetic field.


title: Learning Object Localization and 6D Pose Estimation from Simulation and Weakly Labeled Real Images

abstract: This work proposes a process for efficiently training a point-wise object detector that enables localizing objects and computing their 6D poses in cluttered and occluded scenes. Accurate pose estimation is typically a requirement for robust robotic grasping and manipulation of objects placed in cluttered, tight environments, such as a shelf with multiple objects. To minimize the human labor required for annotation, the proposed object detector is first trained in simulation by using automatically annotated synthetic images. We then show that the performance of the detector can be substantially improved by using a small set of weakly annotated real images, where a human provides only a list of objects present in each image without indicating the location of the objects. To close the gap between real and synthetic images, we adopt a domain adaptation approach through adversarial training. The detector resulting from this training process can be used to localize objects by using its per-object activation maps. In this work, we use the activation maps to guide the search of 6D poses of objects. Our proposed approach is evaluated on several publicly available datasets for pose estimation. We also evaluated our model on classification and localization in unsupervised and semi-supervised settings. The results clearly indicate that this approach could provide an efficient way toward fully automating the training process of computer vision models used in robotics.


title: A MegaCam Survey of Outer Halo Satellites. I. Description of the Survey

abstract: We describe a deep, systematic imaging study of satellites in the outer halo of the Milky Way. Our sample consists of 58 stellar overdensities --- i.e., substructures classified as either globular clusters, classical dwarf galaxies, or ultra-faint dwarf galaxies --- that are located at Galactocentric distances of R$_{\rm GC}$ > 25 kpc (outer halo) and out to ~400 kpc. This includes 44 objects for which we have acquired deep, wide-field, $g-$ and $r-$band imaging with the MegaCam mosaic cameras on the 3.6m Canada-France-Hawaii Telescope and the 6.5m Magellan-Clay telescope. These data are supplemented by archival imaging, or published $gr$ photometry, for an additional 14 objects, most of which were discovered recently in the Dark Energy Survey (DES). We describe the scientific motivation for our survey, including sample selection, observing strategy, data reduction pipeline, calibration procedures, and the depth and precision of the photometry. The typical 5$\sigma$ point-source limiting magnitudes for our MegaCam imaging --- which collectively covers an area of ~52 deg$^{2}$ --- are $g_{\rm lim}$ ~25.6 and $r_{\rm lim}$ ~25.3 AB mag. These limits are comparable to those from the coadded DES images and are roughly a half-magnitude deeper than will be reached in a single visit with LSST. Our photometric catalog thus provides the deepest and most uniform photometric database of Milky Way satellites available for the foreseeable future. In other papers in this series, we have used these data to explore the blue straggler populations in these objects, their density distributions, star formation histories, scaling relations and possible foreground structures.


title: Li-diffusion accelerates grain growth in intercalation electrodes: a phase-field study

abstract: Grain boundary migration is driven by the boundary's curvature and external loads such as temperature and stress. In intercalation electrodes an additional driving force results from Li-diffusion. That is, Li-intercalation induces volume expansion of the host-electrode, which is stored as elastic energy in the system. This stored energy is hypothesized as an additional driving force for grain boundaries and edge dislocations. Here, we apply the 2D Cahn-Hilliard$-$phase-field-crystal (CH-PFC) model to investigate the coupled interactions between highly mobile Li-ions and host-electrode lattice structure, during an electrochemical cycle. We use a polycrystalline FePO$_{4}$/ LiFePO$_{4}$ electrode particle as a model system. We compute grain growth in the FePO$_{4}$ electrode in two parallel studies: In the first study, we electrochemically cycle the electrode and calculate Li-diffusion assisted grain growth. In the second study, we do not cycle the electrode and calculate the curvature-driven grain growth. External loads, such as temperature and stress, did not differ across studies. We find the mean grain-size increases by $\sim11\%$ in the electrochemically cycled electrode particle. By contrast, in the absence of electrochemical cycling, we find the mean grain-size increases by $\sim2\%$ in the electrode particle. These CH-PFC computations suggest that Li-intercalation accelerates grain-boundary migration in the host-electrode particle. The CH-PFC simulations provide atomistic insights on diffusion-induced grain-boundary migration, edge dislocation movement and triple-junction drag-effect in the host-electrode microstructure.


title: A MegaCam Survey of Outer Halo Satellites. III. Photometric and Structural Parameters

abstract: We present structural parameters from a wide-field homogeneous imaging survey of Milky Way satellites carried out with the MegaCam imagers on the 3.6m Canada-France-Hawaii Telescope (CFHT) and 6.5m Magellan-Clay telescope. Our survey targets an unbiased sample of "outer halo" satellites (i.e., substructures having Galactocentric distances greater than 25 kpc) and includes classical dSph galaxies, ultra-faint dwarfs, and remote globular clusters. We combine deep, panoramic $gr$ imaging for 44 satellites and archival $gr$ imaging for 14 additional objects (primarily obtained with the DECam instrument as part of the Dark Energy Survey), to measure photometric and structural parameters for 58 outer halo satellites. This is the largest and most uniform analysis of Milky Way satellites undertaken to date and represents roughly three quarters ($58/81 \simeq$72\%) of all known outer halo satellites. We use a maximum-likelihood method to fit four density laws to each object in our survey: exponential, Plummer, King and Sersic models. We examine systematically the isodensity contour maps and color magnitude diagrams for each of our program objects, present a comparison with previous results, and tabulate our best-fit photometric and structural parameters, including ellipticities, position angles, effective radii, Sersic indices, absolute magnitudes, and surface brightness measurements. We investigate the distribution of outer halo satellites in the size-magnitude diagram, and show that the current sample of outer halo substructures spans a wide range in effective radius, luminosity and surface brightness, with little evidence for a clean separation into star cluster and galaxy populations at the faintest luminosities and surface brightnesses.


title: Mathematical Proofs 101: How Proofs Should Be Read, Written, and Taught

abstract: A significant amount of research has considered mathematical proofs, the students who learn them, and the instructors that teach them, from a variety of perspectives. This paper considers this topic from four main perspectives: students' perceptions of mathematical proofs, instructors' presentations of mathematical proofs, using peer review to develop students' abilities to read proofs more critically and write proofs more convincingly, and providing students with the skills required to independently read and write proofs.


title: Quantum Risk Analysis

abstract: We present a quantum algorithm that analyzes risk more efficiently than Monte Carlo simulations traditionally used on classical computers. We employ quantum amplitude estimation to evaluate risk measures such as Value at Risk and Conditional Value at Risk on a gate-based quantum computer. Additionally, we show how to implement this algorithm and how to trade off the convergence rate of the algorithm and the circuit depth. The shortest possible circuit depth - growing polynomially in the number of qubits representing the uncertainty - leads to a convergence rate of $O(M^{-2/3})$. This is already faster than classical Monte Carlo simulations which converge at a rate of $O(M^{-1/2})$. If we allow the circuit depth to grow faster, but still polynomially, the convergence rate quickly approaches the optimum of $O(M^{-1})$. Thus, for slowly increasing circuit depths our algorithm provides a near quadratic speed-up compared to Monte Carlo methods. We demonstrate our algorithm using two toy models. In the first model we use real hardware, such as the IBM Q Experience, to measure the financial risk in a Treasury-bill (T-bill) faced by a possible interest rate increase. In the second model, we simulate our algorithm to illustrate how a quantum computer can determine financial risk for a two-asset portfolio made up of Government debt with different maturity dates. Both models confirm the improved convergence rate over Monte Carlo methods. Using simulations, we also evaluate the impact of cross-talk and energy relaxation errors.


title: Accurate protein-folding transition-path statistics from a simple free-energy landscape

abstract: A central goal of protein-folding theory is to predict the stochastic dynamics of transition paths --- the rare trajectories that transit between the folded and unfolded ensembles --- using only thermodynamic information, such as a low-dimensional equilibrium free-energy landscape. However, commonly used one-dimensional landscapes typically fall short of this aim, because an empirical coordinate-dependent diffusion coefficient has to be fit to transition-path trajectory data in order to reproduce the transition-path dynamics. We show that an alternative, first-principles free-energy landscape predicts transition-path statistics that agree well with simulations and single-molecule experiments without requiring dynamical data as an input. This 'topological configuration' model assumes that distinct, native-like substructures assemble on a timescale that is slower than native-contact formation but faster than the folding of the entire protein. Using only equilibrium simulation data to determine the free energies of these coarse-grained intermediate states, we predict a broad distribution of transition-path transit times that agrees well with the transition-path durations observed in simulations. We further show that both the distribution of finite-time displacements on a one-dimensional order parameter and the ensemble of transition-path trajectories generated by the model are consistent with the simulated transition paths. These results indicate that a landscape based on transient folding intermediates, which are often hidden by one-dimensional projections, can form the basis of a predictive model of protein-folding transition-path dynamics.


title: Some remarks on the bias distribution analysis of discrete-time identification algorithms based on pseudo-linear regressions

abstract: In 1998, A. Karimi and I.D. Landau published in the journal "Systems and Control letters" an article entitled "Comparison of the closed-loop identification methods in terms of bias distribution". One of its main purposes was to provide a bias distribution analysis in the frequency domain of closed-loop output error identification algorithms that had been recently developed. The expressions provided in that paper are only valid for prediction error identification methods (PEM), not for pseudo-linear regression (PLR) ones, for which we give the correct frequency domain bias analysis, both in open- and closed-loop. Although PLR was initially (and is still) considered as an approximation of PEM, we show that it gives better results at high frequencies.


title: Chern-Simons quantum mechanics and fractional angular momentum in atom system

abstract: The model of a planar atom which possesses a non-vanishing electric dipole moment interacting with magnetic fields in a specific setting is studied. Energy spectra of this model and its reduced model, which is the limit of cooling down the atom to the negligible kinetic energy, are solved exactly. We show that %similar with the Chern-Simons quantum mechanics, energy spectra of the reduced model can not be obtained directly from the full ones by taking the same limit. In order to match them, we must regularize energy spectra of the full model when the limit of the negligible kinetic energy is taken. It is one of the characteristics of the Chern-Simons quantum mechanics. Besides it, the canonical angular momentum of the reduced model will take fractional values although the full model can only take integers. It means that it is possible to realize the Chern-Simons quantum mechanics and fractional angular momentum simultaneously by this model.


title: The Upper Atmospheres of Terrestrial Planets: Carbon Dioxide Cooling and the Earth's Thermospheric Evolution

abstract: Context: The thermal and chemical structures of the upper atmospheres of planets crucially influence losses to space and must be understood to constrain the effects of losses on atmospheric evolution. Aims: We develop a 1D first-principles hydrodynamic atmosphere model that calculates atmospheric thermal and chemical structures for arbitrary planetary parameters, chemical compositions, and stellar inputs. We apply the model to study the reaction of the Earth's upper atmosphere to large changes in the CO$_2$ abundance and to changes in the input solar XUV field due to the Sun's activity evolution from 3~Gyr in the past to 2.5~Gyr in the future. Methods: For the thermal atmosphere structure, we consider heating from the absorption of stellar X-ray, UV, and IR radiation, heating from exothermic chemical reactions, electron heating from collisions with non-thermal photoelectrons, Joule heating, cooling from IR emission by several species, thermal conduction, and energy exchanges between the neutral, ion, and electron gases. For the chemical structure, we consider $\sim$500 chemical reactions, including 56 photoreactions, eddy and molecular diffusion, and advection. In addition, we calculate the atmospheric structure by solving the hydrodynamic equations. To solve the equations in our model, we develop the Kompot code and provide detailed descriptions of the numerical methods used in the appendices. Results: We verify our model by calculating the structures of the upper atmospheres of the modern Earth and Venus. By varying the CO$_2$ abundances at the lower boundary (65~km) of our Earth model, we show that the atmospheric thermal structure is significantly altered. [Abstract Truncated]


title: 5G New Radio: Unveiling the Essentials of the Next Generation Wireless Access Technology

abstract: The 5th generation (5G) wireless access technology, known as new radio (NR), will address a variety of usage scenarios from enhanced mobile broadband to ultra-reliable low-latency communications to massive machine type communications. Key technology features include ultra-lean transmission, support for low latency, advanced antenna technologies, and spectrum flexibility including operation in high frequency bands and inter-working between high and low frequency bands. This article provides an overview of the essentials of the state of the art in 5G wireless technology represented by the 3GPP NR technical specifications, with a focus on the physical layer. We describe the fundamental concepts of 5G NR, explain in detail the design of physical channels and reference signals, and share the various design rationales influencing standardization.


title: Glivenko's theorem, finite height, and local tabularity

abstract: Glivenko's theorem states that a formula is derivable in classical propositional logic $\mathrm{CL}$ iff under the double negation it is derivable in intuitionistic propositional logic $\mathrm{IL}$: $\mathrm{CL}\vdash\varphi$ iff $\mathrm{IL}\vdash\neg\neg\varphi$. Its analog for the modal logics $\mathrm{S5}$ and $\mathrm{S4}$ states that $\mathrm{S5}\vdash \varphi$ iff $\mathrm{S4} \vdash \neg \Box \neg \Box \varphi$. In Kripke semantics, $\mathrm{IL}$ is the logic of partial orders, and $\mathrm{CL}$ is the logic of partial orders of height 1. Likewise, $\mathrm{S4}$ is the logic of preorders, and $\mathrm{S5}$ is the logic of equivalence relations, which are preorders of height 1. In this paper we generalize Glivenko's translation for logics of arbitrary finite height.


title: Expression of the angular dependence of the quantum efficiency for a thin multi-alkali photocathode and its optical properties

abstract: The dependence of the quantum efficiency on the angle and polarization of the incident photon needs to be formulated for a precise description of the response of photomultiplier tubes. A simplified one-step model of photoelectron emission was derived from Spicer's three-step model, and it enabled the formulation of the dependence of the quantum efficiency in the visible range for thin multi-alkali (NaKSbCs) photocathodes. The expression of the quantum efficiency was proved by a measurement of the photocurrent for linearly polarized light at various incident angles. Meanwhile, the measurement revealed the complex refractive indices and thicknesses both of the stratified photocathode and antireflection coating. It is indicated that the angular dependence of the quantum efficiency is dictated by the optical properties of the photocathode, which are discussed in detail on the basis of the obtained parameters.


title: AFLOW-CHULL: Cloud-oriented platform for autonomous phase stability analysis

abstract: $\textit{A priori}$ prediction of phase stability of materials is a challenging practice, requiring knowledge of all energetically-competing structures at formation conditions. Large materials repositories $\unicode{x2014}$ housing properties of both experimental and hypothetical compounds $\unicode{x2014}$ offer a path to prediction through the construction of informatics-based, $\textit{ab-initio}$ phase diagrams. However, limited access to relevant data and software infrastructure has rendered thermodynamic characterizations largely peripheral, despite their continued success in dictating synthesizability. Herein, a new module is presented for autonomous thermodynamic stability analysis implemented within the open-source, $\textit{ab-initio}$ framework AFLOW. Powered by the AFLUX Search-API, AFLOW-CHULL leverages data of more than 1.8 million compounds currently characterized in the AFLOW.org repository and can be employed locally from any UNIX-like computer. The module integrates a range of functionality: the identification of stable phases and equivalent structures, phase coexistence, measures for robust stability, and determination of decomposition reactions. As a proof-of-concept, thorough thermodynamic characterizations have been performed for more than 1,300 binary and ternary systems, enabling the identification of several candidate phases for synthesis based on their relative stability criterion $\unicode{x2014}$ including 18 promising $C15_{b}$-type structures and two half-Heuslers. In addition to a full report included herein, an interactive, online web application has been developed showcasing the results of the analysis, and is located at aflow.org/aflow-chull.


title: A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit Standby Power on 65-nm SOTB

abstract: The ability to maximize the performance during peak workload hours and minimize the power consumption during off-peak time plays a significant role in the energy-efficient systems. Our previous work has proposed a high-performance multi-core bitmap index creator (BIC) in a field-programmable gate array that could deliver higher indexing throughput than central processing units and graphics processing units. This brief extends the previous study by focusing on the application-specific integrated circuit implementation of the proposed BIC in a 65-nm silicon-on-thin-buried-oxide (SOTB) CMOS process. The BIC chip can operate with different supply voltage from 0.4 V to 1.2 V. In the active mode with the supply voltage of 1.2 V, the BIC chip is fully operational at 41 MHz and consumes 162.9 pJ/cycle. In the standby mode with the supply voltage of 0.4 V and clock-gating technique, the power consumption was reduced to 10.6 uW. The standby power is also dramatically reduced to 2.64 nW due to the utilization of reverse back-gate biasing technique. This achievement is considerable importance to the energy-efficient systems.


title: Cyclic triangle factors in regular tournaments

abstract: Both Cuckler and Yuster independently conjectured that when $n$ is an odd positive multiple of $3$ every regular tournament on $n$ vertices contains a collection of $n/3$ vertex-disjoint copies of the cyclic triangle. Soon after, Keevash and Sudakov proved that if $G$ is an orientation of a graph on $n$ vertices in which every vertex has both indegree and outdegree at least $(1/2 - o(1))n$, then there exists a collection of vertex-disjoint cyclic triangles that covers all but at most $3$ vertices. In this paper, we resolve the conjecture of Cuckler and Yuster for sufficiently large $n$.


title: Two Hyperbolic Baldheads in the Solar System: 2017 U7 and 2018 C2

abstract: We present a study of two newly discovered heliocentric hyperbolic objects -- 2017 U7 and 2018 C2. Both are possibly thermally evolved comets. Observations of the latter in 2018 March from Xingming Observatory revealed that it has a color similar to those of the long-period comets, Trojans, and D-type asteroids: $m_B - m_V = 0.75 \pm 0.03$, $m_V - m_R = 0.41 \pm 0.02$, and $m_R - m_I = 0.37 \pm 0.03$. A possible extremely faint coma of $\sim$9$"$ across was observed. The radial profile of 2018 C2 in comparison with those of the field stars helps confirm its cometary nature. Based on our convolution model, its mass-loss rate is estimated to be $0.7 \pm 0.2$ kg s$^{-1}$. Assuming geometric albedo $p_R = 0.04$, its effective radius is $4.4 \pm 0.5$ km, which means that the fraction of active area is merely $\sim$10$^{-5}$-10$^{-4}$. Our N-body dynamical simulations show that both objects are most likely dynamically old members from the Oort cloud. 2017 U7 has a $\sim$60% chance to escape the solar system in the 1.5 Myr following its current perihelion passage due to a moderate close encounter with Jupiter in 2020 May. On the condition that no disintegration occurs, 2018 C2 will revisit the inner solar system 0.13-0.14 Myr later, with perihelion distance $\sim$2 AU.


title: Security Awareness and Affective Feedback: Categorical Behaviour vs. Reported Behaviour

abstract: A lack of awareness surrounding secure online behaviour can lead to end-users, and their personal details becoming vulnerable to compromise. This paper describes an ongoing research project in the field of usable security, examining the relationship between end-user-security behaviour, and the use of affective feedback to educate end-users. Part of the aforementioned research project considers the link between categorical information users reveal about themselves online, and the information users believe, or report that they have revealed online. The experimental results confirm a disparity between information revealed, and what users think they have revealed, highlighting a deficit in security awareness. Results gained in relation to the affective feedback delivered are mixed, indicating limited short-term impact. Future work seeks to perform a long-term study, with the view that positive behavioural changes may be reflected in the results as end-users become more knowledgeable about security awareness.


title: Phase space density limitation in laser cooling without spontaneous emission

abstract: We study the possibility to enhance the phase space density of non-interacting particles submitted to a classical laser field without spontaneous emission. We clearly state that, when no spontaneous emission is present, a quantum description of the atomic motion is more reliable than semi-classical description which can lead to large errors especially if no care is taken to smooth structures smaller than the Heisenberg uncertainty principle. Whatever the definition of position - momentum phase space density, its gain is severely bounded especially when started from a thermal sample. More precisely, the maximum phase space density, can only be improved by a factor M for M-level atoms. This bound comes from a transfer between the external and internal degrees of freedom. To circumvent this limit, one can use non-coherent light fields, informational feedback cooling schemes, involve collectives states between fields and atoms, or allow a single spontaneous emission even


title: Heisenberg-Ising delta-chain with bond alternation

abstract: The spin-$\frac{1}{2}$ delta-chain (sawtooth chain) with antiferromagnetic Heisenberg basal chain and Ising apical-basal interactions is studied. The basal-apical interactions involve the bond alternation. The limiting cases of the model include the symmetrical delta-chain and the antiferromagnetic chain in the staggered magnetic field. We study ground state properties of the model by the exact diagonalization and density matrix renormalization group methods. The ground state phase diagram as a function of the bond alternation consists of magnetic and various non-magnetic phases. All phases excluding the ferrimagnetic phase are gapped and an origin of the gaps is cleared.


title: Designing Optimal Binary Rating Systems

abstract: Modern online platforms rely on effective rating systems to learn about items. We consider the optimal design of rating systems that collect binary feedback after transactions. We make three contributions. First, we formalize the performance of a rating system as the speed with which it recovers the true underlying ranking on items (in a large deviations sense), accounting for both items' underlying match rates and the platform's preferences. Second, we provide an efficient algorithm to compute the binary feedback system that yields the highest such performance. Finally, we show how this theoretical perspective can be used to empirically design an implementable, approximately optimal rating system, and validate our approach using real-world experimental data collected on Amazon Mechanical Turk.


title: Charge-Kondo effect mediated by repulsive interactions

abstract: We investigate the Kondo effect in a double-quantum-dot which is capacitively coupled to a charge-Qubit. It is shown that due to this capacitive coupling, the bare inter-dot repulsive interaction in the double-quantum-dot is effectively reduced and eventually changed to an attractive interaction for strong couplings between the double-quantum-dot and the Qubit. By deriving the low-energy effective Hamiltonian of the system, we find that the low energy dynamics of the system corresponding to these two positive or negative effective interaction regimes can be described, respectively, by an isotropic orbital-Kondo or an anisotropic charge-Kondo Hamiltonian. Moreover, we study various thermodynamic and electronic transport properties of the system by using the numerical renormalization group method.


title: Detection of Bio-aerosols and COVID-19 Equivalent Particles Via On-chip Mid Infrared Photonic Spectroscopy

abstract: We propose an on-chip mid-infrared (MIR) photonic spectroscopy platform for aerosol characterization to obtain highly discriminatory information on the chemistry of aerosol particles. Sensing of aerosols is crucial for various environmental, climactic, warfare threat detection, and pulmonary healthcare applications. Further, there are a number of unintended situations for potential exposure to bioaerosols such as viruses, bacteria, and fungi. For instance, the current pandemic scenario of COVID-19 occurring across the world. Currently, chemical characterization of aerosols is performed using FTIR spectroscopy yielding chemical fingerprinting because most of the vibrational and rotational transitions of chemical molecules fall in the MIR range; and Raman spectroscopy. Both techniques use free space bench-top geometries. Here, we propose miniaturized on-chip MIR photonics-based aerosol spectroscopy consisting of a broadband spiral-waveguide sensor that significantly enhances particle-light interaction to improve sensitivity. The spiral waveguides are made of a chalcogenide glass material (Ge23Sb7S70) which shows a broad transparency over IR range. We demonstrate the sensing of N-methyl aniline-based aerosol particles with the device. We anticipate that the sensor will readily complement existing photonic resonator-based particle sizing and counting techniques to develop a unified framework for on-chip integrated photonic aerosol spectroscopy.


title: Characteristic Subgroup Lattices and Hopf-Galois Structures

abstract: The Hopf-Galois structures on normal extensions $K/k$ with $G=Gal(K/k)$ are in one-to-one correspondence with the set of regular subgroups $N\leq B=Perm(G)$ that are normalized by the left regular representation $\lambda(G)\leq B$. Each such $N$ corresponds to a Hopf algebra $H_N=(K[N])^G$ that acts on $K/k$. Such regular subgroups $N$ need not be isomorphic to $G$ but must have the same order. One can subdivide the totality of all such $N$ into collections $R(G,[M])$ which is the set of those regular $N$ normalized by $\lambda(G)$ and isomorphic to a given abstract group $M$ where $|M|=|G|$. There arises an injective correspondence between the characteristic subgroups of a given $N$ an d the set of subgroups of $G$ stemming from the Galois correspondence between sub-Hopf algebras of $H_N$ and intermediate fields $k\subseteq F\subseteq K$. We utilize this correspondence to show that for certain pairings $(G,[M])$, the collection $R(G,[M])$ must be empty.


title: The Design and Testing of the Address in Real Time Data Driver Card for the Micromegas Detector of the ATLAS New Small Wheel Upgrade

abstract: The Address in Real Time Data Driver Card (ADDC) is designed to transmit the trigger data in the Micromegas detector of the ATLAS New Small Wheel (NSW) upgrade. The ART signals are generated by the front end ASIC, named VMM chip, to indicate the address of the first above-threshold event. A custom ASIC (ART ASIC) is designed to receive the ART signals from the VMM chip and do the hit-selection processing. Processed data from ART ASIC will be transmitted out of the NSW detector through GBTx serializer, VTTx optical transmitter module and fiber optical links. The ART signal is critical for the ATLAS experiment trigger selection thus the functionality and stability of the ADDC is very important. To ensure extensive testing of the ADDC, an FMC based testing platform and special firmware/software are developed. This test platform works with the commercial Xilinx VC707 FPGA develop kit, even without the other electronics of the NSW it can test all the functionality of the ADDC and also long term stability. This paper will introduce the design, testing procedure and results from the ADDC and the FMC testing platform.


title: Deep Learning based Estimation of Weaving Target Maneuvers

abstract: In target tracking, the estimation of an unknown weaving target frequency is crucial for improving the miss distance. The estimation process is commonly carried out in a Kalman framework. The objective of this paper is to examine the potential of using neural networks in target tracking applications. To that end, we propose estimating the weaving frequency using deep neural networks, instead of classical Kalman framework based estimation. Particularly, we focus on the case where a set of possible constant target frequencies is known. Several neural network architectures, requiring low computational resources were designed to estimate the unknown frequency out of the known set of frequencies. The proposed approach performance is compared with the multiple model adaptive estimation algorithm. Simulation results show that in the examined scenarios, deep neural network outperforms multiple model adaptive estimation in terms of accuracy and the amount of required measurements to convergence.


title: Distributional Advantage Actor-Critic

abstract: In traditional reinforcement learning, an agent maximizes the reward collected during its interaction with the environment by approximating the optimal policy through the estimation of value functions. Typically, given a state s and action a, the corresponding value is the expected discounted sum of rewards. The optimal action is then chosen to be the action a with the largest value estimated by value function. However, recent developments have shown both theoretical and experimental evidence of superior performance when value function is replaced with value distribution in context of deep Q learning [1]. In this paper, we develop a new algorithm that combines advantage actor-critic with value distribution estimated by quantile regression. We evaluated this new algorithm, termed Distributional Advantage Actor-Critic (DA2C or QR-A2C) on a variety of tasks, and observed it to achieve at least as good as baseline algorithms, and outperforming baseline in some tasks with smaller variance and increased stability.


title: A One-Sided Classification Toolkit with Applications in the Analysis of Spectroscopy Data

abstract: This dissertation investigates the use of one-sided classification algorithms in the application of separating hazardous chlorinated solvents from other materials, based on their Raman spectra. The experimentation is carried out using a new one-sided classification toolkit that was designed and developed from the ground up. In the one-sided classification paradigm, the objective is to separate elements of the target class from all outliers. These one-sided classifiers are generally chosen, in practice, when there is a deficiency of some sort in the training examples. Sometimes outlier examples can be rare, expensive to label, or even entirely absent. However, this author would like to note that they can be equally applicable when outlier examples are plentiful but nonetheless not statistically representative of the complete outlier concept. It is this scenario that is explicitly dealt with in this research work. In these circumstances, one-sided classifiers have been found to be more robust that conventional multi-class classifiers. The term "unexpected" outliers is introduced to represent outlier examples, encountered in the test set, that have been taken from a different distribution to the training set examples. These are examples that are a result of an inadequate representation of all possible outliers in the training set. It can often be impossible to fully characterise outlier examples given the fact that they can represent the immeasurable quantity of "everything else" that is not a target. The findings from this research have shown the potential drawbacks of using conventional multi-class classification algorithms when the test data come from a completely different distribution to that of the training samples.


title: On sound insulation of pyramidal lattice sandwich structure

abstract: Pyramidal lattice sandwich structure (PLSS) exhibits high stiffness and strength-to-weight ratio which can be effectively utilized for designing light-weight load bearing structures for ranging from ground to aerospace vehicles. While these structures provide superior strength to weigh ratio, their sound insulation capacity has not been well understood. The aim of this study is to develop numerical and experimental methods to fundamentally investigate the sound insulation property of the pyramidal lattice sandwich structure with solid trusses (PLSSST). A finite element model has been developed to predict the sound transmission loss (STL) of PLSSST and simulation results have been compared with those obtained experimentally. Parametric studies is then performed using the validated finite element model to investigate the effect of different parameters in pyramidal lattice sandwich structure with hollow trusses (PLSSHT), revealing that the pitching angle, the uniform thickness and the length of the hollow truss and the lattice constant have considerable effects on the sound transmission loss. Finally a design optimization strategy has been formulated to optimize PLSSHT in order to maximize STL while meeting mechanical property requirements. It has been shown that STL of the optimal PLSSHT can be increased by almost 10% at the low-frequency band. The work reported here provides useful information for the noise reduction design of periodic lattice structures.


title: An asynchronous and task-based implementation of Peridynamics utilizing HPX -- the C++ standard library for parallelism and concurrency

abstract: On modern supercomputers, asynchronous many task systems are emerging to address the new architecture of computational nodes. Through this shift of increasing cores per node, a new programming model with the focus on handle the fine-grain parallelism of this increasing amount of cores per computational node is needed. Asynchronous Many Task (AMT) run time systems represent an emerging paradigm for addressing fine-grain parallelism since they handle the increasing amount of threads per node and concurrency. HPX, a open source C++ standard library for parallelism and concurrency, is one AMT which is confirm with the C++ standard. Which means that HPX's Application Programming Interface (API) is confirm with its definition by the C++ standard committee. For example for the concept of futurization the hpx:future can be replaced by std::future without breaking the API. Peridynamics is a non-local generalization of continuum mechanics tailored to address discontinuous displacement fields arising in fracture mechanics. As many non-local approaches, peridynamics requires considerable computing resources to solve practical problems. This paper investigates the implementation of a peridynamics EMU nodal discretization in an asynchronous task-based fashion. The scalability of asynchronous task-based implementation is to be in agreement with theoretical estimations. In addition, to the scalabilty the code is convergent for implicit time integration and recovers theoretical solutions. Explicit time integration, convergence results are presented to showcase the agreement of results with theoretical claims in previous works.


title: Development and Characterization of a 3.2 Gb/s Serial Link Transmitter for CMOS Image Sensors in Subatomic Physics Experiments

abstract: This paper presents development and characterization of a 3.2 Gb/s serial link transmitter for CMOS image sensors. The transmitter incorporates Reed-Solomon code to achieve low error rate in the harsh environment of subatomic physics experiments. Pre-emphasis is implemented in the transmitter, allowing data transmission over low-mass cables. It is fabricated in a 0.18 $\mu m$ CMOS image process as a standalone chip to characterize its performance, with the core area of 1.8 $mm^2$. A frame data rate of $3\cdot10^{-12}$ with a confidence level of 94.5$\%$ was measured through an FPGA based receiver. The measured nominal power consumption is 135 mW. The transmitter functions normally after irradiated with 4.5 Mrad TID.


title: Sesame: a 2-dimensional solar cell modeling tool

abstract: This work introduces a new software package `Sesame' for the numerical computation of classical semiconductor equations. It supports 1 and 2-dimensional systems and provides tools to easily implement extended defects such as grain boundaries or sample surfaces. Sesame has been designed to facilitate fast exploration of the system parameter space and to visualize local charge transport properties. Sesame is distributed as a Python package or as a standalone GUI application, and is available at https://pages.nist.gov/sesame/ .


title: Maximum a Posteriori Policy Optimisation

abstract: We introduce a new algorithm for reinforcement learning called Maximum aposteriori Policy Optimisation (MPO) based on coordinate ascent on a relative entropy objective. We show that several existing methods can directly be related to our derivation. We develop two off-policy algorithms and demonstrate that they are competitive with the state-of-the-art in deep reinforcement learning. In particular, for continuous control, our method outperforms existing methods with respect to sample efficiency, premature convergence and robustness to hyperparameter settings while achieving similar or better final performance.


title: A complete classification of finite Morse index solutions to elliptic sine-Gordon equation in the plane

abstract: The elliptic sine-Gordon equation in the plane has a family of explicit multiple-end solutions (soliton-like solutions). We show that all the finite Morse index solutions belong to this family. We also prove they are non-degenerate in the sense that the corresponding linearized operators have no nontrivial bounded kernel. We then show that solutions with $2n$ ends have Morse index $n(n-1)/2.$


title: Power Nano- and Picosecond Optoelectronic Switches Based on High-Voltage Silicon Structures with p-n Junctions III. Self-heating effects

abstract: Self-heating effects of picosecond optoelectronic switches based on vertical high-voltage structures with p-n-junctions (VPSS) operating in a high-frequency mode were theoretically studied for the first time. It is shown that strong temperature dependence of the control radiation absorption coefficient $k(T)$ is the main factor determining the maximum switching frequency $f_{max}$ and the corresponding maximum crystal temperature $T_{max}$, as well as distributions of temperature $T$ and current density $j$ over a device area. A two-dimensional analysis of the simplest electrothermal model of VPSS embedded into a double coaxial forming line showed that an increase in the switching frequency $f$ leads to displacement of current to device periphery, where the temperature is minimal. However, distributions of $T$ and $j$ over the device area remain stable if $f < f_{max}$ and $T < T_{max}$. Of course, the values $f_{max}$ and $T_{max}$ depend on the energy of control radiation pulses, pulse switching power and heat sink conditions. For VPSS based on nondirect-gap semiconductors (Si, SiC), they varies within 20-120 kHz and 120-160 $^o C$, quite sufficient for practical application. However, VPSS based on direct-gap semiconductors (GaAs, InP) are not actually suitable for operation in high-frequency modes due to too sharp dependence $k(T)$.


title: Implicit Quantile Networks for Distributional Reinforcement Learning

abstract: In this work, we build on recent advances in distributional reinforcement learning to give a generally applicable, flexible, and state-of-the-art distributional variant of DQN. We achieve this by using quantile regression to approximate the full quantile function for the state-action return distribution. By reparameterizing a distribution over the sample space, this yields an implicitly defined return distribution and gives rise to a large class of risk-sensitive policies. We demonstrate improved performance on the 57 Atari 2600 games in the ALE, and use our algorithm's implicitly defined distributions to study the effects of risk-sensitive policies in Atari games.


title: On the Metric Distortion of Embedding Persistence Diagrams into separable Hilbert spaces

abstract: Persistence diagrams are important descriptors in Topological Data Analysis. Due to the nonlinearity of the space of persistence diagrams equipped with their {\em diagram distances}, most of the recent attempts at using persistence diagrams in machine learning have been done through kernel methods, i.e., embeddings of persistence diagrams into Reproducing Kernel Hilbert Spaces, in which all computations can be performed easily. Since persistence diagrams enjoy theoretical stability guarantees for the diagram distances, the {\em metric properties} of the feature map, i.e., the relationship between the Hilbert distance and the diagram distances, are of central interest for understanding if the persistence diagram guarantees carry over to the embedding. In this article, we study the possibility of embedding persistence diagrams into separable Hilbert spaces, with bi-Lipschitz maps. In particular, we show that for several stable embeddings into infinite-dimensional Hilbert spaces defined in the literature, any lower bound must depend on the cardinalities of the persistence diagrams, and that when the Hilbert space is finite dimensional, finding a bi-Lipschitz embedding is impossible, even when restricting the persistence diagrams to have bounded cardinalities.


title: Lengths of paths in rooted trees

abstract: We provide formulas for generating functions of many types of paths in various rooted tree structures. We compute the $k$th moment of the generating functions for various types of vertical paths. In two specific familes of trees we find exact closed formulas for expectations and their asymptotic values. Some of these closed formulas are surprisingly simple.


title: Understanding Patch-Based Learning by Explaining Predictions

abstract: Deep networks are able to learn highly predictive models of video data. Due to video length, a common strategy is to train them on small video snippets. We apply the deep Taylor / LRP technique to understand the deep network's classification decisions, and identify a "border effect": a tendency of the classifier to look mainly at the bordering frames of the input. This effect relates to the step size used to build the video snippet, which we can then tune in order to improve the classifier's accuracy without retraining the model. To our knowledge, this is the the first work to apply the deep Taylor / LRP technique on any video analyzing neural network.


title: Auto-Meta: Automated Gradient Based Meta Learner Search

abstract: Fully automating machine learning pipelines is one of the key challenges of current artificial intelligence research, since practical machine learning often requires costly and time-consuming human-powered processes such as model design, algorithm development, and hyperparameter tuning. In this paper, we verify that automated architecture search synergizes with the effect of gradient-based meta learning. We adopt the progressive neural architecture search \cite{liu:pnas_google:DBLP:journals/corr/abs-1712-00559} to find optimal architectures for meta-learners. The gradient based meta-learner whose architecture was automatically found achieved state-of-the-art results on the 5-shot 5-way Mini-ImageNet classification problem with $74.65\%$ accuracy, which is $11.54\%$ improvement over the result obtained by the first gradient-based meta-learner called MAML \cite{finn:maml:DBLP:conf/icml/FinnAL17}. To our best knowledge, this work is the first successful neural architecture search implementation in the context of meta learning.


title: Meta Continual Learning

abstract: Using neural networks in practical settings would benefit from the ability of the networks to learn new tasks throughout their lifetimes without forgetting the previous tasks. This ability is limited in the current deep neural networks by a problem called catastrophic forgetting, where training on new tasks tends to severely degrade performance on previous tasks. One way to lessen the impact of the forgetting problem is to constrain parameters that are important to previous tasks to stay close to the optimal parameters. Recently, multiple competitive approaches for computing the importance of the parameters with respect to the previous tasks have been presented. In this paper, we propose a learning to optimize algorithm for mitigating catastrophic forgetting. Instead of trying to formulate a new constraint function ourselves, we propose to train another neural network to predict parameter update steps that respect the importance of parameters to the previous tasks. In the proposed meta-training scheme, the update predictor is trained to minimize loss on a combination of current and past tasks. We show experimentally that the proposed approach works in the continual learning setting.


title: Analytical Study of Reinforced Concrete Beams Strengthened by FRP Bars Subjected to Impact Loading Conditions

abstract: In this research, a new analytical model is developed to analyze structural members strengthened with FRP systems and subjected to impact loading conditions. ABAQUS based finite element code was used to develop the proposed model. The model was validated against nine beams built and tested with various configurations and loading conditions. Three sets of beams were prepared and tested under quasistatic and impact loadings by applying various impact height and Dynamic Explicit loading conditions. The first set consisted of two beams, where one of the beams was reinforced with steel bars and the other was externally reinforced with GFRP sheet. The second set consisted of six beams, with five of the beams were reinforced with steel bars and one of them wrapped by GFRP sheet. The last set was tested to validate the response of concrete beams reinforced by FRP bar. In addition, beams were reinforced with glass and carbon fiber composite bars tested under Quasi-Static and Impact loading conditions. The impact load was simulated by the concept of a drop of a solid hammer from various heights. The numerical results showed that the developed model can be an effective tool to predict the performance of retrofitted beams under dynamic loading condition. Furthermore, the model showed that FRP retrofitting of RC beams subjected to repetitive impact loads can effectively improve their dynamic performance and can slow the progress of damage.


title: Finite-approximate controllability of evolution systems via resolvent-like operators

abstract: In this work we extend a variational method to study the approximate controllability and finite dimensional exact controllability ( finite-approximate controllability) for the semilinear evolution equations in Hilbert spaces. We state a useful characterization of the finite-approximate controllability for linear evolution equation in terms of resolvent-like operators. We also find a control so that, in addition to the approximate controllability requirement, it ensures finite dimensional exact controllability. Assuming the approximate controllability of the corresponding linearized equation we obtain sufficient conditions for the finite-approximate controllability of the semilinear evolution equation under natural conditions. The obtained results are generalization and continuation of the recent results on this issue. Applications to heat equations are treated.


title: Reinforcement Learning with Function-Valued Action Spaces for Partial Differential Equation Control

abstract: Recent work has shown that reinforcement learning (RL) is a promising approach to control dynamical systems described by partial differential equations (PDE). This paper shows how to use RL to tackle more general PDE control problems that have continuous high-dimensional action spaces with spatial relationship among action dimensions. In particular, we propose the concept of action descriptors, which encode regularities among spatially-extended action dimensions and enable the agent to control high-dimensional action PDEs. We provide theoretical evidence suggesting that this approach can be more sample efficient compared to a conventional approach that treats each action dimension separately and does not explicitly exploit the spatial regularity of the action space. The action descriptor approach is then used within the deep deterministic policy gradient algorithm. Experiments on two PDE control problems, with up to 256-dimensional continuous actions, show the advantage of the proposed approach over the conventional one.


title: The domination number of plane triangulations

abstract: We introduce a class of plane graphs called weak near-triangulations, and prove that this class is closed under certain graph operations. Then we use the properties of weak near-triangulations to prove that every plane triangulation on $n>6$ vertices has a dominating set of size at most $17n/53$. This improves the bound $n/3$ obtained by Matheson and Tarjan.


title: Delegated Search Approximates Efficient Search

abstract: There are many settings in which a principal performs a task by delegating it to an agent, who searches over possible solutions and proposes one to the principal. This describes many aspects of the workflow within organizations, as well as many of the activities undertaken by regulatory bodies, who often obtain relevant information from the parties being regulated through a process of delegation. A fundamental tension underlying delegation is the fact that the agent's interests will typically differ -- potentially significantly -- from the interests of the principal, and as a result the agent may propose solutions based on their own incentives that are inefficient for the principal. A basic problem, therefore, is to design mechanisms by which the principal can constrain the set of proposals they are willing to accept from the agent, to ensure a certain level of quality for the principal from the proposed solution. In this work, we investigate how much the principal loses -- quantitatively, in terms of the objective they are trying to optimize -- when they delegate to an agent. We develop a methodology for bounding this loss of efficiency, and show that in a very general model of delegation, there is a family of mechanisms achieving a universal bound on the ratio between the quality of the solution obtained through delegation and the quality the principal could obtain in an idealized benchmark where they searched for a solution themself. Moreover, it is possible to achieve such bounds through mechanisms with a natural threshold structure, which are thus structurally simpler than the optimal mechanisms typically considered in the literature on delegation. At the heart of our framework is an unexpected connection between delegation and the analysis of prophet inequalities, which we leverage to provide bounds on the behavior of our delegation mechanisms.


title: Digitized metamaterial absorber-based compressive reflector antenna for high sensing capacity imaging

abstract: Conventional multistatic radar systems using microwave and millimeter-wave (mm-wave) frequencies seek to reconstruct the target in the imaging domain, employing many transmitting and receiving antenna elements. These systems are suboptimal, in that they do not take into consideration the large mutual information existing between the measurements. This work reports a new mm-wave radar system for high sensing capacity applications. The system is composed of a Compressive Reflector Antenna (CRA), whose surface is specially tailored by digitized Metamaterial Absorbers (MMAs). The MMA elements are designed to have a highly frequency-dispersive response in the operating band of the radar. This enables the CRA to create highly uncorrelated spatial and spectral codes in the imaging region. A semi-analytic method based on Drude-Lorentz model is used to approximate the reflection response of the MMAs. The performance of the developed radar system is evaluated in active mm-wave sensing systems by imaging PEC scatterers and an extended human-size model in the near-field of the radar. A computational method based on physical optics is established for solving the numerical examples. For reconstructing the image using compressive sensing techniques, a norm-1 regularized iterative algorithm based on the Alternating Direction Method of Multipliers (ADMM) and a Nesterov-based algorithm (NESTA) were applied.


title: Effect of nano Co reinforcements on the structure of the Sn-3.0Ag-0.5Cu solder in liquid and after reflow solid states

abstract: Sn-Ag-Cu (SAC) alloys are commonly recognized as lead-free solders employed in the electronics industry. However, some disadvantages in mechanical properties and their higher melting temperatures compared to Pb-Sn solders prompt new research relating to reinforcement of existing SAC solders. One of the ways to reinforce these solder materials is the formation of composites with nanoparticles as filler materials. Accordingly, this study presents structural features of nanocomposite (Sn-3.0Ag-0.5Cu)100-x(nanoCo)x solders with up to 0.8 wt.% nano Co. The effect of nano-sized Co particles was investigated by means of differential thermal analysis (DTA), X-ray diffraction (XRD) in both liquid and solid states, and scanning electron microscopy (SEM). The experimental data of DTA are compared with available literature data for bulk Sn 3.0Ag-0.5Cu alloy to check the capability of minor nano-inclusions to decrease the melting temperature of the SAC solder. The combination of structural data in liquid and solid states provides important information about the structural transformations of liquid Sn 3.0Ag 0.5Cu alloys caused by minor Co additions and the phase formation during crystallization. Furthermore, scanning electron microscopy has shown the mutual substitution of Co and Cu atoms in the Cu6Sn5 and CoSn3 phases, respectively.


title: Weakly polynomial efficient minimization of a non-convex quadratic function with logarithmic barriers in a trust-region

abstract: We introduce a particular optimization problem that minimizes the sum of a non-convex quadratic function and logarithmic barrier-functions in a $\ell_\infty$-trust-region (i.e. cube). Our paper covers three topics. We explain the relevance of the considered problem. We lay out how solutions of this problem can be used as efficient step-directions in solution methods for nonlinear programming. We present a theoretical algorithm for solving the problem. We show that this algorithm has weak polynomial time-complexity. A practical method is under development. In the outlook we discuss how the given method can be accelerated for better practical performance. We also lay out where the difficulties live when trying to formulate an accelerated primal-dual variant.


title: Mott transition and collective charge pinning in electron doped Sr2IrO4

abstract: We studied the in-plane dynamic and static charge conductivity of electron doped Sr2IrO4 using optical spectroscopy and DC transport measurements. The optical conductivity indicates that the pristine material is an indirect semiconductor with a direct Mott-gap of 0.55 eV. Upon substitution of 2% La per formula unit the Mott-gap is suppressed except in a small fraction of the material (15%) where the gap survives, and overall the material remains insulating. Instead of a zero energy mode (or Drude peak) we observe a soft collective mode (SCM) with a broad maximum at 40 meV. Doping to 10% increases the strength of the SCM, and a zero-energy mode occurs together with metallic DC conductivity. Further increase of the La substitution doesn't change the spectral weight integral up to 3 eV. It does however result in a transfer of the SCM spectral weight to the zero-energy mode, with a corresponding reduction of the DC resistivity for all temperatures from 4 to 300 K. The presence of a zero-energy mode signals that at least part of the Fermi surface remains ungapped at low temperatures, whereas the SCM appears to be caused by pinning a collective frozen state involving part of the doped electrons.


title: Infinite dimensional generalizations of Choi's theorem

abstract: In this paper we give a simple sequence of necessary and sufficient finite dimensional conditions for a positive map between certain subspaces of bounded linear operators on separable Hilbert spaces to be completely positive. These criterions are natural generalization of Choi's characterization for completely positive maps between pairs of linear operators on finite dimensional Hilbert spaces. We apply our conditions to a completely positive map between two trace class operators on separable Hilbert spaces. A map $\mu$ is called a quantum channel, if it is trace preserving, and $\mu$ is called a quantum subchannel if it decreases the trace of a positive operator. We give simple neccesary and sufficient condtions for $\mu$ to be a quantum subchannel. We show that $\mu$ is a quantum subchannel if and only if it has Hellwig-Kraus representation. The last result extends the classical results of Kraus and the recent result of Holevo for characterization of a quantum channel.


title: Bayesian Prediction of Future Street Scenes through Importance Sampling based Optimization

abstract: For autonomous agents to successfully operate in the real world, anticipation of future events and states of their environment is a key competence. This problem can be formalized as a sequence prediction problem, where a number of observations are used to predict the sequence into the future. However, real-world scenarios demand a model of uncertainty of such predictions, as future states become increasingly uncertain and multi-modal -- in particular on long time horizons. This makes modelling and learning challenging. We cast state of the art semantic segmentation and future prediction models based on deep learning into a Bayesian formulation that in turn allows for a full Bayesian treatment of the prediction problem. We present a new sampling scheme for this model that draws from the success of variational autoencoders by incorporating a recognition network. In the experiments we show that our model outperforms prior work in accuracy of the predicted segmentation and provides calibrated probabilities that also better capture the multi-modal aspects of possible future states of street scenes.