title: Single microtubules and small networks become significantly stiffer on short time-scales upon mechanical stimulation

abstract: The transfer of mechanical signals through cells is a complex phenomenon. To uncover a new mechanotransduction pathway, we study the frequency-dependent transport of mechanical stimuli by single microtubules and small networks in a bottom-up approach using optically trapped beads as anchor points. We interconnected microtubules to linear and triangular geometries to perform micro-rheology by defined oscillations of the beads relative to each other. We found a substantial stiffening of single filaments above a characteristic transition frequency of 1-30 Hz depending on the filament's molecular composition. Below this frequency, filament elasticity only depends on its contour and persistence length. Interestingly, this elastic behavior is transferable to small networks, where we found the surprising effect that linear two filament connections act as transistor-like, angle dependent momentum filters, whereas triangular networks act as stabilizing elements. These observations implicate that cells can tune mechanical signals by temporal and spatial filtering stronger and more flexibly than expected.


title: Nonlinear Kalman Filtering with Divergence Minimization

abstract: We consider the nonlinear Kalman filtering problem using Kullback-Leibler (KL) and $\alpha$-divergence measures as optimization criteria. Unlike linear Kalman filters, nonlinear Kalman filters do not have closed form Gaussian posteriors because of a lack of conjugacy due to the nonlinearity in the likelihood. In this paper we propose novel algorithms to optimize the forward and reverse forms of the KL divergence, as well as the alpha-divergence which contains these two as limiting cases. Unlike previous approaches, our algorithms do not make approximations to the divergences being optimized, but use Monte Carlo integration techniques to derive unbiased algorithms for direct optimization. We assess performance on radar and sensor tracking, and options pricing problems, showing general improvement over the UKF and EKF, as well as competitive performance with particle filtering.


title: Free time minimizers for the planar three-body problem

abstract: Free time minimizers of the action (called"semi-static" solutions by Ma\~ne) play a central role in the theory of weak KAM solutions to the Hamilton-Jacobi equation (see Fathi). We prove that any solution to Newton's three-body problem which is asymptotic to Lagrange's parabolic homothetic solution is eventually a free time minimizer. Conversely, we prove that every free time minimizer tends to Lagrange's solution, provided the mass ratios lie in a certain large open set of mass ratios. We were inspired by the work of Da Luz-Maderna who had shown that every free time minimizer for the N-body problem is parabolic, and therefore must be asymptotic to the set of central configurations. We exclude being asymptotic to Euler's central configurations by a second variation argument. Central configurations correspond to rest points for the McGehee blown-up dynamics. The large open set of mass ratios are those for which the linearized dynamics at each Euler rest point has a complex eigenvalue.


title: Constraints on the Growth and Spin of the Supermassive Black Hole in M32 From High Cadence Visible Light Observations

abstract: We present 1-second cadence observations of M32 (NGC221) with the CHIMERA instrument at the Hale 200-inch telescope of the Palomar Observatory. Using field stars as a baseline for relative photometry, we are able to construct a light curve of the nucleus in the g-prime and r-prime band with 1sigma=36 milli-mag photometric stability. We derive a temporal power spectrum for the nucleus and find no evidence for a time-variable signal above the noise as would be expected if the nuclear black hole were accreting gas. Thus, we are unable to constrain the spin of the black hole although future work will use this powerful instrument to target more actively accreting black holes. Given the black hole mass of (2.5+/-0.5)*10^6 Msun inferred from stellar kinematics, the absence of a contribution from a nuclear time-variable signal places an upper limit on the accretion rate which is 4.6*10^{-8} of the Eddington rate, a factor of two more stringent than past upper limits from HST. The low mass of the black hole despite the high stellar density suggests that the gas liberated by stellar interactions was primarily at early cosmic times when the low-mass black hole had a small Eddington luminosity. This is at least partly driven by a top-heavy stellar initial mass function at early cosmic times which is an efficient producer of stellar mass black holes. The implication is that supermassive black holes likely arise from seeds formed through the coalescence of 3-100 Msun mass black holes that then accrete gas produced through stellar interaction processes.


title: Number-conserving cellular automata with a von Neumann neighborhood of range one

abstract: We present necessary and sufficient conditions for a cellular automaton with a von Neumann neighborhood of range one to be number-conserving. The conditions are formulated for any dimension and for any set of states containing zero. The use of the geometric structure of the von Neumann neighborhood allows for computationally tractable conditions even in higher dimensions.


title: Optimum Decoder for Multiplicative Spread Spectrum Image Watermarking with Laplacian Modeling

abstract: This paper investigates the multiplicative spread spectrum watermarking method for the image. The information bit is spreaded into middle-frequency Discrete Cosine Transform (DCT) coefficients of each block of an image using a generated pseudo-random sequence. Unlike the conventional signal modeling, we suppose that both signal and noise are distributed with Laplacian distribution because the sample loss of digital media can be better modeled with this distribution than the Gaussian one. We derive the optimum decoder for the proposed embedding method thanks to the maximum likelihood decoding scheme. We also analyze our watermarking system in the presence of noise and provide analytical evaluations and several simulations. The results show that it has the suitable performance and transparency required for watermarking applications.


title: Hyperspectral Image Classification with Markov Random Fields and a Convolutional Neural Network

abstract: This paper presents a new supervised classification algorithm for remotely sensed hyperspectral image (HSI) which integrates spectral and spatial information in a unified Bayesian framework. First, we formulate the HSI classification problem from a Bayesian perspective. Then, we adopt a convolutional neural network (CNN) to learn the posterior class distributions using a patch-wise training strategy to better use the spatial information. Next, spatial information is further considered by placing a spatial smoothness prior on the labels. Finally, we iteratively update the CNN parameters using stochastic gradient decent (SGD) and update the class labels of all pixel vectors using an alpha-expansion min-cut-based algorithm. Compared with other state-of-the-art methods, the proposed classification method achieves better performance on one synthetic dataset and two benchmark HSI datasets in a number of experimental settings.


title: Extension between simple modules of pro-$p$-Iwahori Hecke algebras

abstract: We calculate the extension groups between simple modules of pro-$p$-Iwahori Hecke algebras.


title: Simple and Nearly Optimal Polynomial Root-finding by Means of Root Radii Approximation

abstract: We propose a new simple but nearly optimal algorithm for the approximation of all sufficiently well isolated complex roots and root clusters of a univariate polynomial. Quite typically the known root-finders at first compute some crude but reasonably good approximations to well-conditioned roots (that is, those isolated from the other roots) and then refine the approximations very fast, by using Boolean time which is nearly optimal, up to a polylogarithmic factor. By combining and extending some old root-finding techniques, the geometry of the complex plane, and randomized parametrization, we accelerate the initial stage of obtaining crude to all well-conditioned simple and multiple roots as well as isolated root clusters. Our algorithm performs this stage at a Boolean cost dominated by the nearly optimal cost of subsequent refinement of these approximations, which we can perform concurrently, with minimum processor communication and synchronization. Our techniques are quite simple and elementary; their power and application range may increase in their combination with the known efficient root-finding methods.


title: Exact Geodesic Distances in FLRW Spacetimes

abstract: Geodesics are used in a wide array of applications in cosmology and astrophysics. However, it is not a trivial task to efficiently calculate exact geodesic distances in an arbitrary spacetime. We show that in spatially flat (3+1)-dimensional Friedmann-Lemaitre-Robertson-Walker (FLRW) spacetimes, it is possible to integrate the second-order geodesic differential equations, and derive a general method for finding both timelike and spacelike distances given initial-value or boundary-value constraints. In flat spacetimes with either dark energy or matter, whether dust, radiation, or a stiff fluid, we find an exact closed-form solution for geodesic distances. In spacetimes with a mixture of dark energy and matter, including spacetimes used to model our physical universe, there exists no closed-form solution, but we provide a fast numerical method to compute geodesics. A general method is also described for determining the geodesic connectedness of an FLRW manifold, provided only its scale factor.


title: Maximum scattered $\mathbb{F}_q$-linear sets of $\mathrm{PG}(1,q^4)$

abstract: There are two known families of maximum scattered $\mathbb{F}_q$-linear sets in $PG(1,q^t)$: the linear sets of pseudoregulus type and for $t\geq 4$ the scattered linear sets found by Lunardon and Polverino. For $t=4$ we show that these are the only maximum scattered $\mathbb{F}_q$-linear sets and we describe the orbits of these linear sets under the groups $PGL(2,q^4)$ and $P\Gamma L(2,q^4)$.


title: Argumentation-based Security for Social Good

abstract: The increase of connectivity and the impact it has in every day life is raising new and existing security problems that are becoming important for social good. We introduce two particular problems: cyber attack attribution and regulatory data sharing. For both problems, decisions about which rules to apply, should be taken under incomplete and context dependent information. The solution we propose is based on argumentation reasoning, that is a well suited technique for implementing decision making mechanisms under conflicting and incomplete information. Our proposal permits us to identify the attacker of a cyber attack and decide the regulation rule that should be used while using and sharing data. We illustrate our solution through concrete examples.


title: SILVERRUSH. III. Deep Optical and Near-Infrared Spectroscopy for Lya and UV-Nebular Lines of Bright Lya Emitters at z=6-7

abstract: We present Lya and UV-nebular emission line properties of bright Lya emitters (LAEs) at z=6-7 with a luminosity of log L_Lya/[erg s-1] = 43-44 identified in the 21-deg2 area of the SILVERRUSH early sample developed with the Subaru Hyper Suprime-Cam (HSC) survey data. Our optical spectroscopy newly confirm 21 bright LAEs with clear Lya emission, and contribute to make a spectroscopic sample of 96 LAEs at z=6-7 in SILVERRUSH. From the spectroscopic sample, we select 7 remarkable LAEs as bright as Himiko and CR7 objects, and perform deep Keck/MOSFIRE and Subaru/nuMOIRCS near-infrared spectroscopy reaching the 3sigma-flux limit of ~ 2x10^{-18} erg s-1 for the UV-nebular emission lines of He II1640, C IV1548,1550, and O III]1661,1666. Except for one tentative detection of C IV, we find no strong UV-nebular lines down to the flux limit, placing the upper limits of the rest-frame equivalent widths (EW_0) of ~2-4 A for He II, C IV, and O III] lines. Here we also investigate the VLT/X-SHOOTER spectrum of CR7 whose 6 sigma detection of He II is claimed by Sobral et al. Although two individuals and the ESO-archive service carefully re-analyze the X-SHOOTER data that are used in the study of Sobral et al., no He II signal of CR7 is detected, supportive of weak UV-nebular lines of the bright LAEs even for CR7. Spectral properties of these bright LAEs are thus clearly different from those of faint dropouts at z~7 that have strong UV-nebular lines shown in the various studies. Comparing these bright LAEs and the faint dropouts, we find anti-correlations between the UV-nebular line EW_0 and UV-continuum luminosity, which are similar to those found at z~2-3.


title: Stacked Average Far-Infrared Spectrum of Dusty Star-Forming Galaxies from the Herschel/SPIRE Fourier Transform Spectrometer

abstract: We present stacked average far-infrared spectra of a sample of 197 dusty, star-forming galaxies (DSFGs) at $0.005 < z < 4$ using close to 90% of the SPIRE Fourier Transform Spectrometer (FTS) extragalactic data archive from the Herschel Space Observatory based on 3.5 years of science operations. These spectra explore an observed-frame $\rm 447\,GHz-1568\,GHz$ ($\rm 191\,\mu m-671\,\mu m$) frequency (wavelength) range allowing us to observe the main atomic and molecular lines emitted by gas in the interstellar medium. The sample is sub-divided into five redshift bins at $0.005 < z < 0.05$, $0.05 < z < 0.2$, $0.2 < z < 0.5$, $0.8 < z <2$, and $2 < z < 4$. To study the dependence of observed spectral lines on total infrared luminosity, the sources in a subset of the redshift bins are stacked in luminosity bins. These stacked spectra are used to determine the average properties of the interstellar medium and dense molecular gas properties of DSFGs, in particular, the fine-structure line ([CII] 158 $\mu$m and [OI] 63 $\mu$m) luminosity ratios, and the line to far-IR luminosity ratios are used to model the gas density and radiation field strength in the photodissociation regions (PDRs). For the low-redshift sample, we additionally present the average spectral line energy distributions (SLED) of CO and $\rm{H_2O}$ rotational transitions and also consider PDR conditions based on a combination of [CI] 370 $\mu$m and 609 $\mu$m and $\rm CO (7-6)$ lines. For the high-z ($0.8 < z < 4$) sample PDR models suggest a molecular gas distribution in the presence of a radiation field that is at least a factor of 10$^3$ larger than the Milky-Way and with a neutral gas density of roughly 10$^3$ to 10$^5$ cm$^{-3}$. The corresponding PDR models for the low-z sample suggest a UV radiation field and gas density comparable to those at high-z.


title: A Proposal for an Electron-Transfer Mechanism of Avian Magnetoreception

abstract: In spite of many years of research, the mechanism of avian magnetoreception remains a mystery due to its seemingly insurmountable intricacies. Recently Xie and colleagues proposed that IscA1 can act as a protein biocompass due to the measured intrinsic ferromagneticity, and thus named it MagR. However, Meister's calculations showed that the interaction energy of the magnetic moment of IscA1 with Earth's magnetic field is five magnitudes smaller than thermal fluctuation at room temperature. The other long-proposed compass protein is cryptochrome (Cry) with a mechanism of forming singlet-triplet radical pairs. However, this sensory mechanism still has no inferable information transmission routes. We propose a magnetoreception mechanism involving both the Cry and IscA1 proteins, through which photoinduced electrons are transported to redox-regulated ion channels to provoke neuronal responses. The structural features of the Cry-IscA1 complex that make it suitable for long-range electron transfer are discussed and how the magnetic effect leads to neuronal activity is described.


title: ${\cal W}$ algebras are L$_\infty$ algebras

abstract: It is shown that the closure of the infinitesimal symmetry transformations underlying classical ${\cal W}$ algebras give rise to L$_\infty$ algebras with in general field dependent gauge parameters. Therefore, the class of well understood ${\cal W}$ algebras provides highly non-trivial examples of such strong homotopy Lie-algebras. We develop the general formalism for this correspondence and apply it explicitly to the classical ${\cal W}_3$ algebra.


title: Measuring the Higgsplosion Yield: Counting Large Higgs Multiplicities at Colliders

abstract: Recent work has brought renewed attention to the possibility that the cross section for producing $n$ Higgs bosons grows large with $n$ at a sufficiently energetic hadron collider. In particular, this "Higgsplosion'" mechanism has been suggested as a solution to the hierarchy problem. We investigate the phenomenology of this scenario. Discovery is trivial, so we consider several variables for use in measuring large Higgs multiplicities and evaluate their effectiveness. We find that a $10$% level measurement of the number of Higgs bosons is possible with a handful of events, using the scalar sum of jet transverse momenta, but determining the exact multiplicity may take a few thousand events, depending on the degree of statistical significance desired for the measurement. While this situation may be acceptable given the potentially large cross sections in this scenario, future research to improve the measurement is warranted.


title: An Almost Analytical Approach to Simulating 2D Electronic Spectra

abstract: We introduce an almost analytical method to simulate 2D electronic spectra as a double Fourier transform of the the non-linear response function (NRF) corresponding to a particular optical pulse sequence. We employ a unitary transformation to represent the total system Hamiltonian in a stationary basis that allows us to separate contributions from decoherence and phonon-mediated population relaxation to the NRF. Previously, one of us demonstrated the use of an analytic, cumulant expansion approach to calculate the decoherence term. Here, we extend this idea to obtain an accurate expression for the population relaxation term, a significant improvement over standard quantum master equation-based approximations. We numerically demonstrate the accuracy of our method by computing the photon echo spectrum of a two-level system coupled to a thermal bath, and we highlight the mechanistic insights obtained from our simulation.


title: Flipped classroom in Introductory Linear Algebra by utilizing Computer Algebra System {\sl SageMath} and a free electronic book

abstract: This article describes the authors' teaching experience in flipping the class of a basic undergraduate mathematics course Introductory Linear Algebra. We utilize a full-featured free electronic textbook, online lecture notes, an intranet learning management system (LMS) {\sl icampus}, the video-sharing website {\sl YouTube} and a Computer Algebra System (CAS) {\sl SageMath} in our flipped classroom approach. Prior coming to the class, the students are assigned to complete a portion of reading assignments from the free e-book and to watch recorded video lectures from {\sl YouTube} that cover the relevant materials. Announcements are made through the LMS {\sl icampus}, as well as disseminating teaching materials, assigning tasks, and fostering online communication outside the class hours. We dedicated in-class activities with problem-solving sessions, question and answer, discussion and providing instant feedback to the students. Hence, both out-of-class and in-class sessions are filled with active learning and interactive engagement. From the students' feedback and opinion, we discovered that some of them preferred the traditional classroom rather than the flipped classroom pedagogy. A possible reason is either they are used to the traditional lecture style where receiving information occurs inside the classroom or the flipped classroom approach that we implement does not satisfy students' learning styles. Nevertheless, several students enjoyed problem-solving activities where they have an opportunity to communicate with the instructors whenever they encounter some difficulty.


title: Regularizing Model Complexity and Label Structure for Multi-Label Text Classification

abstract: Multi-label text classification is a popular machine learning task where each document is assigned with multiple relevant labels. This task is challenging due to high dimensional features and correlated labels. Multi-label text classifiers need to be carefully regularized to prevent the severe over-fitting in the high dimensional space, and also need to take into account label dependencies in order to make accurate predictions under uncertainty. We demonstrate significant and practical improvement by carefully regularizing the model complexity during training phase, and also regularizing the label search space during prediction phase. Specifically, we regularize the classifier training using Elastic-net (L1+L2) penalty for reducing model complexity/size, and employ early stopping to prevent overfitting. At prediction time, we apply support inference to restrict the search space to label sets encountered in the training set, and F-optimizer GFM to make optimal predictions for the F1 metric. We show that although support inference only provides density estimations on existing label combinations, when combined with GFM predictor, the algorithm can output unseen label combinations. Taken collectively, our experiments show state of the art results on many benchmark datasets. Beyond performance and practical contributions, we make some interesting observations. Contrary to the prior belief, which deems support inference as purely an approximate inference procedure, we show that support inference acts as a strong regularizer on the label prediction structure. It allows the classifier to take into account label dependencies during prediction even if the classifiers had not modeled any label dependencies during training.


title: Contrasting the dynamics of elastic and non-elastic deformations across an experimental colloidal Martensitic transition

abstract: We present a framework to segregate the roles of elastic and non-elastic deformations in the examination of real-space experiments of solid-solid Martensitic transitions. The Martensitic transformation of a body-centred-tetragonal(BCT) to a body-centred-orthorhombic(BCO) crystal structure has been studied in a model system of micron-scale ionic microgel colloids. Non-affine fluctuations, i.e., displacement fluctuations that do not arise from purely elastic(affine) deformations, are detected in particle configurations acquired from the experiment. Tracking these fluctuations serves as a highly sensitive tool in signaling the onset of the Martensitic transition and precisely locating particle rearrangements occurring at length scales of a few particle diameters. Particle rearrangements associated with non-affine displacement modes become increasingly favorable during the transformation process. The nature of the displacement fluctuation modes that govern the transformation are shown to be different from those predominant in an equilibrium crystal. We show that BCO crystallites formed through shear may, remarkably, co-exist with those resulting from local rearrangements within the same sample.


title: Triple collinear emissions in parton showers

abstract: A framework to include triple collinear splitting functions into parton showers is presented, and the implementation of flavor-changing NLO splitting kernels is discussed as a first application. The correspondence between the Monte-Carlo integration and the analytic computation of NLO DGLAP evolution kernels is made explicit for both timelike and spacelike parton evolution. Numerical simulation results are obtained with two independent implementations of the new algorithm, using the two independent event generation frameworks Pythia and Sherpa.


title: A 2500 square-degree CMB lensing map from combined South Pole Telescope and Planck data

abstract: We present a cosmic microwave background (CMB) lensing map produced from a linear combination of South Pole Telescope (SPT) and \emph{Planck} temperature data. The 150 GHz temperature data from the $2500\ {\rm deg}^{2}$ SPT-SZ survey is combined with the \emph{Planck} 143 GHz data in harmonic space, to obtain a temperature map that has a broader $\ell$ coverage and less noise than either individual map. Using a quadratic estimator technique on this combined temperature map, we produce a map of the gravitational lensing potential projected along the line of sight. We measure the auto-spectrum of the lensing potential $C_{L}^{\phi\phi}$, and compare it to the theoretical prediction for a $\Lambda$CDM cosmology consistent with the \emph{Planck} 2015 data set, finding a best-fit amplitude of $0.95_{-0.06}^{+0.06}({\rm Stat.})\! _{-0.01}^{+0.01}({\rm Sys.})$. The null hypothesis of no lensing is rejected at a significance of $24\,\sigma$. One important use of such a lensing potential map is in cross-correlations with other dark matter tracers. We demonstrate this cross-correlation in practice by calculating the cross-spectrum, $C_{L}^{\phi G}$, between the SPT+\emph{Planck} lensing map and Wide-field Infrared Survey Explorer (\emph{WISE}) galaxies. We fit $C_{L}^{\phi G}$ to a power law of the form $p_{L}=a(L/L_{0})^{-b}$ with $a=2.15 \times 10^{-8}$, $b=1.35$, $L_{0}=490$, and find $\eta^{\phi G}=0.94^{+0.04}_{-0.04}$, which is marginally lower, but in good agreement with $\eta^{\phi G}=1.00^{+0.02}_{-0.01}$, the best-fit amplitude for the cross-correlation of \emph{Planck}-2015 CMB lensing and \emph{WISE} galaxies over $\sim67\%$ of the sky. The lensing potential map presented here will be used for cross-correlation studies with the Dark Energy Survey (DES), whose footprint nearly completely covers the SPT $2500\ {\rm deg}^2$ field.


title: A Strategy for an Uncompromising Incremental Learner

abstract: Multi-class supervised learning systems require the knowledge of the entire range of labels they predict. Often when learnt incrementally, they suffer from catastrophic forgetting. To avoid this, generous leeways have to be made to the philosophy of incremental learning that either forces a part of the machine to not learn, or to retrain the machine again with a selection of the historic data. While these hacks work to various degrees, they do not adhere to the spirit of incremental learning. In this article, we redefine incremental learning with stringent conditions that do not allow for any undesirable relaxations and assumptions. We design a strategy involving generative models and the distillation of dark knowledge as a means of hallucinating data along with appropriate targets from past distributions. We call this technique, phantom sampling.We show that phantom sampling helps avoid catastrophic forgetting during incremental learning. Using an implementation based on deep neural networks, we demonstrate that phantom sampling dramatically avoids catastrophic forgetting. We apply these strategies to competitive multi-class incremental learning of deep neural networks. Using various benchmark datasets and through our strategy, we demonstrate that strict incremental learning could be achieved. We further put our strategy to test on challenging cases, including cross-domain increments and incrementing on a novel label space. We also propose a trivial extension to unbounded-continual learning and identify potential for future development.


title: Multiparticle collectivity from initial state correlations in high energy proton-nucleus collisions

abstract: Qualitative features of multiparticle correlations in light-heavy ion ($p+A$) collisions at RHIC and LHC are reproduced in a simple initial state model of partons in the projectile coherently scattering off localized domains of color charge in the heavy nuclear target. These include i) the ordering of the magnitudes of the azimuthal angle $n$th Fourier harmonics of two-particle correlations $v_n\{2\}$, ii) the energy and transverse momentum dependence of the four-particle Fourier harmonic $v_2\{4\}$, and iii) the energy dependence of four-particle symmetric cumulants measuring correlations between different Fourier harmonics. Similar patterns are seen in an Abelian version of the model, where we observe $v_2\{2\} > v_2\{4\}\approx v_2\{6\}\approx v_2\{8\}$ of two, four, six, and eight particle correlations. While such patterns are often interpreted as signatures of collectivity arising from hydrodynamic flow, our results provide an alternative description of the multiparticle correlations seen in $p+A$ collisions.


title: Chat Detection in an Intelligent Assistant: Combining Task-oriented and Non-task-oriented Spoken Dialogue Systems

abstract: Recently emerged intelligent assistants on smartphones and home electronics (e.g., Siri and Alexa) can be seen as novel hybrids of domain-specific task-oriented spoken dialogue systems and open-domain non-task-oriented ones. To realize such hybrid dialogue systems, this paper investigates determining whether or not a user is going to have a chat with the system. To address the lack of benchmark datasets for this task, we construct a new dataset consisting of 15; 160 utterances collected from the real log data of a commercial intelligent assistant (and will release the dataset to facilitate future research activity). In addition, we investigate using tweets and Web search queries for handling open-domain user utterances, which characterize the task of chat detection. Experiments demonstrated that, while simple supervised methods are effective, the use of the tweets and search queries further improves the F1-score from 86.21 to 87.53.


title: Anomalous ^{125}Te Nuclear Spin Relaxation Coincident with Charge Kondo Behavior in Superconducting Pb_{1-x}Tl_{x}Te

abstract: We report a ^{125}Te-NMR study of single-crystalline Pb_{1-x}Tl_{x}Te for x= 0 (undoped non-superconducting "parent"), 0.35 at% (doped but on the borderline of superconductivity), and 1.0 at% (superconducting, with a critical temperature Tc ~ 1.0 K). The Knight shift in the normal state is enhanced as x increases, corresponding to an increase in the average density of states (DOS). The NMR line-width also increases significantly with increasing x, indicative of a strong spatial variation in the local DOS surrounding each Tl dopant. Remarkably, for the superconducting composition, the ^{125}Te nuclear spin relaxation rate (1/T1T) for Te ions that are close to the Tl dopants is unexpectedly enhanced in the normal state below a characteristic temperature of ~10 K. This temperature coincides with the temperature below which the normal state resistivity experiences an upturn. Such a simultaneous upturn in both the resistivity and (1/T1T) is highly anomalous, and puts Pb_{1-x}Tl_{x}Te in a distinct new class of doped semiconductors. These observations provide microscopic evidence for dynamical charge fluctuations in the absence of paramagnetism, and are consistent with expectations for charge Kondo behavior associated with the Tl dopant ions. In contrast, such anomalies were not detected in the non-superconducting samples (x=0 and 0.35 at%), suggesting a connection between dynamical valence fluctuations and the occurrence of superconductivity in Pb_{1-x}Tl_{x}Te.


title: Robust, Informative Human-in-the-Loop Predictions via Empirical Reachable Sets

abstract: In order to develop provably safe human-in-the-loop systems, accurate and precise models of human behavior must be developed. In the case of intelligent vehicles, one can imagine the need for predicting driver behavior to develop minimally invasive active safety systems or to safely interact with other vehicles on the road. We present a optimization based method for approximating the stochastic reachable set for human-in-the-loop systems. This method identifies the most precise subset of states that a human driven vehicle may enter, given some dataset of observed trajectories. We phrase this problem as a mixed integer linear program, which can be solved using branch and bound methods. The resulting model uncovers the most representative subset that encapsulates the likely trajectories, up to some probability threshold, by optimally rejecting outliers in the dataset. This tool provides set predictions consisting of trajectories observed from the nonlinear dynamics and behaviors of the human driven car, and can account for modes of behavior, like the driver state or intent. This allows us to predict driving behavior over long time horizons with high accuracy. By using this realistic data and flexible algorithm, a precise and accurate driver model can be developed to capture likely behaviors. The resulting prediction can be tailored to an individual for use in semi-autonomous frameworks or generally applied for autonomous planning in interactive maneuvers.


title: Nonlinear structures and anomalous transport in partially magnetized $\mathbf{E\times B}$ plasmas

abstract: Nonlinear dynamics of the electron-cyclotron instability driven by the electron $\mathbf{E\times B}$ current in crossed electric and magnetic field is studied. In nonlinear regime the instability proceeds by developing a large amplitude coherent wave driven by the energy input from the fundamental cyclotron resonance. Further evolution shows the formation of the long wavelength envelope akin to the modulational instability. Simultaneously, the ion density shows the development of high-k content responsible for wave focusing and sharp peaks on the periodic cnoidal wave structure. It is shown that the anomalous electron transport (along the direction of the applied electric field) is dominated by the long wavelength part of the turbulent spectrum.


title: SU(4) Kondo entanglement in double quantum dot devices

abstract: We analyze, from a quantum information theory perspective, the possibility of realizing a SU(4) entangled Kondo regime in semiconductor double quantum dot devices. We focus our analysis on the ground state properties and consider the general experimental situation where the coupling parameters of the two quantum dots differ. We model each quantum dot with an Anderson type Hamiltonian including an interdot Coulomb repulsion and tunnel couplings for each quantum dot to independent fermionic baths. We find that the spin and pseudospin entanglements can be made equal, and the SU(4) symmetry recovered, if the gate voltages are chosen in such a way that the average charge occupancies of the two quantum dots are equal, and the double occupancy on the double quantum dot is suppressed. We present density matrix renormalization group numerical results for the spin and pseudospin entanglement entropies, and analytical results for a simplified model that captures the main physics of the problem.


title: Asymptotic freedom in certain $SO(N)$ and $SU(N)$ models

abstract: We calculate the $\beta$-functions for $SO(N)$ and $SU(N)$ gauge theories coupled to adjoint and fundamental scalar representations, correcting long-standing, previous results. We explore the constraints on $N$ resulting from requiring asymptotic freedom for all couplings. When we take into account the actual allowed behavior of the gauge coupling, the minimum value of $N$ in both cases turns out to be larger than realized in earlier treatments. We also show that in the large $N$ limit, both models have large regions of parameter space corresponding to total asymptotic freedom.


title: The Integral Form of D=3 Chern-Simons Theories Probing ${\mathbb C}^n/\Gamma$ Singularities

abstract: We consider D=3 supersymmetric Chern-Simons gauge theories both from the point of view of their formal structure and of their applications to the $\mathrm{AdS_4/CFT_3}$ correspondence. From the structural view-point, we use the new formalism of integral forms in superspace that utilizes the rheonomic Lagrangians and the Picture Changing Operators, as an algorithmic tool providing the connection between different approaches to supersymmetric theories. We provide here the generalization to an arbitrary K\"ahler manifold with arbitrary gauge group and arbitrary superpotential of the rheonomic lagrangian of D=3 matter coupled gauge theories constructed years ago. From the point of view of the $\mathrm{AdS_4/CFT_3}$ correspondence and more generally of M2-branes we emphasize the role of the K\"ahler quotient data in determining the field content and the interactions of the Cherns Simons gauge theory when the transverse space to the brane is a non-compact K\"ahler quotient $K_4$ of some flat variety with respect to a suitable group. The crepant resolutions of ${\mathbb C}^n/\Gamma$ singularities fall in this category. In the present paper we anticipate the general scheme how the geometrical data are to be utilized in the construction of the D=3 Chern-Simons Theory supposedly dual to the corresponding M2-brane solution.


title: A Teacher-Student Framework for Zero-Resource Neural Machine Translation

abstract: While end-to-end neural machine translation (NMT) has made remarkable progress recently, it still suffers from the data scarcity problem for low-resource language pairs and domains. In this paper, we propose a method for zero-resource NMT by assuming that parallel sentences have close probabilities of generating a sentence in a third language. Based on this assumption, our method is able to train a source-to-target NMT model ("student") without parallel corpora available, guided by an existing pivot-to-target NMT model ("teacher") on a source-pivot parallel corpus. Experimental results show that the proposed method significantly improves over a baseline pivot-based model by +3.0 BLEU points across various language pairs.


title: Dense-Captioning Events in Videos

abstract: Most natural videos contain numerous events. For example, in a video of a "man playing a piano", the video might also contain "another man dancing" or "a crowd clapping". We introduce the task of dense-captioning events, which involves both detecting and describing events in a video. We propose a new model that is able to identify all events in a single pass of the video while simultaneously describing the detected events with natural language. Our model introduces a variant of an existing proposal module that is designed to capture both short as well as long events that span minutes. To capture the dependencies between the events in a video, our model introduces a new captioning module that uses contextual information from past and future events to jointly describe all events. We also introduce ActivityNet Captions, a large-scale benchmark for dense-captioning events. ActivityNet Captions contains 20k videos amounting to 849 video hours with 100k total descriptions, each with it's unique start and end time. Finally, we report performances of our model for dense-captioning events, video retrieval and localization.


title: Photon production spectrum above $T_c$ with a lattice quark propagator

abstract: The photon production rate from the deconfined medium is analyzed with the photon self-energy constructed from the quark propagator obtained by the numerical simulation on the quenched lattice for two values of temperature, $T=1.5T_{\rm c}$ and $3T_{\rm c}$, above the critical temperature $T_{\rm c}$. The photon self-energy is calculated by the Schwinger-Dyson equation with the lattice quark propagator and a vertex function determined so as to satisfy the Ward-Takahashi identity. The obtained photon production rate exhibits a similar behavior as the perturbative results at the energy of photons larger than $0.5$~GeV.


title: Many-Body Localization: Stability and Instability

abstract: Rare regions with weak disorder (Griffiths regions) have the potential to spoil localization. We describe a non-perturbative construction of local integrals of motion (LIOMs) for a weakly interacting spin chain in one dimension, under a physically reasonable assumption on the statistics of eigenvalues. We discuss ideas about the situation in higher dimensions, where one can no longer ensure that interactions involving the Griffiths regions are much smaller than the typical energy-level spacing for such regions. We argue that ergodicity is restored in dimension d > 1, although equilibration should be extremely slow, similar to the dynamics of glasses.


title: Optical selection rules of zigzag graphene nanoribbons

abstract: We present an analytical tight-binding theory of the optical properties of graphene nanoribbons with zigzag edges. Applying the transfer matrix technique to the nearest-neighbor tight-binding Hamiltonian, we derive analytical expressions for electron wave functions and optical transition matrix elements for incident light polarized along the structure axis. It follows from the obtained results that optical selection rules result from the wave function parity factor $(-1)^J$, where $J$ is the band number. These selection rules are that $\Delta J$ is odd for transitions between valence and conduction subbands and that $\Delta J$ is even for transitions between only valence (conduction) subbands. Although these selection rules are different from those in armchair carbon nanotubes, there is a hidden correlation between absorption spectra of the two structures that should allow one to use them interchangeably in some applications. The correlation originates from the fact that van Hove singularities in the tubes are centered between those in the ribbons if the ribbon width is about a half of the tube circumference. The analysis of the matrix elements dependence on the electron wave vector for narrow ribbons shows a smooth non-singular behavior at the Dirac points and the points where the bulk states meet the edge states.


title: The mirror conjecture for minuscule flag varieties

abstract: We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal. The idea is to recognize the quantum connection as Galois and the geometric crystal as automorphic. We reveal surprising relations with the works of Frenkel-Gross, Heinloth-Ng\^o-Yun, and Zhu on Kloosterman sheaves. The isomorphism comes from global rigidity results where Hecke eigensheaves are determined by their local ramification. As corollaries we obtain combinatorial identities for counts of rational curves and the Peterson variety presentation of the small quantum cohomology ring.


title: Controllability of Conjunctive Boolean Networks with Application to Gene Regulation

abstract: A Boolean network is a finite state discrete time dynamical system. At each step, each variable takes a value from a binary set. The value update rule for each variable is a local function which depends only on a selected subset of variables. Boolean networks have been used in modeling gene regulatory networks. We focus in this paper on a special class of Boolean networks, namely the conjunctive Boolean networks (CBNs), whose value update rule is comprised of only logic AND operations. It is known that any trajectory of a Boolean network will enter a periodic orbit. Periodic orbits of a CBN have been completely understood. In this paper, we investigate the orbit-controllability and state-controllability of a CBN: We ask the question of how one can steer a CBN to enter any periodic orbit or to reach any final state, from any initial state. We establish necessary and sufficient conditions for a CBN to be orbit-controllable and state-controllable. Furthermore, explicit control laws are presented along the analysis.


title: Quantum Fourier Sampling is Guaranteed to Fail to Compute Automorphism Groups of Easy Graphs

abstract: The quantum hidden subgroup approach is an actively studied approach to solve combinatorial problems in quantum complexity theory. With the success of the Shor's algorithm, it was hoped that similar approach may be useful to solve the other combinatorial problems. One such problem is the graph isomorphism problem which has survived decades of efforts using the hidden subgroup approach. This paper provides a systematic approach to create arbitrarily large classes of classically efficiently solvable graph automorphism problems or easy graph automorphism problems for which hidden subgroup approach is guaranteed to always fail irrespective of the size of the graphs no matter how many copies of coset states are used. As the graph isomorphism problem is believed to be at least as hard as the graph automorphism problem, the result of this paper entails that the hidden subgroup approach is also guaranteed to always fail for the arbitrarily large classes of graph isomorphism problems. Combining these two results, it is argued that the hidden subgroup approach is essentially a dead end and alternative quantum algorithmic approach needs to be investigated for the graph isomorphism and automorphism problems.


title: F-tree: an algorithm for clustering transactional data using frequency tree

abstract: Clustering is an important data mining technique that groups similar data records, recently categorical transaction clustering is received more attention. In this research, we study the problem of categorical data clustering for transactional data characterized with high dimensionality and large volume. We propose a novel algorithm for clustering transactional data called F-Tree, which is based on the idea of the frequent pattern algorithm FP-tree; the fastest approaches to the frequent item set mining. And the simple idea behind the F-Tree is to generate small high pure clusters, and then merge them. That makes it fast, and dynamic in clustering large transactional datasets with high dimensions. We also present a new solution to solve the overlapping problem between clusters, by defining a new criterion function, which is based on the probability of overlapping between weighted items. Our experimental evaluation on real datasets shows that: Firstly, F-Tree is effective in finding interesting clusters. Secondly, the usage of the tree structure reduces the clustering process time of the large data set with high attributes. Thirdly, the proposed evaluation metric used efficiently to solve the overlapping of transaction items generates high-quality clustering results. Finally, we have concluded that the process of merging pure and small clusters increases the purity of resulted clusters as well as it reduces the time of clustering better than the process of generating clusters directly from dataset then refine clusters.


title: Maximal Subalgebras of Finite-Dimensional Algebras

abstract: We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and then lifting to non-semisimple algebras. The results are sharpest in the case of algebraically closed fields, and take special forms for algebras presented by quivers with relations. We also relate representation theoretic properties of the algebra and its maximal and other subalgebras, and provide a series of embeddings between quivers, incidence algebras and other structures which relate indecomposable representations of algebras and some subalgebras via induction/restriction functors. Some results in literature are also re-derived as a particular case, and other applications are given.


title: Improved Bounds for Universal One-Bit Compressive Sensing

abstract: Unlike compressive sensing where the measurement outputs are assumed to be real-valued and have infinite precision, in "one-bit compressive sensing", measurements are quantized to one bit, their signs. In this work, we show how to recover the support of sparse high-dimensional vectors in the one-bit compressive sensing framework with an asymptotically near-optimal number of measurements. We also improve the bounds on the number of measurements for approximately recovering vectors from one-bit compressive sensing measurements. Our results are universal, namely the same measurement scheme works simultaneously for all sparse vectors. Our proof of optimality for support recovery is obtained by showing an equivalence between the task of support recovery using 1-bit compressive sensing and a well-studied combinatorial object known as Union Free Families.


title: An Authentication Protocol for Future Sensor Networks

abstract: Authentication is one of the essential security services in Wireless Sensor Networks (WSNs) for ensuring secure data sessions. Sensor node authentication ensures the confidentiality and validity of data collected by the sensor node, whereas user authentication guarantees that only legitimate users can access the sensor data. In a mobile WSN, sensor and user nodes move across the network and exchange data with multiple nodes, thus experiencing the authentication process multiple times. The integration of WSNs with Internet of Things (IoT) brings forth a new kind of WSN architecture along with stricter security requirements; for instance, a sensor node or a user node may need to establish multiple concurrent secure data sessions. With concurrent data sessions, the frequency of the re-authentication process increases in proportion to the number of concurrent connections, which makes the security issue even more challenging. The currently available authentication protocols were designed for the autonomous WSN and do not account for the above requirements. In this paper, we present a novel, lightweight and efficient key exchange and authentication protocol suite called the Secure Mobile Sensor Network (SMSN) Authentication Protocol. In the SMSN a mobile node goes through an initial authentication procedure and receives a re-authentication ticket from the base station. Later a mobile node can use this re-authentication ticket when establishing multiple data exchange sessions and/or when moving across the network. This scheme reduces the communication and computational complexity of the authentication process. We proved the strength of our protocol with rigorous security analysis and simulated the SMSN and previously proposed schemes in an automated protocol verifier tool. Finally, we compared the computational complexity and communication cost against well-known authentication protocols.


title: Remarks on Entropy Formulae for Linear Heat Equation

abstract: In this note, we prove some new entropy formula for linear heat equation on static Riemannian manifold with nonnegative Ricci curvature. The results are analogies of Cao and Hamilton's entropies for Ricci flow coupled with heat-type equations.


title: Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications

abstract: This volume contains the proceedings of the Fourteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2017, a two-day workshop held in Austin, Texas, USA, on May 22-23, 2017. ACL2 workshops occur at approximately 18-month intervals, and they provide a technical forum for researchers to present and discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in formal verification. ACL2 is a state-of-the-art automated reasoning system that has been successfully applied in academia, government, and industry for specification and verification of computing systems and in teaching computer science courses. Boyer, Kaufmann, and Moore were awarded the 2005 ACM Software System Award for their work on ACL2 and the other theorem provers in the Boyer-Moore theorem-prover family. The proceedings of ACL2 2017 include the seven technical papers and two extended abstracts that were presented at the workshop. Each submission received two or three reviews. The workshop also included three invited talks: "Using Mechanized Mathematics in an Organization with a Simulation-Based Mentality", by Glenn Henry of Centaur Technology, Inc.; "Formal Verification of Financial Algorithms, Progress and Prospects", by Grant Passmore of Aesthetic Integration; and "Verifying Oracle's SPARC Processors with ACL2" by Greg Grohoski of Oracle. The workshop also included several rump sessions discussing ongoing research and the use of ACL2 within industry.


title: On the Difficulty of Inserting Trojans in Reversible Computing Architectures

abstract: Fabrication-less design houses outsource their designs to 3rd party foundries to lower fabrication cost. However, this creates opportunities for a rogue in the foundry to introduce hardware Trojans, which stay inactive most of the time and cause unintended consequences to the system when triggered. Hardware Trojans in traditional CMOS-based circuits have been studied and Design-for-Trust (DFT) techniques have been proposed to detect them. Different from traditional circuits in many ways, reversible circuits implement one-to-one, bijective input/output mappings. We will investigate the security implications of reversible circuits with a particular focus on susceptibility to hardware Trojans. We will consider inherently reversible circuits and non-reversible functions embedded in reversible circuits.


title: Reversible spin texture in ferroelectric HfO2

abstract: Spin-orbit coupling effects occurring in non-centrosymmetric materials are known to be responsible for non-trivial spin configurations and a number of emergent physical phenomena. Ferroelectric materials may be especially interesting in this regard due to reversible spontaneous polarization making possible for a non-volatile electrical control of the spin degrees of freedom. Here, we explore a technologically relevant oxide material, HfO2, which has been shown to exhibit robust ferroelectricity in a non-centrosymmetric orthorhombic phase. Using theoretical modelling based on density-functional theory, we investigate the spin-dependent electronic structure of the ferroelectric HfO2 and demonstrate the appearance of chiral spin textures driven by spin-orbit coupling. We analyze these spin configurations in terms of the Rashba and Dresselhaus effects within the k.p Hamiltonian model and find that the Rashba-type spin texture dominates around the valence band maximum, while the Dresselhaus-type spin texture prevails around the conduction band minimum. The latter is characterized by a very large Dresselhaus constant {\alpha}D = 0.578 eV {\AA}, which allows using this material as a tunnel barrier to produce tunneling anomalous and spin Hall effects that are reversible by ferroelectric polarization.


title: Aligned Image Sets and the Generalized Degrees of Freedom of Symmetric MIMO Interference Channel with Partial CSIT

abstract: The generalized degrees of freedom (GDoF) of the two user symmetric multiple input multiple output (MIMO) interference channel (IC) are characterized as a function of the channel strength levels and the level of channel state information at the transmitters (CSIT). In this symmetric setting, each transmitter is equipped with M antennas, each receiver is equipped with N antennas, and both cross links have the same strength parameter $\alpha$ and the same channel uncertainty parameter $\beta$. The main challenge resides in the proof of the outer bound which is accomplished by a generalization of the aligned image sets approach.


title: Galois LCD Codes over Finite Fields

abstract: In this paper, we study the complementary dual codes in more general setting (which are called Galois LCD codes) by a uniform method. A necessary and sufficient condition for linear codes to be Galois LCD codes is determined, and constacyclic codes to be Galois LCD codes are characterized. Some illustrative examples which constacyclic codes are Galois LCD MDS codes are provided as well. In particular, we study Hermitian LCD constacyclic codes. Finally, we present a construction of a class of Hermitian LCD codes which are also MDS codes.


title: Lesion detection and Grading of Diabetic Retinopathy via Two-stages Deep Convolutional Neural Networks

abstract: We propose an automatic diabetic retinopathy (DR) analysis algorithm based on two-stages deep convolutional neural networks (DCNN). Compared to existing DCNN-based DR detection methods, the proposed algorithm have the following advantages: (1) Our method can point out the location and type of lesions in the fundus images, as well as giving the severity grades of DR. Moreover, since retina lesions and DR severity appear with different scales in fundus images, the integration of both local and global networks learn more complete and specific features for DR analysis. (2) By introducing imbalanced weighting map, more attentions will be given to lesion patches for DR grading, which significantly improve the performance of the proposed algorithm. In this study, we label 12,206 lesion patches and re-annotate the DR grades of 23,595 fundus images from Kaggle competition dataset. Under the guidance of clinical ophthalmologists, the experimental results show that our local lesion detection net achieve comparable performance with trained human observers, and the proposed imbalanced weighted scheme also be proved to significantly improve the capability of our DCNN-based DR grading algorithm.


title: A Semismooth Newton Method for Fast, Generic Convex Programming

abstract: We introduce Newton-ADMM, a method for fast conic optimization. The basic idea is to view the residuals of consecutive iterates generated by the alternating direction method of multipliers (ADMM) as a set of fixed point equations, and then use a nonsmooth Newton method to find a solution; we apply the basic idea to the Splitting Cone Solver (SCS), a state-of-the-art method for solving generic conic optimization problems. We demonstrate theoretically, by extending the theory of semismooth operators, that Newton-ADMM converges rapidly (i.e., quadratically) to a solution; empirically, Newton-ADMM is significantly faster than SCS on a number of problems. The method also has essentially no tuning parameters, generates certificates of primal or dual infeasibility, when appropriate, and can be specialized to solve specific convex problems.


title: Magnetic Field-Free Giant Magnetoresistance in a Proximity- and Gate-Induced Graphene Spin Valve

abstract: Due to its two dimensional nature, ferromagnetism and charge doping can be induced by proximity and electric field effects in graphene. Taking advantage of these features, we propose an electrically engineered spin valve by combining two magnetic insulators (using EuO, EuS, or YIG) and three coating gates. Two top gates are used to cancel the heavy electron doping's in these magnets and one back gate is used to utilize the normal or half-metallic ferromagnetisms. We demonstrate that, when the second top gate is tuned to utilize the insulating or spin insulating states, huge giant magnetoresistance (GMR) at high temperature (several times of $10^5\%$ at 68K and 100K) can be achieved for EuO and YIG. These results imply a distinguished GMR that is magnetism tunable, vertical configured (ferromagnetism versus insulating), and magnetic field-free. Our work may offer a viable path to a tantalizing magnetic field-free spintronics.


title: Finding Minimum Spanning Forests in a Graph

abstract: We introduce a graph partitioning problem motivated by computational topology and propose two algorithms that produce approximate solutions. Specifically, given a weighted, undirected graph $G$ and a positive integer $k$, we desire to find $k$ disjoint trees within $G$ such that each vertex of $G$ is contained in one of the trees and the weight of the largest tree is as small as possible. We are unable to find this problem in the graph partitioning literature, but we show that the problem is NP-complete. We then propose two approximation algorithms, one that uses a spectral clustering approach and another that employs a dynamic programming strategy, which produce near-optimal partitions on a family of test graphs. We describe these algorithms and analyze their empirical performance.


title: A uniqueness theorem for the Nica-Toeplitz algebra of a compactly aligned product system

abstract: Fowler introduced the notion of a product system: a collection of Hilbert bimodules $\mathbf{X}=\left\{\mathbf{X}_p:p\in P\right\}$ indexed by a semigroup $P$, endowed with a multiplication implementing isomorphisms $\mathbf{X}_p\otimes_A \mathbf{X}_q\cong \mathbf{X}_{pq}$. When $P$ is quasi-lattice ordered, Fowler showed how to associate a $C^*$-algebra $\mathcal{NT}_\mathbf{X}$ to $\mathbf{X}$, generated by a universal representation satisfying some covariance condition. In this article we prove a uniqueness theorem for these so called Nica-Toeplitz algebras.


title: High speed optical processing via four-wave-mixing in a silicon waveguide

abstract: We demonstrate all-optical demultiplexing at 160 Gigabits per second in the C-band, based on nonlinear optics using four-wave mixing (FWM) in a silicon nanowire. We achieve error-free operation with a penalty of ~ 3.9dB.


title: Prospects for indirect MeV Dark Matter detection with Gamma Rays in light of Cosmic Microwave Background Constraints

abstract: The self-annihilation of dark matter particles with mass in the MeV range can produce gamma rays via prompt or secondary radiation. The annihilation rate for such light dark matter particles is however tightly constrained by cosmic microwave background (CMB) data. Here we explore the possibility of discovering MeV dark matter annihilation with future MeV gamma-ray telescopes taking into account the latest and future CMB constraints. We study the optimal energy window as a function of the dominant annihilation final state. We consider both the (conservative) case of the dwarf spheroidal galaxy Draco and the (more optimistic) case of the Galactic center. We find that for certain channels, including those with one or two monochromatic photon(s) and one or two neutral pion(s), a detectable gamma-ray signal is possible for both targets under consideration, and compatible with CMB constraints. For other annihilation channels, however, including all leptonic annihilation channels and two charged pions, CMB data rule out any significant signal of dark matter annihilation at future MeV gamma-ray telescopes from dwarf galaxies, but possibly not for the Galactic center.


title: Wavelength conversion of data at gigabit rates via nonlinear optics in an integrated micro-ring resonator

abstract: We present the first system penalty measurements for all-optical wavelength conversion in an integrated ring resonator. We achieve wavelength conversion over a range of 27.7nm in the C-band at 2.5 Gb/s by exploiting four wave mixing in a CMOS compatible, high index glass ring resonator at ~22 dBm average pump power, obtaining < 0.3 dB system penalty.


title: Global MHD Simulations of Accretion Disks in Cataclysmic Variables (CVs): II The Relative Importance of MRI and Spiral Shocks

abstract: We perform global three-dimensional MHD simulations of unstratified accretion disks in cataclysmic variables (CVs). By including mass inflow via an accretion stream, we are able to evolve the disk to a steady state. We investigate the relative importance of spiral shocks and the magnetorotational instability (MRI) in driving angular momentum transport and how each depend on the geometry and strength of seed magnetic field and the Mach number of the disk (where Mach number is ratio of the azimuthal velocity and the sound speed of gas). We use a locally isothermal equation of state and adopt temperature profiles that are consistent with CV disk observations. Our results indicate that the relative importance of spiral shocks and MRI in driving angular momentum transport is controlled by the gas Mach number and the seed magnetic field strength. MRI and spiral shocks provide comparable efficiency of angular momentum transport when the disk Mach number is around 10 and the seed magnetic field has plasma $\beta=400$ (where $\beta$ is ratio of gas pressure and magnetic pressure). The MRI dominates whenever the seed field strength, or the disk Mach number, is increased. Among all of our simulations, the effective viscosity parameter $\alpha_{eff} \sim 0.016-0.1$ after MRI saturates and the disk reaches steady state. Larger values of $\alpha_{eff}$ are favored when the seed magnetic field has vertical components or the flow has stronger magnetization ($1/\beta$). Our models all indicate that the role of MRI in driving angular momentum transport thus mass accretion in CV disks is indispensable, especially in cool disks with weak spiral shocks.


title: Sum-MSE performance gain of DFT-based channel estimator over frequency-domain LS one in full-duplex OFDM systems with colored interference

abstract: In this paper, we make an investigation on the sum-mean-square-error (sum-MSE) performance gain achieved by DFT-based least-square (LS) channel estimator over frequency-domain LS one in full-duplex OFDM system in the presence of colored interference and noise. The closed-form expression of the sum-MSE performance gain is given. Its simple upper and lower bounds are derived by using inequalities of matrix eigen-values. By simulation and analysis, the upper lower bound is shown to be close to the exact value of MSE gain as the ratio of the number N of total subcarriers to the cyclic prefix length L grows and the correlation factor of colored interference increases. More importantly, we also find that the MSE gain varies from one to N/L as the correlation among colored interferences decreases gradually. According to theoretical analysis, we also find the MSE gain has very simple forms in two extreme scenarios. In the first extreme case that the colored interferences over all subchannels are fully correlated, i.e., their covariance matrix is a matrix of all-ones, the sum-MSE gain reduces to 1. In other words, there is no performance gain. In the second extreme case that the colored-interference covariance matrix is an identity matrix, i.e, they are mutually independent, the achievable sum-MSE performance gain is N/L. A large ratio N/L will achieve a significant sum-MSE gain.


title: Observation of topological links associated with Hopf insulators in a solid-state quantum simulator

abstract: Hopf insulators are intriguing three-dimensional topological insulators characterized by an integer topological invariant. They originate from the mathematical theory of Hopf fibration and epitomize the deep connection between knot theory and topological phases of matter, which distinguishes them from other classes of topological insulators. Here, we implement a model Hamiltonian for Hopf insulators in a solid-state quantum simulator and report the first experimental observation of their topological properties, including fascinating topological links associated with the Hopf fibration and the integer-valued topological invariant obtained from a direct tomographic measurement. Our observation of topological links and Hopf fibration in a quantum simulator opens the door to probe rich topological properties of Hopf insulators in experiments. The quantum simulation and probing methods are also applicable to the study of other intricate three-dimensional topological model Hamiltonians.


title: Verification of STAR-Vote and Evaluation of FDR and ProVerif

abstract: We present the first automated privacy analysis of STAR-Vote, a real world voting system design with sophisticated "end-to-end" cryptography, using FDR and ProVerif. We also evaluate the effectiveness of these tools. Despite the complexity of the voting system, we were able to verify that our abstracted formal model of STAR-Vote provides ballot-secrecy using both formal approaches. Notably, ProVerif is radically faster than FDR, making it more suitable for rapid iteration and refinement of the formal model.


title: Four kinetic energy formulas for studying the interaction of energetic ions with carbon nanotubes

abstract: Three questions should be interesting, for better understanding of the basic physics of damage creation and stopping ions of different types, in the damaged tube: 1) Between the mass and charge effects, i.e. potential- independent and potential- dependent effects on the damaged tube, Which ones may the cross- section $\sigma$ effects belong to? 2) One method has calculated number of energetic recoils (both ions and carbon atoms), which hit the metal layer below the damaged tube, to study the stopping of both incident ions and recoil carbon atoms in it. Another method has calculated the ion- deposited energy $E_0-E_{penetrating}$ in the damaged tube, to distinguish between penetrating and stopped ions. Which method is better for studying the stopping between two ones? 3) Why can tens of the graphitic shells easily stop energetic ions with energies up to 10 keV? Which effects on the stopping? In kinetic energy formulas, we give answers for discussion.


title: Connectedness properties and splittings of groups with isolated flats

abstract: In this paper we study CAT(0) groups and their splittings as graphs of groups. For one-ended CAT(0) groups with isolated flats we prove a theorem characterizing exactly when the visual boundary is locally connected. This characterization depends on whether the group has a certain type of splitting over a virtually abelian subgroup. In the locally connected case, we describe the boundary as a tree of metric spaces in the sense of \'Swi\k{a}tkowski. A significant tool used in the proofs of the above results is a general convex splitting theorem for arbitrary CAT(0) groups. If a CAT(0) group splits as a graph of groups with convex edge groups, then the vertex groups are also CAT(0) groups.


title: Coherence transformations in single qubit systems

abstract: We investigate the single qubit transformations under several typical coherence-free operations, such as, incoherent operation (IO), strictly incoherent operation (SIO), physically incoherent operation (PIO), and coherence preserving operation (CPO). Quantitative connection has been built between IO and SIO in single qubit systems. Moreover, these coherence-free operations have a clear hierarchical relationship in single qubit systems: CPO $\subset$ PIO $\subset$ SIO=IO. A new and explicit proof for the necessary and sufficient condition of single qubit transformation via IO or SIO has been provided, which indicates that SIO with only two Kraus operators are enough to realize this transformation. The transformation regions of single qubits via CPO and PIO are also given. Our method provides a geometric illustration to analyze single qubit coherence transformations by introducing the Bloch sphere depiction of the transformation regions, and tells us how to construct the corresponding coherence-free operations.


title: Social Robot Modelling of Human Affective State

abstract: Social robots need to understand the affective state of the humans with whom they interact. Successful interactions require understanding mood and emotion in the short term, and personality and attitudes over longer periods. Social robots should also be able to infer the desires, wishes, and preferences of humans without being explicitly told. We investigate how effectively affective state can be inferred from corpora in which documents are plausible surrogates for what a robot might hear. For mood, emotions, wishes, desires, and attitudes we show highly ranked documents; for personality dimensions, estimates of ground truth are available and we report performance accuracy. The results are surprisingly strong given the limited information in short documents.


title: Peano-Gosper curves and the local isomorphism property

abstract: We consider unbounded curves without endpoints. Isomorphism is equivalence up to translation. Self-avoiding plane-filling curves cannot be periodic, but they can satisfy the local isomorphism property: We obtain a set $\Omega $ of coverings of the plane by sets of disjoint self-avoiding nonoriented curves, generalizing the Peano-Gosper curves, such that: 1) each $C \in \Omega $ satisfies the local isomorphism property; any set of curves locally isomorphic to $C$ belongs to $\Omega $; 2) $\Omega $ is the union of $2^{\omega }$ equivalence classes for the relation "$C$ locally isomorphic to $D$"; each of them contains $2^{\omega }$ (resp. $2^{\omega }$, $4$, $0$) isomorphism classes of coverings by $1$ (resp. $2$, $3$, $\geq 4$) curves. Each $C \in \Omega $ gives exactly $2$ coverings by sets of oriented curves which satisfy the local isomorphism property. They have opposite orientations.


title: Duality and de Rham cohomology for graded $D$-modules

abstract: We consider the (graded) Matlis dual $\DD(M)$ of a graded $\D$-module $M$ over the polynomial ring $R = k[x_1, \ldots, x_n]$ ($k$ is a field of characteristic zero), and show that it can be given a structure of $\D$-module in such a way that, whenever $\dim_kH^i_{dR}(M)$ is finite, then $H^i_{dR}(M)$ is $k$-dual to $H^{n-i}_{dR}(\DD(M))$. As a consequence, we show that if $M$ is a graded $\D$-module such that $H^n_{dR}(M)$ is a finite-dimensional $k$-space, then $\dim_k(H^n_{dR}(M))$ is the maximal integer $s$ for which there exists a surjective $\D$-linear homomorphism $M \rightarrow E^s$, where $E$ is the top local cohomology module $H^n_{(x_1, \ldots, x_n)}(R)$. This extends a recent result of Hartshorne and Polini on formal power series rings to the case of polynomial rings; we also apply the same circle of ideas to provide an alternate proof of their result. When $M$ is a finitely generated graded $\D$-module such that $\dim_kH^i_{dR}(M)$ is finite for some $i$, we generalize the above result further, showing that $H^{i}_{dR}(M)$ is $k$-dual to $\Ext_{\D}^{n-i}(M, \E)$.


title: On weight truncations in the motivic setting

abstract: Using punctual gluing of $t$-structures, we construct an analogue of S. Morel's weight truncation functors (for certain weight profiles) in the setting of motivic sheaves. As an application we construct a canonical motivic analogue of the intersection complex for an arbitrary threefold over any field $k$. We are also able to recover certain invariants of singularities motivically.


title: Punctual gluing of $t$-structures and weight structures

abstract: We formulate a notion of "punctual gluing" of $t$-structures and weight structures. As our main application we show that the relative version of Ayoub's $1$-motivic $t$-structure restricts to compact motives. We also demonstrate the utility of punctual gluing by recovering several constructions in literature. In particular we construct the weight structure on the category of motivic sheaves over any base $X$ and we also construct the relative Artin motive and the relative Picard motive of any variety $Y/X$.


title: New X-ray bound on density of primordial black holes

abstract: We set a new upper limit on the abundance of primordial black holes (PBH) based on existing X-ray data. PBH interactions with interstellar medium should result in significant fluxes of X-ray photons, which would contribute to the observed number density of compact X-ray objects in galaxies. The data constrain PBH number density in the mass range from a few $M_\odot$ to $2\times 10^7 M_\odot$. PBH density needed to account for the origin of black holes detected by LIGO is marginally allowed.


title: Why Are We Not Detecting Any Type Ib Supernova Associated with Long Gamma Ray Bursts?

abstract: Core-collapse supernovae (SNe) of Types Ib and Ic arise from hydrogen-stripped stars, while the latter are also stripped of their helium. Both SN types have a similar temporal evolution, suggesting broadly similar progenitors. However, while some Ic SNe are associated with relativistic jets of gamma-ray bursts (GRBs), no GRB has yet been found in association with Type Ib SNe. Here we find that, even if GRB-like central engines operate in both SNe Ib and Ic, different properties of their envelopes may accommodate this potential tension. In particular, we focus on the case of a low-mass, extended envelope surrounding the progenitor star (as produced, for example, by strong mass losses prior to explosion). If the envelopes of Type Ib SNe are sufficiently massive ($M_{\rm ext}\sim(0.3-1)M_\odot$) and extended ($R_{\rm ext}\sim 10^{13}\text{ cm}$), we show that (i) GRB-like jets cannot break out of the star; (ii) the SN light curve is compatible with current observations. Different envelope properties of Type Ib SNe with respect to (at least some) Type Ic SNe may be connected to the presence of a helium layer surrounding the star.


title: A direct approach to quasilinear parabolic equations on unbounded domains by Br\'ezis's theory for subdifferential operators

abstract: This paper is concerned with existence and uniqueness of solutions to two kinds of quasilinear parabolic equations. One is described as the form which includes the porous media and fast diffusion type equations. The other is the Cahn--Hilliard type system. The present paper applies Br\'ezis theory directly to both equations and gives existence results for these two equations even if the domain is unbounded. Moreover, an error estimate is also proved via apriori estimates obtained directly.


title: Offline Handwritten Recognition of Malayalam District Name - A Holistic Approach

abstract: Various machine learning methods for writer independent recognition of Malayalam handwritten district names are discussed in this paper. Data collected from 56 different writers are used for the experiments. The proposed work can be used for the recognition of district in the address written in Malayalam. Different methods for Dimensionality reduction are discussed. Features consider for the recognition are Histogram of Oriented Gradient descriptor, Number of Black Pixels in the upper half and lower half, length of image. Classifiers used in this work are Neural Network, SVM and RandomForest.


title: Automated Analysis of Voting Systems under an Active Intruder Model in CSP

abstract: This article presents a novel intruder model for automated reasoning about anonymity (vote-privacy) and secrecy properties of voting systems. We adapt the lazy spy for this purpose, as it avoids the eagerness of pre-computation of unnecessary deductions, reducing the required state space for the analysis. This powerful intruder behaves as a Dolev-Yao intruder, which not only observes a protocol run but also interacts with the protocol participants, overhears communication channels, intercepts and spoofs any messages that he has learned or generated from any prior knowledge. We make several important modifications in relation to existing channel types and the deductive system. For the former, we define various channel types for different threat models. For the latter, we construct a large deductive system over the space of messages transmitted in the voting system model. The model represents the first formal treatment of the vVote system, which was used in November 2014, in state elections in Victoria, Australia.


title: Complex interpolation of smoothness Triebel-Lizorkin-Morrey spaces

abstract: This paper extends the result in \cite{HNS15} to Triebel-Lizorkin-Morrey spaces which contains $4$ parameters $p,q,r,s$. This paper reinforces our earlier paper \cite{HNS15} by Nakamura, the first and the third authors in two different directions. First, we include the smoothness parameter $s$ and the second smoothness parameter $r$. In \cite{HNS15} we assumed $s=0$ and $r=2$. Here we relax the conditions on $s$ and $r$ to $s \in {\mathbb R}$ and $1 < r \le \infty$. Second, we apply a formula obtained by Bergh in 1978 to prove our main theorem without using the underlying sequence spaces.


title: One-Class Semi-Supervised Learning: Detecting Linearly Separable Class by its Mean

abstract: In this paper, we presented a novel semi-supervised one-class classification algorithm which assumes that class is linearly separable from other elements. We proved theoretically that class is linearly separable if and only if it is maximal by probability within the sets with the same mean. Furthermore, we presented an algorithm for identifying such linearly separable class utilizing linear programming. We described three application cases including an assumption of linear separability, Gaussian distribution, and the case of linear separability in transformed space of kernel functions. Finally, we demonstrated the work of the proposed algorithm on the USPS dataset and analyzed the relationship of the performance of the algorithm and the size of the initially labeled sample.


title: On 3-equivalenced weakly distance-regular digraphs

abstract: A weakly distance-regular digraph is 3-equivalenced if its attached association scheme is 3-equivalenced. In this paper, we classify the family of such digraphs under the assumption of the commutativity.


title: Survey of cold water lines in protoplanetary disks: indications of systematic volatile depletion

abstract: We performed very deep searches for 2 ground-state water transitions in 13 protoplanetary disks with the HIFI instrument on-board the Herschel Space Observatory, with integration times up to 12 hours per line. Two other water transitions that sample warmer gas were also searched for with shallower integrations. The detection rate is low, and the upper limits provided by the observations are generally much lower than predictions of thermo-chemical models with canonical inputs. One ground-state transition is newly detected in the stacked spectrum of AA Tau, DM Tau, LkCa 15, and MWC 480. We run a grid of models to show that the abundance of gas-phase oxygen needs to be reduced by a factor of at least ~100 to be consistent with the observational upper limits (and positive detections) if a dust-to-gas mass ratio of 0.01 were to be assumed. As a continuation of previous ideas, we propose that the underlying reason for the depletion of oxygen (hence the low detection rate) is the freeze-out of volatiles such as water and CO onto dust grains followed by grain growth and settling/migration, which permanently removes these gas-phase molecules from the emissive upper layers of the outer disk. Such depletion of volatiles is likely ubiquitous among different disks, though not necessarily to the same degree. The volatiles might be returned back to the gas phase in the inner disk (within about 15 AU), which is consistent with current constraints. Comparison with studies on disk dispersal due to photoevaporation indicates that the timescale for volatile depletion is shorter than that of photoevaporation.


title: Models for classifying spaces for $\mathbb{Z}\rtimes \mathbb{Z}$

abstract: We construct two models for the classifying space for the family of infinite cyclic subgroups of the fundamental group of the Klein bottle. These examples do not fit in general constructions previously done, for example, for hyperbolic groups.


title: Room-temperature high detectivity mid-infrared photodetectors based on black arsenic phosphorus

abstract: The mid-infrared (MIR) spectral range, pertaining to important applications such as molecular 'fingerprint' imaging, remote sensing, free space telecommunication and optical radar, is of particular scientific interest and technological importance. However, state-of-the-art materials for MIR detection are limited by intrinsic noise and inconvenient fabrication processes, resulting in high cost photodetectors requiring cryogenic operation. We report black arsenic-phosphorus-based long wavelength infrared photodetectors with room temperature operation up to 8.2 um, entering the second MIR atmospheric transmission window. Combined with a van der Waals heterojunction, room temperature specific detectivity higher than 4.9*10^9 Jones was obtained in the 3-5 um range. The photodetector works in a zero-bias photovoltaic mode, enabling fast photoresponse and low dark noise. Our van der Waals heterojunction photodector not only exemplify black arsenic-phosphorus as a promising candidate for MIR opto-electronic applications, but also pave the way for a general strategy to suppress 1/f noise in photonic devices.


title: Helicity of convective flows from localized heat source in a rotating layer

abstract: Experimental and numerical study of the steady-state cyclonic vortex from isolated heat source in a rotating fluid layer is described. The structure of laboratory cyclonic vortex is similar to the typical structure of tropical cyclones from observational data and numerical modelling including secondary flows in the boundary layer. Differential characteristics of the flow were studied by numerical simulation using CFD software FlowVision. Helicity distribution in rotating fluid layer with localized heat source was analysed. Two mechanisms which play role in helicity generation are found. The first one is the strong correlation of cyclonic vortex and intensive upward motion in the central part of the vessel. The second one is due to large gradients of velocity on the periphery. The integral helicity in the considered case is substantial and its relative level is high.


title: On Bayesian Fisher Information Maximization for Distributed Vector Estimation

abstract: We consider the problem of distributed estimation of a Gaussian vector with linear observation model. Each sensor makes a scalar noisy observation of the unknown vector, quantizes its observation, maps it to a digitally modulated symbol, and transmits the symbol over orthogonal power-constrained fading channels to a fusion center (FC). The FC is tasked with fusing the received signals from sensors and estimating the unknown vector. We derive the Bayesian Fisher Information Matrix (FIM) for three types of receivers: (i) coherent receiver (ii) noncoherent receiver with known channel envelopes (iii) noncoherent receiver with known channel statistics only. We also derive the Weiss-Weinstein bound (WWB). We formulate two constrained optimization problems, namely maximizing trace and log-determinant of Bayesian FIM under network transmit power constraint, with sensors transmit powers being the optimization variables. We show that for coherent receiver, these problems are concave. However, for noncoherent receivers, they are not necessarily concave. The solution to the trace of Bayesian FIM maximization problem can be implemented in a distributed fashion. We numerically investigate how the FIM-max power allocation across sensors depends on the sensors observation qualities and physical layer parameters as well as the network transmit power constraint. Moreover, we evaluate the system performance in terms of MSE using the solutions of FIM-max schemes, and compare it with the solution obtained from minimizing the MSE of the LMMSE estimator (MSE-min scheme), and that of uniform power allocation. These comparisons illustrate that, although the WWB is tighter than the inverse of Bayesian FIM, it is still suitable to use FIM-max schemes, since the performance loss in terms of the MSE of the LMMSE estimator is not significant.


title: Hybrid bounds for twists of $GL(3)$ $L$-functions

abstract: Let $\pi$ be a Hecke-Maass cusp form for $SL(3,\mathbb{Z})$ and $\chi=\chi_1\chi_2$ a Dirichlet character with $\chi_i$ primitive modulo $M_i$. Suppose that $M_1$, $M_2$ are primes such that $\max\{(M|t|)^{1/3+2\delta/3},M^{2/5}|t|^{-9/20}, M^{1/2+2\delta}|t|^{-3/4+2\delta}\}(M|t|)^{\varepsilon}<M_1< \min\{ (M|t|)^{2/5},(M|t|)^{1/2-8\delta}\}(M|t|)^{-\varepsilon}$ for any $\varepsilon>0$, where $M=M_1M_2$, $|t|\geq 1$ and $0<\delta< 1/52$. Then we have $$ L\left(\frac{1}{2}+it,\pi\otimes \chi\right)\ll_{\pi,\varepsilon} (M|t|)^{3/4-\delta+\varepsilon}. $$


title: Far-infrared - radio correlation and magnetic field strength in star-forming early-type galaxies

abstract: A tight far-infrared - radio correlation similar to that in star-forming late-type galaxies is also indicated in star-forming blue early-type galaxies, in which the nuclear optical-line emissions are primarily due to star-forming activities without a significant contribution from active galactic nuclei. The average value of far-infrared to 1.4 GHz radio flux-ratio commonly represented as the $'q'$ parameter is estimated to be $2.35\pm0.05$ with a scatter of 0.16 dex. The average star formation rate estimated using 1.4 GHz radio continuum is $\sim6$ M$_{\odot}$ yr$^{-1}$ in good agreement with those estimated using far-infrared and H$\alpha$ luminosities. The radio emission is detected mainly from central region which could be associated with the star-forming activities, most likely triggered by recent tidal interactions. The average thermal contribution to total radio flux is estimated to be $\sim12$ per cent. The average value of the magnetic field strengths in the star-forming early-type galaxies is estimated to be 12$^{+11}_{-4}$ $\mu$G. These magnetic fields are very likely generated via fast amplification in small-scale turbulent dynamos acting in the star-bursting regions.


title: Consistency Between the Luminosity Function of Resolved Millisecond Pulsars and the Galactic Center Excess

abstract: Fermi Large Area Telescope data reveal an excess of GeV gamma rays from the direction of the Galactic Center and bulge. Several explanations have been proposed for this excess including an unresolved population of millisecond pulsars (MSPs) and self-annihilating dark matter. It has been claimed that a key discriminant for or against the MSP explanation can be extracted from the properties of the luminosity function describing this source population. Specifically, is the luminosity function of the putative MSPs in the Galactic Center consistent with that characterizing the resolved MSPs in the Galactic disk? To investigate this we have used a Bayesian Markov Chain Monte Carlo to evaluate the posterior distribution of the parameters of the MSP luminosity function describing both resolved MSPs and the Galactic Center excess. At variance with some other claims, our analysis reveals that, within current uncertainties, both data sets can be well fit with the same luminosity function.

categories: astro-ph.HE astro-ph.CO astro-ph.GA astro-ph.SR


title: Minimax Estimation of the $L_1$ Distance

abstract: We consider the problem of estimating the $L_1$ distance between two discrete probability measures $P$ and $Q$ from empirical data in a nonasymptotic and large alphabet setting. When $Q$ is known and one obtains $n$ samples from $P$, we show that for every $Q$, the minimax rate-optimal estimator with $n$ samples achieves performance comparable to that of the maximum likelihood estimator (MLE) with $n\ln n$ samples. When both $P$ and $Q$ are unknown, we construct minimax rate-optimal estimators whose worst case performance is essentially that of the known $Q$ case with $Q$ being uniform, implying that $Q$ being uniform is essentially the most difficult case. The \emph{effective sample size enlargement} phenomenon, identified in Jiao \emph{et al.} (2015), holds both in the known $Q$ case for every $Q$ and the $Q$ unknown case. However, the construction of optimal estimators for $\|P-Q\|_1$ requires new techniques and insights beyond the approximation-based method of functional estimation in Jiao \emph{et al.} (2015).


title: Condition for zero and non-zero discord in graph Laplacian quantum states

abstract: This work is at the interface of graph theory and quantum mechanics. Quantum correlations epitomize the usefulness of quantum mechanics. Quantum discord is an interesting facet of bipartite quantum correlations. Earlier, it was shown that every combinatorial graph corresponds to quantum states whose characteristics are reflected in the structure of the underlined graph. A number of combinatorial relations between quantum discord and simple graphs were studied. To extend the scope of these studies, we need to generalize the earlier concepts applicable to simple graphs to weighted graphs, corresponding to a diverse class of quantum states. To this effect, we determine the class of quantum states whose density matrix representation can be derived from graph Laplacian matrices associated with a weighted directed graph and call them graph Laplacian quantum states. We find the graph-theoretic conditions for zero and non-zero quantum discord for these states. We apply these results on some important pure two qubit states, as well as a number of mixed quantum states, such as the Werner, Isotropic, and $X$-states. We also consider graph Laplacian states corresponding to simple graphs as a special case.


title: Realization of a spontaneous gauge and supersymmetry breaking vacuum

abstract: It is one of the major issues to realize a vacuum which breaks supersymmetry (SUSY) and R-symmetry, in a supersymmetric model. We study the model, where the same sector breaks the gauge symmetry and SUSY. In general, the SUSY breaking model without gauge symmetry has a flat direction at the minimum of F-term scalar potential. When we introduce U(1) gauge symmetry to such a SUSY breaking model, there can appear a runaway direction. Such a runway direction can be lifted by loop effects, and the gauge symmetry breaking and SUSY breaking are realized. The R-symmetry, that is assigned to break SUSY, is also spontaneously broken at the vacuum. This scenario can be extended to non-Abelian gauge theories. We also discuss application to the Pati-Salam model and the SU(5) grand unified theory. We see that non-vanishing gaugino masses are radiatively generated by the R-symmetry breaking and the gauge messenger contribution.


title: Optical intra-day variability in 3C 66A: 10 years of observations

abstract: We present results based on the observations of the blazar 3C 66A from 2005 November 06 to 2016 February 14 in the BVR and I broadbands using 1.2m telescope of the Mt. Abu InfraRed Observatory (MIRO). The source was observed on 160 nights out of which on 89 nights it was monitored for more than 1 hr to check for the presence of any intra-day variability (IDV). The blazar 3C 66A exhibited significant variations in the optical flux on short and long term time scales. However, unlike highly variable S5 0716+71, it showed IDV duty cycle of about 8% only. Our statistical studies suggest the IDV time scales ranging from $\sim$ 37 min to about 3.12 hours and, in one case, a possibility of the quasi-periodic variations with characteristic timescale of $\sim$ 1.4 hrs. The IDV amplitudes in R$-$band were found to vary from 0.03 mag to as much as 0.6 mag, with larger amplitude of variation when the source was relatively fainter. The typical rate of the flux variation was estimated to be $\sim$0.07 mag hr$^{-1}$ in both, the rising and the falling phases. However, the rates of the brightness variation as high as 1.38 mag/hr were also detected. The shortest timescale of the variation, 37 min, sets an upper limit of $6.92 \times 10^{14}$ cm on the size of the emission region and about $3.7 \times 10^8\ \mathrm{M}_{\odot}$ as an estimate of the mass of the black hole, assuming the origin of the rapid optical variability is in close vicinity of the central SMBH. The long-term study suggests a mild bluer-when-brighter behavior, typical for BL Lacs.


title: ACDC: Altering Control Dependence Chains for Automated Patch Generation

abstract: Once a failure is observed, the primary concern of the developer is to identify what caused it in order to repair the code that induced the incorrect behavior. Until a permanent repair is afforded, code repair patches are invaluable. The aim of this work is to devise an automated patch generation technique that proceeds as follows: Step1) It identifies a set of failure-causing control dependence chains that are minimal in terms of number and length. Step2) It identifies a set of predicates within the chains along with associated execution instances, such that negating the predicates at the given instances would exhibit correct behavior. Step3) For each candidate predicate, it creates a classifier that dictates when the predicate should be negated to yield correct program behavior. Step4) Prior to each candidate predicate, the faulty program is injected with a call to its corresponding classifier passing it the program state and getting a return value predictively indicating whether to negate the predicate or not. The role of the classifiers is to ensure that: 1) the predicates are not negated during passing runs; and 2) the predicates are negated at the appropriate instances within failing runs. We implemented our patch generation approach for the Java platform and evaluated our toolset using 148 defects from the Introclass and Siemens benchmarks. The toolset identified 56 full patches and another 46 partial patches, and the classification accuracy averaged 84%.


title: Semidefinite approximations of the matrix logarithm

abstract: The matrix logarithm, when applied to Hermitian positive definite matrices, is concave with respect to the positive semidefinite order. This operator concavity property leads to numerous concavity and convexity results for other matrix functions, many of which are of importance in quantum information theory. In this paper we show how to approximate the matrix logarithm with functions that preserve operator concavity and can be described using the feasible regions of semidefinite optimization problems of fairly small size. Such approximations allow us to use off-the-shelf semidefinite optimization solvers for convex optimization problems involving the matrix logarithm and related functions, such as the quantum relative entropy. The basic ingredients of our approach apply, beyond the matrix logarithm, to functions that are operator concave and operator monotone. As such, we introduce strategies for constructing semidefinite approximations that we expect will be useful, more generally, for studying the approximation power of functions with small semidefinite representations.