title: Discovery of a rapid, luminous nova in NGC 300 by the KMTNet Supernova Program

abstract: We present the discovery of a rapidly evolving transient by the Korean Microlensing Telescope Network Supernova Program (KSP). KSP is a novel high-cadence supernova survey that offers deep ($\sim21.5$ mag in $BVI$ bands) nearly continuous wide-field monitoring for the discovery of early and/or fast optical transients. KSP-OT-201509a, reported here, was discovered on 2015 September 27 during the KSP commissioning run in the direction of the nearby galaxy NGC~300, and stayed above detection limit for $\sim$ 22 days. We use our $BVI$ light-curves to constrain the ascent rate, $-3.7(7)$ mag day$^{-1}$ in $V$, decay time scale, $t^{V}_{2}=1.7(6)$ days, and peak absolute magnitude, $-9.65\leq M_{V}\leq -9.25$ mag. We also find evidence for a short-lived pre-maximum halt in all bands. The peak luminosity and lightcurve evolution make KSP-OT-201509a consistent with a bright, rapidly decaying nova outburst. We discuss constraints on the nature of the progenitor and its environment using archival HST/ACS images and conclude with a broad discussion on the nature of the system.


title: Stabiliser states are efficiently PAC-learnable

abstract: The exponential scaling of the wave function is a fundamental property of quantum systems with far reaching implications in our ability to process quantum information. A problem where these are particularly relevant is quantum state tomography. State tomography, whose objective is to obtain a full description of a quantum system, can be analysed in the framework of computational learning theory. In this model, quantum states have been shown to be Probably Approximately Correct (PAC)-learnable with sample complexity linear in the number of qubits. However, it is conjectured that in general quantum states require an exponential amount of computation to be learned. Here, using results from the literature on the efficient classical simulation of quantum systems, we show that stabiliser states are efficiently PAC-learnable. Our results solve an open problem formulated by Aaronson [Proc. R. Soc. A, 2088, (2007)] and propose learning theory as a tool for exploring the power of quantum computation.


title: Deep Learning in the Automotive Industry: Applications and Tools

abstract: Deep Learning refers to a set of machine learning techniques that utilize neural networks with many hidden layers for tasks, such as image classification, speech recognition, language understanding. Deep learning has been proven to be very effective in these domains and is pervasively used by many Internet services. In this paper, we describe different automotive uses cases for deep learning in particular in the domain of computer vision. We surveys the current state-of-the-art in libraries, tools and infrastructures (e.\,g.\ GPUs and clouds) for implementing, training and deploying deep neural networks. We particularly focus on convolutional neural networks and computer vision use cases, such as the visual inspection process in manufacturing plants and the analysis of social media data. To train neural networks, curated and labeled datasets are essential. In particular, both the availability and scope of such datasets is typically very limited. A main contribution of this paper is the creation of an automotive dataset, that allows us to learn and automatically recognize different vehicle properties. We describe an end-to-end deep learning application utilizing a mobile app for data collection and process support, and an Amazon-based cloud backend for storage and training. For training we evaluate the use of cloud and on-premises infrastructures (including multiple GPUs) in conjunction with different neural network architectures and frameworks. We assess both the training times as well as the accuracy of the classifier. Finally, we demonstrate the effectiveness of the trained classifier in a real world setting during manufacturing process.


title: Scalable Twin Neural Networks for Classification of Unbalanced Data

abstract: Twin Support Vector Machines (TWSVMs) have emerged an efficient alternative to Support Vector Machines (SVM) for learning from imbalanced datasets. The TWSVM learns two non-parallel classifying hyperplanes by solving a couple of smaller sized problems. However, it is unsuitable for large datasets, as it involves matrix operations. In this paper, we discuss a Twin Neural Network (Twin NN) architecture for learning from large unbalanced datasets. The Twin NN also learns an optimal feature map, allowing for better discrimination between classes. We also present an extension of this network architecture for multiclass datasets. Results presented in the paper demonstrate that the Twin NN generalizes well and scales well on large unbalanced datasets.


title: Direct exciton emission from atomically thin transition metal dichalcogenide heterostructures near the lifetime limit

abstract: We demonstrate the reduction of the inhomogeneous linewidth of the free excitons in atomically thin transition metal dichalcogenides (TMDCs) MoSe$_{2}$, WSe$_{2}$ and MoS$_{2}$ by encapsulation within few nanometer thick hBN. Encapsulation is shown to result in a significant reduction of the 10K excitonic linewidths down to $\sim3.5 \text{ meV}$ for n-MoSe$_{2}$, $\sim5.0 \text{ meV}$ for p-WSe$_{2}$ and $\sim4.8 \text{ meV}$ for n-MoS$_{2}$. Evidence is obtained that the hBN environment effectively lowers the Fermi level since the relative spectral weight shifts towards the neutral exciton emission in n-doped TMDCs and towards charged exciton emission in p-doped TMDCs. Moreover, we find that fully encapsulated MoS$_{2}$ shows resolvable exciton and trion emission even after high power density excitation in contrast to non-encapsulated materials. Our findings suggest that encapsulation of mechanically exfoliated few-monolayer TMDCs within nanometer thick hBN dramatically enhances optical quality, producing ultra-narrow linewidths that approach the homogeneous limit.


title: Network Inspection for Detecting Strategic Attacks

abstract: This article studies a problem of strategic network inspection, in which a defender (agency) is tasked with detecting the presence of multiple attacks in the network. An inspection strategy entails monitoring the network components, possibly in a randomized manner, using a given number of detectors. We formulate the network inspection problem $(\mathcal{P})$ as a large-scale bilevel optimization problem, in which the defender seeks to determine an inspection strategy with minimum number of detectors that ensures a target expected detection rate under worst-case attacks. We show that optimal solutions of $(\mathcal{P})$ can be obtained from the equilibria of a large-scale zero-sum game. Our equilibrium analysis involves both game-theoretic and combinatorial arguments, and leads to a computationally tractable approach to solve $(\mathcal{P})$. Firstly, we construct an approximate solution by utilizing solutions of minimum set cover (MSC) and maximum set packing (MSP) problems, and evaluate its detection performance. In fact, this construction generalizes some of the known results in network security games. Secondly, we leverage properties of the optimal detection rate to iteratively refine our MSC/MSP-based solution through a column generation procedure. Computational results on benchmark water networks demonstrate the scalability, performance, and operational feasibility of our approach. The results indicate that utilities can achieve a high level of protection in large-scale networks by strategically positioning a small number of detectors.


title: Comparison of dynamic mechanical properties of non-superheated and superheated A357 alloys

abstract: The influence of superheat treatment on the microstructure and dynamic mechanical properties of A357 alloys has been investigated. The study of microstructure was performed by the optical microscope. Dynamic mechanical properties (storage modulus, loss modulus, and damping capacity) were measured by the dynamic mechanical analyzer (DMA). Microstructure showed coarser and angular eutectic Si particles with larger {\alpha}-Al dendrites in the non-superheated A357 alloy. In contrast, finer and rounded eutectic Si particles together with smaller and preferred oriented {\alpha}-Al dendrites have been observed in the superheated A357 alloy. Dynamic mechanical properties showed an increasing trend of loss modulus and damping capacity meanwhile a decreasing trend of storage modulus at elevated temperatures for superheated and non-superheated A357 alloys. The high damping capacity of superheated A357 has been ascribed to the grain boundary damping at elevated temperatures.


title: Nonparametric Cusum Charts for Angular Data with Applications in Health Science and Astrophysics

abstract: This paper develops non-parametric rotation invariant CUSUMs suited to the detection of changes in the mean direction as well as changes in the concentration parameter of angular data. The properties of the CUSUMs are illustrated by theoretical calculations, Monte Carlo simulation and application to sequentially observed angular data from health science and astrophysics.


title: Theory of the n=2 levels in muonic helium-3 ions

abstract: The present knowledge of Lamb shift, fine-, and hyperfine structure of the 2S and 2P states in muonic helium-3 ions is reviewed in anticipation of the results of a first measurement of several $\mathrm{2S\rightarrow2P}$ transition frequencies in the muonic helium-3 ion, $\mathrm{\mu^3He^+}$. This ion is the bound state of a single negative muon $\mu^-$ and a bare helium-3 nucleus (helion), $\mathrm{^3He^{++}}$. A term-by-term comparison of all available sources, including new, updated, and so far unpublished calculations, reveals reliable values and uncertainties of the QED and nuclear structure-dependent contributions to the Lamb shift and the hyperfine splitting. These values are essential for the determination of the helion rms charge radius and the nuclear structure effects to the hyperfine splitting in $\mathrm{\mu^3He^+}$. With this review we continue our series of theory summaries in light muonic atoms; see Antognini et al., Ann. Phys. 331, 127 (2013), Krauth et al., Ann.Phys. 366, 168 (2016), and Diepold et al., ArXiv 1606.05231 (2016).


title: Radiative decay of heavy neutrinos at MiniBooNE and MicroBooNE

abstract: The MiniBooNE experiment reported results from the analysis of $\nu_e$ and $\overline{\nu}_e$ appearance searches, which showed an excess of signal-like events at low reconstructed neutrino energies with respect to the expected background. A proposed explanation for this anomaly is based on the existence of a heavy ($\sim 50$~MeV) sterile neutrino. These $\nu_h$ would be produced by $\nu_\mu$ electromagnetic and neutral current interactions. A fraction of them decays radiatively inside the detector. The emitted photon is misidentified as an electron or positron in MiniBooNE. We have investigated the $\nu_h$ production by coherent and incoherent electroweak interactions at the MiniBooNE and MicroBooNE targets, CH$_2$ and Ar, respectively. Studying the $\nu_h$ propagation inside the detector, we obtain the energy and angular distributions of emitted photons for a choice of model parameters. The distinctive shape and total number of photon events from this mechanism at MicroBooNE makes its experimental investigation possible.


title: Commissioning of ELLIE for SNO+

abstract: SNO+ is a neutrinoless double beta decay and low energy neutrino experiment located in Sudbury, Canada. To improve our understanding of the detector energy resolution and systematics, calibration systems have been developed to continuously monitor the optical properties of the detector, such as: absorption, re-emission, scattering and timing. A part of this in-situ optical calibration system is the Embedded LED/Laser Light Injection Entity (ELLIE). It consists of three subsystems: AMELLIE, SMELLIE, TELLIE. The attenuation module (AMELLIE) is designed to monitor the total optical attenuation, whereas the optical scattering over a wavelength range of 375nm -- 700nm will be characterized by the scattering module (SMELLIE). The timing module (TELLIE) aims to measure the timing characteristics of the photomultiplier tubes. We present the planned commissioning of these three systems, the running of which began early 2017.


title: Domains for Higher-Order Games

abstract: We study two-player inclusion games played over word-generating higher-order recursion schemes. While inclusion checks are known to capture verification problems, two-player games generalize this relationship to program synthesis. In such games, non-terminals of the grammar are controlled by opposing players. The goal of the existential player is to avoid producing a word that lies outside of a regular language of safe words. We contribute a new domain that provides a representation of the winning region of such games. Our domain is based on (functions over) potentially infinite Boolean formulas with words as atomic propositions. We develop an abstract interpretation framework that we instantiate to abstract this domain into a domain where the propositions are replaced by states of a finite automaton. This second domain is therefore finite and we obtain, via standard fixed-point techniques, a direct algorithm for the analysis of two-player inclusion games. We show, via a second instantiation of the framework, that our finite domain can be optimized, leading to a (k+1)EXP algorithm for order-k recursion schemes. We give a matching lower bound, showing that our approach is optimal. Since our approach is based on standard Kleene iteration, existing techniques and tools for fixed-point computations can be applied.


title: The Effect of Solutes on the Temperature of Miscibility Transitions in Multi-component Membranes

abstract: We address questions posed by experiments which show that most small-chain alcohols reduce the miscibility transition temperature when added to giant plasma membrane vesicles, but increase that temperature when added to giant unilamellar vesicles. In both systems the change in temperature depends non-monotonically on the length of the alcohol chain. To emphasize the roles played by the internal entropies of the components, we model them as linear polymers. We show that, within Flory-Huggins theory, the addition of alcohol causes an increase or decrease of the transition temperature depending upon the competition of two effects. One is the dilution of the solvent interactions caused by the introduction of solute, which tends to lower the temperature. The other is the preference of the solute for one phase or the other, which tends to raise the temperature. The magnitude of this term depends on the entropies of all components. Lastly we provide a reasonable explanation for the behavior of the transition temperature with alcohol chain length observed in experiment.


title: On Controlled Frames in Hilbert $C^*$-modules

abstract: In this paper, we introduce controlled frames in Hilbert $C^*$-modules and we show that they share many useful properties with their corresponding notions in Hilbert space. Next, we give a characterization of controlled frames in Hilbert $C^*$-module. Also multiplier operators for controlled frames in Hilbert $C^*$-modules will be defined and some of its properties will be shown. Finally, we investigate weighted frames in Hilbert $C^*$-modules and verify their relations to controlled frames and multiplier operators.


title: Fokas's Uniform Transform Method for linear systems

abstract: We demonstrate the use of the Unified Transform Method or Method of Fokas for boundary value problems for systems of constant-coefficient linear partial differential equations. We discuss how the apparent branch singularities typically appearing in the global relation are removable, allowing the method to proceed, in essence, as for scalar problems. We illustrate the use of the method with boundary value problems for the Klein-Gordon equation and the linearized Fitzhugh-Nagumo system. The case of wave equations is treated separately in an appendix.


title: Search for Evergreens in Science: A Functional Data Analysis

abstract: Evergreens in science are papers that display a continual rise in annual citations without decline, at least within a sufficiently long time period. Aiming to better understand evergreens in particular and patterns of citation trajectory in general, this paper develops a functional data analysis method to cluster citation trajectories of a sample of 1699 research papers published in 1980 in the American Physical Society (APS) journals. We propose a functional Poisson regression model for individual papers' citation trajectories, and fit the model to the observed 30-year citations of individual papers by functional principal component analysis and maximum likelihood estimation. Based on the estimated paper-specific coefficients, we apply the K-means clustering algorithm to cluster papers into different groups, for uncovering general types of citation trajectories. The result demonstrates the existence of an evergreen cluster of papers that do not exhibit any decline in annual citations over 30 years.


title: Real-Time Salient Closed Boundary Tracking via Line Segments Perceptual Grouping

abstract: This paper presents a novel real-time method for tracking salient closed boundaries from video image sequences. This method operates on a set of straight line segments that are produced by line detection. The tracking scheme is coherently integrated into a perceptual grouping framework in which the visual tracking problem is tackled by identifying a subset of these line segments and connecting them sequentially to form a closed boundary with the largest saliency and a certain similarity to the previous one. Specifically, we define a new tracking criterion which combines a grouping cost and an area similarity constraint. The proposed criterion makes the resulting boundary tracking more robust to local minima. To achieve real-time tracking performance, we use Delaunay Triangulation to build a graph model with the detected line segments and then reduce the tracking problem to finding the optimal cycle in this graph. This is solved by our newly proposed closed boundary candidates searching algorithm called "Bidirectional Shortest Path (BDSP)". The efficiency and robustness of the proposed method are tested on real video sequences as well as during a robot arm pouring experiment.


title: Some remarks regarding a, b, x0, x1 numbers and a, b, x0, x1 quaternions

abstract: In this paper we define and study properties and applications of a, b, x0, x1 elements in some special cases.


title: CMS-HF Calorimeter Upgrade for Run II

abstract: CMS-HF Calorimeters have been undergoing a major upgrade for the last couple of years to alleviate the problems encountered during Run I, especially in the PMT and the readout systems. In this poster, the problems caused by the old PMTs installed in the detectors and their solutions will be explained. Initially, regular PMTs with thicker windows, causing large Cherenkov radiation, were used. Instead of the light coming through the fibers from the detector, stray muons passing through the PMT itself produce Cherenkov radiation in the PMT window, resulting in erroneously large signals. Usually, large signals are the result of very high-energy particles in the calorimeter and are tagged as important. As a result, these so-called window events generate false triggers. Four-anode PMTs with thinner windows were selected to reduce these window events. Additional channels also help eliminate such remaining events through algorithms comparing the output of different PMT channels. During the EYETS 16/17 period in the LHC operations, the final components of the modifications to the readout system, namely the two-channel front-end electronics cards, are installed. Complete upgrade of the HF Calorimeter, including the preparations for the Run II will be discussed in this poster, with possible effects on the eventual data taking.


title: Pinning effects on self-heating and flux-flow instability in superconducting films near $T_{c}$

abstract: The effect of pinning on self-heating triggering the Larkin-Ovchinnikov (LO) flux-flow instability (FFI) in superconducting thin films is theoretically investigated. The problem is considered relying upon the Bezuglyj-Shklovskij (BS) generalization of the LO theory, accounting for a finite heat removal from the quasiparticles at temperature $T^\ast$ to the bath at temperature $T_0$. The FFI critical parameters, namely the current density $j^{\ast}$, the electric field $E^{\ast}$, the power density $P^{\ast}$, and the vortex velocity $v^{\ast}$ are calculated and graphically analyzed as functions of the magnetic field and the pinning strength. With increasing pinning strength at a fixed magnetic field value $E^{\ast}$ \emph{decreases}, $j^{\ast}$ \emph{increases}, while $P^{\ast}$ and $T^{\ast}$ \emph{remain practically constant}. Vortex pinning may hence be the cause for eventual discrepancies between experiments on superconductors with \emph{strong pinning} and the generalized LO and BS results.


title: Revisiting Recurrent Networks for Paraphrastic Sentence Embeddings

abstract: We consider the problem of learning general-purpose, paraphrastic sentence embeddings, revisiting the setting of Wieting et al. (2016b). While they found LSTM recurrent networks to underperform word averaging, we present several developments that together produce the opposite conclusion. These include training on sentence pairs rather than phrase pairs, averaging states to represent sequences, and regularizing aggressively. These improve LSTMs in both transfer learning and supervised settings. We also introduce a new recurrent architecture, the Gated Recurrent Averaging Network, that is inspired by averaging and LSTMs while outperforming them both. We analyze our learned models, finding evidence of preferences for particular parts of speech and dependency relations.


title: Measuring Holographic Entanglement Entropy on a Quantum Simulator

abstract: Quantum simulation promises to have wide applications in many fields where problems are hard to model with classical computers. Various quantum devices of different platforms have been built to tackle the problems in, say, quantum chemistry, condensed matter physics, and high-energy physics. Here, we report an experiment towards the simulation of quantum gravity by simulating the holographic entanglement entropy. On a six-qubit nuclear magnetic resonance quantum simulator, we demonstrate a key result of Anti-de Sitter/conformal field theory(\adscft) correspondence---the Ryu-Takayanagi formula is demonstrated by measuring the relevant entanglement entropies on the perfect tensor state. The fidelity of our experimentally prepared the six-qubit state is 85.0\% via full state tomography and reaches 93.7\% if the signal-decay due to decoherence is taken into account. Our experiment serves as the basic module of simulating more complex tensor network states that exploring \adscft correspondence. As the initial experimental attempt to study \adscft via quantum information processing, our work opens up new avenues exploring quantum gravity phenomena on quantum simulators.


title: Predicting Foreground Object Ambiguity and Efficiently Crowdsourcing the Segmentation(s)

abstract: We propose the ambiguity problem for the foreground object segmentation task and motivate the importance of estimating and accounting for this ambiguity when designing vision systems. Specifically, we distinguish between images which lead multiple annotators to segment different foreground objects (ambiguous) versus minor inter-annotator differences of the same object. Taking images from eight widely used datasets, we crowdsource labeling the images as "ambiguous" or "not ambiguous" to segment in order to construct a new dataset we call STATIC. Using STATIC, we develop a system that automatically predicts which images are ambiguous. Experiments demonstrate the advantage of our prediction system over existing saliency-based methods on images from vision benchmarks and images taken by blind people who are trying to recognize objects in their environment. Finally, we introduce a crowdsourcing system to achieve cost savings for collecting the diversity of all valid "ground truth" foreground object segmentations by collecting extra segmentations only when ambiguity is expected. Experiments show our system eliminates up to 47% of human effort compared to existing crowdsourcing methods with no loss in capturing the diversity of ground truths.


title: Linear genetic programming control for strongly nonlinear dynamics with frequency crosstalk

abstract: We advance Machine Learning Control (MLC), a recently proposed model-free control framework which explores and exploits strongly nonlinear dynamics in an unsupervised manner. The assumed plant has multiple actuators and sensors and its performance is measured by a cost functional. The control problem is to find a control logic which optimizes the given cost function. The corresponding regression problem for the control law is solved by employing linear genetic programming as an easy and simple regression solver in a high-dimensional control search space. This search space comprises open-loop actuation, sensor-based feedback and combinations thereof, thus generalizing former MLC studies. This methodology is denoted as linear genetic programming control (LGPC). Focus of this study is the frequency crosstalk between unforced unstable oscillation and the actuation at different frequencies. LGPC is first applied to the stabilization of a forced nonlinearly coupled three-oscillator model comprising open- and closed-loop frequency crosstalk mechanisms. LGPC performance is then demonstrated in a turbulence control experiment, achieving 22% drag reduction for a simplified car model. For both cases, LGPC identifies the best nonlinear control achieving the optimal performance by exploiting frequency crosstalk. Our control strategy is suited to complex control problems with multiple actuators and sensors featuring nonlinear actuation dynamics.


title: How to Read Many-Objective Solution Sets in Parallel Coordinates

abstract: Rapid development of evolutionary algorithms in handling many-objective optimization problems requires viable methods of visualizing a high-dimensional solution set. Parallel coordinates which scale well to high-dimensional data are such a method, and have been frequently used in evolutionary many-objective optimization. However, the parallel coordinates plot is not as straightforward as the classic scatter plot to present the information contained in a solution set. In this paper, we make some observations of the parallel coordinates plot, in terms of comparing the quality of solution sets, understanding the shape and distribution of a solution set, and reflecting the relation between objectives. We hope that these observations could provide some guidelines as to the proper use of parallel coordinates in evolutionary many-objective optimization.


title: Optimal stopping of a Brownian bridge with an unknown pinning point

abstract: The problem of stopping a Brownian bridge with an unknown pinning point to maximise the expected value at the stopping time is studied. A few general properties, such as continuity and various bounds of the value function, are established. However, structural properties of the optimal stopping region are shown to crucially depend on the prior, and we provide a general condition for a one-sided stopping region. Moreover, a detailed analysis is conducted in the cases of the two-point and the mixed Gaussian priors, revealing a rich structure present in the problem.


abstract: Today's routing protocols critically rely on the assumption that the underlying hardware is trusted. Given the increasing number of attacks on network devices, and recent reports on hardware backdoors this assumption has become questionable. Indeed, with the critical role computer networks play today, the contrast between our security assumptions and reality is problematic. This paper presents Software-Defined Adversarial Trajectory Sampling (SoftATS), an OpenFlow-based mechanism to efficiently monitor packet trajectories, also in the presence of non-cooperating or even adversarial switches or routers, e.g., containing hardware backdoors. Our approach is based on a secure, redundant and adaptive sample distribution scheme which allows us to provably detect adversarial switches or routers trying to reroute, mirror, drop, inject, or modify packets (i.e., header and/or payload). We evaluate the effectiveness of our approach in different adversarial settings, report on a proof-of-concept implementation, and provide a first evaluation of the performance overheads of such a scheme.


title: Trapping and displacement of liquid collars and plugs in rough-walled tubes

abstract: A liquid film wetting the interior of a long circular cylinder redistributes under the action of surface tension to form annular collars or occlusive plugs. These equilibrium structures are invariant under axial translation within a perfectly smooth uniform tube and therefore can be displaced axially by very weak external forcing. We consider how this degeneracy is disrupted when the tube wall is rough, and determine threshold conditions under which collars or plugs resist displacement under forcing. Wall roughness is modelled as a non-axisymmetric Gaussian random field of prescribed correlation length and small variance, mimicking some of the geometric irregularities inherent in applications such as lung airways. The thin film coating this surface is modelled using lubrication theory. When the roughness is weak, we show how the locations of equilibrium collars and plugs can be identified in terms of the azimuthally averaged tube radius; we derive conditions specifying equilibrium collar locations under an externally imposed shear flow, and plug locations under an imposed pressure gradient. We use these results to determine the probability of external forcing being sufficient to displace a collar or plug from a rough-walled tube, when the tube roughness is defined only in statistical terms.


title: A note on the box dimension of degenerate foci

abstract: We study polynomial planar systems with singularity of focus type without characteristic directions. Simple and natural transformation of weak focus has been used to obtain such degenerate focus. We compute the box dimension of a spiral trajectory, and show connection to cyclicity of the system under a perturbation.


title: A $p$-adic version of AdS/CFT

abstract: In this summary of my talk at Strings 2016, I explain how classical dynamics on an infinite tree graph can be dual to a conformal field theory defined over the $p$-adic numbers. An informal introduction to $p$-adic numbers is followed by a presentation of results on holographic three- and four-point functions. The simplicity of $p$-adic field theories and their similarity to ordinary field theories are illustrated through comparisons of holographic correlators and computations of simple loop diagrams on the field theory side. I close with a discussion of challenges and directions for future work.


title: K\"ahler-Einstein metrics on Q-smoothable Fano varieties, their moduli and some applications

abstract: We survey recent results on the existence of K\"ahler-Einstein metrics on certain smoothable Fano varieties, focusing on the importance of such metrics in the construction of compact algebraic moduli spaces of K-polystable Fano varieties. Moreover, we give some applications and we discuss some natural problems which deserve future investigations.


title: Targeted matrix completion

abstract: Matrix completion is a problem that arises in many data-analysis settings where the input consists of a partially-observed matrix (e.g., recommender systems, traffic matrix analysis etc.). Classical approaches to matrix completion assume that the input partially-observed matrix is low rank. The success of these methods depends on the number of observed entries and the rank of the matrix; the larger the rank, the more entries need to be observed in order to accurately complete the matrix. In this paper, we deal with matrices that are not necessarily low rank themselves, but rather they contain low-rank submatrices. We propose Targeted, which is a general framework for completing such matrices. In this framework, we first extract the low-rank submatrices and then apply a matrix-completion algorithm to these low-rank submatrices as well as the remainder matrix separately. Although for the completion itself we use state-of-the-art completion methods, our results demonstrate that Targeted achieves significantly smaller reconstruction errors than other classical matrix-completion methods. One of the key technical contributions of the paper lies in the identification of the low-rank submatrices from the input partially-observed matrices.


title: Self-dual Harmonicity: the planar case

abstract: We present a manifestly geometrically self-dual version of the Fano harmonicity axiom for the projective plane.


title: Explicit Gromov-Hausdorff compactifications of moduli spaces of K\"ahler-Einstein Fano manifolds

abstract: We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of K\"ahler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are based on recent progress about the geometry of metric tangent cones and on related ideas about the algebro-geometric study of singularities of K-stable Fano varieties.


title: Laminar and turbulent dynamos in chiral magnetohydrodynamics-I: Theory

abstract: The magnetohydrodynamic (MHD) description of plasmas with relativistic particles necessarily includes an additional new field, the chiral chemical potential associated with the axial charge (i.e., the number difference between right- and left-handed relativistic fermions). This chiral chemical potential gives rise to a contribution to the electric current density of the plasma (\emph{chiral magnetic effect}). We present a self-consistent treatment of the \emph{chiral MHD equations}, which include the back-reaction of the magnetic field on a chiral chemical potential and its interaction with the plasma velocity field. A number of novel phenomena are exhibited. First, we show that the chiral magnetic effect decreases the frequency of the Alfv\'{e}n wave for incompressible flows, increases the frequencies of the Alfv\'{e}n wave and of the fast magnetosonic wave for compressible flows, and decreases the frequency of the slow magnetosonic wave. Second, we show that, in addition to the well-known laminar chiral dynamo effect, which is not related to fluid motions, there is a dynamo caused by the joint action of velocity shear and chiral magnetic effect. In the presence of turbulence with vanishing mean kinetic helicity, the derived mean-field chiral MHD equations describe turbulent large-scale dynamos caused by the chiral alpha effect, which is dominant for large fluid and magnetic Reynolds numbers. The chiral alpha effect is due to an interaction of the chiral magnetic effect and fluctuations of the small-scale current produced by tangling magnetic fluctuations (which are generated by tangling of the large-scale magnetic field by sheared velocity fluctuations). These dynamo effects may have interesting consequences in the dynamics of the early universe, neutron stars, and the quark--gluon plasma.

categories: physics.plasm-ph astro-ph.CO astro-ph.HE hep-ph physics.flu-dyn


title: On the essential spectrum of elliptic differential operators

abstract: Let $\mathcal{A}$ be a $C^*$-algebra of bounded uniformly continuous functions on $X=\mathbb{R}^d$ such that $\mathcal{A}$ is stable under translations and contains the continuous functions that have a limit at infinity. Denote $\mathcal{A}^\dagger$ the boundary of $X$ in the character space of $\mathcal{A}$. Then the crossed product $\mathscr{A}=\mathcal{A}\rtimes X$ of $\mathcal{A}$ by the natural action of $X$ on $\mathcal{A}$ is a well defined $C^*$-algebra and to each operator $A\in\mathscr{A}$ one may naturally associate a family of bounded operators $A_\varkappa$ on $L^2(X)$ indexed by the characters $\varkappa\in\mathcal{A}^\dagger$. We show that the essential spectrum of $A$ is the union of the spectra of the operators $A_\varkappa$. The applications cover very general classes of singular elliptic operators.

categories: math.OA math-ph math.MP math.SP quant-ph


title: Probing the infrared counterparts of diffuse far-ultraviolet sources in the Galaxy

abstract: Recent availability of high quality infrared (IR) data for diffuse regions in the Galaxy and external galaxies have added to our understanding of interstellar dust. A comparison of ultraviolet (UV) and IR observations may be used to estimate absorption, scattering and thermal emission from interstellar dust. In this paper, we report IR and UV observations for selective diffuse sources in the Galaxy. Using archival mid-infrared (MIR) and far-infrared (FIR) observations from Spitzer Space Telescope, we look for counterparts of diffuse far-ultraviolet (FUV) sources observed by the Voyager, Far Ultraviolet Spectroscopic Explorer (FUSE) and Galaxy Evolution Explorer (GALEX) telescopes in the Galaxy. IR emission features at 8micron are generally attributed to Polycyclic Aromatic Hydrocarbon (PAH) molecules, while emission at 24micron are attributed to Very Small Grains (VSGs). The data presented here is unique and our study tries to establish a relation between various dust populations. By studying the FUV-IR correlations separately at low and high latitude locations, we have identified the grain component responsible for the diffuse FUV emission.


title: The set of forces that ideal trusses, or wire webs, under tension can support

abstract: The problem of determining those multiplets of forces, or sets of force multiplets, acting at a set of points, such that there exists a truss structure, or wire web, that can support these force multiplets with all the elements of the truss or wire web being under tension, is considered. The two-dimensional problem where the points are at the vertices of a convex polygon is essentially solved: each multiplet of forces must be such that the net anticlockwise torque around any vertex of the forces summed over any number of consecutive points clockwise past the vertex must be non-negative; and one can find a truss structure that supports under tension, and only supports, those force multiplets in a convex polyhedron of force multiplets that is generated by a finite number of force multiplets each satisfying the torque condition. Progress is also made on the problem where only a subset of the points are at the vertices of a convex polygon, and the other points are inside. In particular, in the case where only one point is inside, an explicit procedure is described for constructing a suitable truss, if one exists. An alternative recipe to that provided by Guevara-Vasquez, Milton, and Onofrei (2011), based on earlier work of Camar Eddine and Seppecher (2003), is given for constructing a truss structure, with elements under either compression or tension, that supports an arbitrary collection of balanced forces at the vertices of a convex polygon. Finally some constraints are given on the forces that a three-dimension truss, or wire web, under tension must satisfy.


title: Common greedy wiring and rewiring heuristics do not guarantee maximum assortative graphs of given degree

abstract: We examine two greedy heuristics - wiring and rewiring - for constructing maximum assortative graphs over all simple connected graphs with a target degree sequence. Counterexamples show that natural greedy rewiring heuristics do not necessarily return a maximum assortative graph, even though it is known that the meta-graph of all simple connected graphs with given degree is connected under rewiring. Counterexamples show an elegant greedy graph wiring heuristic from the literature may fail to achieve the target degree sequence or may fail to wire a maximally assortative graph.


title: Neutrino Astronomy with IceCube and Beyond

abstract: The IceCube Neutrino Observatory is a cubic kilometer neutrino telescope located at the geographic South Pole. Cherenkov radiation emitted by charged secondary particles from neutrino interactions is observed by IceCube using an array of 5160 photomultiplier tubes embedded between a depth of 1.5 km to 2.5 km in the Antarctic glacial ice. The detection of astrophysical neutrinos is a primary goal of IceCube and has now been realized with the discovery of a diffuse, high-energy flux consisting of neutrino events from tens of TeV up to several PeV. Many analyses have been performed to identify the source of these neutrinos, including correlations with active galactic nuclei, gamma-ray bursts, and the Galactic plane. IceCube also conducts multi-messenger campaigns to alert other observatories of possible neutrino transients in real time. However, the source of these neutrinos remains elusive as no corresponding electromagnetic counterparts have been identified. This proceeding will give an overview of the detection principles of IceCube, the properties of the observed astrophysical neutrinos, the search for corresponding sources (including real-time searches), and plans for a next-generation neutrino detector, IceCube-Gen2.


title: Polynomial partition asymptotics

abstract: Let $f \in \mathbb{Z}[y]$ be a polynomial such that $f(\mathbb{N}) \subseteq \mathbb{N}$, and let $p_{\mathcal{A}_{f}}(n)$ denote number of partitions of $n$ whose parts lie in the set $\mathcal{A}_f:=\{f(n):n \in \mathbb{N}\}$. Under hypotheses on the roots of $f-f(0)$, we use the Hardy--Littlewood circle method, a polylogarithm identity, and the Matsumoto--Weng zeta function to derive asymptotic formulae for $p_{\mathcal{A}_f}(n)$ as $n$ tends to infinity. This generalises asymptotic formulae for the number of partitions into perfect $d$th powers, established by Vaughan for $d=2$, and Gafni for the case $d \geq 2$, in 2015 and 2016 respectively.


title: A Generalized Probabilistic Version of Modus Ponens

abstract: Modus ponens (\emph{from $A$ and "if $A$ then $C$" infer $C$}, short: MP) is one of the most basic inference rules. The probabilistic MP allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from $P(A)$ and $P(C|A)$ infer $P(C)$). In this paper, we generalize the probabilistic MP by replacing $A$ by the conditional event $A|H$. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic MP coincide with the respective bounds on the conclusion for the (non-nested) probabilistic MP.


title: On Subcomplete Forcing

abstract: I survey an array of topics in set theory in the context of a novel class of forcing notions: subcomplete forcing. Subcompleteness was originally defined by Ronald Jensen. I have attempted to make the subject somewhat more approachable to set theorists, while showing various properties of subcomplete forcing which one might desire of a forcing class, drawing comparisons between subcomplete forcing and countably closed forcing. In particular, I look at the interaction between subcomplete forcing and $\omega_1$-trees, preservation properties of subcomplete forcing, the subcomplete maximality principle, the subcomplete resurrection axiom, and show that generalized diagonal Prikry forcing is subcomplete.


title: Middleware Technologies for Cloud of Things - a survey

abstract: The next wave of communication and applications rely on the new services provided by Internet of Things which is becoming an important aspect in human and machines future. The IoT services are a key solution for providing smart environments in homes, buildings and cities. In the era of a massive number of connected things and objects with a high grow rate, several challenges have been raised such as management, aggregation and storage for big produced data. In order to tackle some of these issues, cloud computing emerged to IoT as Cloud of Things (CoT) which provides virtually unlimited cloud services to enhance the large scale IoT platforms. There are several factors to be considered in design and implementation of a CoT platform. One of the most important and challenging problems is the heterogeneity of different objects. This problem can be addressed by deploying suitable "Middleware". Middleware sits between things and applications that make a reliable platform for communication among things with different interfaces, operating systems, and architectures. The main aim of this paper is to study the middleware technologies for CoT. Toward this end, we first present the main features and characteristics of middlewares. Next we study different architecture styles and service domains. Then we presents several middlewares that are suitable for CoT based platforms and lastly a list of current challenges and issues in design of CoT based middlewares is discussed.


title: On two functions arising in the study of the Euler and Carmichael quotients

abstract: We investigate two arithmetic functions naturally occurring in the study of the Euler and Carmichael quotients. The functions are related to the frequency of vanishing of the Euler and Carmichael quotients. We obtain several results concerning the relations between these functions as well as their typical and extreme values.


title: Adversarial PoseNet: A Structure-aware Convolutional Network for Human Pose Estimation

abstract: For human pose estimation in monocular images, joint occlusions and overlapping upon human bodies often result in deviated pose predictions. Under these circumstances, biologically implausible pose predictions may be produced. In contrast, human vision is able to predict poses by exploiting geometric constraints of joint inter-connectivity. To address the problem by incorporating priors about the structure of human bodies, we propose a novel structure-aware convolutional network to implicitly take such priors into account during training of the deep network. Explicit learning of such constraints is typically challenging. Instead, we design discriminators to distinguish the real poses from the fake ones (such as biologically implausible ones). If the pose generator (G) generates results that the discriminator fails to distinguish from real ones, the network successfully learns the priors.


title: Duluth at SemEval--2016 Task 14 : Extending Gloss Overlaps to Enrich Semantic Taxonomies

abstract: This paper describes the Duluth systems that participated in Task 14 of SemEval 2016, Semantic Taxonomy Enrichment. There were three related systems in the formal evaluation which are discussed here, along with numerous post--evaluation runs. All of these systems identified synonyms between WordNet and other dictionaries by measuring the gloss overlaps between them. These systems perform better than the random baseline and one post--evaluation variation was within a respectable margin of the median result attained by all participating systems.


title: Alpha Cluster Formation and Decay in Quartetting Wave Function Approach

abstract: We present a microscopic calculation of alpha-cluster formation in heavy nuclei by using the quartetting wave function approach. The interaction of the quartet with the core nucleus is taken in local density approximation. The alpha-cluster formation is found to be particularly sensitive to the interplay of the mean field felt by the alpha-cluster and the Pauli blocking as a consequence of antisymmetrization. The striking feature of alpha-cluster formation probability across the major shell closures of 82 protons and 126 neutrons is reproduced. The shell (or subshell) effects on the alpha-cluster formation in superheavy nuclei are also analyzed.


title: On four-photon entanglement from parametric down-conversion process

abstract: We propose two schemes to generate four-photon polarization-entangled states from the second-order emission of the spontaneous parametric down-conversion process. By using linear optical elements and the coincidence-detection, the four indistinguishable photons emitted from parametric down-conversion source result in the Greenberger-Horne-Zeilinger (GHZ) state or the superposition of two orthogonal GHZ states. For this superposition state, under particular phase settings we analyze the quantum correlation function and the local hidden variable (LHV) correlation. As a result, the Bell inequality derived from the LHV correlation is violated with the visibility larger than 0.442. It means that the present four-photon entangled state is therefore suitable for testing the LHV theory.


title: Level Playing Field for Million Scale Face Recognition

abstract: Face recognition has the perception of a solved problem, however when tested at the million-scale exhibits dramatic variation in accuracies across the different algorithms. Are the algorithms very different? Is access to good/big training data their secret weapon? Where should face recognition improve? To address those questions, we created a benchmark, MF2, that requires all algorithms to be trained on same data, and tested at the million scale. MF2 is a public large-scale set with 672K identities and 4.7M photos created with the goal to level playing field for large scale face recognition. We contrast our results with findings from the other two large-scale benchmarks MegaFace Challenge and MS-Celebs-1M where groups were allowed to train on any private/public/big/small set. Some key discoveries: 1) algorithms, trained on MF2, were able to achieve state of the art and comparable results to algorithms trained on massive private sets, 2) some outperformed themselves once trained on MF2, 3) invariance to aging suffers from low accuracies as in MegaFace, identifying the need for larger age variations possibly within identities or adjustment of algorithms in future testings.


title: Stochastic Divergence Minimization for Biterm Topic Model

abstract: As the emergence and the thriving development of social networks, a huge number of short texts are accumulated and need to be processed. Inferring latent topics of collected short texts is useful for understanding its hidden structure and predicting new contents. Unlike conventional topic models such as latent Dirichlet allocation (LDA), a biterm topic model (BTM) was recently proposed for short texts to overcome the sparseness of document-level word co-occurrences by directly modeling the generation process of word pairs. Stochastic inference algorithms based on collapsed Gibbs sampling (CGS) and collapsed variational inference have been proposed for BTM. However, they either require large computational complexity, or rely on very crude estimation. In this work, we develop a stochastic divergence minimization inference algorithm for BTM to estimate latent topics more accurately in a scalable way. Experiments demonstrate the superiority of our proposed algorithm compared with existing inference algorithms.


title: Inverse Moment Methods for Sufficient Forecasting using High-Dimensional Predictors

abstract: We consider forecasting a single time series using a large number of predictors in the presence of a possible nonlinear forecast function. Assuming that the predictors affect the response through the latent factors, we propose to first conduct factor analysis and then apply sufficient dimension reduction on the estimated factors, to derive the reduced data for subsequent forecasting. Using directional regression and the inverse third-moment method in the stage of sufficient dimension reduction, the proposed methods can capture the non-monotone effect of factors on the response. We also allow a diverging number of factors and only impose general regularity conditions on the distribution of factors, avoiding the undesired time reversibility of the factors by the latter. These make the proposed methods fundamentally more applicable than the sufficient forecasting method in Fan et al. (2017). The proposed methods are demonstrated in both simulation studies and an empirical study of forecasting monthly macroeconomic data from 1959 to 2016. Also, our theory contributes to the literature of sufficient dimension reduction, as it includes an invariance result, a path to perform sufficient dimension reduction under the high-dimensional setting without assuming sparsity, and the corresponding order-determination procedure.


title: Einstein-Hilbert Path Integrals in $\mathbb{R}^4$

abstract: A hyperlink is a finite set of non-intersecting simple closed curves in $\mathbb{R} \times \mathbb{R}^3$. The dynamical variables in General Relativity are the vierbein $e$ and a $\mathfrak{su}(2)\times\mathfrak{su}(2)$-valued connection $\omega$. Together with Minkowski metric, $e$ will define a metric $g$ on the manifold. The Einstein-Hilbert action $S(e,\omega)$ is defined using $e$ and $\omega$. We will define a path integral $I$ by integrating a functional $H(e,\omega)$ against a holonomy operator of a hyperlink $L$, and the exponential of the Einstein-Hilbert action, over the space of vierbeins $e$ and $\mathfrak{su}(2)\times\mathfrak{su}(2)$-valued connections $\omega$. Three different types of functional will be considered for $H$, namely area of a surface, volume of a region and the curvature of a surface $S$. Using our earlier work done on Chern-Simons path integrals in $\mathbb{R}^3$, we will derive and write these infinite dimensional path integrals $I$ as the limit of a sequence of Chern-Simons integrals.


title: Constraint on the light quark mass $m_q$ from QCD Sum Rules in the $I=0$ scalar channel

abstract: In this paper, we reanalyze the $I=0$ scalar channel with the improved Monte-Carlo based QCD sum rules, which combines the rigorous H\"older-inequality-determined sum rule window and a two Breit-Wigner type resonances parametrization for the phenomenological spectral density that satisfies the the low-energy theorem for the scalar form factor. Considering the uncertainties of the QCD parameters and the experimental masses and widths of the scalar resonances $\sigma$ and $f_0(980)$, we obtain a prediction for light quark mass $m_q(2\,\textrm{GeV})$ = $\frac{1}{2}(m_u(2\,\textrm{GeV})$ + $m_d(2\,\textrm{GeV}))$ = $4.7^{+0.8}_{-0.7}\,\textrm{MeV}$, which is consistent with the PDG (Particle Data Group) value and QCD sum rule determinations in the pseudoscalar channel. This agreement provides a consistent framework connecting QCD sum rules and low-energy hadronic physics. We also obtain the decay constants of $\sigma$ and $f_0(980)$ at 2 GeV, which are approximately $0.64-0.83$ GeV and $0.40-0.48$ GeV respectively.


title: Semiclassical cosmology with polymer matter

abstract: In loop quantum cosmology, polymer quantization is applied to gravity and Schrodinger quantization to matter. This approach misses interesting cosmological dynamics coming from the polymer quantization of matter. We demonstrate this in semiclassical cosmology with a scalar field and pressureless dust: gravity is kept classical, dust is used to fix the time gauge, and polymer quantization effects are isolated in the scalar field. The resulting dynamics shows a period of inflation, both with and without a scalar potential, and the emergence of a classical universe at late times. Since gravity is not quantized, the cosmological singularity is not resolved, but our results suggest that polymer quantization of both gravity and matter are important for a complete picture.


title: Matrix completion with queries

abstract: In many applications, e.g., recommender systems and traffic monitoring, the data comes in the form of a matrix that is only partially observed and low rank. A fundamental data-analysis task for these datasets is matrix completion, where the goal is to accurately infer the entries missing from the matrix. Even when the data satisfies the low-rank assumption, classical matrix-completion methods may output completions with significant error -- in that the reconstructed matrix differs significantly from the true underlying matrix. Often, this is due to the fact that the information contained in the observed entries is insufficient. In this work, we address this problem by proposing an active version of matrix completion, where queries can be made to the true underlying matrix. Subsequently, we design Order&Extend, which is the first algorithm to unify a matrix-completion approach and a querying strategy into a single algorithm. Order&Extend is able identify and alleviate insufficient information by judiciously querying a small number of additional entries. In an extensive experimental evaluation on real-world datasets, we demonstrate that our algorithm is efficient and is able to accurately reconstruct the true matrix while asking only a small number of queries.


title: Computing the projected reachable set of switched affine systems: an application to systems biology

abstract: A fundamental question in systems biology is what combinations of mean and variance of the species present in a stochastic biochemical reaction network are attainable by perturbing the system with an external signal. To address this question, we show that the moments evolution in any generic network can be either approximated or, under suitable assumptions, computed exactly as the solution of a switched affine system. Motivated by this application, we propose a new method to approximate the reachable set of switched affine systems. A remarkable feature of our approach is that it allows one to easily compute projections of the reachable set for pairs of moments of interest, without requiring the computation of the full reachable set, which can be prohibitive for large networks. As a second contribution, we also show how to select the external signal in order to maximize the probability of reaching a target set. To illustrate the method we study a renown model of controlled gene expression and we derive estimates of the reachable set, for the protein mean and variance, that are more accurate than those available in the literature and consistent with experimental data.


title: Quadratic Chabauty and rational points II: Generalised height functions on Selmer varieties

abstract: We give new instances where Chabauty--Kim sets can be proved to be finite, by developing a notion of "generalised height functions" on Selmer varieties. We also explain how to compute these generalised heights in terms of iterated integrals and give the first explicit nonabelian Chabauty result for a curve $X/\mathbb{Q}$ whose Jacobian has Mordell-Weil rank larger than its genus.


title: A possibility on prohibition of Higgs mass by the extended Lorentz transformation in noncommutative geometry

abstract: In this letter, we propose the extended Lorentz transformation in noncommutative geometry, as a possibility on prohibition of the Higgs mass. Since it is difficult to build the symmetry between the connections $A_{\mu}$ and $H$, the transformation is defined for the differential two-forms. The parameter of the transformation $\omega$ changes a two-form into other two-forms. Comparing the coefficients of the two-forms, the transformations are translated to those of the product fields $F_{\mu\nu}, D_{\mu} H$ and $HH^{\dagger}$. It shows the invariance of the bosonic Lagrangian explicitly.


title: Dependency Parsing with Dilated Iterated Graph CNNs

abstract: Dependency parses are an effective way to inject linguistic knowledge into many downstream tasks, and many practitioners wish to efficiently parse sentences at scale. Recent advances in GPU hardware have enabled neural networks to achieve significant gains over the previous best models, these models still fail to leverage GPUs' capability for massive parallelism due to their requirement of sequential processing of the sentence. In response, we propose Dilated Iterated Graph Convolutional Neural Networks (DIG-CNNs) for graph-based dependency parsing, a graph convolutional architecture that allows for efficient end-to-end GPU parsing. In experiments on the English Penn TreeBank benchmark, we show that DIG-CNNs perform on par with some of the best neural network parsers.


title: Large Thermoelectric Power Factor at Low Temperatures in One-Dimensional Telluride Ta4SiTe4

abstract: We report the discovery of a very large thermoelectric power over -400 microV K-1 in the whisker crystals of a one-dimensional telluride Ta4SiTe4, while maintaining a low electrical resistivity of rho = 2 mohm cm, yielding a very large power factor of P = 80 microW cm-1 K-2 at an optimum temperature of 130 K. This temperature is widely controlled from the cryogenic temperature of 50 K to room temperature by chemical doping, resulting in the largest P of 170 microW cm-1 K-2 at 220-280 K. These P values far exceed those of the Bi2Te3-Sb2Te3 alloys at around room temperature, offering an avenue for realizing the practical-level thermoelectric cooling at low temperatures. The coexistence of a one-dimensional electronic structure and a very small band gap appearing in the vicinity of the Dirac semimetals probably causes the very large power factors in Ta4SiTe4, indicating that the "one-dimensional Dirac semimetal" is a promising way to find high-performance thermoelectric materials for the low temperature applications.


title: 21 cm Angular Power Spectrum from Minihalos as a Probe of Primordial Spectral Runnings

abstract: Measurements of 21 cm line fluctuations from minihalos have been discussed as a powerful probe of a wide range of cosmological models. However, previous studies have taken into account only the pixel variance, where contributions from different scales are integrated. In order to sort out information from different scales, we formulate the angular power spectrum of 21 cm line fluctuations from minihalos at different redshifts, which can enhance the constraining power enormously. By adopting this formalism, we investigate expected constraints on parameters characterizing the primordial power spectrum, particularly focusing on the spectral index $n_s$ and its runnings $\alpha_s$ and $\beta_s$. We show that future observations of 21 cm line fluctuations from minihalos, in combination with cosmic microwave background, can potentially probe these runnings as $\alpha_s \sim {\cal O}(10^{-3})$ and $\beta_s \sim {\cal O}(10^{-4})$. Its implications to the test of inflationary models are also discussed.


title: The Influence of Absorption and Gain on Photonic Density of States

abstract: The photonic density of states (PDS) of the eigen polarizations (EPs) in cholesteric liquid crystal (CLC) cells are calculated. The exact analytic expressions for the reflection and transmission matrices for the finite thickness CLC layer are used. We obtained the dependences for the PDS on the parameters characterizing absorption and gain, as well as the CLC cell thickness, CLC local dielectric anisotropy and refractive index of CLC layer surrounding. The possibility of connections between the PDS and the density of the light energy accumulated in the medium are investigated and it was shown that these characteristics have analogous spectra and, besides, the influences of the problem parameters on these characteristics also were analogous. We have shown, that the decrement of the refractive index of CLC layer surroundings leads to a sharp increase of the maximum PDS and, consequently, leads to a sharp decrement of the laser excitation threshold. The PDS dependence on the refraction coefficients of the substrates of the Fabry-Perot resonator filled with a CLC planar layer was investigated, too. It is shown that the subject system can work as a low threshold laser or a multi-position trigger.


title: Route from discreteness to the continuum for the non-logarithmic $q$-entropy

abstract: The existence and exact form of the continuum expression of the discrete nonlogarithmic $q$-entropy is an important open problem in generalized thermostatistics, since its possible lack implies that nonlogarithmic $q$-entropy is irrelevant for the continuous classical systems. In this work, we show how the discrete nonlogarithmic $q$-entropy in fact converges in the continuous limit and the negative of the $q$-entropy with continuous variables is demonstrated to lead to the (Csisz{\'a}r type) $q$-relative entropy just as the relation between the continuous Boltzmann-Gibbs expression and the Kullback-Leibler relative entropy. As a result, we conclude that there is no obstacle for the applicability of the $q$-entropy to the continuous classical physical systems.


title: Arbitrary control of the polarization and intensity profiles of diffraction-attenuation-resistant beams along their propagation direction

abstract: We report on the theory and experimental generation of a class of diffraction-attenuation-resistant beams with state of polarization (SoP) and intensity that can be controlled on demand along the propagation direction. This is achieved by a suitable superposition of Bessel beams, whose parameters are systematically chosen based on closed-form analytic expressions provided by the Frozen Waves (FWs) method. Using an amplitude-only spatial light modulator, we experimentally demonstrate three scenarios. In the first, the SoP of a horizontally polarized beam evolves to radial polarization and is then changed to vertical polarization, with the beam intensity held constant. In the second, we simultaneously control the SoP and the longitudinal intensity profile, which was chosen such that the beam's central ring can be switched-off over predefined space regions, thus generating multiple foci with different SoP and at different intensity levels along the propagation. Finally, the ability to control the SoP while overcoming attenuation inside lossy fluids is shown experimentally for the first time in the literature (to the best of our knowledge). Therefore, we envision our proposed method to be of great interest for many applications, such as optical tweezers, atom guiding, material processing, microscopy, and optical communications.


title: Predictive Simulations for Tuning Electronic and Optical Properties of SubPc Derivatives

abstract: Boron subphthalocyanine chloride is an electron donor material used in small molecule organic photovoltaics with an unusually large molecular dipole moment. Using first-principles calculations, we investigate enhancing the electronic and optical properties of boron subphthalocyanine chloride, by substituting the boron and chlorine atoms with other trivalent and halogen atoms in order to modify the molecular dipole moment. Gas phase molecular structures and properties are predicted with hybrid functionals. Using positions and orientations of the known compounds as the starting coordinates for these molecules, stable crystalline structures are derived following a procedure that involves perturbation and accurate total energy minimization. Electronic structure and photonic properties of the predicted crystals are computed using the GW method and the Bethe-Salpeter equation, respectively. Finally, a simple transport model is use to demonstrate the importance of molecular dipole moments on device performance.


title: On the Sub-optimality of Single-Letter Coding over Networks

abstract: In this paper, we establish a new bound tying together the effective length and the maximum correlation between the outputs of an arbitrary pair of Boolean functions which operate on two sequences of correlated random variables. We derive a new upper bound on the correlation between the outputs of these functions. The upper bound may find applications in problems in many areas which deal with common information. We build upon Witsenhausen's result on maximum correlation. The present upper bound takes into account the effective length of the Boolean functions in characterizing the correlation. We use the new bound to characterize the communication-cooperation tradeoff in multi-terminal communications. We investigate binary block-codes (BBC). A BBC is defined as a vector of Boolean functions. We consider an ensemble of BBCs which is randomly generated using single-letter distributions. We characterize the vector of dependency spectrums of these BBCs. We use this vector to bound the correlation between the outputs of two distributed BBCs. Finally, the upper bound is used to show that the large blocklength single-letter coding schemes studied in the literature are sub-optimal in various multi-terminal communication settings.


title: Measuring galaxy cluster masses with CMB lensing using a Maximum Likelihood estimator: Statistical and systematic error budgets for future experiments

abstract: We develop a Maximum Likelihood estimator (MLE) to measure the masses of galaxy clusters through the impact of gravitational lensing on the temperature and polarization anisotropies of the cosmic microwave background (CMB). We show that, at low noise levels in temperature, this optimal estimator outperforms the standard quadratic estimator by a factor of two. For polarization, we show that the Stokes Q/U maps can be used instead of the traditional E- and B-mode maps without losing information. We test and quantify the bias in the recovered lensing mass for a comprehensive list of potential systematic errors. Using realistic simulations, we examine the cluster mass uncertainties from CMB-cluster lensing as a function of an experiment's beam size and noise level. We predict the cluster mass uncertainties will be 3 - 6% for SPT-3G, AdvACT, and Simons Array experiments with 10,000 clusters and less than 1% for the CMB-S4 experiment with a sample containing 100,000 clusters. The mass constraints from CMB polarization are very sensitive to the experimental beam size and map noise level: for a factor of three reduction in either the beam size or noise level, the lensing signal-to-noise improves by roughly a factor of two.


title: Capacity Region of the Symmetric Injective K-User Deterministic Interference Channel

abstract: We characterize the capacity region of the symmetric injective K-user Deterministic Interference Channel (DIC) for all channel parameters. The achievable rate region is derived by first projecting the achievable rate region of Han-Kobayashi (HK) scheme, which is in terms of common and private rates for each user, along the direction of aggregate rates for each user (i.e., the sum of common and private rates). We then show that the projected region is characterized by only the projection of those facets in the HK region for which the coefficient of common rate and private rate are the same for all users, hence simplifying the region. Furthermore, we derive a tight converse for each facet of the simplified achievable rate region.


title: Efficiently Sampling Conformations and Pathways Using the Concurrent Adaptive Sampling (CAS) Algorithm

abstract: Molecular dynamics (MD) simulations are useful in obtaining thermodynamic and kinetic properties of bio-molecules but are limited by the timescale barrier, i.e., we may be unable to efficiently obtain properties because we need to run microseconds or longer simulations using femtoseconds time steps. While there are several existing methods to overcome this timescale barrier and efficiently sample thermodynamic and/or kinetic properties, problems remain in regard to being able to sample unknown systems, deal with high-dimensional space of collective variables, and focus the computational effort on slow timescales. Hence, a new sampling method, called the "Concurrent Adaptive Sampling (CAS) algorithm," has been developed to tackle these three issues and efficiently obtain conformations and pathways. The method is not constrained to use only one or two collective variables, unlike most reaction coordinate-dependent methods. Instead, it can use a large number of collective variables and uses macrostates (a partition of the collective variable space) to enhance the sampling. The exploration is done by running a large number of short simulations, and a clustering technique is used to accelerate the sampling. In this paper, we introduce the new methodology and show results from two-dimensional models and bio-molecules, such as penta-alanine and triazine polymer.


title: The $B-L$ Scotogenic Models for Dirac Neutrino Masses

abstract: We construct the one-loop and two-loop scotogenic models for Dirac neutrino mass generation in the context of $U(1)_{B-L}$ extensions of standard model. It is indicated that the total number of intermediate fermion singlets is uniquely fixed by anomaly free condition and the new particles may have exotic $B-L$ charges so that the direct SM Yukawa mass term $\bar{\nu}_L\nu_R\overline{\phi^0}$ and the Majorana mass term $(m_N/2)\overline{\nu_R^C}\nu_R$ are naturally forbidden. After the spontaneous breaking of $U(1)_{B-L}$ symmetry, the discrete $Z_{2}$ or $Z_{3}$ symmetry appears as the residual symmetry and give rise to the stability of intermediated fields as DM candidate. Phenomenological aspects of lepton flavor violation, DM, leptogenesis and LHC signatures are discussed.


title: Parallel Construction of Compact Planar Embeddings

abstract: The sheer sizes of modern datasets are forcing data-structure designers to consider seriously both parallel construction and compactness. To achieve those goals we need to design a parallel algorithm with good scalability and with low memory consumption. An algorithm with good scalability improves its performance when the number of available cores increases, and an algorithm with low memory consumption uses memory proportional to the space used by the dataset in uncompact form. In this work, we discuss the engineering of a parallel algorithm with linear work and logarithmic span for the construction of the compact representation of planar embeddings. We also provide an experimental study of our implementation and prove experimentally that it has good scalability and low memory consumption. Additionally, we describe and test experimentally queries supported by the compact representation.


title: Nonlinearity in Data with Gaps: Application to Ecological and Meteorological Datasets

abstract: Datagaps are ubiquitous in real world observational data. Quantifying nonlinearity in data having gaps can be challenging. Reported research points out that interpolation can affect nonlinear quantifiers adversely, artificially introducing signatures of nonlinearity where none exist. In this paper we attempt to quantify the effect that datagaps have on the multifractal spectrum ($f(\alpha)$), in the absence of interpolation. We identify tolerable gap ranges, where the measures defining the $f(\alpha)$ curve do not show considerable deviation from the evenly sampled case. We apply this to the multifractal spectra of multiple data-sets with missing data from the SMEAR database. The datasets we consider include ecological datasets from SMEAR I, namely CO$_2$ exchange variation, photosynthetically active radiation levels and soil moisture variation time series, and meteorological datasets from SMEAR II, namely dew point variation and air temperature variation. We could establish multifractality due to deterministic nonlinearity in two of these datasets, even in the presence of gaps.


title: Coulomb interaction driven instabilities of sliding Luttinger liquids

abstract: We study systems made of periodic arrays of one dimensional quantum wires, coupled by Coulomb interaction. Using bosonization an interacting metallic fixed point is obtained, which is shown to be a higher dimensional analogue of the Tomonaga-Luttinger liquid, or a sliding Luttinger liquid. This non-Fermi liquid metallic state, however, is unstable in the presence of weak interwire backscatterings, which favor charge density wave states and suppress pairing. Depending on the effective strength of the Coulomb repulsion and the size of interwire spacing various charge density wave states are stabilized, including Wigner crystal states. Our method allows for the determination of the specific ordering patterns, and corresponding energy and temperature scales.


title: Well-posedness of the plasma-vacuum interface problem for ideal incompressible MHD

abstract: In this paper, we prove the local well-posedness of plasma-vacuum interface problem for ideal incompressible magnetohydrodynamics under the stability condition: the magnetic field $\mathbf{h}$ and the vacuum magnetic field $\hat{\mathbf{h}}$ are non-collinear on the interface(i.e., $|\mathbf{h}\times \hat{\mathbf{h}}|>0$), which was introduced by Trakhinin as a stability condition for the compressible plasma-vacuum interface problem.


title: Predictions for the neutrino parameters in the minimal gauged U(1)$_{L_\mu-L_\tau}$ model

abstract: We study the structure of the neutrino mass matrix in the minimal gauged U(1)$_{L_\mu-L_\tau}$ model, where three right-handed neutrinos are added to the Standard Model in order to obtain non-zero masses for active neutrinos. Because of the U(1)$_{L_\mu-L_\tau}$ gauge symmetry, the structure of both Dirac and Majorana mass terms of neutrinos is tightly restricted. In particular, the inverse of the neutrino mass matrix has zeros in the $(\mu,\mu)$ and $(\tau,\tau)$ components, namely, this model offers a symmetric realization of the so-called two-zero-minor structure in the neutrino mass matrix. Due to these constraints, all the CP phases-the Dirac CP phase $\delta$ and the Majorana CP phases $\alpha_2$ and $\alpha_3$-as well as the mass eigenvalues of the light neutrinos $m_i$ are uniquely determined as functions of the neutrino mixing angles $\theta_{12}$, $\theta_{23}$, and $\theta_{13}$, and the squared mass differences $\Delta m_{21}^2$ and $\Delta m_{31}^2$. We find that this model predicts the Dirac CP phase $\delta$ to be $\delta\simeq 1.59\pi$-$1.70\pi$ ($1.54\pi$-$1.78\pi$), the sum of the neutrino masses to be $\sum_{i}m_i \simeq 0.14$-0.22 eV ($0.12$-0.40 eV), and the effective mass for the neutrinoless double beta decay to be $\langle m_{\beta \beta }\rangle \simeq 0.024$-0.055 eV ($0.017$-0.12 eV) at $1\sigma$ ($2\sigma$) level, which are totally consistent with the current experimental limits. These predictions can soon be tested in future neutrino experiments. Implications for leptogenesis are also discussed.


title: Optimizing Schedules for Quantum Annealing

abstract: Classical and quantum annealing are two heuristic optimization methods that search for an optimal solution by slowly decreasing thermal or quantum fluctuations. Optimizing annealing schedules is important both for performance and fair comparisons between classical annealing, quantum annealing, and other algorithms. Here we present a heuristic approach for the optimization of annealing schedules for quantum annealing and apply it to 3D Ising spin glass problems. We find that if both classical and quantum annealing schedules are similarly optimized, classical annealing outperforms quantum annealing for these problems when considering the residual energy obtained in slow annealing. However, when performing many repetitions of fast annealing, simulated quantum annealing is seen to outperform classical annealing for our benchmark problems.


title: Finite energy spin fluctuation as a pairing glue in systems with coexisting electron and hole bands

abstract: We study, within the fluctuation exchange approximation, the spin-fluctuation-mediated superconductivity in Hubbard-type models possessing electron and hole bands, and compare them with a model on a square lattice with a large Fermi surface. In the square lattice model, superconductivity is more enhanced for better nesting for a fixed band filling. By contrast, in the models with electron and hole bands, superconductivity is optimized when the Fermi surface nesting is degraded to some extent, where finite energy spin fluctuation around the nesting vector develops. The difference lies in the robustness of the nesting vector, namely, in models with electron and hole bands, the wave vector at which the spin susceptibility is maximized is fixed even when the nesting is degraded, whereas when the Fermi surface is large, the nesting vector varies with the deformation of the Fermi surface. We also discuss the possibility of realizing in actual materials the bilayer Hubbard model, which is a simple model with electron and hole bands, and is expected to have a very high T_c.


title: $L_2$-Small Deviations for Weighted Stationary Processes

abstract: We find logarithmic asymptotics of $L_2$-small deviation probabilities for weighted stationary Gaussian processes (both for real and complex-valued) having power-type discrete or continuous spectrum. As in the recent work by Hong, Lifshits and Nazarov, our results are based on the spectral theory of pseudo-differential operators developed by Birman and Solomyak.


title: Poisson traces, D-modules, and symplectic resolutions

abstract: We survey the theory of Poisson traces (or zeroth Poisson homology) developed by the authors in a series of recent papers. The goal is to understand this subtle invariant of (singular) Poisson varieties, conditions for it to be finite-dimensional, its relationship to the geometry and topology of symplectic resolutions, and its applications to quantizations. The main technique is the study of a canonical D-module on the variety. In the case the variety has finitely many symplectic leaves (such as for symplectic singularities and Hamiltonian reductions of symplectic vector spaces by reductive groups), the D-module is holonomic, and hence the space of Poisson traces is finite-dimensional. As an application, there are finitely many irreducible finite-dimensional representations of every quantization of the variety. Conjecturally, the D-module is the pushforward of the canonical D-module under every symplectic resolution of singularities, which implies that the space of Poisson traces is dual to the top cohomology of the resolution. We explain many examples where the conjecture is proved, such as symmetric powers of du Val singularities and symplectic surfaces and Slodowy slices in the nilpotent cone of a semisimple Lie algebra. We compute the D-module in the case of surfaces with isolated singularities, and show it is not always semisimple. We also explain generalizations to arbitrary Lie algebras of vector fields, connections to the Bernstein-Sato polynomial, relations to two-variable special polynomials such as Kostka polynomials and Tutte polynomials, and a conjectural relationship with deformations of symplectic resolutions. In the appendix we give a brief recollection of the theory of D-modules on singular varieties that we require.


title: Model Transfer for Tagging Low-resource Languages using a Bilingual Dictionary

abstract: Cross-lingual model transfer is a compelling and popular method for predicting annotations in a low-resource language, whereby parallel corpora provide a bridge to a high-resource language and its associated annotated corpora. However, parallel data is not readily available for many languages, limiting the applicability of these approaches. We address these drawbacks in our framework which takes advantage of cross-lingual word embeddings trained solely on a high coverage bilingual dictionary. We propose a novel neural network model for joint training from both sources of data based on cross-lingual word embeddings, and show substantial empirical improvements over baseline techniques. We also propose several active learning heuristics, which result in improvements over competitive benchmark methods.


title: Torus Models of the Outer Disc of the Milky Way using LAMOST Survey Data

abstract: With a sample of 48,161 K giant stars selected from the LAMOST DR 2 catalogue, we construct torus models in a large volume extending, for the first time, from the solar vicinity to a Galactocentric distance of $\sim 20$ kpc, reaching the outskirts of the Galactic disc. We show that the kinematics of the K giant stars match conventional models, e.g. as created by Binney in 2012, in the Solar vicinity. However such two-disc models fail if they are extended to the outer regions, even if an additional disc component is utilised. If we loosen constraints in the Sun's vicinity, we find that an effective thick disc model could explain the anti-centre of the MW. The LAMOST data imply that the sizes of the Galactic discs are much larger, and that the outer disc is much thicker, than previously thought, or alternatively that the outer structure is not a conventional disc at all. However, the velocity dispersion $\sigma_{0z}$ of the kinematically thick disc in the best-fitting model is about 80 km s$^{-1}$ and has a scale parameter $R_{\sigma}$ for an exponential distribution function of $\sim 19$ kpc. Such a height $\sigma_{0z}$ is strongly rejected by current measurements in the solar neighbourhood, and thus a model beyond quasi-thermal, two or three thin or thick discs is required.


title: Constraints on dark matter models from the observation of Triangulum-II with the Fermi Large Area Telescope

abstract: Triangulum-II, a newly discovered dwarf spheroidal galaxy, is a strong candidate for the indirect search of dark matter through the detection of $\gamma$-ray emission that could originate from the pair- annihilation of weakly interacting massive particles (WIMPs). We here report on the analysis of almost seven years Fermi Gamma-Ray Space Telescope data of Triangulum-II which was taken during its all sky survey operation mode. No excess $\gamma$-ray emission has been detected above 100 MeV from Triangulum-II. We derive the upper limits on $\gamma$-ray flux assuming both the power-law spectra and the spectra related to WIMP annihilation. In this work, we have considered several theoretical WIMP (neutralinos here) models envisioning both thermal and non-thermal production of WIMPs, and put limits on pair-annihilation cross-section of WIMPs to constrain the parameter space related to those theoretical models.


title: Symmetry-breaking in a generalized Wirtinger inequality

abstract: The search of the optimal constant for a generalized Wirtinger inequality in an interval consists in minimizing the $p$-norm of the derivative among all functions whose $q$-norm is equal to~1 and whose $(r-1)$-power has zero average. Symmetry properties of minimizers have attracted great attention in mathematical literature in the last decades, leading to a precise characterization of symmetry and asymmetry regions. In this paper we provide a proof of the symmetry result without computer assisted steps, and a proof of the asymmetry result which works as well for local minimizers. As a consequence, we have now a full elementary description of symmetry and asymmetry cases, both for global and for local minima. Proofs rely on appropriate nonlinear variable changes.


title: Existence and coalescence of directed infinite geodesics in the percolation cone for Durrett-Liggett class of measures

abstract: For first passage percolation (FPP) on integer lattice with i.i.d. passage time distributions, in order to show existence of semi-infinite geodesics along a fixed direction, one requires unproven assumptions on the limiting shape. We consider FPP on two-dimensional integer lattice with i.i.d. passage times distributed as Durrett-Liggett class of measures. For this model, we show that along any direction in a deterministic angular sector (known as percolation cone), starting from every lattice point there exists an infinite geodesic along that direction and such directed geodesics coalesce almost surely. We prove that for this model, bi-infinite geodesics exist almost surely. Our proof does not require any assumption on the limiting shape.


title: Polynomial-Time Algorithms for Sliding Tokens on Cactus Graphs and Block Graphs

abstract: Given two independent sets $I, J$ of a graph $G$, and imagine that a token (coin) is placed at each vertex of $I$. The Sliding Token problem asks if one could transform $I$ to $J$ via a sequence of elementary steps, where each step requires sliding a token from one vertex to one of its neighbors so that the resulting set of vertices where tokens are placed remains independent. This problem is $\mathsf{PSPACE}$-complete even for planar graphs of maximum degree $3$ and bounded-treewidth. In this paper, we show that Sliding Token can be solved efficiently for cactus graphs and block graphs, and give upper bounds on the length of a transformation sequence between any two independent sets of these graph classes. Our algorithms are designed based on two main observations. First, all structures that forbid the existence of a sequence of token slidings between $I$ and $J$, if exist, can be found in polynomial time. A sufficient condition for determining no-instances can be easily derived using this characterization. Second, without such forbidden structures, a sequence of token slidings between $I$ and $J$ does exist. In this case, one can indeed transform $I$ to $J$ (and vice versa) using a polynomial number of token-slides.


title: Sub-Pixel Registration of Wavelet-Encoded Images

abstract: Sub-pixel registration is a crucial step for applications such as super-resolution in remote sensing, motion compensation in magnetic resonance imaging, and non-destructive testing in manufacturing, to name a few. Recently, these technologies have been trending towards wavelet encoded imaging and sparse/compressive sensing. The former plays a crucial role in reducing imaging artifacts, while the latter significantly increases the acquisition speed. In view of these new emerging needs for applications of wavelet encoded imaging, we propose a sub-pixel registration method that can achieve direct wavelet domain registration from a sparse set of coefficients. We make the following contributions: (i) We devise a method of decoupling scale, rotation, and translation parameters in the Haar wavelet domain, (ii) We derive explicit mathematical expressions that define in-band sub-pixel registration in terms of wavelet coefficients, (iii) Using the derived expressions, we propose an approach to achieve in-band subpixel registration, avoiding back and forth transformations. (iv) Our solution remains highly accurate even when a sparse set of coefficients are used, which is due to localization of signals in a sparse set of wavelet coefficients. We demonstrate the accuracy of our method, and show that it outperforms the state-of-the-art on simulated and real data, even when the data is sparse.


title: A Conley-type decomposition of the strong chain recurrent set

abstract: For a continuous flow on a compact metric space, the aim of this paper is to prove a Conley-type decomposition of the strong chain recurrent set. We first discuss in details the main properties of strong chain recurrent sets. We then introduce the notion of strongly stable set as an invariant set which is the intersection of the $\omega$-limits of a specific family of nested and definitively invariant neighborhoods of itself. This notion strengthens the one of stable set; moreover, any attractor results strongly stable. We then show that strongly stable sets play the role of attractors in the decomposition of the strong chain recurrent set; indeed, we prove that the strong chain recurrent set coincides with the intersection of all strongly stable sets and their complementaries.


title: A Statistical Model for Simultaneous Template Estimation, Bias Correction, and Registration of 3D Brain Images

abstract: Template estimation plays a crucial role in computational anatomy since it provides reference frames for performing statistical analysis of the underlying anatomical population variability. While building models for template estimation, variability in sites and image acquisition protocols need to be accounted for. To account for such variability, we propose a generative template estimation model that makes simultaneous inference of both bias fields in individual images, deformations for image registration, and variance hyperparameters. In contrast, existing maximum a posterori based methods need to rely on either bias-invariant similarity measures or robust image normalization. Results on synthetic and real brain MRI images demonstrate the capability of the model to capture heterogeneity in intensities and provide a reliable template estimation from registration.


title: Perturbative Thermodynamic Geometry of Nonextensive Ideal Classical, Bose and Fermi Gases

abstract: We investigate perturbative thermodynamic geometry of nonextensive ideal Classical, Bose and Fermi gases.We show that the intrinsic statistical interaction of nonextensive Bose (Fermi) gas is attractive (repulsive) similar to the extensive case but the value of thermodynamic curvature is changed by nonextensive parameter. In contrary to the extensive ideal classical gas, the nonextensive one may be divided to two different regimes. According to deviation parameter of the system to the nonextensive case, one can find a special value of fugacity, $z^{*}$, where the sign of thermodynamic curvature is changed. Therefore, we argue that the nonextensive parameter induces an attractive (repulsive) statistical interaction for $z<z^{*}$ ($z>z^{*}$) for an ideal classical gas. Also, according to the singular point of thermodynamic curvature, we consider the condensation of nonextensive Boson gas.


title: Equilibrium and ground states from Cayley graphs

abstract: We study the KMS states and $KMS_{\infty}$ states of generalized gauge actions on the $C^*$-algebra of a pointed Cayley graph. Our results provide information for any finitely generated group, but they are only complete for nilpotent groups.


title: Peeling property and asymptotic symmetries with a cosmological constant

abstract: This paper establishes two things in an asymptotically (anti-)de Sitter spacetime, by direct computations in the physical spacetime (i.e. with no involvement of spacetime compactification): (1) The peeling property of the Weyl spinor is guaranteed. In the case where there are Maxwell fields present, the peeling properties of both Weyl and Maxwell spinors similarly hold, if the leading order term of the spin coefficient $\rho$ when expanded as inverse powers of $r$ (where $r$ is the usual spherical radial coordinate, and $r\rightarrow\infty$ is null infinity, $\mathcal{I}$) has coefficient $-1$. (2) In the absence of gravitational radiation (a conformally flat $\mathcal{I}$), the group of asymptotic symmetries is trivial, with no room for supertranslations.


title: Quantum-limited directional amplifiers with optomechanics

abstract: Directional amplifiers are an important resource in quantum information processing, as they protect sensitive quantum systems from excess noise. Here, we propose an implementation of phase-preserving and phase-sensitive directional amplifiers for microwave signals in an electromechanical setup comprising two microwave cavities and two mechanical resonators. We show that both can reach their respective quantum limits on added noise. In the reverse direction, they emit thermal noise stemming from the mechanical resonators and we discuss how this noise can be suppressed, a crucial aspect for technological applications. The isolation bandwidth in both is of the order of the mechanical linewidth divided by the amplitude gain. We derive the bandwidth and gain-bandwidth product for both and find that the phase-sensitive amplifier has an unlimited gain-bandwidth product. Our study represents an important step toward flexible, on-chip integrated nonreciprocal amplifiers of microwave signals.


title: On a Navier-Stokes-Fourier-like system capturing transitions between viscous and inviscid fluid regimes and between no-slip and perfect-slip boundary conditions

abstract: We study a generalization of the Navier-Stokes-Fourier system for an incompressible fluid where the deviatoric part of the Cauchy stress tensor is related to the symmetric part of the velocity gradient via a maximal monotone 2-graph that is continuously parametrized by the temperature. As such, the considered fluid may go through transitions between three of the following regimes: it can flow as a Bingham fluid for a specific value of the temperature, while it can behave as the Navier-Stokes fluid for another value of the temperature or, for yet another temperature, it can respond as the Euler fluid until a certain activation initiates the response of the Navier-Stokes fluid. At the same time, we regard a generalized threshold slip on the boundary that also may go through various regimes continuously with the temperature. All material coefficients like the dynamic viscosity, friction or activation coefficients are assumed to be temperature-dependent. We establish the large-data and long-time existence of weak solutions, applying the $L^{\infty}$-truncation technique to approximate the velocity field.


title: Explicit asymptotic formulae for sub exponentially growing multiplicative structures

abstract: It is derived the explicit asymptotic expression in $n$ for the coefficient $c_n$ of the generating function for multiplicative structures with sub exponential rate of growth of $c_n,$ as $n\to\infty$.


title: Bernoulli actions of type III_1 and L^2-cohomology

abstract: We conjecture that a countable group $G$ admits a nonsingular Bernoulli action of type III$_1$ if and only if the first $L^2$-cohomology of $G$ is nonzero. We prove this conjecture for all groups that admit at least one element of infinite order. We also give numerous explicit examples of type III$_1$ Bernoulli actions of the group of integers and the free groups, with different degrees of ergodicity.


title: Data Augmentation for Low-Resource Neural Machine Translation

abstract: The quality of a Neural Machine Translation system depends substantially on the availability of sizable parallel corpora. For low-resource language pairs this is not the case, resulting in poor translation quality. Inspired by work in computer vision, we propose a novel data augmentation approach that targets low-frequency words by generating new sentence pairs containing rare words in new, synthetically created contexts. Experimental results on simulated low-resource settings show that our method improves translation quality by up to 2.9 BLEU points over the baseline and up to 3.2 BLEU over back-translation.