title: Tests of hidden variable models by the relaxation of the measurement independence condition

abstract: Bell inequalities or Bell-like experiments are supposed to test hidden variable theories based on three intuitive assumptions: determinism, locality and measurement independence. If one of the assumptions of Bell inequality is properly relaxed, the probability distribution of the singlet state, for example, can be reproduced by a hidden variable model. Models that deal with the relaxation of some condition above, with more than one hidden variable, have been studied in the literature nowadays. In this work the relation between the number of hidden variables and the degree of relaxation necessary to reproduce the singlet correlations is investigated. For the examples studied, it is shown that the increase of the number of hidden variables does not allow for more efficiency in the reproduction of quantum correlations.


title: Building the Space Elevator: Lessons from Biological Design

abstract: One of the biggest perceived challenges in building megastructures, such as the space elevator, is the unavailability of materials with sufficient tensile strength. The presumed necessity of very strong materials stems from a design paradigm which requires structures to operate at a small fraction of their maximum tensile strength (usually, 50% or less). This criterion limits the probability of failure by giving structures sufficient leeway in handling stochastic components, such as variability in material strength and/or external forces. While reasonable for typical engineering structures, low working stress ratios --- defined as operating stress as a fraction of ultimate tensile strength --- in the case of megastructures are both too stringent and unable to adequately control the failure probability. We draw inspiration from natural biological structures, such as bones, tendons and ligaments, which are made up of smaller substructures and exhibit self-repair, and suggest a design that requires structures to operate at significantly higher stress ratios, while maintaining reliability through a continuous repair mechanism. We outline a mathematical framework for analysing the reliability of structures with components exhibiting probabilistic rupture and repair that depend on their time-in-use (age). Further, we predict time-to-failure distributions for the overall structure. We then apply this framework to the space elevator and find that a high degree of reliability is achievable using currently existing materials, provided it operates at sufficiently high working stress ratios, sustained through an autonomous repair mechanism, implemented via, e.g., robots.


title: Efficient Search of Compact QC-LDPC and SC-LDPC Convolutional Codes with Large Girth

abstract: We propose a low-complexity method to find quasi-cyclic low-density parity-check block codes with girth 10 or 12 and shorter length than those designed through classical approaches. The method is extended to time-invariant spatially coupled low-density parity-check convolutional codes, permitting to achieve small syndrome former constraint lengths. Several numerical examples are given to show its effectiveness.


title: MultiMesh Finite Elements with Flexible Mesh Sizes

abstract: We analyze a new framework for expressing finite element methods on arbitrarily many intersecting meshes: multimesh finite element methods. The multimesh finite element method, first presented in [40], enables the use of separate meshes to discretize parts of a computational domain that are naturally separate; such as the components of an engine, the domains of a multiphysics problem, or solid bodies interacting under the influence of forces from surrounding fluids or other physical fields. Furthermore, each of these meshes may have its own mesh parameter. In the present paper we study the Poisson equation and show that the proposed formulation is stable without assumptions on the relative sizes of the mesh parameters. In particular, we prove optimal order a priori error estimates as well as optimal order estimates of the condition number. Throughout the analysis, we trace the dependence of the number of intersecting meshes. Numerical examples are included to illustrate the stability of the method.


title: Elongation and shape changes in organisms with cell walls: a dialogue between experiments and models

abstract: The generation of anisotropic shapes occurs during morphogenesis of almost all organisms. With the recent renewal of the interest in mechanical aspects of morphogenesis, it has become clear that mechanics contributes to anisotropic forms in a subtle interaction with various molecular actors. Here, we consider plants, fungi, oomycetes, and bacteria, and we review the mechanisms by which elongated shapes are generated and maintained. We focus on theoretical models of the interplay between growth and mechanics, in relation with experimental data, and discuss how models may help us improve our understanding of the underlying biological mechanisms.


title: Liquid Scintillator Response to Proton Recoils in the 10-100 keV Range

abstract: We study the response of EJ-301 liquid scintillator to monochromatic 244.6 $\pm$ 8.4 keV neutrons, targeting the 10-100 keV proton recoil energy interval. Limited experimental information exists for proton light yield in this range, for this or any other organic scintillator. Our results confirm the adequacy of a modified Birks' model, common to all organic scintillator formulations, predicting a marked increase in quenching factor as proton energy approaches the few keV regime. The relevance of this behavior within the context of searches for low-mass particle dark matter is mentioned.

categories: physics.ins-det astro-ph.CO astro-ph.IM hep-ex nucl-ex


title: Deep Probabilistic Programming Languages: A Qualitative Study

abstract: Deep probabilistic programming languages try to combine the advantages of deep learning with those of probabilistic programming languages. If successful, this would be a big step forward in machine learning and programming languages. Unfortunately, as of now, this new crop of languages is hard to use and understand. This paper addresses this problem directly by explaining deep probabilistic programming languages and indirectly by characterizing their current strengths and weaknesses.


title: On Learning Intrinsic Rewards for Policy Gradient Methods

abstract: In many sequential decision making tasks, it is challenging to design reward functions that help an RL agent efficiently learn behavior that is considered good by the agent designer. A number of different formulations of the reward-design problem, or close variants thereof, have been proposed in the literature. In this paper we build on the Optimal Rewards Framework of Singh et.al. that defines the optimal intrinsic reward function as one that when used by an RL agent achieves behavior that optimizes the task-specifying or extrinsic reward function. Previous work in this framework has shown how good intrinsic reward functions can be learned for lookahead search based planning agents. Whether it is possible to learn intrinsic reward functions for learning agents remains an open problem. In this paper we derive a novel algorithm for learning intrinsic rewards for policy-gradient based learning agents. We compare the performance of an augmented agent that uses our algorithm to provide additive intrinsic rewards to an A2C-based policy learner (for Atari games) and a PPO-based policy learner (for Mujoco domains) with a baseline agent that uses the same policy learners but with only extrinsic rewards. Our results show improved performance on most but not all of the domains.


title: Vertex Operator Algebras and 3d N=4 gauge theories

abstract: We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs.


title: An Adaptive Clipping Approach for Proximal Policy Optimization

abstract: Very recently proximal policy optimization (PPO) algorithms have been proposed as first-order optimization methods for effective reinforcement learning. While PPO is inspired by the same learning theory that justifies trust region policy optimization (TRPO), PPO substantially simplifies algorithm design and improves data efficiency by performing multiple epochs of \emph{clipped policy optimization} from sampled data. Although clipping in PPO stands for an important new mechanism for efficient and reliable policy update, it may fail to adaptively improve learning performance in accordance with the importance of each sampled state. To address this issue, a new surrogate learning objective featuring an adaptive clipping mechanism is proposed in this paper, enabling us to develop a new algorithm, known as PPO-$\lambda$. PPO-$\lambda$ optimizes policies repeatedly based on a theoretical target for adaptive policy improvement. Meanwhile, destructively large policy update can be effectively prevented through both clipping and adaptive control of a hyperparameter $\lambda$ in PPO-$\lambda$, ensuring high learning reliability. PPO-$\lambda$ enjoys the same simple and efficient design as PPO. Empirically on several Atari game playing tasks and benchmark control tasks, PPO-$\lambda$ also achieved clearly better performance than PPO.


title: Mage: Online Interference-Aware Scheduling in Multi-Scale Heterogeneous Systems

abstract: Heterogeneity has grown in popularity both at the core and server level as a way to improve both performance and energy efficiency. However, despite these benefits, scheduling applications in heterogeneous machines remains challenging. Additionally, when these heterogeneous resources accommodate multiple applications to increase utilization, resources are prone to contention, destructive interference, and unpredictable performance. Existing solutions examine heterogeneity either across or within a server, leading to missed performance and efficiency opportunities. We present Mage, a practical interference-aware runtime that optimizes performance and efficiency in systems with intra- and inter-server heterogeneity. Mage leverages fast and online data mining to quickly explore the space of application placements, and determine the one that minimizes destructive interference between co-resident applications. Mage continuously monitors the performance of active applications, and, upon detecting QoS violations, it determines whether alternative placements would prove more beneficial, taking into account any overheads from migration. Across 350 application mixes on a heterogeneous CMP, Mage improves performance by 38% and up to 2x compared to a greedy scheduler. Across 160 mixes on a heterogeneous cluster, Mage improves performance by 30% on average and up to 52% over the greedy scheduler, and by 11% over the combination of Paragon [15] for inter- and intra-server heterogeneity.


title: Recursion Operator and B\"acklund Transformation for Super mKdV Hierarchy

abstract: In this paper we consider the ${\cal N}=1$ supersymmetric mKdV hierarchy composed of positive odd flows embedded within an affine $\hat sl(2,1)$ algebra. Its B\"acklund transformations are constructed in terms of a gauge transformation preserving the zero curvature representation. The recursion operator relating consecutive flows is derived and shown to relate their B\"acklund transformations.


title: Optimal Carbon Taxes for Emissions Targets in the Electricity Sector

abstract: The most dangerous effects of anthropogenic climate change can be mitigated by using emissions taxes or other regulatory interventions to reduce greenhouse gas (GHG) emissions. This paper takes a regulatory viewpoint and describes the Weighted Sum Bisection method to determine the lowest emission tax rate that can reduce the anticipated emissions of the power sector below a prescribed, regulatorily-defined target. This bi-level method accounts for a variety of operating conditions via stochastic programming and remains computationally tractable for realistically large planning test systems, even when binary commitment decisions and multi-period constraints on conventional generators are considered. Case studies on a modified ISO New England test system demonstrate that this method reliably finds the minimum tax rate that meets emissions targets. In addition, it investigates the relationship between system investments and the tax-setting process. Introducing GHG emissions taxes increases the value proposition for investment in new cleaner generation, transmission, and energy efficiency; conversely, investing in these technologies reduces the tax rate required to reach a given emissions target.


title: Triggers for cooperative behavior in the thermodynamic limit: a case study in Public goods game

abstract: In this work, we aim to answer the question: what triggers cooperative behavior in the thermodynamic limit by taking recourse to the Public goods game. Using the idea of mapping the 1D Ising model Hamiltonian with nearest neighbor coupling to payoffs in the game theory we calculate the Magnetisation of the game in the thermodynamic limit. We see a phase transition in the thermodynamic limit of the two player Public goods game. We observe that punishment acts as an external field for the two player Public goods game triggering cooperation or provide strategy, while cost can be a trigger for suppressing cooperation or free riding. Finally, reward also acts as a trigger for providing while the role of inverse temperature (fluctuations in choices) is to introduce randomness in strategic choices.

categories: physics.soc-ph cond-mat.stat-mech cs.GT econ.EM q-bio.PE


title: Objective Bayesian Inference for Repairable System Subject to Competing Risks

abstract: Competing risks models for a repairable system subject to several failure modes are discussed. Under minimal repair, it is assumed that each failure mode has a power law intensity. An orthogonal reparametrization is used to obtain an objective Bayesian prior which is invariant under relabelling of the failure modes. The resulting posterior is a product of gamma distributions and has appealing properties: one-to-one invariance, consistent marginalization and consistent sampling properties. Moreover, the resulting Bayes estimators have closed-form expressions and are naturally unbiased for all the parameters of the model. The methodology is applied in the analysis of (i) a previously unpublished dataset about recurrent failure history of a sugarcane harvester and (ii) records of automotive warranty claims introduced in [1]. A simulation study was carried out to study the efficiency of the methods proposed.


title: A Galerkin Isogeometric Method for Karhunen-Loeve Approximation of Random Fields

abstract: This paper marks the debut of a Galerkin isogeometric method for solving a Fredholm integral eigenvalue problem, enabling random field discretization by means of the Karhunen-Loeve expansion. The method involves a Galerkin projection onto a finite-dimensional subspace of a Hilbert space, basis splines (B-splines) and non-uniform rational B-splines (NURBS) spanning the subspace, and standard methods of eigensolutions. Compared with the existing Galerkin methods, such as the finite-element and mesh-free methods, the NURBS-based isogeometric method upholds exact geometrical representation of the physical or computational domain and exploits regularity of basis functions delivering globally smooth eigensolutions. Therefore, the introduction of the isogeometric method for random field discretization is not only new; it also offers a few computational advantages over existing methods. In the big picture, the use of NURBS for random field discretization enriches the isogeometric paradigm. As a result, an uncertainty quantification pipeline of the future can be envisioned where geometric modeling, stress analysis, and stochastic simulation are all integrated using the same building blocks of NURBS. Three numerical examples, including a three-dimensional random field discretization problem, illustrate the accuracy and convergence properties of the isogeometric method for obtaining eigensolutions.


title: Communication-Aware Scheduling of Serial Tasks for Dispersed Computing

abstract: There is a growing interest in development of in-network dispersed computing paradigms that leverage the computing capabilities of heterogeneous resources dispersed across the network for processing massive amount of data is collected at the edge of the network. We consider the problem of task scheduling for such networks, in a dynamic setting in which arriving computation jobs are modeled as chains, with nodes representing tasks, and edges representing precedence constraints among tasks. In our proposed model, motivated by significant communication costs in dispersed computing environments, the communication times are taken into account. More specifically, we consider a network where servers are capable of serving all task types, and sending the results of processed tasks from one server to another server results in some communication delay that makes the design of optimal scheduling policy significantly more challenging than classical queueing networks. As the main contributions of the paper, we first characterize the capacity region of the network, then propose a novel virtual queueing network encoding the state of the network. Finally, we propose a Max-Weight type scheduling policy, and considering the virtual queueing network in the fluid limit, we use a Lyapunov argument to show that the policy is throughput-optimal.


title: Bayesian parameter estimation for relativistic heavy-ion collisions

abstract: I develop and apply a Bayesian method for quantitatively estimating properties of the quark-gluon plasma (QGP), an extremely hot and dense state of fluid-like matter created in relativistic heavy-ion collisions. The QGP cannot be directly observed -- it is extraordinarily tiny and ephemeral, about $10^{-14}$ meters in size and living $10^{-23}$ seconds before freezing into discrete particles -- but it can be indirectly characterized by matching the output of a computational collision model to experimental observations. The model, which takes the QGP properties of interest as input parameters, is calibrated to fit the experimental data, thereby extracting a posterior probability distribution for the parameters. In this dissertation, I construct a specific computational model of heavy-ion collisions and formulate the Bayesian parameter estimation method, which is based on general statistical techniques. I then apply these tools to estimate fundamental QGP properties, including its key transport coefficients and characteristics of the initial state of heavy-ion collisions. Perhaps most notably, I report the most precise estimate to date of the temperature-dependent specific shear viscosity $\eta/s$, the measurement of which is a primary goal of heavy-ion physics. The estimated minimum value is $\eta/s = 0.085_{-0.025}^{+0.026}$ (posterior median and 90% uncertainty), remarkably close to the conjectured lower bound of $1/4\pi \simeq 0.08$. The analysis also shows that $\eta/s$ likely increases slowly as a function of temperature. Other estimated quantities include the temperature-dependent bulk viscosity $\zeta/s$, the scaling of initial state entropy deposition, and the duration of the pre-equilibrium stage that precedes QGP formation.


title: Large-scale relativistic complete active space self-consistent field with robust convergence

abstract: We report an efficient algorithm using density fitting for the relativistic complete active space self-consistent field (CASSCF) method, which is significantly more stable than the algorithm previously reported by one of the authors [J. E. Bates and T. Shiozaki, J. Chem. Phys. 142, 044112 (2015)]. Our algorithm is based on the second-order orbital update scheme with an iterative augmented Hessian procedure, in which the density-fitted orbital Hessian is directly contracted to the trial vectors. Using this scheme, each microiteration is made less time consuming than one Dirac-Hartree-Fock iteration, and macroiterations converge quadratically. In addition, we show that the CASSCF calculations with the Gaunt and full Breit interactions can be efficiently performed by means of approximate orbital Hessians computed with the Dirac-Coulomb Hamiltonian. It is demonstrated that our algorithm can also be applied to systems under an external magnetic field, for which all of the molecular integrals are computed using gauge-including atomic orbitals.


title: Topological Insulators -- A review

abstract: These lecture notes were prepared for a mixed audience of students, postdocs and faculty from the Indian Institute of Technology Madras, India and neighboring institutions, particularly the Institute of Mathematical Sciences. I am not an expert on the subject and during the few years I spent working on the Quantum Hall effect, I had not fully appreciated that it was part of a family of topological insulators. It was a pleasure to dig a little deeper into this subject and to share its wonders with others. In preparing these lectures I relied heavily on the help of Ganpathy Murthy (UKy) and a very helpful conversation with Steve Kivelson (Stanford.) I am of course responsible any errors despite their efforts. I also relied on some excellent Powerpoint slides of various talks. I have furnished a few choice references at the end and very few references to original papers. I cover only $d=1$ and $d=2$.


title: Realism-information complementarity in photonic weak measurements

abstract: The emergence of realistic properties is a key problem in understanding the quantum-to-classical transition. In this respect, measurements represent a way to interface quantum systems with the macroscopic world: these can be driven in the weak regime, where a reduced back-action can be imparted by choosing meter states able to extract different amounts of information. Here we explore the implications of such weak measurement for the variation of realistic properties of two-level quantum systems pre- and post-measurement, and extend our investigations to the case of open systems implementing the measurements.


title: Robust Machine Comprehension Models via Adversarial Training

abstract: It is shown that many published models for the Stanford Question Answering Dataset (Rajpurkar et al., 2016) lack robustness, suffering an over 50% decrease in F1 score during adversarial evaluation based on the AddSent (Jia and Liang, 2017) algorithm. It has also been shown that retraining models on data generated by AddSent has limited effect on their robustness. We propose a novel alternative adversary-generation algorithm, AddSentDiverse, that significantly increases the variance within the adversarial training data by providing effective examples that punish the model for making certain superficial assumptions. Further, in order to improve robustness to AddSent's semantic perturbations (e.g., antonyms), we jointly improve the model's semantic-relationship learning capabilities in addition to our AddSentDiverse-based adversarial training data augmentation. With these additions, we show that we can make a state-of-the-art model significantly more robust, achieving a 36.5% increase in F1 score under many different types of adversarial evaluation while maintaining performance on the regular SQuAD task.


title: The volume of the N-fold reduced product of coadjoint orbits

abstract: We compute the symplectic volume of the symplectic reduced space of the product of N coadjoint orbits of a compact connected Lie group G. We compare our result with the result of Suzuki and Takakura , who study this in the case G = SU(3) starting from geometric quantization.


title: X-ray versus infrared selection of distant galaxy clusters: A case study using the XMM-LSS and SpARCS cluster samples

abstract: We present a comparison of two samples of z>0.8 galaxy clusters selected using different wavelength-dependent techniques and examine the physical differences between them. We consider 18 clusters from the X-ray selected XMM-LSS distant cluster survey and 92 clusters from the optical-MIR selected SpARCS cluster survey. Both samples are selected from the same approximately 9 square degree sky area and we examine them using common XMM-Newton, Spitzer-SWIRE and CFHT Legacy Survey data. Clusters from each sample are compared employing aperture measures of X-ray and MIR emission. We divide the SpARCS distant cluster sample into three sub-samples: a) X-ray bright, b) X-ray faint, MIR bright, and c) X-ray faint, MIR faint clusters. We determine that X-ray and MIR selected clusters display very similar surface brightness distributions of galaxy MIR light. In addition, the average location and amplitude of the galaxy red sequence as measured from stacked colour histograms is very similar in the X-ray and MIR-selected samples. The sub-sample of X-ray faint, MIR bright clusters displays a distribution of BCG-barycentre position offsets which extends to higher values than all other samples. This observation indicates that such clusters may exist in a more disturbed state compared to the majority of the distant cluster population sampled by XMM-LSS and SpARCS. This conclusion is supported by stacked X-ray images for the X-ray faint, MIR bright cluster sub-sample that display weak, centrally-concentrated X-ray emission, consistent with a population of growing clusters accreting from an extended envelope of material.


title: A nonlinear problem witha weight and a nonvanishing boundary datum

abstract: We consider the problem: $$\inf_{{u}\in {H}^{1}_{g}(\Omega),\|u\|_{q}=1} \int_{\Omega}{p(x)}|\nabla{u(x)}|^{2}dx-\lambda\int_{\Omega}| u(x)|^{2}dx$$ where $\Omega$ is a bounded domain in $\R^{n}$, ${n}\geq{4}$, $ p : \bar{\Omega}\longrightarrow \R$ is a given positive weight such that $p\in H^{1}(\Omega)\cap C(\bar{\Omega})$, $0< c_1 \leq p(x) \leq c_2$, $\lambda$ is a real constant and $q=\frac{2n}{n-2}$ and $g$ a given positive boundary data. The goal of this present paper is to show that minimizers do exist. We distinguish two cases, the first is solved by a convex argument while the second is not so straightforward and will be treated using the behavior of the weight near its minimum and the fact that the boundary datum is not zero.


title: The Growth of Black Holes from Population III Remnants in the Renaissance Simulations

abstract: The formation of stellar mass black holes from the remnants of Population III stars provides a source of initial black hole seeds with the potential to grow into intermediate or, in rare cases, possibly supermassive black holes. We use the Renaissance simulation suite to follow the growth of over 15,000 black holes born into mini-haloes in the early Universe. We compute the evolution of the black holes by post-processing individual remnant Population III star particles in the Renaissance simulation snapshots. The black holes populate haloes from 10$^{6}$ M$_{\odot}$ up to 10$^{9}$ M$_{\odot}$. We find that all of the black holes display very inefficient growth. On average the black holes increase their initial mass by a factor 10$^{-5}$, with the most active black holes increasing their mass by approximately 10%. Only a single black hole experiences any period of super-Eddington accretion, but the duration is very short and not repeated. Furthermore, we find no correlation of black hole accretion with halo mass in the mass range sampled. Within most haloes, we identify clumps of cool, dense gas for which accretion rates would be high, but instances of black holes encountering these clumps are rare and short-lived. Star formation competes with black hole growth by consuming available gas and driving down accretion rates through feedback. We conclude that the black holes born from Population III remnants do not form a significant population of intermediate mass black holes in the early Universe and will need to wait until later times to undergo significant accretion, if at all.


title: Probing Nonlocal Effects in Metals with Graphene Plasmons

abstract: In this paper we analyze the effects of nonlocality on the optical properties of a system consisting of a thin metallic film separated from a graphene sheet by a hexagonal boron nitride (hBN) layer. We show that nonlocal effects in the metal have a strong impact on the spectrum of the surface plasmon-polaritons on graphene. If the graphene sheet is shaped into a grating, we show that the extinction curves can be used to shed light on the importance of nonlocal effects in metals. Therefore, graphene surface plasmons emerge as a tool for probing nonlocal effects in metallic nanostructures, including thin metallic films. As a byproduct of our study, we show that nonlocal effects lead to smaller losses for the graphene plasmons than what is predicted by a local calculation. We show that these effects can be very well mimicked using a local theory with an effective spacer thickness larger than its actual value.


title: ALMA resolves CI emission from the $\beta$ Pictoris debris disk

abstract: The debris disk around $\beta$~Pictoris is known to contain gas. Previous ALMA observations revealed a CO belt at $\sim$85 au with a distinct clump, interpreted as a location of enhanced gas production. Photodissociation converts CO into C and O within $\sim$50 years. We resolve CI emission at 492 GHz using ALMA and study its spatial distribution. CI shows the same clump as seen for CO. This is surprising, as C is expected to quickly spread in azimuth. We derive a low C mass (between $5\times10^{-4}$ and $3.1\times10^{-3}$ M$_\oplus$), indicating that gas production started only recently (within $\sim$5000 years). No evidence is seen for an atomic accretion disk inwards of the CO belt, perhaps because the gas did not yet have time to spread radially. The fact that C and CO share the same asymmetry argues against a previously proposed scenario where the clump is due to an outward migrating planet trapping planetesimals in an resonance; nor can the observations be explained by an eccentric planetesimal belt secularly forced by a planet. Instead, we suggest that the dust and gas disks should be eccentric. Such a configuration, we further speculate, might be produced by a recent tidal disruption event. Assuming that the disrupted body has had a CO mass fraction of 10%, its total mass would be $\gtrsim$3 $M_\mathrm{Moon}$.


title: Towards Lightweight Error Detection Schemes for Implementations of MixColumns in Lightweight Cryptography

abstract: In this paper, through considering lightweight cryptography, we present a comparative realization of MDS matrices used in the VLSI implementations of lightweight cryptography. We verify the MixColumn/MixNibble transformation using MDS matrices and propose reliability approaches for thwarting natural and malicious faults. We note that one other contribution of this work is to consider not only linear error detecting codes but also recomputation mechanisms as well as fault space transformation (FST) adoption for lightweight cryptographic algorithms. Our intention in this paper is to propose reliability and error detection mechanisms (through linear codes, recomputations, and FST adopted for lightweight cryptography) to consider the error detection schemes in designing beforehand taking into account such algorithmic security. We also posit that the MDS matrices applied in the MixColumn (or MixNibble) transformation of ciphers to protect ciphers against linear and differential attacks should be incorporated in the cipher design in order to reduce the overhead of the applied error detection schemes. Finally, we present a comparative implementation framework on ASIC to benchmark the VLSI hardware implementation presented in this paper.


title: Unlearn What You Have Learned: Adaptive Crowd Teaching with Exponentially Decayed Memory Learners

abstract: With the increasing demand for large amount of labeled data, crowdsourcing has been used in many large-scale data mining applications. However, most existing works in crowdsourcing mainly focus on label inference and incentive design. In this paper, we address a different problem of adaptive crowd teaching, which is a sub-area of machine teaching in the context of crowdsourcing. Compared with machines, human beings are extremely good at learning a specific target concept (e.g., classifying the images into given categories) and they can also easily transfer the learned concepts into similar learning tasks. Therefore, a more effective way of utilizing crowdsourcing is by supervising the crowd to label in the form of teaching. In order to perform the teaching and expertise estimation simultaneously, we propose an adaptive teaching framework named JEDI to construct the personalized optimal teaching set for the crowdsourcing workers. In JEDI teaching, the teacher assumes that each learner has an exponentially decayed memory. Furthermore, it ensures comprehensiveness in the learning process by carefully balancing teaching diversity and learner's accurate learning in terms of teaching usefulness. Finally, we validate the effectiveness and efficacy of JEDI teaching in comparison with the state-of-the-art techniques on multiple data sets with both synthetic learners and real crowdsourcing workers.


title: The search for high-mass protostars with ALMA revealed up to kilo-parsec scales (SPARKS): I. Indication for a centrifugal barrier in the environment of a single high-mass envelope

abstract: The formation of the most massive O-type stars is poorly understood. We present a case study of a young massive clump from the ATLASGAL survey, G328.2551-0.5321. It exhibits a bolometric luminosity of 1.3$\times$10$^4$ L$_{\odot}$ corresponding to a current protostellar mass of $\sim$11 and 16 M$_{\odot}$. We analyze high angular-resolution observations with ALMA at $\sim$0.17" corresponding a physical scale of $\sim$400 au in dust continuum and molecular lines. The dust continuum emission reveals a single high-mass protostellar envelope and shows evidence for a marginally resolved continuum source. We detect a rotational line of CH$_3$OH within its $v_{\rm t}$=1 torsionally excited state revealing two bright peaks of emission spatially offset from the dust continuum peak, and exhibiting a distinct velocity component $\pm$4.5 km s$^{-1}$ offset compared to the source $v_{\rm lsr}$. Local thermodynamic equilibrium analysis suggests N(CH$_3$OH)=1.2$-$2$\times$10$^{19}$ cm$^{-2}$, and kinetic temperatures of 160$-$200 K at the position of these peaks. Their velocity shifts correspond well to the expected Keplerian velocity around a central object with 15M$_{\odot}$ consistent with the mass estimate based on the source's bolometric luminosity. We propose a picture where the CH$_3$OH emission peaks trace the accretion shocks around the centrifugal barrier, pinpointing the interaction region between the collapsing envelope and an accretion disk. Because the HC$_3$N $v_{\rm 7}$=1e ($J$=38-37) line shows compact emission, and a velocity pattern consistent with models of Keplerian rotation, we suggest that this could be a new tracer for compact accretion disks around high-mass protostars. The estimated physical properties of the accretion disk suggest a specific angular momentum several times larger than typically observed towards low-mass protostars.


title: On Rigid Origami II: Quadrilateral Creased Papers

abstract: Miura-ori is well-known for its capability of flatly folding a sheet of paper through a tessellated crease pattern made of repeating parallelograms. Many potential applications have been based on the Miura-ori and its primary variations. Here we are considering how to generalize the Miura-ori: what is the collection of rigid-foldable creased papers with a similar quadrilateral crease pattern as the Miura-ori? This paper reports some progress. We find some new variations of Miura-ori with less symmetry than the known rigid-foldable quadrilateral meshes. They are not necessarily developable or flat-foldable, and still only have single degree of freedom in their rigid folding motion. This article presents a classification of the new variations we discovered and explains the methods in detail.


title: The APOGEE-2 Survey of the Orion Star Forming Complex: I. Target Selection and Validation with early observations

abstract: The Orion Star Forming Complex (OSFC) is a central target for the APOGEE-2 Young Cluster Survey. Existing membership catalogs span limited portions of the OSFC, reflecting the difficulty of selecting targets homogeneously across this extended, highly structured region. We have used data from wide field photometric surveys to produce a less biased parent sample of young stellar objects (YSOs) with infrared (IR) excesses indicative of warm circumstellar material or photometric variability at optical wavelengths across the full 420 square degrees extent of the OSFC. When restricted to YSO candidates with H < 12.4, to ensure S/N ~100 for a six visit source, this uniformly selected sample includes 1307 IR excess sources selected using criteria vetted by Koenig & Liesawitz and 990 optical variables identified in the Pan-STARRS1 3$\pi$ survey: 319 sources exhibit both optical variability and evidence of circumstellar disks through IR excess. Objects from this uniformly selected sample received the highest priority for targeting, but required fewer than half of the fibers on each APOGEE-2 plate. We fill the remaining fibers with previously confirmed and new color-magnitude selected candidate OSFC members. Radial velocity measurements from APOGEE-1 and new APOGEE-2 observations taken in the survey's first year indicate that ~90% of the uniformly selected targets have radial velocities consistent with Orion membership.The APOGEE-2 Orion survey will include >1100 bona fide YSOs whose uniform selection function will provide a robust sample for comparative analyses of the stellar populations and properties across all sub-regions of Orion.


title: Endofunctors and Poincar\'e-Birkhoff-Witt theorems

abstract: We determine what appears to be the bare-bones categorical framework for Poincar\'e-Birkhoff-Witt type theorems about universal enveloping algebras of various algebraic structures. Our language is that of endofunctors; we establish that a natural transformation of monads enjoys a Poincar\'e-Birkhoff-Witt property only if that transformation makes its codomain a free right module over its domain. We conclude with a number of applications to show how this unified approach proves various old and new Poincar\'e-Birkhoff-Witt type theorems. In particular, we prove a PBW type result for universal enveloping dendriform algebras of pre-Lie algebras, answering a question of Loday.


title: On coprime percolation, the visibility graphon, and the local limit of the GCD profile

abstract: Colour an element of $\mathbb{Z}^d$ white if its coordinates are coprime and black otherwise. What does this colouring look like when seen from a "uniformly chosen" point of $\mathbb{Z}^d$? More generally, label every element of $\mathbb{Z}^d$ by its GCD: what do the labels look like around a "uniform" point of $\mathbb{Z}^d$? We answer these questions and generalisations of them, provide results of graphon convergence, as well as a "local/graphon" convergence. One can also investigate the percolative properties of the colouring under study.


title: A Generalized Cover's Problem

abstract: Generalizing a problem posed by Cover, we propose an adversarial game in which a permutation is incrementally constructed in a setting of partial information. As in the secretary problem, this permutation is exposed in stages via the successive components of its Lehmer code. Extending Cover's result, which constitutes the case $n = 2$, we establish that a random permutation of $n$ adversarially constructed real numbers can be reconstructed with better-than-random probability, provided that certain among the numbers it permutes are made visible during the process.


title: Exactly solvable quantum impurity model with inverse-square interactions

abstract: We construct an exactly solvable quantum impurity model which consists of spin-1/2 conduction fermions and the spin-1/2 magnetic moment. The ground state is a Gutzwiller projected Fermi sea with non-orthonormal modes and its wave function in the site-occupation basis is a Jastrow-type homogeneous polynomial. The parent Hamiltonian has all-to-all inverse-square hopping terms between the conduction fermions and inverse-square spin-exchange terms between the conduction fermions and the magnetic moments. The low-lying energy levels, spin-spin correlation function, and von Neumann entanglement entropy of our model demonstrate that it exhibits the essential aspects of spin-1/2 Kondo physics. The machinery developed in this work can generate many other exactly solvable quantum impurity models.

categories: cond-mat.str-el cond-mat.stat-mech hep-th math-ph math.MP


title: Simplex Queues for Hot-Data Download

abstract: In cloud storage systems, hot data is usually replicated over multiple nodes in order to accommodate simultaneous access by multiple users as well as increase the fault tolerance of the system. Recent cloud storage research has proposed using availability codes, which is a special class of erasure codes, as a more storage efficient way to store hot data. These codes enable data recovery from multiple, small disjoint groups of servers. The number of the recovery groups is referred to as the availability and the size of each group as the locality of the code. Until now, we have very limited knowledge on how code locality and availability affect data access time. Data download from these systems involves multiple fork-join queues operating in-parallel, making the analysis of access time a very challenging problem. In this paper, we present an approximate analysis of data access time in storage systems that employ simplex codes, which are an important and in certain sense optimal class of availability codes. We consider and compare three strategies in assigning download requests to servers; first one aggressively exploits the storage availability for faster download, second one implements only load balancing, and the last one employs storage availability only for hot data download without incurring any negative impact on the cold data download.


title: Multivariate Gaussian Process Regression for Multiscale Data Assimilation and Uncertainty Reduction

abstract: We present a multivariate Gaussian process regression approach for parameter field reconstruction based on the field's measurements collected at two different scales, the coarse and fine scales. The proposed approach treats the parameter field defined at fine and coarse scales as a bivariate Gaussian process with a parameterized multiscale covariance model. We employ a full bivariate Mat\'{e}rn kernel as multiscale covariance model, with shape and smoothness hyperparameters that account for the coarsening relation between fine and coarse fields. In contrast to similar multiscale kriging approaches that assume a known coarsening relation between scales, the hyperparameters of the multiscale covariance model are estimated directly from data via pseudo-likelihood maximization. We illustrate the proposed approach with a predictive simulation application for saturated flow in porous media. Multiscale Gaussian process regression is employed to estimate two-dimensional log-saturated hydraulic conductivity distributions from synthetic multiscale measurements. The resulting stochastic model for coarse saturated conductivity is employed to quantify and reduce uncertainty in pressure predictions.


title: Layers in the Central Orion Nebula

abstract: The existence of multiple layers in the inner Orion Nebula has been revealed using data from an Atlas of spectra at 2" and 12 km/s resolution. These data were sometimes grouped over Samples of 10"x10"to produce high Signal to Noise spectra and sometimes grouped into sequences of pseudo-slit Spectra of 12.8"--39" width for high spatial resolution studies. Multiple velocity systems were found: Vmif traces the Main Ionization Front (MIF), Vscat arises from back-scattering of Vmif emission by particles in the background Photon Dissociation Region (PDR), Vlow is an ionized layer in front of the MIF and if it is the source of the stellar absorption lines seen in the Trapezium stars, it must lie between the foreground Veil and those stars, Vnew may represent ionized gas evaporating from the Veil away from the observer. There are features such as the Bright Bar where variations of velocities are due to changing tilts of the MIF, but velocity changes above about 25"arise from variations in velocity of the background PDR. In a region 25" ENE of the Orion-S Cloud one finds dramatic changes in the [OIII]components, including the signals from the Vlowoiii and Vmifoiii becoming equal, indicating shadowing of gas from stellar photons of >24.6 eV. This feature is also seen in areas to the west and south of the Orion-S Cloud.


title: Molecular gas masses of gamma-ray burst host galaxies

abstract: We obtained CO(2-1) observations of seven GRB hosts with the APEX and IRAM 30m telescopes. We analysed these data together with all other hosts with previous CO observations. We obtained detections for 3 GRB hosts (980425, 080207, and 111005A) and upper limits for the remaining 4 (031203, 060505, 060814, and 100316D). In our entire sample of 12 CO-observed GRB hosts, 3 are clearly deficient in molecular gas, even taking into account their metallicity (980425, 060814, and 080517). Four others are close to the best-fit line for other star-forming galaxies on the SFR-MH2 plot (051022, 060505, 080207, and 100316D). One host is clearly molecule rich (111005A). Finally, the data for 4 GRB hosts are not deep enough to judge whether they are molecule deficient (000418, 030329, 031203, and 090423). The median value of the molecular gas depletion time, MH2/SFR, of GRB hosts is ~0.3 dex below that of other star-forming galaxies, but this result has low statistical significance. A Kolmogorov-Smirnov test performed on MH2/SFR shows an only ~2sigma difference between GRB hosts and other galaxies. This difference can partly be explained by metallicity effects, since the significance decreases to ~1sigma for MH2/SFR versus~metallicity. We found that any molecular gas deficiency of GRB hosts has low statistical significance and that it can be attributed to their lower metallicities; and thus the sample of GRB hosts has molecular properties that are consistent with those of other galaxies, and they can be treated as representative star-forming galaxies. Given the concentration of atomic gas recently found close to GRB and supernova sites, indicating recent gas inflow, our results about the weak molecular deficiency imply that such an inflow does not enhance the SFRs significantly, or that atomic gas converts efficiently into the molecular phase, which fuels star formation.


title: Probing the Curious Case of a Galaxy Cluster Merger in Abell 115 with High Fidelity Chandra X-ray Temperature and Radio Maps

abstract: We present results from an X-ray and radio study of the merging galaxy cluster Abell 115. We use the full set of 5 Chandra observations taken of A115 to date (360 ks total integration) to construct high-fidelity temperature and surface brightness maps. We also examine radio data from the Very Large Array at 1.5 GHz and the Giant Metrewave Radio Telescope at 0.6 GHz. We propose that the high X-ray spectral temperature between the subclusters results from the interaction of the bow shocks driven into the intracluster medium by the motion of the subclusters relative to one another. We have identified morphologically similar scenarios in Enzo numerical N-body/hydrodynamic simulations of galaxy clusters in a cosmological context. In addition, the giant radio relic feature in A115, with an arc-like structure and a relatively flat spectral index, is likely consistent with other shock-associated giant radio relics seen in other massive galaxy clusters. We suggest a dynamical scenario that is consistent with the structure of the X-ray gas, the hot region between the clusters, and the radio relic feature.


title: Minimax rate of testing in sparse linear regression

abstract: We consider the problem of testing the hypothesis that the parameter of linear regression model is 0 against an s-sparse alternative separated from 0 in the l2-distance. We show that, in Gaussian linear regression model with p < n, where p is the dimension of the parameter and n is the sample size, the non-asymptotic minimax rate of testing has the form sqrt((s/n) log(1 + sqrt(p)/s )). We also show that this is the minimax rate of estimation of the l2-norm of the regression parameter.


title: Observables in Inhomogeneous Ground States at Large Global Charge

abstract: As a sequel to previous work, we extend the study of the ground state configuration of the $D=3$, Wilson-Fisher conformal $O(4)$ model. In this work, we prove that for generic ratios of two charge densities, $\rho_1/\rho_2$, the ground-state configuration is inhomogeneous and that the inhomogeneity expresses itself towards longer spatial periods. This is the direct extension of the similar statements we previously made for $\rho_1/\rho_2\ll 1$. We also compute, at fixed set of charges, $\rho_1,\, \rho_2$, the ground state energy and the two-point function(s) associated with this inhomogeneous configuration on the torus. The ground state energy was found to scale $(\rho_1+\rho_2)^{3/2}$, as dictated by dimensional analysis and similarly to the case of the $O(2)$ model. Unlike the case of the $O(2)$ model, the ground also strongly violates cluster decomposition in the large-volume, fixed-density limit, with a two-point function that is negative definite at antipodal points of the torus at leading order at large charge.


title: A Capacity-Price Game for Uncertain Renewables Resources

abstract: Renewable resources are starting to constitute a growing portion of the total generation mix of the power system. A key difference between renewables and traditional generators is that many renewable resources are managed by individuals, especially in the distribution system. In this paper, we study the capacity investment and pricing problem, where multiple renewable producers compete in a decentralized market. It is known that most deterministic capacity games tend to result in very inefficient equilibria, even when there are a large number of similar players. In contrast, we show that due to the inherent randomness of renewable resources, the equilibria in our capacity game becomes efficient as the number of players grows and coincides with the centralized decision from the social planner's problem. This result provides a new perspective on how to look at the positive influence of randomness in a game framework as well as its contribution to resource planning, scheduling, and bidding. We validate our results by simulation studies using real world data.


title: Lightweight Hardware Architectures for Efficient Secure Hash Functions ECHO and Fugue

abstract: In cryptographic engineering, extensive attention has been devoted to ameliorating the performance and security of the algorithms within. Nonetheless, in the state-of-the-art, the approaches for increasing the reliability of the efficient hash functions ECHO and Fugue have not been presented to date. We propose efficient fault detection schemes by presenting closed formulations for the predicted signatures of different transformations in these algorithms. These signatures are derived to achieve low overhead for the specific transformations and can be tailored to include byte/word-wide predicted signatures. Through simulations, we show that the proposed fault detection schemes are highly-capable of detecting natural hardware failures and are capable of deteriorating the effectiveness of malicious fault attacks. The proposed reliable hardware architectures are implemented on the application-specific integrated circuit (ASIC) platform using a 65-nm standard technology to benchmark their hardware and timing characteristics. The results of our simulations and implementations show very high error coverage with acceptable overhead for the proposed schemes.


title: Deep Multimodal Subspace Clustering Networks

abstract: We present convolutional neural network (CNN) based approaches for unsupervised multimodal subspace clustering. The proposed framework consists of three main stages - multimodal encoder, self-expressive layer, and multimodal decoder. The encoder takes multimodal data as input and fuses them to a latent space representation. The self-expressive layer is responsible for enforcing the self-expressiveness property and acquiring an affinity matrix corresponding to the data points. The decoder reconstructs the original input data. The network uses the distance between the decoder's reconstruction and the original input in its training. We investigate early, late and intermediate fusion techniques and propose three different encoders corresponding to them for spatial fusion. The self-expressive layers and multimodal decoders are essentially the same for different spatial fusion-based approaches. In addition to various spatial fusion-based methods, an affinity fusion-based network is also proposed in which the self-expressive layer corresponding to different modalities is enforced to be the same. Extensive experiments on three datasets show that the proposed methods significantly outperform the state-of-the-art multimodal subspace clustering methods.


title: Schmidt games and Cantor winning sets

abstract: Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in doubling metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb{R}$, and we suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory.


title: Two-Player Games for Efficient Non-Convex Constrained Optimization

abstract: In recent years, constrained optimization has become increasingly relevant to the machine learning community, with applications including Neyman-Pearson classification, robust optimization, and fair machine learning. A natural approach to constrained optimization is to optimize the Lagrangian, but this is not guaranteed to work in the non-convex setting, and, if using a first-order method, cannot cope with non-differentiable constraints (e.g. constraints on rates or proportions). The Lagrangian can be interpreted as a two-player game played between a player who seeks to optimize over the model parameters, and a player who wishes to maximize over the Lagrange multipliers. We propose a non-zero-sum variant of the Lagrangian formulation that can cope with non-differentiable--even discontinuous--constraints, which we call the "proxy-Lagrangian". The first player minimizes external regret in terms of easy-to-optimize "proxy constraints", while the second player enforces the original constraints by minimizing swap regret. For this new formulation, as for the Lagrangian in the non-convex setting, the result is a stochastic classifier. For both the proxy-Lagrangian and Lagrangian formulations, however, we prove that this classifier, instead of having unbounded size, can be taken to be a distribution over no more than m+1 models (where m is the number of constraints). This is a significant improvement in practical terms.


title: Numerical Integration in Multiple Dimensions with Designed Quadrature

abstract: We present a systematic computational framework for generating positive quadrature rules in multiple dimensions on general geometries. A direct moment-matching formulation that enforces exact integration on polynomial subspaces yields nonlinear conditions and geometric constraints on nodes and weights. We use penalty methods to address the geometric constraints, and subsequently solve a quadratic minimization problem via the Gauss-Newton method. Our analysis provides guidance on requisite sizes of quadrature rules for a given polynomial subspace, and furnishes useful user-end stability bounds on error in the quadrature rule in the case when the polynomial moment conditions are violated by a small amount due to, e.g., finite precision limitations or stagnation of the optimization procedure. We present several numerical examples investigating optimal low-degree quadrature rules, Lebesgue constants, and 100-dimensional quadrature. Our capstone examples compare our quadrature approach to popular alternatives, such as sparse grids and quasi-Monte Carlo methods, for problems in linear elasticity and topology optimization.


title: Violation of Thermal Conductivity Bound in Horndeski Theory

abstract: We consider AdS black planar black hole in the four-dimensional Einstein-Maxwell-Horndeski theory with two free axions and analyse the thermodynamics of the black hole. We calculate the holographic thermoelectric conductivities of the dual field theory and determine the ratio of thermal conductivity over the temperature. At low temperature with zero electric current, we find that the ratio is proportional to temperature squared and hence can arbitrarily approach zero, providing an example that violates the thermal conductivity bound proposed in [arXiv:1511.05970].


title: Exact Lorentz-violating all-loop ultraviolet divergences in scalar field theories

abstract: In this work we evaluate analytically the ultraviolet divergences of Lorentz-violating massive O($N$) $\lambda\phi^{4}$ scalar field theories, which are exact in the Lorentz-violating mechanism, firstly explicitly at next-to-leading order and latter at any loop level through an induction procedure based on a theorem following from the exact approach, for computing the corresponding critical exponents. For attaining that goal, we employ three different and independent field-theoretic renormalization group methods. The results found for the critical exponents show that they are identical in the three distinct methods and equal to their Lorentz invariant counterparts. Furthermore, we show that the results obtained here, based on the single concept of loop order of the referred terms of the corresponding $\beta$-function and anomalous dimensions, reduce to the ones obtained through the earlier non-exact approach based on a joint redefinition of the field and coupling constant of the theory, in the appropriate limit.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Learning how to be robust: Deep polynomial regression

abstract: Polynomial regression is a recurrent problem with a large number of applications. In computer vision it often appears in motion analysis. Whatever the application, standard methods for regression of polynomial models tend to deliver biased results when the input data is heavily contaminated by outliers. Moreover, the problem is even harder when outliers have strong structure. Departing from problem-tailored heuristics for robust estimation of parametric models, we explore deep convolutional neural networks. Our work aims to find a generic approach for training deep regression models without the explicit need of supervised annotation. We bypass the need for a tailored loss function on the regression parameters by attaching to our model a differentiable hard-wired decoder corresponding to the polynomial operation at hand. We demonstrate the value of our findings by comparing with standard robust regression methods. Furthermore, we demonstrate how to use such models for a real computer vision problem, i.e., video stabilization. The qualitative and quantitative experiments show that neural networks are able to learn robustness for general polynomial regression, with results that well overpass scores of traditional robust estimation methods.


title: Complementary Attributes: A New Clue to Zero-Shot Learning

abstract: Zero-shot learning (ZSL) aims to recognize unseen objects using disjoint seen objects via sharing attributes. The generalization performance of ZSL is governed by the attributes, which transfer semantic information from seen classes to unseen classes. To take full advantage of the knowledge transferred by attributes, in this paper, we introduce the notion of complementary attributes (CA), as a supplement to the original attributes, to enhance the semantic representation ability. Theoretical analyses demonstrate that complementary attributes can improve the PAC-style generalization bound of original ZSL model. Since the proposed CA focuses on enhancing the semantic representation, CA can be easily applied to any existing attribute-based ZSL methods, including the label-embedding strategy based ZSL (LEZSL) and the probability-prediction strategy based ZSL (PPZSL). In PPZSL, there is a strong assumption that all the attributes are independent of each other, which is arguably unrealistic in practice. To solve this problem, a novel rank aggregation framework is proposed to circumvent the assumption. Extensive experiments on five ZSL benchmark datasets and the large-scale ImageNet dataset demonstrate that the proposed complementary attributes and rank aggregation can significantly and robustly improve existing ZSL methods and achieve the state-of-the-art performance.


title: Improving Character-based Decoding Using Target-Side Morphological Information for Neural Machine Translation

abstract: Recently, neural machine translation (NMT) has emerged as a powerful alternative to conventional statistical approaches. However, its performance drops considerably in the presence of morphologically rich languages (MRLs). Neural engines usually fail to tackle the large vocabulary and high out-of-vocabulary (OOV) word rate of MRLs. Therefore, it is not suitable to exploit existing word-based models to translate this set of languages. In this paper, we propose an extension to the state-of-the-art model of Chung et al. (2016), which works at the character level and boosts the decoder with target-side morphological information. In our architecture, an additional morphology table is plugged into the model. Each time the decoder samples from a target vocabulary, the table sends auxiliary signals from the most relevant affixes in order to enrich the decoder's current state and constrain it to provide better predictions. We evaluated our model to translate English into German, Russian, and Turkish as three MRLs and observed significant improvements.


title: How should fishing mortality be distributed under balanced harvesting?

abstract: Zhou and Smith (2017) investigate different multi-species harvesting scenarios using a simple Holling-Tanner model. Among these scenarios are two methods for implementing balanced harvesting, where fishing is distributed across trophic levels in accordance with their productivity. This note examines the effects of a different quantitative implementation of balanced harvesting, where the fishing mortality rate is proportional to the total production rate of each trophic level. The results show that setting fishing mortality rate to be proportional to total production rate, rather than to productivity per unit biomass, better preserves trophic structure and provides a crucial safeguard for rare and threatened ecological groups. This is a key ingredient of balanced harvesting if it is to meet its objective of preserving biodiversity.


title: UCNN: Exploiting Computational Reuse in Deep Neural Networks via Weight Repetition

abstract: Convolutional Neural Networks (CNNs) have begun to permeate all corners of electronic society (from voice recognition to scene generation) due to their high accuracy and machine efficiency per operation. At their core, CNN computations are made up of multi-dimensional dot products between weight and input vectors. This paper studies how weight repetition ---when the same weight occurs multiple times in or across weight vectors--- can be exploited to save energy and improve performance during CNN inference. This generalizes a popular line of work to improve efficiency from CNN weight sparsity, as reducing computation due to repeated zero weights is a special case of reducing computation due to repeated weights. To exploit weight repetition, this paper proposes a new CNN accelerator called the Unique Weight CNN Accelerator (UCNN). UCNN uses weight repetition to reuse CNN sub-computations (e.g., dot products) and to reduce CNN model size when stored in off-chip DRAM ---both of which save energy. UCNN further improves performance by exploiting sparsity in weights. We evaluate UCNN with an accelerator-level cycle and energy model and with an RTL implementation of the UCNN processing element. On three contemporary CNNs, UCNN improves throughput-normalized energy consumption by 1.2x - 4x, relative to a similarly provisioned baseline accelerator that uses Eyeriss-style sparsity optimizations. At the same time, the UCNN processing element adds only 17-24% area overhead relative to the same baseline.


title: Excitation of multiple phonon modes in copper metaborate CuB$_2$O$_4$ via non-resonant impulsive stimulated Raman scattering

abstract: Excitation of four coherent phonon modes of different symmetries has been realized in copper metaborate CuB$_2$O$_4$ via impulsive stimulated Raman scattering (ISRS). Phonons were detected by monitoring changes in the linear optical birefringence using the balanced-detection (BD) technique. We compare the results of BD-ISRS experiment to the polarized spontaneous Raman scattering spectra. We show that the agreement between the two sets of data obtained by these allied techniques in a wide phonon frequencies range of 4-14 THz can be achieved by rigorously taking into account the symmetry of the phonon modes, and the corresponding excitation and detection selection rules. It is also important to account for the difference between incoherent and coherent phonons in terms of their contributions to the Raman scattering process. This comparative analysis highlights the importance of the ratio between the frequency of a particular mode, and the pump and probe spectral widths. We demonstrate analytically that the pump and probe pulse durations of 90 and 50 fs, respectively, used in our experiments, limit the highest frequency of the excited and detected coherent phonon modes to 12 THz, and define their relative amplitudes.


title: Structure from Recurrent Motion: From Rigidity to Recurrency

abstract: This paper proposes a new method for Non-Rigid Structure-from-Motion (NRSfM) from a long monocular video sequence observing a non-rigid object performing recurrent and possibly repetitive dynamic action. Departing from the traditional idea of using linear low-order or lowrank shape model for the task of NRSfM, our method exploits the property of shape recurrency (i.e., many deforming shapes tend to repeat themselves in time). We show that recurrency is in fact a generalized rigidity. Based on this, we reduce NRSfM problems to rigid ones provided that certain recurrency condition is satisfied. Given such a reduction, standard rigid-SfM techniques are directly applicable (without any change) to the reconstruction of non-rigid dynamic shapes. To implement this idea as a practical approach, this paper develops efficient algorithms for automatic recurrency detection, as well as camera view clustering via a rigidity-check. Experiments on both simulated sequences and real data demonstrate the effectiveness of the method. Since this paper offers a novel perspective on rethinking structure-from-motion, we hope it will inspire other new problems in the field.


title: Fast Weight Long Short-Term Memory

abstract: Associative memory using fast weights is a short-term memory mechanism that substantially improves the memory capacity and time scale of recurrent neural networks (RNNs). As recent studies introduced fast weights only to regular RNNs, it is unknown whether fast weight memory is beneficial to gated RNNs. In this work, we report a significant synergy between long short-term memory (LSTM) networks and fast weight associative memories. We show that this combination, in learning associative retrieval tasks, results in much faster training and lower test error, a performance boost most prominent at high memory task difficulties.


title: Dialogue Learning with Human Teaching and Feedback in End-to-End Trainable Task-Oriented Dialogue Systems

abstract: In this work, we present a hybrid learning method for training task-oriented dialogue systems through online user interactions. Popular methods for learning task-oriented dialogues include applying reinforcement learning with user feedback on supervised pre-training models. Efficiency of such learning method may suffer from the mismatch of dialogue state distribution between offline training and online interactive learning stages. To address this challenge, we propose a hybrid imitation and reinforcement learning method, with which a dialogue agent can effectively learn from its interaction with users by learning from human teaching and feedback. We design a neural network based task-oriented dialogue agent that can be optimized end-to-end with the proposed learning method. Experimental results show that our end-to-end dialogue agent can learn effectively from the mistake it makes via imitation learning from user teaching. Applying reinforcement learning with user feedback after the imitation learning stage further improves the agent's capability in successfully completing a task.


title: An approach between the multiplicative and additive structure of a Jordan ring

abstract: Let J and J' be Jordan rings. We prove under some conditions that if J contains a nontrivial idempotent, then n-multiplicative maps and n-multiplicative derivations from J to J' are additive maps.


title: The Reincarnation of Grille Cipher: A Generative Approach

abstract: In order to keep the data secret, various techniques have been implemented to encrypt and decrypt the secret data. Cryptography is committed to the security of content, i.e. it cannot be restored with a given ciphertext. Steganography is to hiding the existence of a communication channel within a stego. However, it has been difficult to construct a cipher (cypher) that simultaneously satisfy both channel and content security for secure communication. Inspired by the Cardan grille, this paper presents a new generative framework for grille cipher. A digital cardan grille is used for message encryption and decryption. The ciphertext is directly sampled by a powerful generator without an explicit cover. Message loss and prior loss are proposed for penalizing message extraction error and unrealistic ciphertext. Jensen-Shannon Divergence is introduced as new criteria for channel security. A simple practical data-driven grille cipher is proposed using semantic image inpainting and generative adversarial network. Experimental results demonstrate the promising of the proposed method.


title: Faster Evaluation of Subtraction Games

abstract: Subtraction games are played with one or more heaps of tokens, with players taking turns removing from a single heap a number of tokens belonging to a specified subtraction set; the last player to move wins. We describe how to compute the set of winning heap sizes in single-heap subtraction games (for an input consisting of the subtraction set and maximum heap size $n$), in time $\tilde O(n)$, where the $\tilde O$ elides logarithmic factors. For multi-heap games, the optimal game play is determined by the nim-value of each heap; we describe how to compute the nim-values of all heaps of size up to~$n$ in time $\tilde O(mn)$, where $m$ is the maximum nim-value occurring among these heap sizes. These time bounds improve naive dynamic programming algorithms with time $O(n|S|)$, because $m\le|S|$ for all such games. We apply these results to the game of subtract-a-square, whose set of winning positions is a maximal square-difference-free set of a type studied in number theory in connection with the Furstenberg-S\'ark\"ozy theorem. We provide experimental evidence that, for this game, the set of winning positions has a density comparable to that of the densest known square-difference-free sets, and has a modular structure related to the known constructions for these dense sets. Additionally, this game's nim-values are (experimentally) significantly smaller than the size of its subtraction set, implying that our algorithm achieves a polynomial speedup over dynamic programming.


title: Training Deep Networks with Synthetic Data: Bridging the Reality Gap by Domain Randomization

abstract: We present a system for training deep neural networks for object detection using synthetic images. To handle the variability in real-world data, the system relies upon the technique of domain randomization, in which the parameters of the simulator$-$such as lighting, pose, object textures, etc.$-$are randomized in non-realistic ways to force the neural network to learn the essential features of the object of interest. We explore the importance of these parameters, showing that it is possible to produce a network with compelling performance using only non-artistically-generated synthetic data. With additional fine-tuning on real data, the network yields better performance than using real data alone. This result opens up the possibility of using inexpensive synthetic data for training neural networks while avoiding the need to collect large amounts of hand-annotated real-world data or to generate high-fidelity synthetic worlds$-$both of which remain bottlenecks for many applications. The approach is evaluated on bounding box detection of cars on the KITTI dataset.


title: Diachronic Usage Relatedness (DURel): A Framework for the Annotation of Lexical Semantic Change

abstract: We propose a framework that extends synchronic polysemy annotation to diachronic changes in lexical meaning, to counteract the lack of resources for evaluating computational models of lexical semantic change. Our framework exploits an intuitive notion of semantic relatedness, and distinguishes between innovative and reductive meaning changes with high inter-annotator agreement. The resulting test set for German comprises ratings from five annotators for the relatedness of 1,320 use pairs across 22 target words.


title: Online Non-Additive Path Learning under Full and Partial Information

abstract: We study the problem of online path learning with non-additive gains, which is a central problem appearing in several applications, including ensemble structured prediction. We present new online algorithms for path learning with non-additive count-based gains for the three settings of full information, semi-bandit and full bandit with very favorable regret guarantees. A key component of our algorithms is the definition and computation of an intermediate context-dependent automaton that enables us to use existing algorithms designed for additive gains. We further apply our methods to the important application of ensemble structured prediction. Finally, beyond count-based gains, we give an efficient implementation of the EXP3 algorithm for the full bandit setting with an arbitrary (non-additive) gain.


title: Black Hole Mergers From Globular Clusters Observable by LISA I: Eccentric Sources Originating From Relativistic $N$-body Dynamics

abstract: We show that nearly half of all binary black hole (BBH) mergers dynamically assembled in globular clusters have measurable eccentricities ($e>0.01$) in the LISA band ($10^{-2}$ Hz), when General Relativistic corrections are properly included in the $N$-body evolution. If only Newtonian gravity is included, the derived fraction of eccentric LISA sources is significantly lower, which explains why recent studies all have greatly underestimated this fraction. Our findings have major implications for how to observationally distinguish between BBH formation channels using eccentricity with LISA, which is one of the key science goals of the mission. We illustrate that the relatively large population of eccentric LISA sources reported here originates from BBHs that merge between hardening binary-single interactions inside their globular cluster. These results indicate a bright future for using LISA to probe the origin of BBH mergers.


title: From Coxeter Higher-Spin Theories to Strings and Tensor Models

abstract: A new class of higher-spin gauge theories associated with various Coxeter groups is proposed. The emphasize is on the $B_p$--models. The cases of $B_1$ and its infinite graded-symmetric product $sym\,(\times B_1)^\infty$ correspond to the usual higher-spin theory and its multi-particle extension, respectively. The multi-particle $B_2$--higher-spin theory is conjectured to be associated with String Theory. $B_p$--higher-spin models with $p>2$ are anticipated to be dual to the rank-$p$ boundary tensor sigma-models. $B_p$ higher-spin models with $p\geq 2$ possess two coupling constants responsible for higher-spin interactions in $AdS$ background and stringy/tensor effects, respectively. The brane-like idempotent extension of the Coxeter higher-spin theory is proposed allowing to unify in the same model the fields supported by space-times of different dimensions. Consistency of the holographic interpretation of the boundary matrix-like model in the $B_2$-higher-spin model is shown to demand $N\geq 4$ SUSY, suggesting duality with the $N=4$ SYM upon spontaneous breaking of higher-spin symmetries. The proposed models are shown to admit unitary truncations.


title: Method to solve quantum few-body problems with artificial neural networks

abstract: A machine learning technique to obtain the ground states of quantum few-body systems using artificial neural networks is developed. Bosons in continuous space are considered and a neural network is optimized in such a way that when particle positions are input into the network, the ground-state wave function is output from the network. The method is applied to the Calogero-Sutherland model in one-dimensional space and Efimov bound states in three-dimensional space.


title: Temperature effects on quantum non-Markovianity via collision models

abstract: Quantum non-Markovianity represents memory during the system dynamics, which is typically weakened by the temperature. We here study the effects of environmental temperature on the non-Markovianity of an open quantum system by virtue of collision models. The environment is simulated by a chain of ancillary qubits that are prepared in thermal states with a finite temperature $T$. Two distinct non-Markovian mechanisms are considered via two types of collision models, one where the system $S$ consecutively interacts with the ancillas and a second where $S$ collides only with an intermediate system $S'$ which in turn interacts with the ancillas. We show that in both models the relation between non-Markovianity and temperature is non-monotonic. In particular, revivals of non-Markovianity may occur as temperature increases. We find that the physical reason behind this behavior can be revealed by examining a peculiar system-environment coherence exchange, leading to ancillary qubit coherence larger than system coherence which triggers information backflow from the environment to the system. These results provide insights on the mechanisms underlying the counterintuitive phenomenon of temperature-enhanced quantum memory effects.


title: Variability in Fermi--Pasta--Ulam--Tsingou Arrays Prevents Recurrences

abstract: In 1955, Fermi, Pasta, Ulam, and Tsingou reported recurrence over time of energy between modes in a one-dimensional array of nonlinear oscillators. Subsequently, there have been myriad numerical experiments using homogenous FPUT arrays, which consist of chains of ideal, nonlinearly-coupled oscillators. However, inherent variations --- e.g., due to manufacturing tolerance --- introduce heterogeneity into the parameters of any physical system. We demonstrate that such tolerances degrade the observance of recurrence, often leading to complete loss in moderately sized arrays. We numerically simulate heterogeneous FPUT systems to investigate the effects of tolerances on dynamics. Our results illustrate that tolerances in real nonlinear oscillator arrays may limit the applicability of results from numerical experiments on them to physical systems, unless appropriate heterogeneities are taken into account.

categories: nlin.PS cond-mat.other cond-mat.stat-mech math.DS nlin.CD


title: Real inflection points of real linear series on an elliptic curve

abstract: Given a real elliptic curve $E$ with non-empty real part and $[D]\in \mbox{Pic}^2 E$ its $g_2^1$, we study the real inflection points of distinguished subseries of the complete real linear series $|\mathcal{L}_\mathbb{R}(kD)|$ for $k\geq 3$. We define {\it key polynomials} whose roots index the ($x$-coordinates of) inflection points of the linear series, away from the points where $E$ ramifies over $\mathbb{P}^1$. These fit into a recursive hierarchy, in the same way that division polynomials index torsion points. Our study is motivated by, and complements, an analysis of how inflectionary loci vary in the degeneration of real {\it hyperelliptic} curves to a metrized complex of curves with elliptic curve components that we carried out in our previous article with Biswas.


title: The 1D Schr\"odinger equation with a spacetime white noise: the average wave function

abstract: For the 1D Schr\"odinger equation with a mollified spacetime white noise, we show that the average wave function converges to the Schr\"odinger equation with an effective potential after an appropriate renormalization.


title: Large perpendicular magnetic anisotropy in epitaxial Fe/MgAl2O4(001) heterostructures

abstract: We investigated perpendicular magnetic anisotropy (PMA) and related properties of epitaxial Fe (0.7 nm)/MgAl2O4(001) heterostructures prepared by electron-beam evaporation. Using an optimized structure, we obtained a large PMA energy ~1 MJ/m3 at room temperature, comparable to that in ultrathin-Fe/MgO(001) heterostructures. Both the PMA energy and saturation magnetization show weak temperature dependence, ensuring wide working temperature in application. The effective magnetic damping constant of the 0.7 nm Fe layer was ~0.02 using time-resolved magneto-optical Kerr effect. This study demonstrates capability of the Fe/MgAl2O4 heterostructure for perpendicular magnetic tunnel junctions, as well as a good agreement with theoretical predictions.


title: Design, Simulation, and Testing of a Flexible Actuated Spine for Quadruped Robots

abstract: Walking quadruped robots face challenges in positioning their feet and lifting their legs during gait cycles over uneven terrain. The robot Laika is under development as a quadruped with a flexible, actuated spine designed to assist with foot movement and balance during these gaits. This paper presents the first set of hardware designs for the spine of Laika, a physical prototype of those designs, and tests in both hardware and simulations that show the prototype's capabilities. Laika's spine is a tensegrity structure, used for its advantages with weight and force distribution, and represents the first working prototype of a tensegrity spine for a quadruped robot. The spine bends by adjusting the lengths of the cables that separate its vertebrae, and twists using an actuated rotating vertebra at its center. The current prototype of Laika has stiff legs attached to the spine, and is used as a test setup for evaluation of the spine itself. This work shows the advantages of Laika's spine by demonstrating the spine lifting each of the robot's four feet, both as a form of balancing and as a precursor for a walking gait. These foot motions, using specific combinations of bending and rotation movements of the spine, are measured in both simulation and hardware experiments. Hardware data are used to calibrate the simulations, such that the simulations can be used for control of balancing or gait cycles in the future. Future work will attach actuated legs to Laika's spine, and examine balancing and gait cycles when combined with leg movements.


title: Workshop on Pion-Kaon Interactions (PKI2018) Mini-Proceedings. Editors: M. Amaryan, Ulf-G. Mei{\ss}ner, C. Meyer, J. Ritman, and I. Strakovsky

abstract: This volume is a short summary of talks given at the PKI2018 Workshop organized to discuss current status and future prospects of pi-K interactions. The precise data on pi-K interaction will have a strong impact on strange meson spectroscopy and form factors that are important ingredients in the Dalitz plot analysis of a decays of heavy mesons as well as precision measurement of Vus matrix element and therefore on a test of unitarity in the first raw of the CKM matrix. The workshop has combined the efforts of experimentalists, Lattice QCD, and phenomenology communities. Experimental data relevant to the topic of the workshop were presented from the broad range of different collaborations like CLAS, GlueX, COMPASS, BaBar, BELLE, BESIII, VEPP-2000, and LHCb. One of the main goals of this workshop was to outline a need for a new high intensity and high precision secondary KL beam facility at JLab produced with the 12 GeV electron beam of CEBAF accelerator. This workshop is a successor of the workshops Physics with Neutral Kaon Beam at JLab [1] held at JLab, February, 2016; Excited Hyperons in QCD Thermodynamics at Freeze-Out [2] held at JLab, November, 2016; New Opportunities with High-Intensity Photon Sources [3] held at CUA, February, 2017. Further details about the PKI2018 Workshop can be found on the web page of the conference: http://www.jlab.org/conferences/pki2018/ .


title: Strong-Coupling and Finite Temperature Effects on $p$-wave Contacts

abstract: We theoretically investigate strong-coupling and finite temperature effects on the p-wave contacts, as well as the asymptotic behavior of the momentum distribution in large momentum region in a one-component Fermi gas with a tunable p-wave interaction. Including p-wave pairing fluctuations within a strong-coupling theory, we calculate the p-wave contacts above the superfluid transition temperature $T_{\rm c}$ from the adiabatic energy relations. We show that while the p-wave contacts related to the scattering volume monotonically increases with increasing the interaction strength, one related to the effective range non-monotonically depends on interaction strength and its sign changes in the intermediate-coupling regime. The non-monotonic interaction dependence of these quantities is shown to originate from the competition between the increase of the cutoff momentum and the decrease of the coupling constant of the p-wave interaction with increasing the effective range. We also analyze the asymptotic form of the momentum distribution in large momentum region. In contrast to the conventional s-wave case, we show that the asymptotic behavior cannot be completely described by only the p-wave contacts, and the extra terms, which is not related to the thermodynamic properties, appear. Furthermore, in high temperature region, we find that the extra terms dominate the sub-leading term of the large-momentum distribution. We also directly compare our results with the recent experimental measurement, by including the effects of a harmonic trap potential within the local density approximation. We show that our model explains the dependence on the interaction strength of the p-wave contacts.


title: Rigidity of spacelike translating solitons in pseudo-Euclidean space

abstract: In this paper, we investigate the parametric version and non-parametric version of rigidity theorem of spacelike translating solitons in pseudo-Euclidean space $\mathbb{R}^{m+n}_{n}$. Firstly, we classify $m$-dimensional complete spacelike translating solitons in $\mathbb{R}^{m+n}_{n}$ by affine technique and classical gradient estimates, and prove the only complete spacelike translating solitons in $\mathbb{R}^{m+n}_{n}$ are the spacelike $m$-planes. This result provides another proof of a nonexistence theorem for complete spacelike translating solitons in \cite{C-Q}, and a simple proof of rigidity theorem in \cite{X-H}. Secondly, we generalize the rigidity theorem of entire spacelike Lagrangian translating solitons in \cite{X-Z} to spacelike translating solitons with general codimensions. As a directly application of theorem, we obtain two interesting corollaries in terms of Gauss image.


title: Partial Regularization of First-Order Resolution Proofs

abstract: Resolution and superposition are common techniques which have seen widespread use with propositional and first-order logic in modern theorem provers. In these cases, resolution proof production is a key feature of such tools; however, the proofs that they produce are not necessarily as concise as possible. For propositional resolution proofs, there are a wide variety of proof compression techniques. There are fewer techniques for compressing first-order resolution proofs generated by automated theorem provers. This paper describes an approach to compressing first-order logic proofs based on lifting proof compression ideas used in propositional logic to first-order logic. One method for propositional proof compression is partial regularization, which removes an inference $\eta$ when it is redundant in the sense that its pivot literal already occurs as the pivot of another inference in every path from $\eta$ to the root of the proof. This paper describes the generalization of the partial-regularization algorithm RecyclePivotsWithIntersection [10] from propositional logic to first-order logic. The generalized algorithm performs partial regularization of resolution proofs containing resolution and factoring inferences with unification. An empirical evaluation of the generalized algorithm and its combinations with the previously lifted GreedyLinearFirstOrderLowerUnits algorithm [12] is also presented


title: Boron-doping of cubic SiC for intermediate band solar cells: a scanning transmission electron microscopy study

abstract: Boron (B) has the potential for generating an intermediate band in cubic silicon carbide (3C-SiC), turning this material into a highly efficient absorber for single-junction solar cells. The formation of a delocalized band demands high concentration of the foreign element, but the precipitation behavior of B in the 3C polymorph of SiC is not well known. Here, probe-corrected scanning transmission electron microscopy and secondary-ion mass spectrometry are used to investigate precipitation mechanisms in B-implanted 3C-SiC as a function of temperature. Point-defect clustering was detected after annealing at 1273 K, while stacking faults, B-rich precipitates and dislocation networks developed in the 1573 - 1773 K range. The precipitates adopted the rhombohedral B13C2 structure and trapped B up to 1773 K. Above this temperature, higher solubility reduced precipitation and free B diffused out of the implantation layer. Dopant concentrations E19 at.cm-3 were achieved at 1873 K.


title: Cavity-enhanced Raman emission from a single color center in a solid

abstract: We demonstrate cavity-enhanced Raman emission from a single atomic defect in a solid. Our platform is a single silicon-vacancy center in diamond coupled with a monolithic diamond photonic crystal cavity. The cavity enables an unprecedented frequency tuning range of the Raman emission (100 GHz) that significantly exceeds the spectral inhomogeneity of silicon-vacancy centers in diamond nanostructures. We also show that the cavity selectively suppresses the phonon-induced spontaneous emission that degrades the efficiency of Raman photon generation. Our results pave the way towards photon-mediated many-body interactions between solid-state quantum emitters in a nanophotonic platform.


title: Falling Things: A Synthetic Dataset for 3D Object Detection and Pose Estimation

abstract: We present a new dataset, called Falling Things (FAT), for advancing the state-of-the-art in object detection and 3D pose estimation in the context of robotics. By synthetically combining object models and backgrounds of complex composition and high graphical quality, we are able to generate photorealistic images with accurate 3D pose annotations for all objects in all images. Our dataset contains 60k annotated photos of 21 household objects taken from the YCB dataset. For each image, we provide the 3D poses, per-pixel class segmentation, and 2D/3D bounding box coordinates for all objects. To facilitate testing different input modalities, we provide mono and stereo RGB images, along with registered dense depth images. We describe in detail the generation process and statistical analysis of the data.


title: Photorefractive second-harmonic detection for ultrasound-modulated optical tomography

abstract: Ultrasound-modulated optical tomography enables sharp 3D optical imaging of tissues and other turbid media, but the light modulation signals are hard to sensitively measure. A common solution, involving photorefractive crystals, enables the measurement of a relatively slow and low-spatial-resolution signal tracking the envelope of the ultrasound wave. We reexamine the photorefractive detection principle both intuitively and quantitatively, and from this analysis we predict that the photodetector should additionally see a fast response at twice the ultrasound frequency, and correspondingly high spatial frequency. The fast and slow response usually have similar amplitudes and reveal complementary information, thus allowing ultrasound-modulated optical tomography to create dramatically sharper tomographic images under the same measurement conditions, integration time, and experimental complexity.


title: Aspect Level Sentiment Classification with Attention-over-Attention Neural Networks

abstract: Aspect-level sentiment classification aims to identify the sentiment expressed towards some aspects given context sentences. In this paper, we introduce an attention-over-attention (AOA) neural network for aspect level sentiment classification. Our approach models aspects and sentences in a joint way and explicitly captures the interaction between aspects and context sentences. With the AOA module, our model jointly learns the representations for aspects and sentences, and automatically focuses on the important parts in sentences. Our experiments on laptop and restaurant datasets demonstrate our approach outperforms previous LSTM-based architectures.


title: Understanding Convolutional Neural Networks with Information Theory: An Initial Exploration

abstract: The matrix-based Renyi's \alpha-entropy functional and its multivariate extension were recently developed in terms of the normalized eigenspectrum of a Hermitian matrix of the projected data in a reproducing kernel Hilbert space (RKHS). However, the utility and possible applications of these new estimators are rather new and mostly unknown to practitioners. In this paper, we first show that our estimators enable straightforward measurement of information flow in realistic convolutional neural networks (CNN) without any approximation. Then, we introduce the partial information decomposition (PID) framework and develop three quantities to analyze the synergy and redundancy in convolutional layer representations. Our results validate two fundamental data processing inequalities and reveal some fundamental properties concerning the training of CNN.


title: Alternating Current Adiabatic Compression Tokamak: A New Way to Fusion Reactor

abstract: A novel magnetic confined fusion scheme for the fusion reactor is proposed in this paper. A simple numerical estimation shows that ignition of D-T plasma can be achieved in tokamak with only OH heating by major and minor radius adiabatic compression. The density and temperature of compressed plasma can reach 1-3*10^22/m^3 and 15-25keV, respectively. Alternating current with adiabatic compression pulse of ACACT with R0 = 1.8m can deliver 400MW fusion power.


title: Successive Convexification: A Superlinearly Convergent Algorithm for Non-convex Optimal Control Problems

abstract: This paper presents the SCvx algorithm, a successive convexification algorithm designed to solve non-convex constrained optimal control problems with global convergence and superlinear convergence-rate guarantees. The proposed algorithm can handle nonlinear dynamics and non-convex state and control constraints. It solves the original problem to optimality by successively linearizing non-convex dynamics and constraints about the solution of the previous iteration. The resulting convex subproblems are numerically tractable, and can be computed quickly and reliably using convex optimization solvers, making the SCvx algorithm well suited for real-time applications. Analysis is presented to show that the algorithm converges both globally and superlinearly, guaranteeing i) local optimality recovery: if the converged solution is feasible with respect to the original problem, then it is also a local optimum; ii) strong convergence: if the Kurdyka-Lojasiewicz (KL) inequality holds at the converged solution, then the solution is unique. The superlinear rate of convergence is obtained by exploiting the structure of optimal control problems, showcasing that faster rate of convergence can be achieved by leveraging specific problem properties when compared to generic nonlinear programming methods. Numerical simulations are performed for a non-convex quad-rotor motion planning problem, and corresponding results obtained using Sequential Quadratic Programming (SQP) and general purpose Interior Point Method (IPM) solvers are provided for comparison. The results show that the convergence rate of the SCvx algorithm is indeed superlinear, and that SCvx outperforms the other two methods by converging in less number of iterations.