title: An effective holographic approach to QCD

abstract: We describe a holographic approach to QCD where conformal symmetry is broken explicitly in the UV by a relevant operator ${\cal O}$. The operator maps to a 5d scalar field, the dilaton, with a massive term. Implementing also the IR constraint found by Gursoy, Kiritsis and Nitti, an approximate linear glueball spectrum is obtained which is consistent with lattice data. Finally, we describe the evolution of the model parameters with the conformal dimension of ${\cal O}$. This suggests a map between the QCD trace anomaly and the trace Ward identity of deformed conformal field theories.


title: Finite density condensation and scattering data - a study in $\phi^4$ lattice field theory

abstract: We study the quantum field theory of a charged $\phi^4$ field in lattice regularization at finite density and low temperature in 2 and 4 dimensions with the goal of analyzing the connection of condensation phenomena to scattering data in a non-perturbative way. The sign problem of the theory at non-zero chemical potential $\mu$ is overcome by using a worldline representation for the Monte Carlo simulation. At low temperature we study the particle number as a function of $\mu$ and observe the steps for $\mbox{1-,}$ 2- and 3-particle condensation. We determine the corresponding critical values $\mu_n^{crit}, \, n = 1,2,3$ and analyze their dependence on the spatial extent $L$ of the lattice. Linear combinations of the $\mu_n^{crit}$ give the interaction energies in the 2- and 3-particle sectors and their dependence on $L$ is related to scattering data by L\"uscher's formula and its generalizations to three particles. For 2-$d$ we determine the scattering phase shift and for 4-$d$ the scattering length. We cross-check our results with a determination of the mass and the 2- and 3-particle energies from conventional 2-, 4-, and 6-point correlators at zero chemical potential. The letter demonstrates that the physics of condensation at finite density and low temperature is closely related to scattering data of a quantum field theory.


title: A Test of MONDian Gravity in $\sim$300 pressure supported elliptical galaxies from the MaNGA survey

abstract: Pressure supported systems modeled under MONDian extended gravity are expected to show an outer flattening in their velocity dispersion profiles. A characteristic scaling between the amplitude of the asymptotic velocity dispersion and the radius at which the flattening occurs is also expected. By comprehensively analyzing the dynamical behavior of $\sim$300 extremely low rotating elliptical galaxies from the MaNGA survey, we show this type of pressure supported systems to be consistent with MONDian expectations, for a range of central velocity dispersion values of $60 km/s < \sigma_{central}< 280 km/s $ and asymptotic velocity dispersion values of $28km/s < \sigma_{\infty}<250 km/s$. We find that a universal velocity dispersion profile accurately describes the studied systems; the predicted kinematics of extended gravity are verified for all well observed galaxies.


title: Recent Results from the Majorana Demonstrator

abstract: The MAJORANA Collaboration has completed construction and is now operating an array of high purity Ge detectors searching for neutrinoless double-beta decay ($0\nu\beta\beta$) in $^{76}$Ge. The array, known as the MAJORANA DEMONSTRATOR, is comprised of 44 kg of Ge detectors (30 kg enriched to 88% in $^{76}$Ge) installed in an ultra-low background compact shield at the Sanford Underground Research Facility in Lead, South Dakota. The primary goal of the DEMONSTRATOR is to establish a low-background design that can be scaled to a next-generation tonne-scale experiment. This work reports initial background levels in the $0\nu\beta\beta$ region of interest. Also presented are recent physics results leveraging P-type point-contact detectors with sub-keV energy thresholds to search for physics beyond the Standard Model; first results from searches for bosonic dark matter, solar axions, Pauli exclusion principle violation, and electron decay have been published. Finally, this work discusses the proposed tonne-scale $^{76}$Ge $0\nu\beta\beta$ LEGEND experiment.


title: Numerical Verification of Affine Systems with up to a Billion Dimensions

abstract: Affine systems reachability is the basis of many verification methods. With further computation, methods exist to reason about richer models with inputs, nonlinear differential equations, and hybrid dynamics. As such, the scalability of affine systems verification is a prerequisite to scalable analysis for more complex systems. In this paper, we improve the scalability of affine systems verification, in terms of the number of dimensions (variables) in the system. The reachable states of affine systems can be written in terms of the matrix exponential, and safety checking can be performed at specific time steps with linear programming. Unfortunately, for large systems with many state variables, this direct approach requires an intractable amount of memory while using an intractable amount of computation time. We overcome these challenges by combining several methods that leverage common problem structure. Memory is reduced by exploiting initial states that are not full-dimensional and safety properties (outputs) over a few linear projections of the state variables. Computation time is saved by using numerical simulations to compute only projections of the matrix exponential relevant for the verification problem. Since large systems often have sparse dynamics, we use Krylov-subspace simulation approaches based on the Arnoldi or Lanczos iterations. Our method produces accurate counter-examples when properties are violated and, in the extreme case with sufficient problem structure, can analyze a system with one billion real-valued state variables.


title: A Search for Molecular Gas in the Host Galaxy of FRB 121102

abstract: We present SMA and NOEMA observations of the host galaxy of FRB 121102 in the CO 3-2 and 1-0 transitions, respectively. We do not detect emission from either transition. We set $3\sigma$ upper limits to the CO luminosity $L_{CO} < 2.5 \times 10^7\,{\rm K\,km\,s}^{-1} {\, \rm pc^{-2}}$ for CO 3-2 and $L_{CO} < 2.3 \times 10^9\, {\rm K\,km\,s}^{-1} {\, \rm pc^{-2}}$ for CO 1-0. For Milky-Way-like star formation properties, we set a $3\sigma$ upper limit on the $H_2$ mass of $2.5 \times 10^8 \rm\ M_{\odot}$, slightly less than the predictions for the $H_2$ mass based on the star formation rate. The true constraint on the $H_2$ mass may be significantly higher, however, because of the reduction in CO luminosity that is common forlow-metallicity dwarf galaxies like the FRB host galaxy. These results demonstrate the challenge of identifying the nature of FRB progenitors through study of the host galaxy molecular gas. We also place a limit of 42 $\mu$Jy ($3\sigma$) on the continuum flux density of the persistent radio source at 97 GHz, consistent with a power-law extrapolation of the low frequency spectrum, which may arise from an AGN or other nonthermal source.


title: Anomalous nonlinearity of the magnonic edge mode

abstract: Nonlinearity of magneto-dynamics is typically described by a single constant, $\mathcal{N}$, with positive and negative values indicating repulsion and attraction of magnons, respectively. In thin magnetic films with easy-plane magnetic anisotropy, magnon attraction is typically achieved for an in-plane magnetization. At sufficient stimulus, e.g. via application of spin transfer torque, the attraction can give rise to self-localized magnetic solitons, such as spin wave bullets, which shrink as their amplitude increases. In contrast, for an oblique magnetization above a certain critical angle, the repulsion of magnons only allows for propagating modes, which expand when pumped more strongly. Here we demonstrate, both analytically and using micromagnetic simulations, that such a dichotomic description is inadequate for magnonic edge modes, which naturally appear in confined magnetic systems. In particular, we demonstrate that the confinement potential of such modes is nonlinear in nature and its contribution makes $\mathcal{N}$ non-monotonically dependent on their amplitude. As a prominent example, edge modes show compression and expansion for negative and positive $\mathcal{N}$, yet remain localized. In striking contrast to the extended geometries, edge magnons might also repeal even for an in-plane magnetization.


title: Velocity dependent dislocation drag from phonon wind and crystal geometry

abstract: The mobility of dislocations is an important factor in understanding material strength. Dislocations experience a drag due to their interaction with the crystal structure, the dominating contribution at high stress and temperature being the scattering off phonons due to phonon wind. Yet, the velocity dependence of this effect has eluded a good theoretical understanding. In a previous paper, dislocation drag from phonon wind as a function of velocity was computed from first principles in the isotropic limit, in part for simplicity, but also arguing that macroscopically, a polycrystalline metal looks isotropic. However, since the single crystal grains are typically a few microns up to a millimeter in size, dislocations travel in single crystals and cross boundaries, but never actually see an isotropic material. In this work we therefore highlight the effect of crystal anisotropy on dislocation drag by accounting for the crystal and slip plane geometries. In particular, we keep the phonon spectrum isotropic for simplicity, but dislocations are modeled according to the crystal symmetry (bcc, fcc, hcp, etc.). We then compare to the earlier purely isotropic results, as well as to experimental data and MD simulations where they are available.


title: Electrically Tunable and Reconfigurable Topological Edge State Lasers

abstract: We report an actively tunable topological edge mode laser in a one-dimensional Su-Schrieffer-Heeger (SSH) laser chain, where the SSH chain is realized in an electrically-injected Fabry-Perot (FP) laser chain. A non-Hermitian SSH model is developed to investigate the SSH laser chain with tunable active topological defect. We theoretically demonstrate topological edge mode phase transition in the SSH laser chain. The phase transition manifested in the tight binding SSH laser chain is observed experimentally and agreed well with the theoretical predictions. Finally, by electronically tuning the gain and loss, a lossy topological mode is obtained, and lasing is experimentally observed in the lossy time-reversal configuration. This work presents a versatile platform to investigate novel concepts, such as topological mode, for main stream photonic applications.


title: A PTAS for subset TSP in minor-free graphs

abstract: We give the first PTAS for the subset Traveling Salesperson Problem (TSP) in $H$-minor-free graphs. This resolves a long standing open problem in a long line of work on designing PTASes for TSP in minor-closed families initiated by Grigni, Koutsoupias and Papadimitriou in FOCS'95. The main technical ingredient in our PTAS is a construction of a nearly light subset $(1+\epsilon)$-spanner for any given edge-weighted $H$-minor-free graph. This construction is based on a necessary and sufficient condition given by \emph{sparse spanner oracles}: light subset spanners exist if and only if sparse spanner oracles exist. This relationship allows us to obtain two new results: _ An $(1+\epsilon)$-spanner with lightness $O(\epsilon^{-d+2})$ for any doubling metric of constant dimension $d$. This improves the earlier lightness bound $\epsilon^{-O(d)}$ obtained by Borradaile, Le and Wulff-Nilsen. _ An $(1+\epsilon)$-spanner with sublinear lightness for any metric of constant correlation dimension. Previously, no spanner with non-trivial lightness was known.


title: Identities and isomorphisms of finite-dimensional graded simple algebras

abstract: Let $\mathbb F$ be an algebraically closed field, $G$ be an abelian group, and let $A$ and $B$ be arbitrary finite-dimensional $G$-graded simple algebras over $\mathbb F$. We prove that $A$ and $B$ are isomorphic if, and only if, they satisfy the same graded polynomial identities.


title: Preconditioners for the geometry optimisation and saddle point search of molecular systems

abstract: A class of preconditioners is introduced to enhance geometry optimisation and transition state search of molecular systems. We start from the Hessian of molecular mechanical terms, decompose it and retain only its positive definite part to construct a sparse preconditioner matrix. The construction requires only the computation of the gradient of the corresponding molecular mechanical terms that are already available in popular force field software packages. For molecular crystals, the preconditioner can be combined straightforwardly with the exponential preconditioner recently introduced for periodic systems. The efficiency is demonstrated on several systems using empirical, semiempirical and ab initio potential energy surfaces.


title: An automated target species selection method for dynamic adaptive chemistry simulations

abstract: The relative importance index (RII) method for determining appropriate target species for dynamic adaptive chemistry (DAC) simulations using the DRGEP method is developed. The accuracy and effectiveness of this RII method is validated for two fuels: n-heptane and isopentanol. The RII method determines appropriate DRGEP target species solely from the local thermo-chemical state of the simulation, ensuring that accuracy will be maintained. Further, the RII method reduces the expertise required of users to select DRGEP target species sets appropriate to the combustion phenomena under consideration. Constant volume autoignition simulations run over a wide range of initial condi- tions using detailed reaction mechanisms for n-heptane and isopentanol show that the RII method is able to maintain accuracy even when traditional static target species sets fail, and are even more accurate than expert-selected target species sets. Additionally, the accuracy and efficiency of the RII method are compared to those of static target species sets in single-cell engine simulations under homogeneous charge compression ignition conditions. For simulations using more stringent DRGEP thresholds, the RII method performs similarly to that of the static target species sets. With a larger DRGEP threshold, the RII method is significantly more accurate than the static target species sets without imposing significant computational overhead. Furthermore, the applicability of the RII method to a DRG-based DAC scheme is discussed.


title: Robust and Resource Efficient Identification of Shallow Neural Networks by Fewest Samples

abstract: We address the structure identification and the uniform approximation of sums of ridge functions $f(x)=\sum_{i=1}^m g_i(a_i\cdot x)$ on ${\mathbb R}^d$, representing a general form of a shallow feed-forward neural network, from a small number of query samples. Higher order differentiation, as used in our constructive approximations, of sums of ridge functions or of their compositions, as in deeper neural network, yields a natural connection between neural network weight identification and tensor product decomposition identification. In the case of the shallowest feed-forward neural network, second order differentiation and tensors of order two (i.e., matrices) suffice as we prove in this paper. We use two sampling schemes to perform approximate differentiation - active sampling, where the sampling points are universal, actively, and randomly designed, and passive sampling, where sampling points were preselected at random from a distribution with known density. Based on multiple gathered approximated first and second order differentials, our general approximation strategy is developed as a sequence of algorithms to perform individual sub-tasks. We first perform an active subspace search by approximating the span of the weight vectors $a_1,\dots,a_m$. Then we use a straightforward substitution, which reduces the dimensionality of the problem from $d$ to $m$. The core of the construction is then the stable and efficient approximation of weights expressed in terms of rank-$1$ matrices $a_i \otimes a_i$, realized by formulating their individual identification as a suitable nonlinear program. We prove the successful identification by this program of weight vectors being close to orthonormal and we also show how we can costructively reduce to this case by a whitening procedure, without loss of any generality.


title: Chaos synchronization between the Josephson junctions governed by the central junction under the effect of parameter mismatches and noise

abstract: Chaos synchronization between Josephson junctions driven by a central junction is studied under the parameter mismatches and noise. It is demonstrated that chaos synchronization quality is robust to 10-15 % parameter mismatches. It is also elucidated that for the intermediary noise intensity correlation between the synchronized junctions can be even enhanced; however for larger intensities of noise synchronization quality deteriorates. It is also established that synchronization quality between some junctions remains unchanged, despite the fact that all the driven junctions and the driver junction were subject to the same amount of noise. These results are of certain importance for obtaining the high power system of Josephson junctions in real-life situations and are promising for practical applications in the Terahertz region.


title: Dynamic Color Displays Using Stepwise Cavity Resonators

abstract: High-resolution multicolor printing based on pixelated optical nanostructures is of great importance for promoting advances in color display science. So far, most of the work in this field has been focused on achieving static colors, limiting many potential applications. This inevitably calls for the development of dynamic color displays with advanced and innovative functionalities. In this Letter, we demonstrate a novel dynamic color printing scheme using magnesium-based pixelated Fabry-Perot cavities by grey-scale nanolithography. With controlled hydrogenation and dehydrogenation, magnesium undergoes unique metal and dielectric transitions, enabling distinct blank and color states from the pixelated Fabry-Perot resonators. Following such a scheme, we first demonstrate dynamic Ishihara plates, in which the encrypted images can only be read out using hydrogen as information decoding key. We also demonstrate a new type of dynamic color generation, which enables fascinating transformations between black/white printing and color printing with fine tonal tuning. Our work will find wide-ranging applications in full-color printing and displays, colorimetric sensing, information encryption and anti-counterfeiting.


title: Matching fields and lattice points of simplices

abstract: We show that the Chow covectors of a linkage matching field define a bijection between certain degree vectors and lattice points, and we demonstrate how one can recover the linkage matching field from this bijection. This resolves two open questions from Sturmfels and Zelevinsky (1993) on linkage matching fields. For this, we give an explicit construction that associates a bipartite incidence graph of an ordered partition of a common set to each lattice point in a dilated simplex. Given a triangulation of a product of two simplices encoded by a set of spanning trees on a bipartite node set, we similarly prove that the bijection from left to right degree vectors of the trees is enough to recover the triangulation. As additional results, we show a cryptomorphic description of linkage matching fields and characterise the flip graph of a linkage matching field in terms of its prodsimplicial flag complex. Finally, we relate our findings to transversal matroids through the tropical Stiefel map.


title: Uniqueness results for Zakharov-Kuznetsov equation

abstract: In this paper we study uniqueness properties of solutions to the Zakharov-Kuznetsov equation of plasma physic. Given two sufficiently regular solutions $u_1, u_2,$ we prove that, if $u_1-u_2$ decays fast enough at two distinct times, then $u_1\equiv u_2.$


title: Counting with Borel's Triangle

abstract: Borel's triangle is an array of integers closely related to the classical Catalan numbers. In this paper we study combinatorial statistics counted by Borel's triangle. We present various combinatorial interpretations of Borel's triangle in terms of lattice paths, binary trees, and pattern avoiding permutations and matchings, and derive a functional equation that is useful in analyzing the involved structures.


title: Natural Alignment of Quark Flavors and Radiatively Induced Quark Mixings

abstract: The standard model does not provide an explanation of the observed alignment of quark flavors i.e. why are the up and down quarks approximately aligned in their weak interactions according to their masses? We suggest a resolution of this puzzle using a combination of left-right and Peccei-Quinn (PQ) symmetry. The quark mixings in this model vanish at the tree level and arise out of one loop radiative corrections which explains their smallness. The lepton mixings on the other hand appear at the tree level and are therefore larger. We show that all fermion masses and mixings can be fitted with a reasonable choice of parameters. The neutrino mass fit using seesaw mechanism requires the right handed $W_R$ mass bigger than 18 TeV. Due to the presence of PQ symmetry, this model clearly provides a solution to the strong CP problem.


title: On $\widetilde{J}$-tangent affine hyperspheres

abstract: In this paper we study $\widetilde{J}$-tangent affine hyperspheres, where $\widetilde{J}$ is the canonical para-complex structure on $\mathbb{R}^{2n+2}$. The main purpose of this paper is to give a classification of $\widetilde{J}$-tangent affine hyperspheres of an arbitrary dimension with an involutive distribution $\mathcal{D}$. In particular, we classify all such hyperspheres in the $3$-dimensional case. We also show that there is a direct relation between $\widetilde{J}$-tangent affine hyperspheres and Calabi products. As an application we obtain certain classification results. In particular, we show that, with one exception, all odd dimensional proper flat affine hyperspheres are, after a suitable affine transformation, $\widetilde{J}$-tangent. Some examples of $\widetilde{J}$-tangent affine hyperspheres are also given.


title: Quantum Speed Limits under Continuous Quantum Measurements

abstract: The pace of evolution of physical systems is fundamentally constrained by quantum speed limits (QSL), which have found broad applications in quantum science and technology. We consider the speed of evolution for quantum systems undergoing stochastic dynamics due to continuous measurements. It is shown that that there are trajectories for which standard QSL are violated, and we provide estimates for the range of velocities in an ensemble of realizations of continuous measurement records. We determine the dispersion of the speed of evolution and characterize the full statistics of single trajectories. By characterizing the dispersion of the Bures angle, we further show that continuous quantum measurements induce Brownian dynamics in Hilbert space.


title: StainGAN: Stain Style Transfer for Digital Histological Images

abstract: Digitized Histological diagnosis is in increasing demand. However, color variations due to various factors are imposing obstacles to the diagnosis process. The problem of stain color variations is a well-defined problem with many proposed solutions. Most of these solutions are highly dependent on a reference template slide. We propose a deep-learning solution inspired by CycleGANs that is trained end-to-end, eliminating the need for an expert to pick a representative reference slide. Our approach showed superior results quantitatively and qualitatively against the state of the art methods (10% improvement visually using SSIM). We further validated our method on a clinical use-case, namely Breast Cancer tumor classification, showing 12% increase in AUC. The code will be made publicly available.


title: Uniform subconvexity and symmetry breaking reciprocity

abstract: A non-symmetric reciprocity formula is established that expresses the fourth moment of automorphic L-functions of level q and primitive central character twisted by the l-th Hecke eigenvalue as a twisted mixed moment of automorphic L-functions of level l and trivial central character. As an application, uniform subconvexity bounds for L-functions in the level and the eigenvalue aspect are derived.


title: Focused Crawl of Web Archives to Build Event Collections

abstract: Event collections are frequently built by crawling the live web on the basis of seed URIs nominated by human experts. Focused web crawling is a technique where the crawler is guided by reference content pertaining to the event. Given the dynamic nature of the web and the pace with which topics evolve, the timing of the crawl is a concern for both approaches. We investigate the feasibility of performing focused crawls on the archived web. By utilizing the Memento infrastructure, we obtain resources from 22 web archives that contribute to building event collections. We create collections on four events and compare the relevance of their resources to collections built from crawling the live web as well as from a manually curated collection. Our results show that focused crawling on the archived web can be done and indeed results in highly relevant collections, especially for events that happened further in the past.


title: Ultra-high Vacuum Deposition of Higher Manganese Silicide Mn4Si7 Thin Films

abstract: We have successfully grown one of the higher manganese silicides, Mn4Si7 thin films on silicon (100) substrates using an ultra-high vacuum deposition with a base pressure of 1x10-9 torr. The thickness of the film was varied from 65-100 nm. These films exhibit a tetragonal crystal structure and display paramagnetic behavior as predicted for the stoichiometric Mn4Si7 system. They have a resistivity of 3.321 x 10-5 ohm-m at room temperature and show a semi-metallic nature.


title: Boson-Lattice Construction for Anyon Models

abstract: This work is an attempt to unveil the skeleton of anyon models. I present a construction to systematically generate anyon models. The construction uses a set of elementary pieces or fundamental anyon models, which constitute the building blocks to construct other, more complex, anyon models. A principle of assembly is established that dictates how to articulate the building blocks, setting out the global blueprint for the whole structure. Remarkably, the construction generates essentially all tabulated anyon models. Moreover, novel anyon models (non-tabulated, to my knowledge) arise. To embody the construction I develop a very physical, visual and intuitive lexicon. An anyon model corresponds to a system of bosons in a lattice. By varying the number of bosons and the number of lattice sites, towers of more and more complex anyon models are built up. It is a Boson-Lattice construction. A self-similar anatomy is revealed: an anyon model is a graph that is filled with bosons to engender a new graph that is again filled with bosons. And further, bosons curve the graph that the anyon model is: I disclose a geography in the space of anyon models, where one is born from another by deforming the geometry of space. I advance an alluring duality between anyon models and gravity.


title: On the number of containments in $P$-free families

abstract: A subfamily $\{F_1,F_2,\dots,F_{|P|}\}\subseteq \mathcal F$ is a copy of the poset $P$ if there exists a bijection $i:P\rightarrow \{F_1,F_2,\dots,F_{|P|}\}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. A family $\mathcal F$ is $P$-free, if it does not contain a copy of $P$. In this paper we establish basic results on the maximum possible number of $k$-chains in a $P$-free family $\mathcal F\subseteq 2^{[n]}$. We prove that if the height of $P$, $h(P) > k$, then this number is of the order $\Theta(\prod_{i=1}^{k+1}\binom{l_{i-1}}{l_i})$, where $l_0=n$ and $l_1\ge l_2\ge \dots \ge l_{k+1}$ are such that $n-l_1,l_1-l_2,\dots, l_k-l_{k+1},l_{k+1}$ differ by at most one. On the other hand if $h(P)\le k$, then we show that this number is of smaller order of magnitude. Let $\vee_r$ denote the poset on $r+1$ elements $a, b_1, b_2, \ldots, b_r$, where $a < b_i$ for all $1 \le i \le r$ and let $\wedge_r$ denote its dual. For any values of $k$ and $l$, we construct a $\{\wedge_k,\vee_l\}$-free family and we conjecture that it contains asymptotically the maximum number of pairs in containment. We prove that this conjecture holds under the additional assumption that a chain of length 4 is forbidden. Moreover, we prove the conjecture for some small values of $k$ and $l$. We also derive the asymptotics of the maximum number of copies of certain tree posets $T$ of height 2 in $\{\wedge_k,\vee_l\}$-free families $\mathcal F \subseteq 2^{[n]}$.


title: Two component boson-fermion plasma at finite temperature

abstract: We discuss thermodynamic stability of neutral real (quantum) matter from the point of view of a computer experiment at finite, non-zero, temperature. We perform (restricted) path integral Monte Carlo simulations of the two component plasma where the two species are all bosons, all fermions, and one boson and one fermion. We calculate the structure of the plasma and discuss about the formation of binded couples of oppositely charged particles. The purely bosonic case is thermodynamically unstable. In this case we find an undetermined size dependent contact value of the unlike partial radial distribution function. For the purely fermionic case we find a demixing transition with binding also of like species.

categories: cond-mat.stat-mech cond-mat.mtrl-sci cond-mat.quant-gas physics.atm-clus


title: $f(R, R_{\mu\nu}^2)$ at one loop

abstract: We compute the one-loop divergences in a theory of gravity with Lagrangian of the general form $f(R,R_{\mu\nu}R^{\mu\nu})$, on an Einstein background. We also establish that the one-loop effective action is invariant under a duality that consists of changing certain parameters in the relation between the metric and the quantum fluctuation field. Finally, we discuss the unimodular version of such a theory and establish its equivalence at one-loop order with the general case.


title: Mesh-free Semi-Lagrangian Methods for Transport on a Sphere Using Radial Basis Functions

abstract: We present three new semi-Lagrangian methods based on radial basis function (RBF) interpolation for numerically simulating transport on a sphere. The methods are mesh-free and are formulated entirely in Cartesian coordinates, thus avoiding any irregular clustering of nodes at artificial boundaries on the sphere and naturally bypassing any apparent artificial singularities associated with surface-based coordinate systems. For problems involving tracer transport in a given velocity field, the semi-Lagrangian framework allows these new methods to avoid the use of any stabilization terms (such as hyperviscosity) during time-integration, thus reducing the number of parameters that have to be tuned. The three new methods are based on interpolation using 1) global RBFs, 2) local RBF stencils, and 3) RBF partition of unity. For the latter two of these methods, we find that it is crucial to include some low degree spherical harmonics in the interpolants. Standard test cases consisting of solid body rotation and deformational flow are used to compare and contrast the methods in terms of their accuracy, efficiency, conservation properties, and dissipation/dispersion errors. For global RBFs, spectral spatial convergence is observed for smooth solutions on quasi-uniform nodes, while high-order accuracy is observed for the local RBF stencil and partition of unity approaches.


title: Submillimeter-wave emission of three Galactic red novae: cool molecular outflows produced by stellar mergers

abstract: Red novae are optical transients erupting at luminosities typically higher than those of classical novae. Their outbursts are believed to be caused by stellar mergers. We present millimeter/submillimeter-wave observations with ALMA and SMA of the three best known Galactic red novae, V4332 Sgr, V1309 Sco, and V838 Mon. The observations were taken 22, 8, and 14 yr after their respective eruptions and reveal the presence of molecular gas at excitation temperatures of 35-200 K. The gas displays molecular emission in rotational transitions with very broad lines (full width $\sim$400 km\s). We found emission of CO, SiO, SO, SO$_2$ (in all three red novae), H$_2$S (covered only in V838 Mon) and AlO (present in V4332 Sgr and V1309 Sco). No anomalies were found in the isotopic composition of the molecular material and the chemical (molecular) compositions of the three red novae appear similar to those of oxygen-rich envelopes of classical evolved stars (RSGs, AGBs, post-AGBs). The minimum masses of the molecular material that most likely was dispersed in the red-nova eruptions are 0.1, 0.01, and 10$^{-4}$ M$_{\odot}$ for V838 Mon, V4332 Sgr, and V1309 Sco, respectively. The molecular outflows in V4332 Sgr and V1309 Sco are spatially resolved and appear bipolar. The kinematic distances to V1309 Sco and V4332 Sgr are 2.1 and 4.2 kpc, respectively. The kinetic energy stored in the ejecta of the two older red-nova remnants of V838 Mon and V4332 Sgr is of order $10^{46}$ erg, similar to values found for some post-AGB (pre-PN) objects whose bipolar ejecta were also formed in a short-duration eruption. Our observations strengthen the link between these post-AGB objects and red novae and support the hypothesis that some of the post-AGB objects were formed in a common-envelope ejection event or its most catastrophic outcome, a merger.


title: Learnable Exposure Fusion for Dynamic Scenes

abstract: In this paper, we focus on Exposure Fusion (EF) [ExposFusi2] for dynamic scenes. The task is to fuse multiple images obtained by exposure bracketing to create an image which comprises a high level of details. Typically, such images are not possible to obtain directly from a camera due to hardware limitations, e.g., a limited dynamic range of the sensor. A major problem of such tasks is that the images may not be spatially aligned due to scene motion or camera motion. It is known that the required alignment by image registration problems is ill-posed. In this case, the images to be aligned vary in their intensity range, which makes the problem even more difficult. To address the mentioned problems, we propose an end-to-end \emph{Convolutional Neural Network} (CNN) based approach to learn to estimate exposure fusion from $2$ and $3$ Low Dynamic Range (LDR) images depicting different scene contents. To the best of our knowledge, no efficient and robust CNN-based end-to-end approach can be found in the literature for this kind of problem. The idea is to create a dataset with perfectly aligned LDR images to obtain ground-truth exposure fusion images. At the same time, we obtain additional LDR images with some motion, having the same exposure fusion ground-truth as the perfectly aligned LDR images. This way, we can train an end-to-end CNN having misaligned LDR input images, but with a proper ground truth exposure fusion image. We propose a specific CNN-architecture to solve this problem. In various experiments, we show that the proposed approach yields excellent results.


title: Independence of spin-orbit torques from the exchange bias direction in Ni$_{81}$Fe$_{19}$/IrMn bilayers

abstract: We investigated a possible correlation between spin Hall angles and exchange bias in Ni$_{81}$Fe$_{19}$/IrMn samples by performing spin torque ferromagnetic resonance measurements. This correlation is probed by patterning of Ni$_{81}$Fe$_{19}$/IrMn bilayers in different relative orientations with respect to the exchange bias direction. The measured voltage spectra allow a quantitative determination of spin Hall angles, which are independent of the orientation around 2.8\pm0.3%.


title: Wide Ranging Equation of State with Tartarus: a Hybrid Green's Function/Orbital based Average Atom Code

abstract: Average atom models are widely used to make equation of state tables and for calculating other properties of materials over a wide range of conditions, from zero temperature isolated atom to fully ionized free electron gases. The numerical challenge of making these density functional theory based models work for any temperature, density or nuclear species is formidable. Here we present in detail a hybrid Green's function/orbital based approach that has proved to be stable and accurate for wide ranging conditions. Algorithmic strategies are discussed. In particular the decomposition of the electron density into numerically advantageous parts is presented and a robust and rapid self consistent field method based on a quasi-Newton algorithm is given. Example application to the equation of state of lutetium (Z=71) is explored in detail, including the effect of relativity, finite temperature exchange and correlation, and a comparison to a less approximate method. The hybrid scheme is found to be numerically stable and accurate for lutetium over at least 6 orders of magnitude in density and 5 orders of magnitude in temperature.


title: Pigeonring: A Principle for Faster Thresholded Similarity Search

abstract: The pigeonhole principle states that if $n$ items are contained in $m$ boxes, then at least one box has no more than $n / m$ items. It is utilized to solve many data management problems, especially for thresholded similarity searches. Despite many pigeonhole principle-based solutions proposed in the last few decades, the condition stated by the principle is weak. It only constrains the number of items in a single box. By organizing the boxes in a ring, we propose a new principle, called the pigeonring principle, which constrains the number of items in multiple boxes and yields stronger conditions. To utilize the new principle, we focus on problems defined in the form of identifying data objects whose similarities or distances to the query is constrained by a threshold. Many solutions to these problems utilize the pigeonhole principle to find candidates that satisfy a filtering condition. By the new principle, stronger filtering conditions can be established. We show that the pigeonhole principle is a special case of the new principle. This suggests that all the pigeonhole principle-based solutions are possible to be accelerated by the new principle. A universal filtering framework is introduced to encompass the solutions to these problems based on the new principle. Besides, we discuss how to quickly find candidates specified by the new principle. The implementation requires only minor modifications on top of existing pigeonhole principle-based algorithms. Experimental results on real datasets demonstrate the applicability of the new principle as well as the superior performance of the algorithms based on the new principle.


title: Dynamic Actuator Selection and Robust State-Feedback Control of Networked Soft Actuators

abstract: The design of robots that are light, soft, powerful is a grand challenge. Since they can easily adapt to dynamic environments, soft robotic systems have the potential of changing the status-quo of bulky robotics. A crucial component of soft robotics is a soft actuator that is activated by external stimuli to generate desired motions. Unfortunately, there is a lack of powerful soft actuators that operate through lightweight power sources. To that end, we recently designed a highly scalable, flexible, biocompatible Electromagnetic Soft Actuator (ESA). With ESAs, artificial muscles can be designed by integrating a network of ESAs. The main research gap addressed in this work is in the absence of system-theoretic understanding of the impact of the realtime control and actuator selection algorithms on the performance of networked soft-body actuators and ESAs. The objective of this paper is to establish a framework that guides the analysis and robust control of networked ESAs. A novel ESA is described, and a configuration of soft actuator matrix to resemble artificial muscle fiber is presented. A mathematical model which depicts the physical network is derived, considering the disturbances due to external forces and linearization errors as an integral part of this model. Then, a robust control and minimal actuator selection problem with logistic constraints and control input bounds is formulated, and tractable computational routines are proposed with numerical case studies.


title: Prime Parking Functions on Rooted Trees

abstract: For a labeled, rooted tree with edges oriented towards the root, we consider the vertices as parking spots and the edge orientation as a one-way street. Each driver, starting with her preferred parking spot, searches for and parks in the first unoccupied spot along the directed path to the root. If all $n$ drivers park, the sequence of spot preferences is called a parking function. We consider the sequences, called \emph{prime} parking functions, for which each driver parks and each edge in the tree is traversed by some driver after failing to park at her preferred spot. We prove that the total number of prime parking functions on trees with $n$ vertices is $(2n-2)!$. Additionally, we generalize \emph{increasing} parking functions, those in which the drivers park with a weakly-increasing order of preference, to trees and prove that the total number of increasing prime parking functions on trees with $n$ vertices is $(n-1)!S_{n-1}$, where $\{S_i\}_{i \geq 0}$ are the large Schr\"oder numbers.


title: Statistical theory of deformation distributions in nuclear spectra

abstract: The dependence of the nuclear level density on intrinsic deformation is an important input to dynamical nuclear processes such as fission. Auxiliary-field Monte Carlo (AFMC) method is a powerful method for computing nuclear level densities. However, the statistical distribution of intrinsic shapes is not readily accessible due to the formulation of AFMC in a spherical configuration-interaction shell-model approach. Instead, theory of deformation up to now has largely relied on a mean-field approximation which breaks rotational symmetry. We show here how the distributions of the intrinsic quadrupole deformation parameters can be calculated within the AFMC method, and present results for a chain of even-mass samarium nuclei ($^{148}$Sm, $^{150}$Sm, $^{152}$Sm, $^{154}$Sm) which includes spherical, transitional, and strongly deformed isotopes. The method relies on a Landau-like expansion of the Helmholtz free energy in invariant polynomials of the quadrupole tensor. We find that an expansion to fourth order provides an excellent description of the AFMC results.


title: Functional Summaries of Persistence Diagrams

abstract: One of the primary areas of interest in applied algebraic topology is persistent homology, and, more specifically, the persistence diagram. Persistence diagrams have also become objects of interest in topological data analysis. However, persistence diagrams do not naturally lend themselves to statistical goals, such as inferring certain population characteristics, because their complicated structure makes common algebraic operations--such as addition, division, and multiplication-- challenging (e.g., the mean might not be unique). To bypass these issues, several functional summaries of persistence diagrams have been proposed in the literature (e.g. landscape and silhouette functions). The problem of analyzing a set of persistence diagrams then becomes the problem of analyzing a set of functions, which is a topic that has been studied for decades in statistics. First, we review the various functional summaries in the literature and propose a unified framework for the functional summaries. Then, we generalize the definition of persistence landscape functions, establish several theoretical properties of the persistence functional summaries, and demonstrate and discuss their performance in the context of classification using simulated prostate cancer histology data, and two-sample hypothesis tests comparing human and monkey fibrin images, after developing a simulation study using a new data generator we call the Pickup Sticks Simulator (STIX).


title: Stability and Convergence Trade-off of Iterative Optimization Algorithms

abstract: The overall performance or expected excess risk of an iterative machine learning algorithm can be decomposed into training error and generalization error. While the former is controlled by its convergence analysis, the latter can be tightly handled by algorithmic stability. The machine learning community has a rich history investigating convergence and stability separately. However, the question about the trade-off between these two quantities remains open. In this paper, we show that for any iterative algorithm at any iteration, the overall performance is lower bounded by the minimax statistical error over an appropriately chosen loss function class. This implies an important trade-off between convergence and stability of the algorithm -- a faster converging algorithm has to be less stable, and vice versa. As a direct consequence of this fundamental tradeoff, new convergence lower bounds can be derived for classes of algorithms constrained with different stability bounds. In particular, when the loss function is convex (or strongly convex) and smooth, we discuss the stability upper bounds of gradient descent (GD) and stochastic gradient descent and their variants with decreasing step sizes. For Nesterov's accelerated gradient descent (NAG) and heavy ball method (HB), we provide stability upper bounds for the quadratic loss function. Applying existing stability upper bounds for the gradient methods in our trade-off framework, we obtain lower bounds matching the well-established convergence upper bounds up to constants for these algorithms and conjecture similar lower bounds for NAG and HB. Finally, we numerically demonstrate the tightness of our stability bounds in terms of exponents in the rate and also illustrate via a simulated logistic regression problem that our stability bounds reflect the generalization errors better than the simple uniform convergence bounds for GD and NAG.


title: Active covariance estimation by random sub-sampling of variables

abstract: We study covariance matrix estimation for the case of partially observed random vectors, where different samples contain different subsets of vector coordinates. Each observation is the product of the variable of interest with a $0-1$ Bernoulli random variable. We analyze an unbiased covariance estimator under this model, and derive an error bound that reveals relations between the sub-sampling probabilities and the entries of the covariance matrix. We apply our analysis in an active learning framework, where the expected number of observed variables is small compared to the dimension of the vector of interest, and propose a design of optimal sub-sampling probabilities and an active covariance matrix estimation algorithm.


title: Theoretical prediction of two-dimensional CrOF sheet as a ferromagnetic semiconductor or a half-metal

abstract: Two-dimensional chromium oxide fluoride CrOF sheet was studied based on density functional theory. The investigation indicates that the CrOF sheet is an intrinsic ferromagnetic semiconductor. The calculated low cleavage energy implies that the ferromagnetic semiconductor can be exfoliated from its bulk form. The corresponding Curie temperature is 150 K. In particular, the Curie temperature increases up to 410 K under hole doping and the CrOF sheet becomes a half-metal. The versatile electronic and magnetic properties indicate that the two-dimensional CrOF sheet can be a promising candidate for next-generation spintronic devices.


title: Image Generation from Scene Graphs

abstract: To truly understand the visual world our models should be able not only to recognize images but also generate them. To this end, there has been exciting recent progress on generating images from natural language descriptions. These methods give stunning results on limited domains such as descriptions of birds or flowers, but struggle to faithfully reproduce complex sentences with many objects and relationships. To overcome this limitation we propose a method for generating images from scene graphs, enabling explicitly reasoning about objects and their relationships. Our model uses graph convolution to process input graphs, computes a scene layout by predicting bounding boxes and segmentation masks for objects, and converts the layout to an image with a cascaded refinement network. The network is trained adversarially against a pair of discriminators to ensure realistic outputs. We validate our approach on Visual Genome and COCO-Stuff, where qualitative results, ablations, and user studies demonstrate our method's ability to generate complex images with multiple objects.


title: HATS-39b, HATS-40b, HATS-41b, and HATS-42b: Three Inflated Hot Jupiters and a Super-Jupiter Transiting F Stars

abstract: We report the discovery of four transiting hot Jupiters from the HATSouth survey: HATS-39b, HATS-40b, HATS41b and HATS-42b. These discoveries add to the growing number of transiting planets orbiting moderately bright (12.5 < V < 13.7) F dwarf stars on short (2-5 day) periods. The planets have similar radii, ranging from 1.33(+0.29/-0.20) R_J for HATS-41b to 1.58(+0.16/-0.12) R_J for HATS-40b. Their masses and bulk densities, however, span more than an order of magnitude. HATS-39b has a mass of 0.63 +/- 0.13 M_J, and an inflated radius of 1.57 +/- 0.12 R_J, making it a good target for future transmission spectroscopic studies. HATS-41b is a very massive 9.7 +/- 1.6 M_J planet and one of only a few hot Jupiters found to date with a mass over 5 M_J. This planet orbits the highest metallicity star ([Fe/H] = 0.470 +/- 0.010) known to host a transiting planet and is also likely on an eccentric orbit. The high mass, coupled with a relatively young age (1.34 +0.31/-0.51 Gyr) for the host star, are factors that may explain why this planet's orbit has not yet circularised.


title: Evaluation of Object Trackers in Distorted Surveillance Videos

abstract: Object tracking in realistic scenarios is a difficult problem affected by various image factors such as occlusion, clutter, confusion, object shape, unstable speed, and zooming. While these conditions do affect tracking performance, there is no clear distinction between the scene dependent challenges like occlusion, clutter, etc., and the challenges imposed by traditional notions of impairments from capture, compression, processing, and transmission. This paper is concerned with the latter interpretation of quality as it affects video tracking performance. In this work we aim to evaluate two state-of-the-art trackers (STRUCK and TLD) systematically and experimentally in surveillance videos affected by in-capture distortions such as under-exposure and defocus. We evaluate these trackers with the area under curve (AUC) values of success plots and precision curves. In spite of the fact that STRUCK and TLD have ranked high in video tracking surveys. This study concludes that incapture distortions severely affect the performance of these trackers. For this reason, the design and construction of a robust tracker with respect to these distortions remains an open question that can be answered by creating algorithms that makes use of perceptual features to compensate the degradations provided by these distortions.


title: Giant enhancement in Rashba spin-Seebeck effect in NiFe/p-Si thin films

abstract: The spin-Seebeck effect mediated thermoelectric energy conversion can provide efficient alternative to traditional thermoelectrics for waste heat recovery. To achieve this goal, efficient spin to charge conversion using earth-abundant materials is essential. Proximity induced Rashba effect arises from the charge potential mediated by structural inversion asymmetry, which has been reported in Si thin films and can be manipulated by controlling the thickness of Rashba layer. We demonstrate a giant Rashba spin-Seebeck effect in NiFe/p-Si (polycrystalline) bilayer thin films. The bilayer thin film specimens have p-Si layer thickness of 5 nm, 25 nm and 100 nm while keeping the NiFe layer thickness at 25 nm. The Rashba spin Seebeck coefficient has been estimated to be 0.266 {\mu}V/K for 100 nm p-Si, and increases by an order of magnitude to 2.11 {\mu}V/K for 5 nm p-Si. The measured spin-Seebeck coefficient in 5 nm p-Si specimen is one of the largest coefficient ever reported. The measured voltage of 100.3 \mu V is one of the largest reported spin-Seebeck voltage, with smallest area of ~160 X 10 \mu m2 used in any spin-Seebeck measurement. This scientific and technological breakthrough using earth abundant elements brings the spin mediated thermoelectric energy conversion for waste heat recovery closer to reality.


title: SBFT: a Scalable and Decentralized Trust Infrastructure

abstract: SBFT is a state of the art Byzantine fault tolerant permissioned blockchain system that addresses the challenges of scalability, decentralization and world-scale geo-replication. SBFTis optimized for decentralization and can easily handle more than 200 active replicas in a real world-scale deployment. We evaluate \sysname in a world-scale geo-replicated deployment with 209 replicas withstanding f=64 Byzantine failures. We provide experiments that show how the different algorithmic ingredients of \sysname increase its performance and scalability. The results show that SBFT simultaneously provides almost 2x better throughput and about 1.5x better latency relative to a highly optimized system that implements the PBFT protocol. To achieve this performance improvement, SBFT uses a combination of four ingredients: using collectors and threshold signatures to reduce communication to linear, using an optimistic fast path, reducing client communication and utilizing redundant servers for the fast path.


title: Statistical Mechanics of Topological Fluctuations in Glass-Forming Liquids

abstract: All liquids are topologically disordered materials; however, the degree of disorder can vary as a result of internal fluctuations in structure and topology. These fluctuations depend on both the composition and temperature of the system. Most prior work has considered the mean values of liquid or glass properties, such as the average number of topological degrees of freedom per atom; however, the localized fluctuations in properties also play a key role in governing the macroscopic characteristics of any glass-forming system. This paper proposes a generalized approach for modeling topological fluctuations in glass-forming liquids by linking the statistical mechanics of the disordered structure to topological constraint theory. In doing so we introduce the contributions of localized fluctuations into the calculation of the topological degrees of freedoms in the network. With this approach the full distribution of properties in the disordered network can be calculated as an arbitrary function of composition, temperature, and thermal history (for the nonequilibrium glassy state). The scope of this current investigation focuses on describing topological fluctuations in liquids, concentrating on composition and temperature effects.


title: New lower bounds on the radius of spatial analyticity for the KdV equation

abstract: The radius of spatial analyticity for solutions of the KdV equation is studied. It is shown that the analyticity radius does not decay faster than $t^{-1/4}$ as time $t$ goes to infinity. This improves the works [Selberg, da Silva, Lower bounds on the radius of spatial analyticity for the KdV equation, Annales Henri Poincar\'{e}, 2017, 18(3): 1009-1023] and [Tesfahun, Asymptotic lower bound for the radius of spatial analtyicity to solutions of KdV equation, arXiv preprint arXiv:1707.07810, 2017]. Our strategy mainly relies on a higher order almost conservation law in Gevrey spaces, which is inspired by the $I-$method.


title: Sommes de G\'al et applications

abstract: We evaluate the asymptotic size of various sums of G\'al type, in particular $$S( \mathcal{M}):=\sum_{m,n\in\mathcal{M}} \sqrt{(m,n) \over [m,n]},$$ where $\mathcal{M}$ is a finite set of integers. Elaborating on methods recently developed by Bondarenko and Seip, we obtain an asymptotic formula for $$\log\Big( \sup_{|\mathcal{M}|= N}{S( \mathcal{M})/N}\Big)$$ and derive new lower bounds for localized extreme values of the Riemann zeta-function, for extremal values of some Dirichlet $L$-functions at $s=1/2$, and for large character sums.


title: Phase diagram and metastability of the Ising model on two coupled networks

abstract: We explore the cooperative behaviour and phase transitions of interacting networks by studying a simplified model consisting of Ising spins placed on the nodes of two coupled Erd\"os-R\'enyi random graphs. We derive analytical expressions for the free-energy of the system and the magnetization of each graph, from which the phase diagrams, the stability of the different states, and the nature of the transitions among them, are clearly characterized. We show that a metastable state appears discontinuously by varying the model parameters, yielding a region in the phase diagram where two solutions coexist. By performing Monte-Carlo simulations, we confirm the exactness of our main theoretical results and show that the typical time the system needs to escape from a metastable state grows exponentially fast as a function of the temperature, characterizing ergodicity breaking in the thermodynamic limit.


title: Simultaneous Mean-Variance Regression

abstract: We propose simultaneous mean-variance regression for the linear estimation and approximation of conditional mean functions. In the presence of heteroskedasticity of unknown form, our method accounts for varying dispersion in the regression outcome across the support of conditioning variables by using weights that are jointly determined with the mean regression parameters. Simultaneity generates outcome predictions that are guaranteed to improve over ordinary least-squares prediction error, with corresponding parameter standard errors that are automatically valid. Under shape misspecification of the conditional mean and variance functions, we establish existence and uniqueness of the resulting approximations and characterize their formal interpretation and robustness properties. In particular, we show that the corresponding mean-variance regression location-scale model weakly dominates the ordinary least-squares location model under a Kullback-Leibler measure of divergence, with strict improvement in the presence of heteroskedasticity. The simultaneous mean-variance regression loss function is globally convex and the corresponding estimator is easy to implement. We establish its consistency and asymptotic normality under misspecification, provide robust inference methods, and present numerical simulations that show large improvements over ordinary and weighted least-squares in terms of estimation and inference in finite samples. We further illustrate our method with two empirical applications to the estimation of the relationship between economic prosperity in 1500 and today, and demand for gasoline in the United States.


title: Metacirculants and split weak metacirculants

abstract: Metacirculants are a rich resource of many families of interesting graphs, and weak metacirculants are generalizations of them. A graph is called a {\em split weak metacirculant} if it has a vertex-transitive split metacyclic automorphism group. In two recent papers, it is shown that a graph of prime power order is a metacirculant if and only if it is a split weak metacirculant. Let $m$ is a positive integer. In this paper, we first give a sufficient condition for the existence of split weak metacirculants of order $m$ which are not metacirculants. This is then used to give a sufficient and necessary condition for the existence of split weak metacirculants of order $n$ which are not metacirculants, where $n$ is a product of two prime-powers. As byproducts, we construct infinitely many split weak metacirculant graphs which are not metacirculant graphs, and answer an open question reported in the literature.


title: A high-performance virtual machine filesystem monitor in cloud-assisted cognitive IoT

abstract: Cloud-assisted Cognitive Internet of Things has powerful data analytics abilities based on the computing and data storage capabilities of cloud virtual machines, which makes protecting virtual machine filesystem very important for the whole system security. Agentless periodic filesystem monitors are optimal solutions to protect cloud virtual machines because of the secure and low-overhead features. However, most of the periodic monitors usually scan all of the virtual machine filesystem or protected files in every scanning poll, so lots of secure files are scanned again and again even though they are not corrupted. In this paper, we propose a novel agentless periodic filesystem monitor framework for virtual machines with different image formats to improve the performance of agentless periodic monitors. Our core idea is to minimize the scope of the scanning files in both file integrity checking and virus detection. In our monitor, if a file is considered secure, it will not be scanned when it has not been modified. Since our monitor only scans the newly created and modified files, it can check fewer files than other filesystem monitors. To that end, we propose two monitor methods for different types of virtual machine disks to reduce the number of scanning files. For virtual machine with single disk image, we hook the backend driver to capture the disk modification information. For virtual machine with multiple copy-onwrite images, we leverage the copy-on-write feature of QCOW2 images to achieve the disk modification analysis. In addition, our system can restore and remove the corrupted files. The experimental results show that our system is effective for both Windows and Linux virtual machines with different image formats and can reduce the number of scanning files and scanning time.


title: Timing Channel in IaaS: How to Identify and Investigate

abstract: Recently, the IaaS (Infrastructure as a Service) Cloud (e.g., Amazon EC2) has been widely used by many organizations. However, some IaaS security issues create serious threats to its users. A typical issue is the timing channel. This kind of channel can be a cross-VM information channel, as proven by many researchers. Because it is covert and traceless, the traditional identification methods cannot build an accurate analysis model and obtain a compromised result. We investigated the underlying behavior of the timing channel from the perspective of the memory activity records and summarized the signature of the timing channel in the underlying memory activities. An identification method based on long-term behavior signatures was proposed. We proposed a complete set of forensics steps including evidence extraction, identification, record reserve, and evidence reports. We studied four typical timing channels, and the experiments showed that these channels can be detected and investigated, even with disturbances from normal processes.


title: Unifying Bilateral Filtering and Adversarial Training for Robust Neural Networks

abstract: Recent analysis of deep neural networks has revealed their vulnerability to carefully structured adversarial examples. Many effective algorithms exist to craft these adversarial examples, but performant defenses seem to be far away. In this work, we explore the use of edge-aware bilateral filtering as a projection back to the space of natural images. We show that bilateral filtering is an effective defense in multiple attack settings, where the strength of the adversary gradually increases. In the case of an adversary who has no knowledge of the defense, bilateral filtering can remove more than 90% of adversarial examples from a variety of different attacks. To evaluate against an adversary with complete knowledge of our defense, we adapt the bilateral filter as a trainable layer in a neural network and show that adding this layer makes ImageNet images significantly more robust to attacks. When trained under a framework of adversarial training, we show that the resulting model is hard to fool with even the best attack methods.


title: Preserving Location Privacy in Mobile Edge Computing

abstract: The burgeoning technology of Mobile Edge Computing is attracting the traditional LBS and LS to deploy due to its nature characters such as low latency and location awareness. Although this transplant will avoid the location privacy threat from the central cloud provider, there still exists the privacy concerns in the LS of MEC scenario. Location privacy threat arises during the procedure of the fingerprint localization, and the previous studies on location privacy are ineffective because of the different threat model and information semantic. To address the location privacy in MEC environment, we designed LoPEC, a novel and effective scheme for protecting location privacy for the MEC devices. By the proper model of the RAN access points, we proposed the noise-addition method for the fingerprint data, and successfully induce the attacker from recognizing the real location. Our evaluation proves that LoPEC effectively prevents the attacker from obtaining the user's location precisely in both single-point and trajectory scenarios.


title: A Proof of the Compositions of Time Interval Relations

abstract: We prove the 169 compositions of time interval relations. The proof is first-order and inferred from an axiomatic system on time intervals. We show a general proof template that can alleviate the manual proof with Isar.


title: Casting a Wide Signal Net with Future Direct Dark Matter Detection Experiments

abstract: As dark matter (DM) direct detection experiments continue to improve their sensitivity they will inevitably encounter an irreducible background arising from coherent neutrino scattering. This so-called "neutrino floor" may significantly reduce the sensitivity of an experiment to DM-nuclei interactions, particularly if the recoil spectrum of the neutrino background is approximately degenerate with the DM signal. This occurs for the conventionally considered spin-independent (SI) or spin-dependent (SD) interactions. In such case, an increase in the experiment's exposure by multiple orders of magnitude may not yield any significant increase in sensitivity. The typically considered SI and SD interactions, however, do not adequately reflect the whole landscape of the well-motivated DM models, which includes other interactions. Since particle DM has not been detected yet in laboratories, it is essential to understand and maximize the detection capabilities for a broad variety of possible models and signatures. In this work we explore the impact of the background arising from various neutrino sources on the discovery potential of a DM signal for a large class of viable DM-nucleus interactions and several potential futuristic experimental settings, with different target elements. For some momentum suppressed cross sections, large DM particle masses and heavier targets, we find that there is no suppression of the discovery limits due to neutrino backgrounds. Further, we explicitly demonstrate that inelastic scattering, which could appear in models with multicomponent dark sectors, would help to lift the signal degeneracy associated with the neutrino floor. This study could assist with mapping out the optimal DM detection strategy for the next generation of experiments.


title: Blending physical knowledge with mathematical form in physics problem solving

abstract: Equations are about more than computing physical quantities or constructing formal models; they are also about understanding. The conceptual systems physicists use to think about nature are made from many different resources, formal and not, working together and inextricably linked. By blending mathematical forms and physical intuition, physicists breathe meaning into the equations they use. In contrast, in physics class, novice students often treat mathematics as only a calculational tool, isolating it from their rich knowledge of the physical world. We are interested in cases where students break that pattern by reading, manipulating, and building equations meaningfully rather than purely formally. To find examples of this and explore the diversity of ways students combine formal and intuitive resources, we conducted problem-solving interviews with students in an introductory physics for life sciences class. During the interviews, we scaffolded student use of strategies which call for both formal and intuitive reasoning, such as "examine the extreme cases". We use the analytic framework of epistemic games to model how students used the strategies and how they accessed problem-solving resources, and we present evidence that novice students using these strategies accessed more expert-like conceptual systems than those typically described in problem-solving literature. They blended physical intuition with mathematical symbolic templates, reconceptualized the nature of equations, and distinguished similar functional forms. Once introduced to a strategy, students applied it to new scenarios and found new types of uses for it, acknowledging it as a useful, general purpose problem-solving technique. Our data suggests that these strategies can potentially help novice students learn to develop and apply their physical intuition more effectively.


title: Hypertree Decompositions Revisited for PGMs

abstract: We revisit the classical problem of exact inference on probabilistic graphical models (PGMs). Our algorithm is based on recent worst-case optimal database join algorithms, which can be asymptotically faster than traditional data processing methods. We present the first empirical evaluation of these new algorithms via JoinInfer, a new exact inference engine. We empirically explore the properties of the data for which our engine can be expected to outperform traditional inference engines refining current theoretical notions. Further, JoinInfer outperforms existing state-of-the-art inference engines (ACE, IJGP and libDAI) on some standard benchmark datasets by up to a factor of 630x. Finally, we propose a promising data-driven heuristic that extends JoinInfer to automatically tailor its parameters and/or switch to the traditional inference algorithms.


title: Discovering Communities of Malapps on Android-based Mobile Cyber-physical Systems

abstract: Android-based devices like smartphones have become ideal mobile cyber-physical systems (MCPS) due to their powerful processors and variety of sensors. In recent years, an explosively and continuously growing number of malicious applications (malapps) have posed a great threat to Android-based MCPS as well as users' privacy. The effective detection of malapps is an emerging yet crucial task. How to establish relationships among malapps, discover their potential communities, and explore their evolution process has become a challenging issue in effective detection of malapps. To deal with this issue, in this work, we are motivated to propose an automated community detection method for Android malapps by building a relation graph based on their static features. First, we construct a large feature set to profile the behaviors of malapps. Second, we propose an E-N algorithm by combining epsilon graph and k-nearest neighbor (k-NN) graph for graph construction. It solves the problem of an incomplete graph led by epsilon method and the problem of noise generated by k-NN graph. Finally, a community detection method, Infomap, is employed to explore the underlying structures of the relation graph, and obtain the communities of malapps. We evaluate our community detection method with 3996 malapp samples. Extensive experimental results show that our method outperforms the traditional clustering methods and achieves the best performance with rand statistic of 94.93% and accuracy of 79.53%.


title: Optimal streaming and tracking distinct elements with high probability

abstract: The distinct elements problem is one of the fundamental problems in streaming algorithms --- given a stream of integers in the range $\{1,\ldots,n\}$, we wish to provide a $(1+\varepsilon)$ approximation to the number of distinct elements in the input. After a long line of research an optimal solution for this problem with constant probability of success, using $\mathcal{O}(\frac{1}{\varepsilon^2}+\log n)$ bits of space, was given by Kane, Nelson and Woodruff in 2010. The standard approach used in order to achieve low failure probability $\delta$ is to take the median of $\log \delta^{-1}$ parallel repetitions of the original algorithm. We show that such a multiplicative space blow-up is unnecessary: we provide an optimal algorithm using $\mathcal{O}(\frac{\log \delta^{-1}}{\varepsilon^2} + \log n)$ bits of space --- matching known lower bounds for this problem. That is, the $\log\delta^{-1}$ factor does not multiply the $\log n$ term. This settles completely the space complexity of the distinct elements problem with respect to all standard parameters. We consider also the \emph{strong tracking} (or \emph{continuous monitoring}) variant of the distinct elements problem, where we want an algorithm which provides an approximation of the number of distinct elements seen so far, at all times of the stream. We show that this variant can be solved using $\mathcal{O}(\frac{\log \log n + \log \delta^{-1}}{\varepsilon^2} + \log n)$ bits of space, which we show to be optimal.


title: Propagation of three-dimensional bipolar ultrashort electromagnetic pulses in an inhomogeneous array of carbon nanotubes

abstract: We study the propagation of three-dimensional (3D) bipolar ultrashort electromagnetic pulses in an inhomogeneous array of semiconductor carbon nanotubes. The heterogeneity is represented by a planar region with an increased concentration of conduction electrons. The evolution of the electromagnetic field and electron concentration in the sample are governed by the Maxwell's equations and continuity equation. In particular, non-uniformity of the electromagnetic field along the axis of the nanotubes is taken into account. We demonstrate that, depending on values of parameters of the electromagnetic pulse approaching the region with the higher electron concentration, the pulse is reflected from the region or passes it. Specifically, our simulations demonstrate that, after interacting with the higher-concentration area, the pulse can propagate steadily, without significant spreading. The possibility of such ultrashort electromagnetic pulses propagating in arrays of carbon nanotubes over distances significantly exceeding characteristic dimensions of the pulses makes it possible to consider them as 3D solitons.


title: Synchronization of Power Systems and Kuramoto Oscillators: A Regional Stability Framework

abstract: The transient stability of power systems and synchronization of non-uniform Kuramoto oscillators are closely related problems. In this paper, we develop a novel regional stability analysis framework based on the proposed region-parametrized Lyapunov function to solve the problems. Also, a new synchronization definition is introduced and characterized by frequency boundedness and angle cohesiveness, the latter of which requires angles of any two connected nodes rather than any two arbitrary nodes to stay cohesive. It allows to take power fluctuations into explicit account as disturbances and can lead to less conservative stability condition. Applying the analysis framework, we derive two algebraic stability conditions for power systems that relate the underlying network topology and system parameters to the stability. Finally, to authors' best knowledge, we first explicitly give the estimation of region of attraction for power systems. The analysis is verified via numerical simulation showing that two stability conditions can complement each other for predicting the stability.


title: Pretty good quantum state transfer in asymmetric graphs via potential

abstract: We construct infinite families of graphs in which pretty good state transfer can be induced by adding a potential to the nodes of the graph (i.e. adding a number to a diagonal entry of the adjacency matrix). Indeed, we show that given any graph with a pair of cospectral nodes, a simple modification of the graph, along with a suitable potential, yields pretty good state transfer (i.e. asymptotically perfect state transfer) between the nodes. This generalizes previous work, concerning graphs with an involution, to asymmetric graphs.


title: A Pyramid CNN for Dense-Leaves Segmentation

abstract: Automatic detection and segmentation of overlapping leaves in dense foliage can be a difficult task, particularly for leaves with strong textures and high occlusions. We present Dense-Leaves, an image dataset with ground truth segmentation labels that can be used to train and quantify algorithms for leaf segmentation in the wild. We also propose a pyramid convolutional neural network with multi-scale predictions that detects and discriminates leaf boundaries from interior textures. Using these detected boundaries, closed-contour boundaries around individual leaves are estimated with a watershed-based algorithm. The result is an instance segmenter for dense leaves. Promising segmentation results for leaves in dense foliage are obtained.


title: Mathematical Properties of Polynomial Dimensional Decomposition

abstract: Many high-dimensional uncertainty quantification problems are solved by polynomial dimensional decomposition (PDD), which represents Fourier-like series expansion in terms of random orthonormal polynomials with increasing dimensions. This study constructs dimension-wise and orthogonal splitting of polynomial spaces, proves completeness of polynomial orthogonal basis for prescribed assumptions, and demonstrates mean-square convergence to the correct limit -- all associated with PDD. A second-moment error analysis reveals that PDD cannot commit larger error than polynomial chaos expansion (PCE) for the appropriately chosen truncation parameters. From the comparison of computational efforts, required to estimate with the same precision the variance of an output function involving exponentially attenuating expansion coefficients, the PDD approximation can be markedly more efficient than the PCE approximation.


title: Anomalous Transport in Holographic Boundary Conformal Field Theories

abstract: Recently, it is found that when an external magnetic field parallel to the boundary is applied, Weyl anomaly gives rises to a new anomalous current transport in the vicinity of the boundary. At the leading order of closeness from the boundary, the current is determined universally by the central charge of the theory. In this paper, we give a holographic proof for the existence and universality for this transport phenomena. We show that the current is independent of boundary conditions in four dimensions while it depends on boundary conditions in other dimensions. We also study the backreaction of the bulk Maxwell fields on the AdS spacetime and obtain the holographic Weyl anomaly for 5d BCFTs in presence of the background field strength.


title: Coalescence driven self-organization of growing nanodroplets around a microcap

abstract: The coalescence between growing droplets is important for the surface coverage and spatial arrangements of droplets on surfaces. In this work, total internal reflection fluorescence (TIRF) microscopy is utilized to in-situ investigate the formation of nanodroplets around the rim of a polymer microcap, with sub-micron spatial and millisecond temporal resolution. We observe that the coalescence among droplets occurs frequently during their growth by solvent exchange. Our experimental results show that the position of the droplet from two merged droplets is related to the size of the parent droplets. The position of the coalesced droplet and the ratio of parent droplet sizes obey a scaling law, reflecting a coalescence preference based on the size inequality. As a result of droplet coalescence, the angles between the centroids of two neighbouring droplets increase with time, obeying a nearly symmetrical arrangement of droplets at various time intervals. The evolution of the position and number from coalescence of growing droplets is modelled. The mechanism for coalescence driven self-organization of growing droplets is general, applicable to microcaps of different sizes and droplets of different liquids. The understanding from this work may be valuable for positioning nanodroplets by nucleation and growth without using templates.


title: Jointly Detecting and Separating Singing Voice: A Multi-Task Approach

abstract: A main challenge in applying deep learning to music processing is the availability of training data. One potential solution is Multi-task Learning, in which the model also learns to solve related auxiliary tasks on additional datasets to exploit their correlation. While intuitive in principle, it can be challenging to identify related tasks and construct the model to optimally share information between tasks. In this paper, we explore vocal activity detection as an additional task to stabilise and improve the performance of vocal separation. Further, we identify problematic biases specific to each dataset that could limit the generalisation capability of separation and detection models, to which our proposed approach is robust. Experiments show improved performance in separation as well as vocal detection compared to single-task baselines. However, we find that the commonly used Signal-to-Distortion Ratio (SDR) metrics did not capture the improvement on non-vocal sections, indicating the need for improved evaluation methodologies.


title: Multi-dimensional $q$-summations and multi-colored partitions

abstract: Motivated by Alladi's recent multi-dimensional generalization of Sylvester's classical identity, we provide a simple combinatorial proof of an overpartition analogue, which contains extra parameters tracking the numbers of overlined parts of different colors. This new identity encompasses a handful of classical results as special cases, such as Cauchy's identity, and the product expressions of three classical theta functions studied by Gauss, Jacobi and Ramanujan.


title: The VMC Survey. XXIX. Turbulence-Controlled Hierarchical Star Formation in the Small Magellanic Cloud

abstract: In this paper we report a clustering analysis of upper main-sequence stars in the Small Magellanic Cloud, using data from the VMC survey (the VISTA near-infrared YJKs survey of the Magellanic system). Young stellar structures are identified as surface overdensities on a range of significance levels. They are found to be organized in a hierarchical pattern, such that larger structures at lower significance levels contain smaller ones at higher significance levels. They have very irregular morphologies, with a perimeter-area dimension of 1.44 +/- 0.02 for their projected boundaries. They have a power-law mass-size relation, power-law size/mass distributions, and a lognormal surface density distribution. We derive a projected fractal dimension of 1.48 +/- 0.03 from the mass-size relation, or of 1.4 +/- 0.1 from the size distribution, reflecting significant lumpiness of the young stellar structures. These properties are remarkably similar to those of a turbulent interstellar medium (ISM), supporting a scenario of hierarchical star formation regulated by supersonic turbulence.


title: Review of Deep Learning

abstract: In recent years, China, the United States and other countries, Google and other high-tech companies have increased investment in artificial intelligence. Deep learning is one of the current artificial intelligence research's key areas. This paper analyzes and summarizes the latest progress and future research directions of deep learning. Firstly, three basic models of deep learning are outlined, including multilayer perceptrons, convolutional neural networks, and recurrent neural networks. On this basis, we further analyze the emerging new models of convolution neural networks and recurrent neural networks. This paper then summarizes deep learning's applications in many areas of artificial intelligence, including speech processing, computer vision, natural language processing and so on. Finally, this paper discusses the existing problems of deep learning and gives the corresponding possible solutions.


title: Pixel2Mesh: Generating 3D Mesh Models from Single RGB Images

abstract: We propose an end-to-end deep learning architecture that produces a 3D shape in triangular mesh from a single color image. Limited by the nature of deep neural network, previous methods usually represent a 3D shape in volume or point cloud, and it is non-trivial to convert them to the more ready-to-use mesh model. Unlike the existing methods, our network represents 3D mesh in a graph-based convolutional neural network and produces correct geometry by progressively deforming an ellipsoid, leveraging perceptual features extracted from the input image. We adopt a coarse-to-fine strategy to make the whole deformation procedure stable, and define various of mesh related losses to capture properties of different levels to guarantee visually appealing and physically accurate 3D geometry. Extensive experiments show that our method not only qualitatively produces mesh model with better details, but also achieves higher 3D shape estimation accuracy compared to the state-of-the-art.


title: Dissipation in quantum turbulence in superfluid $^4$He above 1K

abstract: There are two commonly discussed forms of quantum turbulence in superfluid $^4$He above 1K: in one there is a random tangle of quantizes vortex lines, existing in the presence of a non-turbulent normal fluid; in the second there is a coupled turbulent motion of the two fluids, often exhibiting quasi-classical characteristics on scales larger than the separation between the quantized vortex lines in the superfluid component. The decay of vortex line density, $L$, in the former case is often described by the equation $dL/dt=-\chi_2 (\kappa/2\pi)L^2$, where $\kappa$ is the quantum of circulation, and $\chi_2$ is a dimensionless parameter of order unity. The decay of total turbulent energy, $E$, in the second case is often characterized by an effective kinematic viscosity, $\nu'$, such that $dE/dt=-\nu' \kappa^2 L^2$. We present new values of $\chi_2$ derived from numerical simulations and from experiment, which we compare with those derived from a theory developed by Vinen and Niemela. We summarise what is presently known about the values of $\nu'$ from experiment, and we present a brief introductory discussion of the relationship between $\chi_2$ and $\nu'$, leaving a more detailed discussion to a later paper.


title: The Boundary Conjecture for Leaf Spaces

abstract: We prove that the boundary of an orbit space or more generally a leaf space of a singular Riemannian foliation is an Alexandrov space in its intrinsic metric, and that its lower curvature bound is that of the leaf space. A rigidity theorem for positively curved leaf spaces with maximal boundary volume is also established and plays a key role in the proof of the boundary problem.


title: Fusion Rules for $\mathbb{Z}/2\mathbb{Z}$ Permutation Gauging

abstract: In this note, we examine the gauging of the $\mathbb{Z}/2\mathbb{Z}$ permutation action on the tensor square of a modular tensor category. When $\mathcal{C}$ has no nontrivial invertible objects, we provide formulas for the fusion rules of both the extensions, expressed in terms of the fusion rules of $\mathcal{C}$, and the subsequent equivariantizations, which additionally requires the modular data of $\mathcal{C}$. We discuss several examples related to quantum groups at roots of unity.


title: Positive Hausdorff dimensional spectrum for the critical almost Mathieu operator

abstract: We show that there exists a dense set of frequencies with positive Hausdorff dimension for which the Hausdorff dimension of the spectrum of the critical almost Mathieu operator is positive.


title: Multiscale Galerkin approximation scheme for a system of quasilinear parabolic equations

abstract: We discuss a multiscale Galerkin approximation scheme for a system of coupled quasilinear parabolic equations. These equations arise from the upscaling of a pore scale filtration combustion model under the assumptions of large Damkh\"oler number and small P\'eclet number. The upscaled model consists of a heat diffusion equation and a mass diffusion equation in the bulk of a macroscopic domain. The associated diffusion tensors are bivariate functions of temperature and concentration and provide the necessary coupling conditions to elliptic-type cell problems. These cell problems are characterized by a reaction-diffusion phenomenon with nonlinear reactions of Arrhenius type at a gas-solid interface. We discuss the wellposedness of the quasilinear system and establish uniform estimates for the finite dimensional approximations. Based on these estimates, the convergence of the approximating sequence is proved. The results of numerical simulations demonstrate, in suitable temperature regimes, the potential of solutions of the upscaled model to mimic those from porous media combustion. Moreover, distinctions are made between the effects of the microscopic reaction-diffusion processes on the macroscopic system of equations and a purely diffusion system.


title: The structure of evolved representations across different substrates for artificial intelligence

abstract: Artificial neural networks (ANNs), while exceptionally useful for classification, are vulnerable to misdirection. Small amounts of noise can significantly affect their ability to correctly complete a task. Instead of generalizing concepts, ANNs seem to focus on surface statistical regularities in a given task. Here we compare how recurrent artificial neural networks, long short-term memory units, and Markov Brains sense and remember their environments. We show that information in Markov Brains is localized and sparsely distributed, while the other neural network substrates "smear" information about the environment across all nodes, which makes them vulnerable to noise.


title: Learning Strict Identity Mappings in Deep Residual Networks

abstract: A family of super deep networks, referred to as residual networks or ResNet, achieved record-beating performance in various visual tasks such as image recognition, object detection, and semantic segmentation. The ability to train very deep networks naturally pushed the researchers to use enormous resources to achieve the best performance. Consequently, in many applications super deep residual networks were employed for just a marginal improvement in performance. In this paper, we propose epsilon-ResNet that allows us to automatically discard redundant layers, which produces responses that are smaller than a threshold epsilon, with a marginal or no loss in performance. The epsilon-ResNet architecture can be achieved using a few additional rectified linear units in the original ResNet. Our method does not use any additional variables nor numerous trials like other hyper-parameter optimization techniques. The layer selection is achieved using a single training process and the evaluation is performed on CIFAR-10, CIFAR-100, SVHN, and ImageNet datasets. In some instances, we achieve about 80% reduction in the number of parameters.


title: Electronic properties of thin films of tensile strained HgTe

abstract: Tensile strained bulk HgTe is a three-dimensional topological insulator. Because of the energetic position of its surface state Dirac points relative to its small bulk gap, the electronic properties of the relatively thin MBE-grown films used to study this material experimentally are quite sensitive to details of its electrostatic band-bending physics. We have used an 8-band $\mathbf{k} \cdot \mathbf{p}$ model to evaluate the gate voltage dependence of its thin-film two-dimensional subbands and related thermodynamic and transport properties in films with thicknesses between 30 and 70nm, accounting self-consistently for gate field screening by the topologically protected surface states and bulk state response. We comment on the effective dielectric constant that is appropriate in calculations of this type, arguing for a smaller value $\varepsilon_r$ $\approx$ 6.5 than is commonly used. Comparing with recent experiments, we find that our fully microscopic model of gate field screening alters the interpretation of some observations that have been used to characterize strained HgTe thin films.


title: High-order sideband effect with two-level atoms in a shaken optical lattice

abstract: The system of cold two-level atoms inside an optical lattice potential has been used to simulate various models encountered in fundamental and condensed-matter physics. When the optical lattice is periodically shaken, some interesting dynamical effects were observed. In this work, by utilizing the ultra-narrow linewidth of the dipole-forbidden transition in $^{87}$Sr atoms loaded in a shaken optical lattice, we reach a new operation regime where the shaking rate is much larger than linewidth of the two-level transition but much smaller than the frequency interval of the harmonic lattice potential, which was not realizable before. Under such unique conditions, an interesting quantum dynamical effect, the high-order sideband effect (HSE), has been experimentally observed. All the results can be well explained by a developed theoretical model with analytical solution. This HSE is governed by different mechanism as the similar phenomenon observed in semiconductors and has unique characteristics.


title: Rankin-Selberg gamma factors of level zero representations of $GL_n$

abstract: For a $p$-adic local field $F$ of characteristic 0, with residue field $\mathfrak{f}$, we prove that the Rankin-Selberg gamma factor of a pair of level zero representations of linear general groups over $F$ is equal to a gamma factor of a pair of corresponding cuspidal representations of linear general groups over $\mathfrak{f}$. Our results can be used to prove a variant of Jacquet's conjecture.


title: Learning to Separate Object Sounds by Watching Unlabeled Video

abstract: Perceiving a scene most fully requires all the senses. Yet modeling how objects look and sound is challenging: most natural scenes and events contain multiple objects, and the audio track mixes all the sound sources together. We propose to learn audio-visual object models from unlabeled video, then exploit the visual context to perform audio source separation in novel videos. Our approach relies on a deep multi-instance multi-label learning framework to disentangle the audio frequency bases that map to individual visual objects, even without observing/hearing those objects in isolation. We show how the recovered disentangled bases can be used to guide audio source separation to obtain better-separated, object-level sounds. Our work is the first to learn audio source separation from large-scale "in the wild" videos containing multiple audio sources per video. We obtain state-of-the-art results on visually-aided audio source separation and audio denoising. Our video results: http://vision.cs.utexas.edu/projects/separating_object_sounds/


title: SU(3) symmetry breaking in charmed baryon decays

abstract: We explore the breaking effects of the $SU(3)$ flavor symmetry in the singly Cabibbo-suppressed anti-triplet charmed baryon decays of ${\bf B}_c\to {\bf B}_n M$, with ${\bf B}_c=(\Xi_c^0,\Xi_c^+,\Lambda_c^+)$ and ${\bf B}_n(M)$ the baryon (pseudo-scalar) octets. We find that these breaking effects can be used to account for the experimental data on the decay branching ratios of ${\cal B}(\Lambda_c^+\to \Sigma^{0} K^{+},\Lambda^{0} K^{+})$ and $R'_{K/\pi}$=${\cal B}(\Xi^0_c \to \Xi^- K^+)$/${\cal B}(\Xi^0_c \to \Xi^- \pi^+)$. In addition, we obtain that ${\cal B}(\Xi_{c}^{0} \to \Xi^{-} K^{+},\Sigma^{-} \pi^{+})=(4.6 \pm 1.7,12.8 \pm 3.1)\times 10^{-4}$, ${\cal B}(\Xi_c^0\to pK^-,\Sigma^+\pi^-)=(3.0 \pm 1.0, 5.2 \pm 1.6)\times 10^{-4}$ and ${\cal B}(\Xi_c^+\to \Sigma^{0(+)} \pi^{+(0)})=(10.3 \pm 1.7)\times 10^{-4}$, which all receive significant contributions from the breaking effects, and can be tested by the BESIII and LHCb experiments.


title: Dynamics of macrospin under periodic field and spin transfer torque

abstract: The dynamics of a macrospin model for a single magnetic domain is investigated in two cases: (i) under the action of a periodic magnetic field and (ii) under the external field plus a spin transfer torque from spin-polarized current or spin current. It has been proved that (i) without spin transfer torque, the trajectory of magnetization (hysteresis) is always a closed curve oscillating between two stable points and following the same path each time; (ii) under the action of a constant field (or with small periodic perturbation) and a constant spin transfer torque, the spin would always turn to the stable solution finally, which is independent of the parameters or initial conditions; (iii) considering a periodic oscillating field plus a spin transfer torque, the system can also have a stable solution around a limit circle, but on some special points on the attractor, the system may be sensitive to the initial conditions and have no limit circle.


title: Chaotic Dynamics of the Chaplygin sleigh with a passive internal rotor

abstract: The Chaplygin sleigh is a classic example of a nonholonomically constrained mechanical system. The sleigh's motion always converges to a straight line whose slope is entirely determined by the initial configuration and velocity of the sleigh. We consider the motion of a modified Chaplygin sleigh that contains a passive internal rotor. We show that the presence of even a rotor with small inertia modifies motion of the sleigh dramatically. A generic trajectory of the sleigh in a reduced velocity space exhibits two distinct transient phases before converging to a chaotic attractor. We demonstrate this through numerics. In recent work the dynamics of the Chaplygin sleigh have also been shown to be similar to that of a fish like body in an inviscid fluid. The influence of a passive degree of freedom on the motion of the Chaplygin sleigh points to several possible applications in controlling the motion of the nonholonomically constrained terrestrial and aquatic robots.