title: On the Evaluation of Semantic Phenomena in Neural Machine Translation Using Natural Language Inference

abstract: We propose a process for investigating the extent to which sentence representations arising from neural machine translation (NMT) systems encode distinct semantic phenomena. We use these representations as features to train a natural language inference (NLI) classifier based on datasets recast from existing semantic annotations. In applying this process to a representative NMT system, we find its encoder appears most suited to supporting inferences at the syntax-semantics interface, as compared to anaphora resolution requiring world-knowledge. We conclude with a discussion on the merits and potential deficiencies of the existing process, and how it may be improved and extended as a broader framework for evaluating semantic coverage.


title: On the Structure and Scarcity of Alternating Knots

abstract: Given a class of objects, a pattern theorem is a powerful result describing their structure. We show that alternating knots exhibit a pattern theorem, and use this result to prove a long-standing conjecture that alternating knots grow rare. This is currently the best possible analogue of a pair of theorems on alternating links of Sundberg and Thistlethwaite in 1998 and Thistlethwaite in 1998, given the current obstructions to an exact enumeration of knot diagrams. We also discuss implications of this pattern theorem for subknots and slipknots in minimal alternating knot diagrams and types, partially answering a conjecture of Millett and Jablan.


title: Compressive Transition Path Sampling

abstract: Algorithms for rare event complex systems simulations are proposed. Compressed Sensing (CS) has {\it revolutionized} our understanding of limits in signal recovery and has forced us to re-define Shannon-Nyquist sampling theorem for sparse recovery. A formalism to reconstruct trajectories and transition paths via CS is illustrated as proposed algorithms. The implication of under-sampling is quite important. This formalism could increase the tractable time-scales {\it immensely} for simulation of statistical mechanical systems and rare event simulations. While, long time-scales are known to be a major hurdle and a challenge for realistic complex simulations for rare events. The outline of how to implement, test and possible challenges on the proposed approach are discussed in detail.


title: Room Temperature Continuous-wave Excited Biexciton Emission in CsPbBr3 Nanocrystals

abstract: Biexcitons are a manifestation of many-body excitonic interactions crucial for quantum information and quantum computation in the construction of coherent combinations of quantum states. However, due to their small binding energy and low transition efficiency, most biexcitons in conventional semiconductors exist either at cryogenic temperature or under femtosecond pulse laser excitation. Here we demonstrate room temperature, continuous wave driven biexciton states in CsPbBr3 perovskite nanocrystals through coupling with a plasmonic nanogap. The room temperature CsPbBr3 biexciton excitation fluence (~100 mW/cm2) is reduced by ~10^13 times in the Ag nanowire-film nanogaps. The giant enhancement of biexciton emission is driven by coherent biexciton-plasmon Fano interference. These results provide new pathways to develop high efficiency non-blinking single photon sources, entangled light sources and lasers based on biexciton states.


title: Magnon thermal Hall effect in kagome antiferromagnets with Dzyaloshinskii-Moriya interactions

abstract: We theoretically study magnetic and topological properties of antiferromagnetic kagome spin systems in the presence of both in- and out-of-plane Dzyaloshinskii-Moriya interactions. In materials such as the iron jarosites, the in-plane interactions stabilize a canted noncollinear "umbrella" magnetic configuration with finite scalar spin chirality. We derive expressions for the canting angle, and use the resulting order as a starting point for a spin-wave analysis. We find topological magnon bands, characterized by non-zero Chern numbers. We calculate the magnon thermal Hall conductivity, and propose the iron jarosites as a promising candidate system for observing the magnon thermal Hall effect in a noncollinear spin configuration. We also show that the thermal conductivity can be tuned by varying an applied magnetic field, or the in-plane Dzyaloshinskii-Moriya strength. In contrast with previous studies of topological magnon bands, the effect is found to be large even in the limit of small canting.


title: Mathematical Analysis on Out-of-Sample Extensions

abstract: Let $X=\mathbf{X}\cup\mathbf{Z}$ be a data set in $\mathbb{R}^D$, where $\mathbf{X}$ is the training set and $\mathbf{Z}$ is the test one. Many unsupervised learning algorithms based on kernel methods have been developed to provide dimensionality reduction (DR) embedding for a given training set $\Phi: \mathbf{X} \to \mathbb{R}^d$ ( $d\ll D$) that maps the high-dimensional data $\mathbf{X}$ to its low-dimensional feature representation $\mathbf{Y}=\Phi(\mathbf{X})$. However, these algorithms do not straightforwardly produce DR of the test set $\mathbf{Z}$. An out-of-sample extension method provides DR of $\mathbf{Z}$ using an extension of the existent embedding $\Phi$, instead of re-computing the DR embedding for the whole set $X$. Among various out-of-sample DR extension methods, those based on Nystr\"{o}m approximation are very attractive. Many papers have developed such out-of-extension algorithms and shown their validity by numerical experiments. However, the mathematical theory for the DR extension still need further consideration. Utilizing the reproducing kernel Hilbert space (RKHS) theory, this paper develops a preliminary mathematical analysis on the out-of-sample DR extension operators. It treats an out-of-sample DR extension operator as an extension of the identity on the RKHS defined on $\mathbf{X}$. Then the Nystr\"{o}m-type DR extension turns out to be an orthogonal projection. In the paper, we also present the conditions for the exact DR extension and give the estimate for the error of the extension.


title: High-efficiency perovskite-polymer bulk heterostructure light-emitting diodes

abstract: Perovskite-based optoelectronic devices have gained significant attention due to their remarkable performance and low processing cost, particularly for solar cells. However, for perovskite light-emitting diodes (LEDs), non-radiative charge carrier recombination has limited electroluminescence (EL) efficiency. Here we demonstrate perovskite-polymer bulk heterostructure LEDs exhibiting record-high external quantum efficiencies (EQEs) exceeding 20%, and an EL half-life of 46 hours under continuous operation. This performance is achieved with an emissive layer comprising quasi-2D and 3D perovskites and an insulating polymer. Transient optical spectroscopy reveals that photogenerated excitations at the quasi-2D perovskite component migrate to lower-energy sites within 1 ps. The dominant component of the photoluminescence (PL) is primarily bimolecular and is characteristic of the 3D regions. From PL quantum efficiency and transient kinetics of the emissive layer with/without charge-transport contacts, we find non-radiative recombination pathways to be effectively eliminated. Light outcoupling from planar LEDs, as used in OLED displays, generally limits EQE to 20-30%, and we model our reported EL efficiency of over 20% in the forward direction to indicate the internal quantum efficiency (IQE) to be close to 100%. Together with the low drive voltages needed to achieve useful photon fluxes (2-3 V for 0.1-1 mA/cm2), these results establish that perovskite-based LEDs have significant potential for light-emission applications.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.optics


title: Agency and the physics of numbers

abstract: Analogous to G\"odel's incompleteness theorems is a theorem in physics to the effect that the set of explanations of given evidence is uncountably infinite. An implication of this theorem is that contact between theory and experiment depends on activity beyond computation and measurement -- physical activity of some agent making a guess. Standing on the need for guesswork, we develop a representation of a symbol-handling agent that both computes and, on occasion, receives a guess from interaction with an oracle. We show: (1) how physics depends on such an agent to bridge a logical gap between theory and experiment; (2) how to represent the capacity of agents to communicate numerals and other symbols, and (3) how that communication is a foundation on which to develop both theory and implementation of spacetime and related competing schemes for the management of motion.


title: Interleaved group products

abstract: Let $G$ be the special linear group $\mathrm{SL}(2,q)$. We show that if $(a_1,\ldots,a_t)$ and $(b_1,\ldots,b_t)$ are sampled uniformly from large subsets $A$ and $B$ of $G^t$ then their interleaved product $a_1 b_1 a_2 b_2 \cdots a_t b_t$ is nearly uniform over $G$. This extends a result of the first author, which corresponds to the independent case where $A$ and $B$ are product sets. We obtain a number of other results. For example, we show that if $X$ is a probability distribution on $G^m$ such that any two coordinates are uniform in $G^2$, then a pointwise product of $s$ independent copies of $X$ is nearly uniform in $G^m$, where $s$ depends on $m$ only. Extensions to other groups are also discussed. We obtain closely related results in communication complexity, which is the setting where some of these questions were first asked by Miles and Viola. For example, suppose party $A_i$ of $k$ parties $A_1,\dots,A_k$ receives on its forehead a $t$-tuple $(a_{i1},\dots,a_{it})$ of elements from $G$. The parties are promised that the interleaved product $a_{11}\dots a_{k1}a_{12}\dots a_{k2}\dots a_{1t}\dots a_{kt}$ is equal either to the identity $e$ or to some other fixed element $g\in G$, and their goal is to determine which of the two the product is equal to. We show that for all fixed $k$ and all sufficiently large $t$ the communication is $\Omega(t \log |G|)$, which is tight. Even for $k=2$ the previous best lower bound was $\Omega(t)$. As an application, we establish the security of the leakage-resilient circuits studied by Miles and Viola in the "only computation leaks" model.


title: Multi-Layer Sparse Coding: The Holistic Way

abstract: The recently proposed multi-layer sparse model has raised insightful connections between sparse representations and convolutional neural networks (CNN). In its original conception, this model was restricted to a cascade of convolutional synthesis representations. In this paper, we start by addressing a more general model, revealing interesting ties to fully connected networks. We then show that this multi-layer construction admits a brand new interpretation in a unique symbiosis between synthesis and analysis models: while the deepest layer indeed provides a synthesis representation, the mid-layers decompositions provide an analysis counterpart. This new perspective exposes the suboptimality of previously proposed pursuit approaches, as they do not fully leverage all the information comprised in the model constraints. Armed with this understanding, we address fundamental theoretical issues, revisiting previous analysis and expanding it. Motivated by the limitations of previous algorithms, we then propose an integrated - holistic - alternative that estimates all representations in the model simultaneously, and analyze all these different schemes under stochastic noise assumptions. Inspired by the synthesis-analysis duality, we further present a Holistic Pursuit algorithm, which alternates between synthesis and analysis sparse coding steps, eventually solving for the entire model as a whole, with provable improved performance. Finally, we present numerical results that demonstrate the practical advantages of our approach.


title: High-resolution antenna near-field imaging and sub-THz measurements with a small atomic vapor-cell sensing element

abstract: Atomic sensing and measurement of millimeter-wave (mmW) and THz electric fields using quantum-optical EIT spectroscopy of Rydberg states in atomic vapors has garnered significant interest in recent years towards the development of atomic electric-field standards and sensor technologies. Here we describe recent work employing small atomic vapor cell sensing elements for near-field imaging of the radiation pattern of a K$_u$-band horn antenna at 13.49 GHz. We image fields at a spatial resolution of $\lambda/10$ and measure over a 72 to 240 V/m field range using off-resonance AC-Stark shifts of a Rydberg resonance. The same atomic sensing element is used to measure sub-THz electric fields at 255 GHz, an increase in mmW-frequency by more than one order of magnitude. The sub-THz field is measured over a continuous $\pm$100 MHz frequency band using a near-resonant mmW atomic transition.


title: Adaptive MPC with Chance Constraints for FIR Systems

abstract: This paper proposes an adaptive stochastic Model Predictive Control (MPC) strategy for stable linear time invariant systems in the presence of bounded disturbances. We consider multi-input multi-output systems that can be expressed by a finite impulse response model, whose parameters we estimate using a linear Recursive Least Squares algorithm. Building on the work of [1],[2], our approach is able to handle hard input constraints and probabilistic output constraints. By using tools from distributionally robust optimization, we formulate our MPC design task as a convex optimization problem that can be solved using existing tools. Furthermore, we show that our adaptive stochastic MPC algorithm is persistently feasible. The efficacy of the developed algorithm is demonstrated in a numerical example and the results are compared with the adaptive robust MPC algorithm of [2].


title: Fundamental Limits of Coded Linear Transform

abstract: In large scale distributed linear transform problems, coded computation plays an important role to effectively deal with "stragglers" (distributed computations that may get delayed due to few slow or faulty processors). We propose a coded computation strategy, referred to as diagonal code, that achieves the optimum recovery threshold and the optimum computation load. This is the first code that simultaneously achieves two-fold optimality in coded distributed linear transforms. Furthermore, by leveraging the idea from random proposal graph theory, we design two random codes that can guarantee optimum recovery threshold with high probability but with much less computation load. These codes provide order-wise improvement over the state-of-the-art. Moreover, the experimental results show significant improvement compared to both uncoded and existing coding schemes.


title: An induced annealing technique for SiPMs neutron radiation damage

abstract: The use of Silicon Photo-Multipliers(SiPMs)has become popular in the design of High Energy Physics experimental apparatus with a growing interest for their application in detector area where a significant amount of non-ionising dose is delivered. For these devices, the main effect caused by the neutron fluence is a linear increase of the leakage current. In this paper, we present a technique that provides a partial recovery of the neutron damage on SiPMs by means of an Electrical Induced Annealing. Tests were performed, at the temperature of 20C, on a sample of three SiPM arrays (2x3) of 6 mm^2 cells with 50 um pixel sizes: two from Hamamatsu and one from SensL. These SiPMs have been exposed to neutrons generated by the Elbe Positron Source facility (Dresden), up to a total fluence of 8x10^11 n1MeV-eq/cm^2. Our techniques allowed to reduced the leakage current of a factor ranging between 15-20 depending on the overbias used and the SiPM vendor. Because, during the process the SiPM current can reach O(100 mA), the sensors need to be operated in a condition that provides thermal dissipation. Indeed, caution must be used when applying this kind of procedures on the SiPMs, because it may damage permanently the device itself.


title: Physical ageing of spreading droplets in a viscous ambient phase

abstract: Nanoscale topographic features of solid surfaces can induce complex metastable behavior in colloidal and multiphase systems. Recent studies on single microparticle adsorption at liquid interfaces have reported a crossover from fast capillary driven dynamics to extremely slow kinetic regimes that can require up to several hours or days to attain thermodynamic equilibrium. The observed kinetic regime resembling physical ageing in glassy materials has been attributed to unobserved surface features with dimensions on the order of a few nanometers. In this work, we study the spontaneous spreading of water droplets immersed in oil and report an unexpectedly slow kinetic regime not described by previous spreading models. We can quantitatively describe the observed regime crossover and spreading rate in the late kinetic regime with an analytical model considering the presence of periodic metastable states induced by nanoscale topographic features (characteristic area ~4 nm^2, height ~1 nm) observed via atomic force microscopy. The analytical model proposed in this work reveals that certain combinations of droplet volume and nanoscale topographic parameters can significantly hinder or promote wetting processes such as spreading, wicking, and imbibition.


title: Non-equilibrium absorbing state phase transitions in discrete-time quantum dynamics

abstract: We introduce a discrete-time quantum dynamics on a two-dimensional lattice that describes the evolution of a $1+1$-dimensional spin system. The underlying quantum map is constructed such that the reduced state at each time step is separable. We show that for long times this state becomes stationary and displays a continuous phase transition in the density of excited spins. This phenomenon can be understood through a connection to the so-called Domany-Kinzel automaton, which implements a classical non-equilibrium process that features a transition to an absorbing state. Near the transition density-density correlations become long-ranged, but interestingly the same is the case for quantum correlations despite the separability of the stationary state. We quantify quantum correlations through the local quantum uncertainty and show that in some cases they may be determined experimentally solely by measuring expectation values of classical observables. This work is inspired by recent experimental progress in the realization of Rydberg lattice quantum simulators, which - in a rather natural way - permit the realization of conditional quantum gates underlying the discrete-time dynamics discussed here.


title: Strain Assessment in Graphene Through the Raman 2D' Mode

abstract: Accurate and simple local strain assessment in graphene is one of the crucial tasks in device characterization. Raman spectroscopy is often used for that purpose through monitoring of the G and 2D modes. However, the shifts of those two bands might be biased, especially under uniaxial strain, by the effects of charge-transfer doping. Therefore, it is extremely desirable to use another Raman band, less affected by doping, but with a defined and measurable behavior under strain. The Raman 2D' mode is in this sense the ideal feature for the evaluation of strain levels in stretched graphene monolayers, suitable for this task even under different experimental conditions. The sensitivity and accuracy of the approach through 2D' mode is on the same level as through the G mode, however, the clear advantage of the 2D' arises when doping effects are present in the sample.


title: One-dimensional many-body entangled open quantum systems with tensor network methods

abstract: We present a collection of methods to simulate entangled dynamics of open quantum systems governed by the Lindblad equation with tensor network methods. Tensor network methods using matrix product states have been proven very useful to simulate many-body quantum systems and have driven many innovations in research. Since the matrix product state design is tailored for closed one-dimensional systems governed by the Schr\"odinger equation, the next step for many-body quantum dynamics is the simulation of open quantum systems. We review the three dominant approaches to the simulation of open quantum systems via the Lindblad master equation: quantum trajectories, matrix product density operators, and locally purified tensor networks. Selected examples guide possible applications of the methods and serve moreover as a benchmark between the techniques. These examples include the finite temperature states of the transverse quantum Ising model, the dynamics of an exciton traveling under the influence of spontaneous emission and dephasing, and a double-well potential simulated with the Bose-Hubbard model including dephasing. We analyze which approach is favorable leading to the conclusion that a complete set of all three methods is most beneficial, push- ing the limits of different scenarios. The convergence studies using analytical results for macroscopic variables and exact diagonalization methods as comparison, show, for example, that matrix product density operators are favorable for the exciton problem in our study. All three methods access the same library, i.e., the software package Open Source Matrix Product States, allowing us to have a meaningful comparison between the approaches based on the selected examples. For example, tensor operations are accessed from the same subroutines and with the same optimization eliminating one possible bias in a comparison of such numerical methods.


title: On the locus of curves with an odd subcanonical marked point

abstract: We present an explicit construction of a compactification of the locus of smooth curves whose symmetric Weierstrass semigroup at a marked point is odd. The construction is an extension of Stoehr's techniques using Pinkham'sequivariant deformation of monomial curves by exploring syzygies. As an application we prove the rationality of the locus for genus at most six.


title: Geometric Partitioning and Ordering Strategies for Task Mapping on Parallel Computers

abstract: We present a new method for mapping applications' MPI tasks to cores of a parallel computer such that applications' communication time is reduced. We address the case of sparse node allocation, where the nodes assigned to a job are not necessarily located in a contiguous block nor within close proximity to each other in the network, although our methods generalize to contiguous allocations as well. The goal is to assign tasks to cores so that interdependent tasks are performed by "nearby" cores, thus lowering the distance messages must travel, the amount of congestion in the network, and the overall cost of communication. Our new method applies a geometric partitioning algorithm to both the tasks and the processors, and assigns task parts to the corresponding processor parts. We also present a number of algorithmic optimizations that exploit specific features of the network or application. We show that, for the structured finite difference mini-application MiniGhost, our mapping methods reduced communication time up to 75% relative to MiniGhost's default mapping on 128K cores of a Cray XK7 with sparse allocation. For the atmospheric modeling code E3SM/HOMME, our methods reduced communication time up to 31% on 32K cores of an IBM BlueGene/Q with contiguous allocation.


title: Rational Homology Manifolds and Hypersurface Normalizations

abstract: We prove a criterion for determining whether the normalization of a complex analytic space on which the constant sheaf is perverse is a rational homology manifold, using a perverse sheaf known as the multiple-point complex. This perverse sheaf is naturally associated to any "parameterized space", and has several interesting connections with the Milnor monodromy and mixed Hodge Modules.


title: Raman spectroscopy and In-situ Raman spectroelectrochemistry of isotopically engineered graphene systems

abstract: The unique properties of graphene offer immense opportunities for applications to many scientific fields, as well as societal needs, beyond our present imagination. One of the important features of graphene is the relatively simple tunability of its electronic structure, an asset which extends the usability of graphene even further beyond present experience. A direct injection of charge carriers into the conduction or valence bands, i.e., doping, represents a viable way of shifting the Fermi level. In particular, the electrochemical doping should be the method of choice, when higher doping levels are desired and when a firm control of experimental conditions is needed. In this Account, we focus on the electrochemistry of graphene in combination with in-situ Raman spectroscopy, i.e., the in-situ Raman spectroelectrochemistry. Such a combination of methods is indeed very powerful, since Raman spectroscopy can readily monitor not only the changes in the doping level, but it can give information also on eventual stress or disorder in the material. However, when employing Raman spectroscopy, one of its main strengths lies in the utilization of isotope engineering during the chemical vapor deposition (CVD) growth of the graphene samples. The in-situ Raman spectroelectrochemical study of multi-layered systems with smartly designed isotope compositions in individual layers can provide a plethora of knowledge about the mutual interactions: (i) between the graphene layers themselves, (ii) between graphene layers and their directly adjacent environment (e.g., substrate or electrolyte), and (iii) between graphene layers and their extended environment, which is separated from the layer by a certain number of additional graphene layers.


title: Unbounded derived categories and the finitistic dimension conjecture

abstract: We consider the question of whether the injective modules generate the unbounded derived category of a ring as a triangulated category with arbitrary coproducts. We give an example of a non-Noetherian commutative ring where they don't, but prove that they do for any Noetherian commutative ring. For non-commutative finite dimensional algebras the question is open, and we prove that if injectives generate for such an algebra, then the finitistic dimension conjecture holds for that algebra.


title: A review of dielectric optical metasurfaces for wavefront control

abstract: During the past few years, metasurfaces have been used to demonstrate optical elements and systems with capabilities that surpass those of conventional diffractive optics. Here we review some of these recent developments with a focus on dielectric structures for shaping optical wavefronts. We discuss the mechanisms for achieving steep phase gradients with high efficiency, simultaneous polarization and phase control, controlling the chromatic dispersion, and controlling the angular response. Then we review applications in imaging, conformal optics, tunable devices, and optical systems. We conclude with an outlook on future potentials and challenges that need to be overcome.


title: Progressive Neural Networks for Image Classification

abstract: The inference structures and computational complexity of existing deep neural networks, once trained, are fixed and remain the same for all test images. However, in practice, it is highly desirable to establish a progressive structure for deep neural networks which is able to adapt its inference process and complexity for images with different visual recognition complexity. In this work, we develop a multi-stage progressive structure with integrated confidence analysis and decision policy learning for deep neural networks. This new framework consists of a set of network units to be activated in a sequential manner with progressively increased complexity and visual recognition power. Our extensive experimental results on the CIFAR-10 and ImageNet datasets demonstrate that the proposed progressive deep neural network is able to obtain more than 10 fold complexity scalability while achieving the state-of-the-art performance using a single network model satisfying different complexity-accuracy requirements.


title: Multivariate subjective fiducial inference

abstract: The aim of this paper is to firmly establish subjective fiducial inference as a rival to the more conventional schools of statistical inference, and to show that Fisher's intuition concerning the importance of the fiducial argument was correct. In this regard, methodology outlined in an earlier paper is modified, enhanced and extended to deal with general inferential problems in which various parameters are unknown. As a key part of what is put forward, the joint fiducial distribution of all the parameters of a given model is determined on the basis of the full conditional fiducial distributions of these parameters by using an analytical approach or a Gibbs sampling method, the latter of which does not require these conditional distributions to be compatible. Although the resulting theory is classified as being "subjective", this is essentially due to the argument that all probability statements made about fixed but unknown parameters must be inherently subjective. In particular, it is systematically argued that, in general, there is no need to place a great emphasis on the difference between the fiducial probabilities derived by using this theory of inference and objective probabilities. Some important examples of the application of this theory are presented.


title: The Reduction of Magnetic Reconnection Outflow Jets to Sub-Alfv\'enic Speeds

abstract: The outflow velocity of jets produced by collisionless magnetic reconnection is shown to be reduced by the ion exhaust temperature in simulations and observations. We derive a scaling relationship for the outflow velocity based on the upstream Alfv\'en speed and the parallel ion exhaust temperature, which is verified in kinetic simulations and observations. The outflow speed reduction is shown to be due to the firehose instability criterion, and so for large enough guide fields this effect is suppressed and the outflow speed reaches the upstream Alfv\'en speed based on the reconnecting component of the magnetic field.


title: Parabolic frequency monotonicity on compact manifolds

abstract: This work is devoted to the study of parabolic frequency for solutions of the heat equation on Riemannian manifolds. We show that the parabolic frequency functional is almost increasing on compact manifolds with nonnegative sectional curvature, which generalizes a monotonicity result proved by C. Poon and by L. Ni. The proof is based on a generalization of R. Hamilton's matrix Harnack inequality for small time. As applications, we obtain a unique continuation result. Monotonicity of a new quantity under two-dimensional Ricci flow, closely related to the parabolic frequency functional, is derived as well.


title: Generalizations of Stillman's conjecture via twisted commutative algebras

abstract: Combining recent results on noetherianity of twisted commutative algebras by Draisma and the resolution of Stillman's conjecture by Ananyan-Hochster, we prove a broad generalization of Stillman's conjecture. Our theorem yields an array of boundedness results in commutative algebra that only depend on the degrees of the generators of an ideal, and not the number of variables in the ambient polynomial ring.


title: Off the Beaten Track: Using Deep Learning to Interpolate Between Music Genres

abstract: We describe a system based on deep learning that generates drum patterns in the electronic dance music domain. Experimental results reveal that generated patterns can be employed to produce musically sound and creative transitions between different genres, and that the process of generation is of interest to practitioners in the field.


title: The reverse mathematics of Hindman's theorem for sums of exactly two elements

abstract: Hindman's Theorem (HT) states that for every coloring of $\mathbb N$ with finitely many colors, there is an infinite set $H \subseteq \mathbb N$ such that all nonempty sums of distinct elements of $H$ have the same color. The investigation of restricted versions of HT from the computability-theoretic and reverse-mathematical perspectives has been a productive line of research recently. In particular, HT$^{\leqslant n}_k$ is the restriction of HT to sums of at most $n$ many elements, with at most $k$ colors allowed, and HT$^{=n}_k$ is the restriction of HT to sums of \emph{exactly} $n$ many elements and $k$ colors. Even HT$^{\leqslant 2}_2$ appears to be a strong principle, and may even imply HT itself over RCA$_0$. In contrast, HT$^{=2}_2$ is known to be strictly weaker than HT over RCA$_0$, since HT$^{=2}_2$ follows immediately from Ramsey's Theorem for $2$-colorings of pairs. In fact, it was open for several years whether HT$^{=2}_2$ is computably true. We show that HT$^{=2}_2$ and similar results with addition replaced by subtraction and other operations are not provable in RCA$_0$, or even WKL$_0$. In fact, we show that there is a computable instance of HT$^{=2}_2$ such that all solutions can compute a function that is diagonally noncomputable relative to $\emptyset'$. It follows that there is a computable instance of HT$^{=2}_2$ with no $\Sigma^0_2$ solution, which is the best possible result with respect to the arithmetical hierarchy. Furthermore, a careful analysis of the proof of the result above about solutions DNC relative to $\emptyset'$ shows that HT$^{=2}_2$ implies RRT$^{=2}_2$, the Rainbow Ramsey Theorem for $2$-colorings of pairs, over RCA$_0$. The most interesting aspect of our construction of computable colorings as above is the use of an effective version of the Lov\'asz Local Lemma due to Rumyantsev and Shen.


title: On modal logics of model-theoretic relations

abstract: Given a class $\mathcal C$ of models, a binary relation ${\mathcal R}$ between models, and a model-theoretic language $L$, we consider the modal logic and the modal algebra of the theory of $\mathcal C$ in $L$ where the modal operator is interpreted via $\mathcal R$. We discuss how modal theories of $\mathcal C$ and ${\mathcal R}$ depend on the model-theoretic language, their Kripke completeness, and expressibility of the modality inside $L$. We calculate such theories for the submodel and the quotient relations. We prove a downward L\"owenheim--Skolem theorem for first-order language expanded with the modal operator for the extension relation between models.


title: Space-time multiscale model reduction for transport equations

abstract: In this paper, we propose a space-time GMsFEM for transport equations. Multiscale transport equations occur in many geoscientific applications, which include subsurface transport, atmospheric pollution transport, and so on. Most of existing multiscale approaches use spatial multiscale basis functions or upscaling, and there are very few works that design space-time multiscale functions to solve the transport equation on a coarse grid. For the time dependent problems, the use of space-time multiscale basis functions offers several advantages as the spatial and temporal scales are intrinsically coupled. By using the GMsFEM idea with a space-time framework, one obtains a better dimension reduction taking into account features of the solutions in both space and time. In addition, the time-stepping can be performed using much coarser time step sizes compared to the case when spatial multiscale basis are used. Our scheme is based on space-time snapshot spaces and model reduction using space-time spectral problems derived from the analysis. We give the analysis for the well-posedness and the spectral convergence of our method. We also present some numerical examples to demonstrate the performance of the method. In all examples, we observe a good accuracy with a few basis functions.


title: Improved Classification Based on Deep Belief Networks

abstract: For better classification generative models are used to initialize the model and model features before training a classifier. Typically it is needed to solve separate unsupervised and supervised learning problems. Generative restricted Boltzmann machines and deep belief networks are widely used for unsupervised learning. We developed several supervised models based on DBN in order to improve this two-phase strategy. Modifying the loss function to account for expectation with respect to the underlying generative model, introducing weight bounds, and multi-level programming are applied in model development. The proposed models capture both unsupervised and supervised objectives effectively. The computational study verifies that our models perform better than the two-phase training approach.


title: HG-means: A scalable hybrid genetic algorithm for minimum sum-of-squares clustering

abstract: Minimum sum-of-squares clustering (MSSC) is a widely used clustering model, of which the popular K-means algorithm constitutes a local minimizer. It is well known that the solutions of K-means can be arbitrarily distant from the true MSSC global optimum, and dozens of alternative heuristics have been proposed for this problem. However, no other algorithm has been predominantly adopted in the literature. This may be related to differences of computational effort, or to the assumption that a near-optimal solution of the MSSC has only a marginal impact on clustering validity. In this article, we dispute this belief. We introduce an efficient population-based metaheuristic that uses K-means as a local search in combination with problem-tailored crossover, mutation, and diversification operators. This algorithm can be interpreted as a multi-start K-means, in which the initial center positions are carefully sampled based on the search history. The approach is scalable and accurate, outperforming all recent state-of-the-art algorithms for MSSC in terms of solution quality, measured by the depth of local minima. This enhanced accuracy leads to clusters which are significantly closer to the ground truth than those of other algorithms, for overlapping Gaussian-mixture datasets with a large number of features. Therefore, improved global optimization methods appear to be essential to better exploit the MSSC model in high dimension.


title: The extended holographic Dark Energy cosmological models

abstract: We present a general analytical treatment of cosmological models commanded by three interactive fluids with arbitrary barotropic indexes. The variable equations of state case are applicable to universes with quintessences, k essences and holographic fluids and we pay some attention to the holographic case. We also propose the need to extend the functional forms of the holographic energy densities that are usual in the literature in the face of the incompatibility presented by them when special interactions are used.


title: Intermediate Disorder regime for half-space directed polymers

abstract: We consider the convergence of partition functions and endpoint density for the half-space directed polymer model in dimension $1+1$ in the intermediate disorder regime as considered for the full space model by Alberts, Khanin and Quastel in [AKQ]. By scaling the inverse temperature like $\beta n^{-1/4}$, the point-to-point partition function converges to the chaos series for the solution to stochastic heat equation with Robin boundary condition and delta initial data. We also apply our convergence results to the exact-solvable log-gamma directed polymer model in a half-space.


title: On the Dual Geometry of Laplacian Eigenfunctions

abstract: We discuss the geometry of Laplacian eigenfunctions $-\Delta \phi = \lambda \phi$ on compact manifolds $(M,g)$ and combinatorial graphs $G=(V,E)$. The 'dual' geometry of Laplacian eigenfunctions is well understood on $\mathbb{T}^d$ (identified with $\mathbb{Z}^d$) and $\mathbb{R}^n$ (which is self-dual). The dual geometry is of tremendous role in various fields of pure and applied mathematics. The purpose of our paper is to point out a notion of similarity between eigenfunctions that allows to reconstruct that geometry. Our measure of 'similarity' $ \alpha(\phi_{\lambda}, \phi_{\mu})$ between eigenfunctions $\phi_{\lambda}$ and $\phi_{\mu}$ is given by a global average of local correlations $$ \alpha(\phi_{\lambda}, \phi_{\mu})^2 = \| \phi_{\lambda} \phi_{\mu} \|_{L^2}^{-2}\int_{M}{ \left( \int_{M}{ p(t,x,y)( \phi_{\lambda}(y) - \phi_{\lambda}(x))( \phi_{\mu}(y) - \phi_{\mu}(x)) dy} \right)^2 dx},$$ where $p(t,x,y)$ is the classical heat kernel and $e^{-t \lambda} + e^{-t \mu} = 1$. This notion recovers all classical notions of duality but is equally applicable to other (rough) geometries and graphs; many numerical examples in different continuous and discrete settings illustrate the result.


title: Multiagent Soft Q-Learning

abstract: Policy gradient methods are often applied to reinforcement learning in continuous multiagent games. These methods perform local search in the joint-action space, and as we show, they are susceptable to a game-theoretic pathology known as relative overgeneralization. To resolve this issue, we propose Multiagent Soft Q-learning, which can be seen as the analogue of applying Q-learning to continuous controls. We compare our method to MADDPG, a state-of-the-art approach, and show that our method achieves better coordination in multiagent cooperative tasks, converging to better local optima in the joint action space.


title: Inscribed Trefoil Knots

abstract: Let $K$ be a knot type for which the quadratic term of the Conway polynomial is nontrivial, and let $\gamma: \mathbb{R}\to \mathbb{R}^3$ be an analytic $\mathbb{Z}$-periodic function with non-vanishing derivative which parameterizes a knot of type $K$ in space. We prove that there exists a sequence of numbers $0\leq t_1 < t_2 < ... < t_6 < 1$ so that the polygonal path obtained by cyclically connecting the points $\gamma(t_1), \gamma(t_2), ..., \gamma(t_6)$ by line segments is a trefoil knot.


title: Nuclear Star Clusters in Cosmological Simulations

abstract: We investigate the possible connection between the most massive globular clusters, such as $\omega$ Cen and M54, and nuclear star clusters of dwarf galaxies that exhibit similar spreads in age and metallicity. We examine galactic nuclei in cosmological galaxy formation simulations at $z \approx 1.5$ to explore whether their age and metallicity spreads could explain these massive globular clusters. We derive structural properties of these nuclear regions, including mass, size, rotation, and shape. By using theoretical supernova yields to model the supernova enrichment in the simulations, we obtain individual elemental abundances for Fe, O, Na, Mg, and Al. Our nuclei are systematically more metal-rich than their host galaxies, which lie on the expected mass-metallicity relation. Some nuclei have a spread in Fe and age comparable to the massive globular clusters of the Milky Way, lending support to the hypothesis that nuclear star clusters of dwarf galaxies could be the progenitors of these objects. None of our nuclear regions contain the light element abundance spreads that characterize globular clusters, even when a large age spread is present. Our results demonstrate that extended star formation history within clusters, with metal pollution provided solely by supernova ejecta, is capable of replicating the metallicity spreads of massive globular clusters, but still requires another polluter to produce the light element variations.


title: A Nonlinear Spectral Method for Core--Periphery Detection in Networks

abstract: We derive and analyse a new iterative algorithm for detecting network core--periphery structure. Using techniques in nonlinear Perron-Frobenius theory, we prove global convergence to the unique solution of a relaxed version of a natural discrete optimization problem. On sparse networks, the cost of each iteration scales linearly with the number of nodes, making the algorithm feasible for large-scale problems. We give an alternative interpretation of the algorithm from the perspective of maximum likelihood reordering of a new logistic core--periphery random graph model. This viewpoint also gives a new basis for quantitatively judging a core--periphery detection algorithm. We illustrate the algorithm on a range of synthetic and real networks, and show that it offers advantages over the current state-of-the-art.


title: S-duality for the large $N=4$ superconformal algebra

abstract: We prove some conjectures about vertex algebras which emerge in gauge theory constructions associated to the geometric Langlands program. In particular, we present the conjectural kernel vertex algebra for the $S T^2 S$ duality transformation in $SU(2)$ gauge theory. We find a surprising coincidence, which gives a powerful hint about the nature of the corresponding duality wall. Concretely, we determine the branching rules for the small $N=4$ superconformal algebra at central charge $-9$ as well as for the generic large $N=4$ superconformal algebra at central charge $-6$. Moreover we obtain the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ superconformal algebra times a free fermion as Quantum Hamiltonian reductions of the large $N=4$ superconformal algebras at $c=-6$.


title: Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams

abstract: Linear/non-linear (LNL) models, as described by Benton, soundly model a LNL term calculus and LNL logic closely related to intuitionistic linear logic. Every such model induces a canonical enrichment that we show soundly models a LNL lambda calculus for string diagrams, introduced by Rios and Selinger (with primary application in quantum computing). Our abstract treatment of this language leads to simpler concrete models compared to those presented so far. We also extend the language with general recursion and prove soundness. Finally, we present an adequacy result for the diagram-free fragment of the language which corresponds to a modified version of Benton and Wadler's adjoint calculus with recursion.


title: Black hole-neutron star mergers using a survey of finite-temperature equations of state

abstract: Each of the potential signals from a black hole-neutron star merger should contain an imprint of the neutron star equation of state: gravitational waves via its effect on tidal disruption, the kilonova via its effect on the ejecta, and the gamma ray burst via its effect on the remnant disk. These effects have been studied by numerical simulations and quantified by semi-analytic formulae. However, most of the simulations on which these formulae are based use equations of state without finite temperature and composition-dependent nuclear physics. In this paper, we simulate black hole-neutron star mergers varying both the neutron star mass and the equation of state, using three finite-temperature nuclear models of varying stiffness. Our simulations largely vindicate formulae for ejecta properties but do not find the expected dependence of disk mass on neutron star compaction. We track the early evolution of the accretion disk, largely driven by shocking and fallback inflow, and do find notable equation of state effects on the structure of this early-time, neutrino-bright disk.


title: Distances of Dwarf Carbon Stars

abstract: Parallaxes are presented for a sample of 20 nearby dwarf carbon stars. The inferred luminosities cover almost two orders of magnitude. Their absolute magnitudes and tangential velocities confirm prior expectations that some originate in the Galactic disk, although more than half of this sample are halo stars. Three stars are found to be astrometric binaries, and orbital elements are determined; their semimajor axes are 1 -- 3 AU, consistent with the size of an AGB mass-transfer donor star.


title: A comparison of eigenvalue condition numbers for matrix polynomials

abstract: In this paper, we consider the different eigenvalue condition numbers for matrix polynomials used in the literature and we compare them. One of these condition numbers is a generalization of the Wilkinson condition number for the standard eigenvalue problem. This number has the disadvantage of only being defined for finite eigenvalues. In order to give a unified approach to all the eigenvalues of a matrix polynomial, both finite and infinite, two (homogeneous) condition numbers have been defined in the literature. In their definition, very different approaches are used. One of the main goals of this note is to show that, when the matrix polynomial has a moderate degree, both homogeneous numbers are essentially the same and one of them provides a geometric interpretation of the other. We also show how the homogeneous condition numbers compare with the "Wilkinson-like" eigenvalue condition number and how they extend this condition number to zero and infinite eigenvalues.


title: Mirror Symmetry of quantum Yang-Mills vacua and cosmological implications

abstract: We find an argument related to the existence of a Z_2-symmetry for the renormalization group flow derived from the bare Yang-Mills Lagrangian, and show that the cancellation of the vacuum energy may arise motivated both from the renormalization group flow solutions and the effective Yang-Mills action. In the framework of the effective Savvidy's action, two Mirror minima are allowed, with exactly equal and hold opposite sign energy densities. At the cosmological level, we explore the stability of the electric and magnetic attractor solutions, both within and beyond the perturbation theory, and find that thanks to these latter the cancellation between the electric and the magnetic vacua components is achieved at macroscopic space and time separations. This implies the disappearance of the conformal anomaly in the classical limit of an effective Yang-Mills theory. In this picture, the tunneling probability from the Mirror vacua to the other vacua is exponentially suppressed in the quantum non-thermal state --- similarly to what happens for electroweak instantonic tunneling solutions. Specifically, we show that, in a dynamical Friedmann-Lema\^itre-Robertson-Walker (FLRW) cosmological background, the Nielsen-Olsen argument --- on the instability of uniform chromo-electric and chromo-magnetic Mirror vacua --- is subtly violated. The chromo-magnetic and chromo-electric uniform vacua are unstable only at asymptotic times, when the attractor to a zero energy density is already reached. The two vacua can safely decay into one anisotropic vacuum that has zero energy-density. We also discover a new surprising pattern of solitonic and anti-solitonic space-like solutions, which are sourced by the Yang-Mills dynamics in FLRW. We dub such non-perturbative configurations, which are directly related to dynamical cancellation mechanism of the vacuum energy, as {\it chronons}, or $\chi$-solutions.


title: Sparse Wide-Area Control of Power Systems using Data-driven Reinforcement Learning

abstract: In this paper we present an online wide-area oscillation damping control (WAC) design for uncertain models of power systems using ideas from reinforcement learning. We assume that the exact small-signal model of the power system at the onset of a contingency is not known to the operator and use the nominal model and online measurements of the generator states and control inputs to rapidly converge to a state-feedback controller that minimizes a given quadratic energy cost. However, unlike conventional linear quadratic regulators (LQR), we intend our controller to be sparse, so its implementation reduces the communication costs. We, therefore, employ the gradient support pursuit (GraSP) optimization algorithm to impose sparsity constraints on the control gain matrix during learning. The sparse controller is thereafter implemented using distributed communication. Using the IEEE 39-bus power system model with 1149 unknown parameters, it is demonstrated that the proposed learning method provides reliable LQR performance while the controller matched to the nominal model becomes unstable for severely uncertain systems.


title: Sector models - A toolkit for teaching general relativity: II. Geodesics

abstract: Sector models are tools that make it possible to teach the basic principles of the general theory of relativity without going beyond elementary mathematics. This contribution shows how sector models can be used to determine geodesics. We outline a workshop for high school and undergraduate students that addresses gravitational light deflection by means of the construction of geodesics on sector models. Geodesics close to a black hole are used by way of example. The contribution also describes a simplified calculation of sector models that students can carry out on their own. The accuracy of the geodesics constructed on sector models is discussed in comparison with numerically computed solutions. The teaching materials presented in this paper are available online for teaching purposes at http://www.spacetimetravel.org . ----- Sektormodelle sind Werkzeuge, mit denen die Grundprinzipien der Allgemeinen Relativit\"atstheorie vermittelt werden k\"onnen, ohne bei der Formulierung \"uber Schulmathematik hinauszugehen. Dieser Beitrag zeigt, wie Sektormodelle dazu verwendet werden k\"onnen Geod\"aten zu bestimmen. Wir stellen einen Workshop f\"ur Sch\"uler/innen und Studierende vor, in dem die gravitative Lichtablenkung mittels der Konstruktion von Geod\"aten auf Sektormodellen behandelt wird; als Beispiel dienen Geod\"aten in der N\"ahe eines Schwarzen Lochs. Der Beitrag beschreibt ferner eine vereinfachte Berechnung von Sektormodellen, die Sch\"uler/innen und Studierende selbst durchf\"uhren k\"onnen. Die Genauigkeit der auf Sektormodellen konstruierten Geod\"aten wird im Vergleich mit numerisch berechneten L\"osungen diskutiert. Die vorgestellten Materialien stehen online unter http://www.tempolimit-lichtgeschwindigkeit.de f\"ur den Unterricht zur Verf\"ugung.


title: Transform the Non-linear Programming Problem to the Initial-value Problem to Solve

abstract: A dynamic method to solve the Non-linear Programming (NLP) problem with Equality Constraints (ECs) and Inequality Constraints (IECs) is proposed. Inspired by the Lyapunov continuous-time dynamics stability theory in the control field, the optimal solution is analogized to the stable equilibrium point of a finite-dimensional dynamic system and it is solved in an asymptotic manner. Under the premise that the Karush-Kuhn-Tucker (KKT) optimality condition exists, the Dynamic Optimization Equation (DOE), which has the same dimension to that of the optimization parameter vector, is established and its solution will converge to the optimal solution of the NLP globally with a theoretical guarantee. Using the matrix pseudo-inverse, the DOE is valid even without the linearly independent regularity requirement on the nonlinear constraints. In addition, the analytic expressions of the Lagrange multipliers and KKT multipliers, which adjoin the ECs and the IECs respectively during the entire optimization process, are also derived. Via the proposed method, the NLP may be transformed to the Initial-value Problem (IVP) to be solved, with mature Ordinary Differential Equation (ODE) integration methods. Illustrative examples are solved and it is shown that the dynamic method developed may produce the right numerical solutions with high efficiency.


title: Gaia Data Release 2. Calibration and mitigation of electronic offset effects in the data

abstract: The European Space Agency Gaia satellite was launched into orbit around L2 in December 2013. This ambitious mission has strict requirements on residual systematic errors resulting from instrumental corrections in order to meet a design goal of sub-10 microarcsecond astrometry. During the design and build phase of the science instruments, various critical calibrations were studied in detail to ensure that this goal could be met in orbit. In particular, it was determined that the video-chain offsets on the analogue side of the analogue-to-digital conversion electronics exhibited instabilities that could not be mitigated fully by modifications to the flight hardware. We provide a detailed description of the behaviour of the electronic offset levels on microsecond timescales, identifying various systematic effects that are known collectively as offset non-uniformities. The effects manifest themselves as transient perturbations on the gross zero-point electronic offset level that is routinely monitored as part of the overall calibration process. Using in-orbit special calibration sequences along with simple parametric models, we show how the effects can be calibrated, and how these calibrations are applied to the science data. While the calibration part of the process is relatively straightforward, the application of the calibrations during science data processing requires a detailed on-ground reconstruction of the readout timing of each charge-coupled device (CCD) sample on each device in order to predict correctly the highly time-dependent nature of the corrections. We demonstrate the effectiveness of our offset non-uniformity models in mitigating the effects in Gaia data. We demonstrate for all CCDs and operating instrument and modes on board Gaia that the video-chain noise-limited performance is recovered in the vast majority of science samples.


title: Adaptive MPC for Iterative Tasks

abstract: This paper proposes an Adaptive Learning Model Predictive Control strategy for uncertain constrained linear systems performing iterative tasks. The additive uncertainty is modeled as the sum of a bounded process noise and an unknown constant offset. As new data becomes available, the proposed algorithm iteratively adapts the believed domain of the unknown offset after each iteration. An MPC strategy robust to all feasible offsets is employed in order to guarantee recursive feasibility. We show that the adaptation of the feasible offset domain reduces conservatism of the proposed strategy, compared to classical robust MPC strategies. As a result, the controller performance improves. Performance is measured in terms of following trajectories with lower associated costs at each iteration. Numerical simulations highlight the main advantages of the proposed approach.


title: Linear programming on non-compact polytopes and the Kuratowski convergence with application in economics

abstract: The aims of this article are two-fold. First, we give a geometric characterization of the optimal basic solutions of the general linear programming problem (no compactness assumptions) and provide a simple, self-contained proof of it together with an economical interpretation. Then, we turn to considering a dynamic version of the linear programming problem in that we consider the Kuratowski convergence of polyhedra and study the behaviour of optimal solutions. Our methods are purely geometric.


title: An algorithm for real-time restructuring of a ranging-based localization network

abstract: This paper presents a method to improve the localization accuracy of robots operating in a range-based localization network. The method is favorable especially when the robots operate in harsh environments where the access to a robust and reliable localization system is limited. A state estimator is used for a six degree of freedom object using inertial sensors as well as an Ultra-wideband (UWB) range measurement sensor. The estimator is incorporated into an adaptive algorithm, improving the localization quality of an agent by using a mobile UWB ranging sensor, where the mobile anchor moves to improve localization quality. The algorithm reconstructs localization network in real-time to minimize the determinant of the covariance matrix in the sense of least square error. Finally, the proposed algorithm is experimentally validated in a network consisting of one mobile and four fixed anchors.


title: Shockwave S-matrix from Schwarzian Quantum Mechanics

abstract: Schwarzian quantum mechanics describes the collective IR mode of the SYK model and captures key features of 2D black hole dynamics. Exact results for its correlation functions were obtained in JHEP {\bf 1708}, 136 (2017) [arXiv:1705.08408]. We compare these results with bulk gravity expectations. We find that the semi-classical limit of the out-of-time-order (OTO) four-point function exactly matches with the scattering amplitude obtained from the Dray-'t Hooft shockwave $\mathcal{S}$-matrix. We show that the two point function of heavy operators reduces to the semi-classical saddle-point of the Schwarzian action. We also explain a previously noted match between the OTO four point functions and 2D conformal blocks. Generalizations to higher-point functions, and applications, are discussed.


title: Type II Seesaw with scalar dark matter in light of AMS-02, DAMPE and Fermi-LAT

abstract: The Standard Model (SM) supplemented by Type II Seesaw and a SM gauge-singlet scalar dark matter (DM) is a very simple framework to incorporate the observed neutrino oscillations and provide a plausible DM candidate. In this framework, the scalar DM naturally has a leptophilic nature with a pair annihilating mainly into the SM SU(2)$_L$ triplet Higgs scalar of Type II Seesaw which, in turn, decay into leptons. In this work, we consider indirect signatures of this leptophilic DM and examine the spectrum of the cosmic ray electron/positron flux from DM pair annihilations in the Galactic halo. Given an astrophysical background spectrum of the cosmic ray electron/positron flux, we find that the contributions from DM annihilations can nicely fit the observed data from the AMS-02, DAMPE and Fermi-LAT collaborations, with a multi-TeV range of DM mass and a boost factor for the DM annihilation cross section of ${\cal O}(1000)$. The boost factor has a slight tension with the Fermi-LAT data for gamma-ray from dwarf spheroidal galaxies, which can be ameliorated with an enhanced local DM density by a factor of about 2.


title: Heavy Mesons Photoproduction in Peripheral AA Collisions

abstract: The exclusive photoproduction of the heavy vector mesons $\psi$'s and $Y$'s is investigated in peripheral lead-lead collisions for the energies available at the LHC, $\sqrt{s}=2.76$ TeV and $\sqrt{s}=5.02$ TeV. In order to evaluate the robustness of the light-cone color dipole formalism, previously tested in the ultraperipheral regime. It was calculated the rapidity distribution as well as the nuclear modification factor ($R_{AA}$) for the three centrality classes: 30%-50%, 50%-70% and 70%-90%. The transition from ultraperipheral to peripheral regime was carried out sophisticating the photon flux description and the photonuclear cross section, taking into account the effective interaction area. In our calculations, three scenarios were considered: (scenario 1) the direct application of the usual photon flux and of the photonuclear cross section without any relevant change in relation to the UPC's, (scenario 2) the application of an effective photon flux keeping the photonuclear cross section unchanged and (scenario 3) where it was also considered an effective photonuclear cross section. The results obtained from the three scenarios were compared with the ALICE measurements (only $J/\psi$ at the moment), showing a better agreement with the data in the more complete approach (scenario 3), mainly in the more central regions (30%-50% and 50%-70%) where the incertainty is smaller.


title: $n$-$\bar n$ oscillations and the neutron lifetime

abstract: Neutron-antineutron oscillations are considered in the light of recently proposed particle models, which claim to resolve the neutron lifetime anomaly, indicating the existence of baryon violating $\Delta B=1$ interactions. Possible constraints are derived coming from the non-observation of neutron-antineutron oscillations, which can take place if the dark matter particle produced in neutron decay happens to be a Majorana fermion. It is shown that this can be realised in a simple MSSM extention where only the baryon number violating term $u^cd^cd^c$ is included whilst all other R-parity violating terms are prevented to avoid rapid proton decay. It is demostrated how this scenario can be implemented in a string motivated GUT broken to MSSM by fluxes.


title: Singular value decomposition of complexes

abstract: Singular value decompositions of matrices are widely used in numerical linear algebra with many applications. In this paper, we extend the notion of singular value decompositions to finite complexes of real vector spaces. We provide two methods to compute them and present several applications.


title: On rational periodic points of $x^d+c$

abstract: We consider the polynomials $\displaystyle f(x)=x^d+c$, where $d\ge 2$ and $c\in\mathbb Q$. It is conjectured that if $d=2$, then $f$ has no rational periodic point of exact period $N\ge 4$. In this note, fixing some integer $d\ge 2$, we show that the density of such polynomials with a rational periodic point of any period among all polynomials $f(x)=x^d+c$, $c\in\Q$, is zero. Furthermore, we establish the connection between polynomials $f$ with periodic points and two arithmetic sequences. This yields necessary conditions that must be satisfied by $c$ and $d$ in order for the polynomial $f$ to possess a rational periodic point of exact period $N$, and a lower bound on the number of primitive prime divisors in the critical orbit of $f$ when such a rational periodic point exists. The note also introduces new results on the irreducibility of iterates of $f$.


title: Geometric infiniteness in negatively pinched Hadamard manifolds

abstract: We generalize Bonahon's characterization of geometrically infinite torsion-free discrete subgroups of PSL(2, $\mathbb{C}$) to geometrically infinite discrete isometry subgroups in the case of rank 1 symmetric spaces, and, under the assumption of bounded torsion, to the case of negatively pinched Hadamard manifolds. Every such geometrically infinite isometry subgroup $\Gamma$ has a set of nonconical limit points with cardinality of continuum.


title: Location-Aware Pilot Allocation in Multi-Cell Multi-User Massive MIMO Networks

abstract: We propose a location-aware pilot allocation algorithm for a massive multiple-input multiple-output (MIMO) network with high-mobility users, where the wireless channels are subject to Rician fading. Pilot allocation in massive MIMO is a hard combinatorial problem and depends on the locations of users. As such, it is highly complex to achieve the optimal pilot allocation in real-time for a network with high-mobility users. Against this background, we propose a low-complexity pilot allocation algorithm, which exploits the behavior of line-of-sight (LOS) interference among the users and allocate the same pilot sequence to the users with small LOS interference. Our examination demonstrates that our proposed algorithm significantly outperforms the existing algorithms, even with localization errors. Specifically, for the system considered in this work, our proposed algorithm provides up to 37.26% improvement in sum spectral efficiency (SE) and improves the sum SE of the worst interference-affected users by up to 2.57 bits/sec/Hz, as compared to the existing algorithms.


title: Minimal blow-up initial data in critical Fourier-Herz spaces for potential Navier-Stokes singularities

abstract: In this paper, we mainly prove the existence of the minimal blow-up initial data in critical Fourier-Herz space $F\dot{B}^{2-{\frac3p}}_{p,q}(\RR^3)$ with $1<p\leq\infty$ and $1\leq q<\infty$ for the three dimensional incompressible potential Navier-Stokes equations by developing techniques of "localization in space" involving the partial regularity given by the De Giorgi iteration, weak-strong uniqueness, the short-time behaviour of the kinetic energy and stability of singularity of Calder\'on's solution.


title: Hierarchical Density Order Embeddings

abstract: By representing words with probability densities rather than point vectors, probabilistic word embeddings can capture rich and interpretable semantic information and uncertainty. The uncertainty information can be particularly meaningful in capturing entailment relationships -- whereby general words such as "entity" correspond to broad distributions that encompass more specific words such as "animal" or "instrument". We introduce density order embeddings, which learn hierarchical representations through encapsulation of probability densities. In particular, we propose simple yet effective loss functions and distance metrics, as well as graph-based schemes to select negative samples to better learn hierarchical density representations. Our approach provides state-of-the-art performance on the WordNet hypernym relationship prediction task and the challenging HyperLex lexical entailment dataset -- while retaining a rich and interpretable density representation.


title: Integrated one- and two-photon scanned oblique plane illumination (SOPi) microscopy for rapid volumetric imaging

abstract: Versatile, sterically accessible imaging systems capable of in vivo rapid volumetric functional and structural imaging deep in the brain continue to be a limiting factor in neuroscience research. Towards overcoming this obstacle, we present integrated one- and two-photon scanned oblique plane illumination (SOPi) microscopy which uses a single front-facing microscope objective to provide light-sheet scanning based rapid volumetric imaging capability at subcellular resolution. Our planar scan-mirror based optimized light-sheet architecture allows for non-distorted scanning of volume samples, simplifying accurate reconstruction of the imaged volume. Integration of both one-photon (1P) and two-photon (2P) light-sheet microscopy in the same system allows for easy selection between rapid volumetric imaging and higher resolution imaging in scattering media. Using SOPi, we demonstrate deep, large volume imaging capability inside scattering mouse brain sections and rapid imaging speeds up to 10 volumes per second in zebrafish larvae expressing genetically encoded fluorescent proteins GFP or GCaMP6s. SOPi flexibility and steric access makes it adaptable for numerous imaging applications and broadly compatible with orthogonal techniques for actuating or interrogating neuronal structure and activity.


title: $\ell^p$-improving inequalities for Discrete Spherical Averages

abstract: Let $ \lambda ^2 \in \mathbb N $, and in dimensions $ d\geq 5$, let $ A_{\lambda } f (x)$ denote the average of $ f \;:\; \mathbb Z ^{d} \to \mathbb R $ over the lattice points on the sphere of radius $\lambda$ centered at $x$. We prove $ \ell ^{p}$ improving properties of $ A_{\lambda }$. \begin{equation*} \lVert A_{\lambda }\rVert_{\ell ^{p} \to \ell ^{p'}} \leq C_{d,p, \omega (\lambda ^2 )} \lambda ^{d ( 1-\frac{2}p)}, \qquad \tfrac{d-1}{d+1} < p \leq \frac{d} {d-2}. \end{equation*} It holds in dimension $ d =4$ for odd $ \lambda ^2 $. The dependence is in terms of $ \omega (\lambda ^2 )$, the number of distinct prime factors of $ \lambda ^2 $. These inequalities are discrete versions of a classical inequality of Littman and Strichartz on the $ L ^{p}$ improving property of spherical averages on $ \mathbb R ^{d}$, in particular they are scale free, in a natural sense. The proof uses the decomposition of the corresponding multiplier whose properties were established by Magyar-Stein-Wainger, and Magyar. We then use a proof strategy of Bourgain, which dominates each part of the decomposition by an endpoint estimate.


title: Quickest Detection of Intermittent Signals With Application to Vision Based Aircraft Detection

abstract: In this paper we consider the problem of quickly detecting changes in an intermittent signal that can (repeatedly) switch between a normal and an anomalous state. We pose this intermittent signal detection problem as an optimal stopping problem and establish a quickest intermittent signal detection (ISD) rule with a threshold structure. We develop bounds to characterise the performance of our ISD rule and establish a new filter for estimating its detection delays. Finally, we examine the performance of our ISD rule in both a simulation study and an important vision based aircraft detection application where the ISD rule demonstrates improvements in detection range and false alarm rates relative to the current state of the art aircraft detection techniques.


title: Complex Moments and the distribution of Values of $L(1,\chi_D)$ over Function Fields with Applications to Class Numbers

abstract: In this paper we investigate the moments and the distribution of $L(1,\chi_D)$, where $\chi_D$ varies over quadratic characters associated to square-free polynomials $D$ of degree $n$ over $\mathbb{F}_q$, as $n\to\infty$. Our first result gives asymptotic formulas for the complex moments of $L(1,\chi_D)$ in a large uniform range. Previously, only the first moment has been computed due to work of Andrade and Jung. Using our asymptotic formulas together with the saddle-point method, we show that the distribution function of $L(1,\chi_D)$ is very close to that of a corresponding probabilistic model. In particular, we uncover an interesting feature in the distribution of large (and small) values of $L(1, \chi_D)$, that is not present in the number field setting. We also obtain $\Omega$-results for the extreme values of $L(1,\chi_D)$, which we conjecture to be best possible. Specializing $n=2g+1$ and making use of one case of Artin's class number formula, we obtain similar results for the class number $h_D$ associated to $\mathbb{F}_q(T)[\sqrt{D}]$. Similarly, specializing to $n=2g+2$ we can appeal to the second case of Artin's class number formula and deduce analogous results for $h_DR_D$ where $R_D$ is the regulator of $\mathbb{F}_q(T)[\sqrt{D}]$.


title: Memristor Crossbars with 4.5 Terabits-per-Inch-Square Density and Two Nanometer Dimension

abstract: Memristor is a promising building block for the next generation nonvolatile random access memory and bio-inspired computing systems. Organizing memristors into high density crossbar arrays, although challenging, is critical to meet the ever-growing high capacity and low energy demands of these applications especially in the big data era. Here, we construct memristor crossbars with a single-layer density up to 4.5 terabits per inch square, an order of magnitude denser than the state- of-the-art 64-layer triple level cell NAND flash technology. The memristors in the crossbars are 2 $\times$ 2 nm$^2$ in size, capable of switching with tens of nano ampere electric current. The densely packed memristor crossbars of extremely small working devices provides a power-efficient solution for high density information storage and processing.


title: The Best of Both Worlds: Combining Recent Advances in Neural Machine Translation

abstract: The past year has witnessed rapid advances in sequence-to-sequence (seq2seq) modeling for Machine Translation (MT). The classic RNN-based approaches to MT were first out-performed by the convolutional seq2seq model, which was then out-performed by the more recent Transformer model. Each of these new approaches consists of a fundamental architecture accompanied by a set of modeling and training techniques that are in principle applicable to other seq2seq architectures. In this paper, we tease apart the new architectures and their accompanying techniques in two ways. First, we identify several key modeling and training techniques, and apply them to the RNN architecture, yielding a new RNMT+ model that outperforms all of the three fundamental architectures on the benchmark WMT'14 English to French and English to German tasks. Second, we analyze the properties of each fundamental seq2seq architecture and devise new hybrid architectures intended to combine their strengths. Our hybrid models obtain further improvements, outperforming the RNMT+ model on both benchmark datasets.


title: Explicit Bounds for $L$-Functions on the Edge of the Critical Strip

abstract: Assuming GRH and the Ramanujan-Petersson conjecture we prove explicit bounds for $L(1,f)$ for a large class of $L$-functions $L(s,f)$, which includes $L$-functions attached to automorphic cuspidal forms on $GL(n)$. The proof generalizes work of Lamzouri, Li and Soundararajan. Furthermore, the main results improve the classical bounds of Littlewood \[(1+o(1))\left(\frac{12e^{\gamma}}{\pi^2}\log\log C(f)\right)^{-d} \leq |L(1,f)|\leq (1+o(1))\Big(2e^{\gamma}\log\log C(f)\Big)^d,\] where $C(f)$ is the analytic conductor of $L(s,f)$.


title: Capturing Capacity and Profit Gains with Base Station Sharing in mmWave Cellular Networks

abstract: Due to the greater path loss, shadowing, and increased effect of blockage in millimeter wave cellular networks, base station sharing among network service providers has the potential to significantly improve overall network capacity. However, a service provider may find that despite the technical gains, sharing actually reduces its profits because it makes price competition between service providers tougher. In this work, a weighted scheduling algorithm is described, which gives greater control over how the airtime resource is allocated within a shared cell. It is shown that, under certain market conditions, there exist scheduling weights such that base station sharing is more profitable than not sharing for both service providers in a duopoly market, while still achieving almost as much network capacity as in a conventional base station sharing scenario. Thus, both technical and economic benefits of base station sharing may be realized simultaneously.


title: The Black Hole Masses and Eddington Ratios of Type 2 Quasars

abstract: Type 2 quasars are an important constituent of active galaxies, possibly representing the evolutionary precursors of traditionally studied type 1 quasars. We characterize the black hole mass ($M_{\rm BH}$) and Eddington ratio ($L_{\rm bol}/L_{\rm Edd}$) for 669 type 2 quasars selected from the Sloan Digital Sky Survey, using black hole masses estimated from the $M_{\rm BH}-\sigma_{\ast}$ relation and bolometric corrections scaled from the extinction-corrected $ [\rm O~{\scriptsize III}]~ \lambda 5007$ luminosity. When stellar velocity dispersions cannot be measured directly from the spectra, we estimate them from the core velocity dispersions of the narrow emission lines $ \rm [O~{\scriptsize II}]~ \lambda\lambda 3726, 3729$, $ \rm [S~{\scriptsize II}]~\lambda\lambda 6716, 6731$, and $[ \rm O~{\scriptsize III}]~ \lambda 5007$, which are shown to trace the gravitational potential of the stars. Energy input from the active nucleus still imparts significant perturbations to the gas kinematics, especially to high-velocity, blueshifted wings. Nonvirial motions in the gas become most noticeable in systems with high Eddington ratios. The black hole masses of our sample of type 2 quasars range from $M_{\rm BH} \approx 10^{6.5} $ to $10^{10.4} \, M_\odot$ (median $10^{8.2} \, M_\odot$). Type 2 quasars have characteristically large Eddington ratios ($L_{\rm bol}/L_{\rm Edd}~\approx 10^{-2.9}-10^{1.8}$; median $10^{-0.7}$), slightly higher than in type~1 quasars of similar redshift; the luminosities of $\sim$20% of the sample formally exceed the Eddington limit. The high Eddington ratios may be consistent with the notion that obscured quasars evolve into unobscured quasars.


title: Optical Bistability in a Low Photon-Density Regime

abstract: We give a microscopic description of the optical bistability, where the transmission coefficient has two different values as a function of input light intensity, and the system exhibits a discontinuous jump with a hysteresis loop. We developed an efficient numerical algorithm to treat the quantum master equation for hybridized systems of many photons and a large number of two-level atoms. By using this method, we characterize the bistability from the viewpoint of eigenmodes and eigenvalues of the time evolution operator of the quantum master equation. We investigate the optical bistability within the low photon-density regime, where the hybridization of photon and atom degrees of freedom occurs and the resonance spectrum has a double peak structure. We compared it with the standard optical bistability between the low photon-density regime and the high photon-density regime, where the photons can be treated as a classical electromagnetic field and the resonance spectrum has a single peak structure. We discuss the steady-state properties of the optical bistability: dependencies of the photon number density on the intensity and the double peak structure of the photon number distribution inside the bistable region. As for the dynamical properties, we find that the relaxation timescale shows an exponential growth with the system size, and reveal how the hysteresis loop of the optical bistability depends on the size of the system and the sweeping rate of the driving amplitude. Finally, by investigating the effects of detuning frequency of the input field, we clarify the characteristic properties of the present optical bistability within the low photon-density regime, which are qualitatively different from the standard optical bistable phenomena.


title: Conformal pseudo-subriemannian fundamental graded Lie algebras of semisimple type

abstract: We introduce the notion of a conformal pseudo-subriemannian fundamental graded Lie algebra of semisimple type. Moreover we give a classification of conformal pseudo-subriemannian fundamental graded Lie algebras of semisimple type and their prolongations.


title: An ASP Methodology for Understanding Narratives about Stereotypical Activities

abstract: We describe an application of Answer Set Programming to the understanding of narratives about stereotypical activities, demonstrated via question answering. Substantial work in this direction was done by Erik Mueller, who modeled stereotypical activities as scripts. His systems were able to understand a good number of narratives, but could not process texts describing exceptional scenarios. We propose addressing this problem by using a theory of intentions developed by Blount, Gelfond, and Balduccini. We present a methodology in which we substitute scripts by activities (i.e., hierarchical plans associated with goals) and employ the concept of an intentional agent to reason about both normal and exceptional scenarios. We exemplify the application of this methodology by answering questions about a number of restaurant stories. This paper is under consideration for acceptance in TPLP.


title: Action Categorization for Computationally Improved Task Learning and Planning

abstract: This paper explores the problem of task learning and planning, contributing the Action-Category Representation (ACR) to improve computational performance of both Planning and Reinforcement Learning (RL). ACR is an algorithm-agnostic, abstract data representation that maps objects to action categories (groups of actions), inspired by the psychological concept of action codes. We validate our approach in StarCraft and Lightworld domains; our results demonstrate several benefits of ACR relating to improved computational performance of planning and RL, by reducing the action space for the agent.


title: BCS Pairing Gap in the Infrared Limit of the Similarity Renormalization Group

abstract: Effective interactions have been used to compute the pairing gap for nuclear and neutron matter in several schemes. In this work we analyze the impact of phase-shift equivalent interactions within the BCS theory on the $^1S_0$-channel pairing gap for a translational invariant many-fermion system such as nuclear and neutron matter. We solve the BCS pairing gap equation on a finite momentum grid for a toy model separable Gaussian potential in the $^1S_0$-channel explicitly evolved through the Similarity Renormalization Group (SRG) transformation and show that in the on-shell and continuum limits the pairing gap vanishes. For finite size systems the momentum is quantized and the on-shell limit is realized for SRG cutoffs comparable to the momentum resolution. In this case the pairing gap can be computed directly from the scattering phase-shifts by an energy-shift formula. While the momentum grid is usually used as an auxiliary way of solving the BCS pairing gap equation, we show that it actually encodes some relevant physical information, suggesting that in fact finite grids may represent the finite size of the system.


title: Generative Model for Heterogeneous Inference

abstract: Generative models (GMs) such as Generative Adversary Network (GAN) and Variational Auto-Encoder (VAE) have thrived these years and achieved high quality results in generating new samples. Especially in Computer Vision, GMs have been used in image inpainting, denoising and completion, which can be treated as the inference from observed pixels to corrupted pixels. However, images are hierarchically structured which are quite different from many real-world inference scenarios with non-hierarchical features. These inference scenarios contain heterogeneous stochastic variables and irregular mutual dependences. Traditionally they are modeled by Bayesian Network (BN). However, the learning and inference of BN model are NP-hard thus the number of stochastic variables in BN is highly constrained. In this paper, we adapt typical GMs to enable heterogeneous learning and inference in polynomial time.We also propose an extended autoregressive (EAR) model and an EAR with adversary loss (EARA) model and give theoretical results on their effectiveness. Experiments on several BN datasets show that our proposed EAR model achieves the best performance in most cases compared to other GMs. Except for black box analysis, we've also done a serial of experiments on Markov border inference of GMs for white box analysis and give theoretical results.


title: Competitive Learning Enriches Learning Representation and Accelerates the Fine-tuning of CNNs

abstract: In this study, we propose the integration of competitive learning into convolutional neural networks (CNNs) to improve the representation learning and efficiency of fine-tuning. Conventional CNNs use back propagation learning, and it enables powerful representation learning by a discrimination task. However, it requires huge amount of labeled data, and acquisition of labeled data is much harder than that of unlabeled data. Thus, efficient use of unlabeled data is getting crucial for DNNs. To address the problem, we introduce unsupervised competitive learning into the convolutional layer, and utilize unlabeled data for effective representation learning. The results of validation experiments using a toy model demonstrated that strong representation learning effectively extracted bases of images into convolutional filters using unlabeled data, and accelerated the speed of the fine-tuning of subsequent supervised back propagation learning. The leverage was more apparent when the number of filters was sufficiently large, and, in such a case, the error rate steeply decreased in the initial phase of fine-tuning. Thus, the proposed method enlarged the number of filters in CNNs, and enabled a more detailed and generalized representation. It could provide a possibility of not only deep but broad neural networks.


title: Universal Knot Diagrams

abstract: We study collections of planar curves that yield diagrams for all knots. In particular, we show that a very special class called potholder curves carries all knots. This has implications for realizing all knots and links as special types of meanders and braids. We also introduce and apply a method to compare the efficiency of various classes of curves that represent all knots.


title: The hour-timescale GeV flares of PSR B1259-63 in 2017

abstract: GeV flares from PSR B1259-63/LS 2883 were seen starting around 30 days after the two periastron passages in 2010 and 2014. The flares are clearly delayed compared to the occurrence of the X-ray and TeV flux peaks during the post-periastron disk crossing. While several attempts have been put forward to explain this phenomenon, the origin of these GeV flares remains a puzzle. Here we present a detailed analysis of the observational data taken by the Fermi and Swift observatories over the 2017 September periastron passage. For the first time, we find short-lived but powerful GeV flares on time scales of down to three hours. The onset of the GeV flaring period in 2017 is also delayed compared to those seen in 2011 and 2014. Supplemented by a re-analysis of previous data, we compare the Fermi/LAT, Swift/XRT and Swift/UVOT light curves in 2017 with those taken over the 2010 and 2014 periastrons, and difference in UVOT light curves are noted.


title: Accelerator-Aware Pruning for Convolutional Neural Networks

abstract: Convolutional neural networks have shown tremendous performance capabilities in computer vision tasks, but their excessive amounts of weight storage and arithmetic operations prevent them from being adopted in embedded environments. One of the solutions involves pruning, where certain unimportant weights are forced to have a value of zero. Many pruning schemes have been proposed, but these have mainly focused on the number of pruned weights. Previous pruning schemes scarcely considered ASIC or FPGA accelerator architectures. When these pruned networks are run on accelerators, the lack of consideration of the architecture causes some inefficiency problems, including internal buffer misalignments and load imbalances. This paper proposes a new pruning scheme that reflects accelerator architectures. In the proposed scheme, pruning is performed so that the same number of weights remain for each weight group corresponding to activations fetched simultaneously. In this way, the pruning scheme resolves the inefficiency problems, doubling the accelerator performance. Even with this constraint, the proposed pruning scheme reached a pruning ratio similar to that of previous unconstrained pruning schemes, not only on AlexNet and VGG16 but also on state-of-the-art very deep networks such as ResNet. Furthermore, the proposed scheme demonstrated a comparable pruning ratio on compact networks such as MobileNet and on slimmed networks that were already pruned in a channel-wise manner. In addition to improving the efficiency of previous sparse accelerators, it will be also shown that the proposed pruning scheme can be used to reduce the logic complexity of sparse accelerators.The pruned models are publicly available at https://github.com/HyeongjuKang/accelerator-aware-pruning.


title: Exploring vibrational ladder climbing in vibronic coupling models: Toward experimental observation of a geometric phase signature of a conical intersection

abstract: Conical intersections (CIs) have been widely studied using spectroscopic techniques. However, CIs have mainly been identified by rapid internal conversion transitions that take place after the photoexcitation. Such identifications cannot distinguish various types of intersections as well as to separate the actual intersection from an avoided crossing. In this paper, we investigate how ultrafast IR laser pulses can be utilized to stimulate nuclear dynamics revealing geometric phase features associated with CIs. We consider two low-dimensional nonadiabatic models to obtain optimal two- and three-pulse laser sequences for stimulating nuclear dynamics necessary for the CI identification. Our results provide insights on designing non-linear spectroscopic schemes for subsequent probes of the nuclear wavepackets by ultrafast electron diffraction techniques to unambiguously detect CIs in molecules.


title: Rate-Utility Optimized Streaming of Volumetric Media for Augmented Reality

abstract: Volumetric media, popularly known as holograms, need to be delivered to users using both on-demand and live streaming, for new augmented reality (AR) and virtual reality (VR) experiences. As in video streaming, hologram streaming must support network adaptivity and fast startup, but must also moderate large bandwidths, multiple simultaneously streaming objects, and frequent user interaction, which requires low delay. In this paper, we introduce the first system to our knowledge designed specifically for streaming volumetric media. The system reduces bandwidth by introducing 3D tiles, and culling them or reducing their level of detail depending on their relation to the user's view frustum and distance to the user. Our system reduces latency by introducing a window-based buffer, which in contrast to a queue-based buffer allows insertions near the head of the buffer rather than only at the tail of the buffer, to respond quickly to user interaction. To allocate bits between different tiles across multiple objects, we introduce a simple greedy yet provably optimal algorithm for rate-utility optimization. We introduce utility measures based not only on the underlying quality of the representation, but on the level of detail relative to the user's viewpoint and device resolution. Simulation results show that the proposed algorithm provides superior quality compared to existing video-streaming approaches adapted to hologram streaming, in terms of utility and user experience over variable, throughput-constrained networks.


title: Global existence and scattering for quadratic NLS with potential in 3D

abstract: In this article we study the asymptotic behavior of a quadratic NLS equation with small, time-dependent potential and small spatially localized initial data. We prove global existence and scattering of solutions. The two main ingredients of the proof are the space-time resonance method and the boundedness of wave operators for the linear Schr\"{o}dinger equation with potential.


title: New HSIC-based tests for independence between two stationary multivariate time series

abstract: This paper proposes some novel one-sided omnibus tests for independence between two multivariate stationary time series. These new tests apply the Hilbert-Schmidt independence criterion (HSIC) to test the independence between the innovations of both time series. Under regular conditions, the limiting null distributions of our HSIC-based tests are established. Next, our HSIC-based tests are shown to be consistent. Moreover, a residual bootstrap method is used to obtain the critical values for our HSIC-based tests, and its validity is justified. Compared with the existing cross-correlation-based tests for linear dependence, our tests examine the general (including both linear and non-linear) dependence to give investigators more complete information on the causal relationship between two multivariate time series. The merits of our tests are illustrated by some simulation results and a real example.


title: Large Thermoelectric Power Factor in One-Dimensional Telluride Nb4SiTe4 and Substituted Compounds

abstract: We found that whisker crystals of Mo-doped Nb4SiTe4 show high thermoelectric performances at low temperatures, indicated by the largest power factor of 70 microW cm-1 K-2 at 230-300 K, much larger than those of Bi2Te3-based practical materials. This power factor is smaller than the maximum value in the 5d analogue Ta4SiTe4, but is comparable to that with a similar doping level. First principles calculation results suggest that the difference in thermoelectric performances between Nb and Ta compounds is caused by the much smaller band gap in Nb4SiTe4 than that in Ta4SiTe4, due to the weaker spin-orbit coupling in the former. We also demonstrated that the solid solution of Nb4SiTe4 and Ta4SiTe4 shows a large power factor, indicating that their combination is promising as a practical thermoelectric material, as in the case of Bi2Te3 and Sb2Te3. These results advance our understanding of the mechanism of high thermoelectric performances in this one-dimensional telluride system, as well as indicating the high potential of this system as a practical thermoelectric material for low temperature applications.


title: High intrinsic $ZT$ in InP$_3$ monolayer at room temperature

abstract: Two-dimensional thermoelectric materials with a figure of merit $ZT$, which is greater than 2.0 at room temperature, would be highly desirable in energy conversion since the efficiency is competitive to conventional energy conversion techniques. Here, we propose that the indium triphosphide (InP$_3$) monolayer offers an extraordinary $ZT$ of 2.2 at 300 K by using quantum calculations within the ballistic thermal transport region. A remarkably low and isotropic phononic thermal conductivity is founded, which is due to flat lattice vibration modes. This low thermal conductivity takes a major responsibility to the impressively high $ZT$. Moreover, a large $ZT$ that is greater than 1.5 can be maintained, even if a 1% mechanic extension is applied on the lattice. These results suggest that the InP$_3$ monolayer is a promising candidate for low dimensional thermoelectric applications.


title: Learning for Video Compression

abstract: One key challenge to learning-based video compression is that motion predictive coding, a very effective tool for video compression, can hardly be trained into a neural network. In this paper we propose the concept of PixelMotionCNN (PMCNN) which includes motion extension and hybrid prediction networks. PMCNN can model spatiotemporal coherence to effectively perform predictive coding inside the learning network. On the basis of PMCNN, we further explore a learning-based framework for video compression with additional components of iterative analysis/synthesis, binarization, etc. Experimental results demonstrate the effectiveness of the proposed scheme. Although entropy coding and complex configurations are not employed in this paper, we still demonstrate superior performance compared with MPEG-2 and achieve comparable results with H.264 codec. The proposed learning-based scheme provides a possible new direction to further improve compression efficiency and functionalities of future video coding.