title: Box products in nilpotent normal form theory: The factoring method

abstract: Let $N$ be a nilpotent matrix and consider vector fields $\dot\bx=N\bx+\bv(\bx)$ in normal form. Then $\bv$ is equivariant under the flow $e^{N^*t}$ for the inner product normal form or $e^{Mt}$ for the $\ssl_2$ normal form. These vector equivariants can be found by finding the scalar invariants for the Jordan blocks in $N^*$ or $M$; taking the {\it box product} of these to obtain the invariants for $N^*$ or $M$ itself; and then {\it boosting} the invariants to equivariants by another box product. These methods, developed by Murdock and Sanders in 2007, are here given a self-contained exposition with new foundations and new algorithms yielding improved (simpler) Stanley decompositions for the invariants and equivariants. Ideas used include transvectants (from classical invariant theory), Stanley decompositions (from commutative algebra), and integer cones (from integer programming). This approach can be extended to covariants of $\ssl_2^k$ for $k>1$, known as SLOCC in quantum computing.


title: Experimental and numerical analysis of tribological behavior of CrAl(Si)N films during Scratch

abstract: Scratch sliding tests with a ZrO2 ball and CrAlSiN films with different Si content were conducted due to CrAlSiN films having high hardness and good wear resistance. After up to 6000 cycles the specimens were analyzed by Scanning Electron Microscopy. The friction coefficient of CrAlSiN was lower than that of CrAlN film.A corresponding three-dimensional finite element model was constructed with the help of the ABAQUS to describe the mechanical response during scratch. A comparison of experimental and computational results revealed that the small elastic deformation took place in the films and substrates;the deformation friction coefficient was negligible in comparison with the Coulomb friction coefficient;and with increasing Young's modulus, the stress concentration was more obvious in CrAlSiN than in CrAlN.


title: The story of supernova 'Refsdal' told by MUSE

abstract: We present MUSE observations in the core of the HFF galaxy cluster MACS J1149.5+2223, where the first magnified and spatially-resolved multiple images of SN 'Refsdal' at redshift 1.489 were detected. Thanks to a DDT program with the VLT and the extraordinary efficiency of MUSE, we measure 117 secure redshifts with just 4.8 hours of total integration time on a single target pointing. We spectroscopically confirm 68 galaxy cluster members, with redshift values ranging from 0.5272 to 0.5660, and 18 multiple images belonging to 7 background, lensed sources distributed in redshifts between 1.240 and 3.703. Starting from the combination of our catalog with those obtained from extensive spectroscopic and photometric campaigns using the HST, we select a sample of 300 (164 spectroscopic and 136 photometric) cluster members, within approximately 500 kpc from the BCG, and a set of 88 reliable multiple images associated to 10 different background source galaxies and 18 distinct knots in the spiral galaxy hosting SN 'Refsdal'. We exploit this valuable information to build 6 detailed strong lensing models, the best of which reproduces the observed positions of the multiple images with a rms offset of only 0.26". We use these models to quantify the statistical and systematic errors on the predicted values of magnification and time delay of the next emerging image of SN 'Refsdal'. We find that its peak luminosity should should occur between March and June 2016, and should be approximately 20% fainter than the dimmest (S4) of the previously detected images but above the detection limit of the planned HST/WFC3 follow-up. We present our two-dimensional reconstruction of the cluster mass density distribution and of the SN 'Refsdal' host galaxy surface brightness distribution. We outline the roadmap towards even better strong lensing models with a synergetic MUSE and HST effort.


title: How Do Global Audiences Take Shape? The Role of Institutions and Culture in Patterns of Web Use

abstract: This study investigates the role of both cultural and technological factors in determining audience formation on a global scale. It integrates theories of media choice with theories of global cultural consumption and tests them by analyzing shared audience traffic between the world's 1000 most popular Websites. We find that language and geographic similarities are more powerful predictors of audience overlap than hyperlinks and genre similarity, highlighting the role of cultural structures in shaping global media use.


title: Bulge Formation via Mergers in Cosmological Simulations

abstract: The latest generation of cosmological simulations are on the verge of being able to resolve the structure of bulges for the first time. Hence, we review the current state of bulge formation in cosmological simulations, and discuss open questions that can be addressed in the near future by simulators, with a particular focus on merger-driven bulge growth. Galaxy mergers have long been assumed to produce classical bulges in disk galaxies. Under this bulge-formation model, though, the high rates of mergers in Cold Dark Matter galaxy formation theory predict many more classical bulges than are observed. Furthermore, simulations of galaxy formation continue to generally produce too massive of bulges. Feedback offers a promising avenue for reducing merger-driven bulge growth by maintaining high gas fractions in galaxies and ejecting low-angular momentum gas driven to the centers of galaxies. After reviewing the results of relevant research that has been published to date, we use cosmological simulations to explore the ability of feedback to reduce or even prevent bulge growth during mergers. In dwarf galaxies, mergers actually reduce the central concentration of galaxies as the induced burst of star formation drives out low angular momentum material. This result shows the potential for feedback to reduce central mass growth. However, we also demonstrate that it is very difficult for current stellar feedback models to reproduce the small bulges observed in more massive disk galaxies like the Milky Way. We argue that feedback models need to be improved, or an additional source of feedback such as AGN is necessary to generate the required outflows.


title: A Stochastic Model of Order Book Dynamics using Bouncing Geometric Brownian Motions

abstract: We consider a limit order book, where buyers and sellers register to trade a security at specific prices. The largest price buyers on the book are willing to offer is called the market bid price, and the smallest price sellers on the book are willing to accept is called the market ask price. Market ask price is always greater than market bid price, and these prices move upwards and downwards due to new arrivals, market trades, and cancellations. We model these two price processes as "bouncing geometric Brownian motions (GBMs)", which are defined as exponentials of two mutually reflected Brownian motions. We then modify these bouncing GBMs to construct a discrete time stochastic process of trading times and trading prices, which is parameterized by a positive parameter $\delta$. Under this model, it is shown that the inter-trading times are inverse Gaussian distributed, and the logarithmic returns between consecutive trading times follow a normal inverse Gaussian distribution. Our main results show that the logarithmic trading price process is a renewal reward process, and under a suitable scaling, this process converges to a standard Brownian motion as $\delta\to 0$. We also prove that the modified ask and bid processes approach the original bouncing GBMs as $\delta\to0$. Finally, we derive a simple and effective prediction formula for trading prices, and illustrate the effectiveness of the prediction formula with an example using real stock price data.


title: On rationalizing divisors

abstract: Rational pairs generalize the notion of rational singularities to reduced pairs $(X,D)$. In this paper we deal with the problem of determining whether a normal variety $X$ has a rationalizing divisor, i.e. a reduced divisor $D$ such that $(X, D)$ is a rational pair. We give a criterion for cones to have a rationalizing divisor, and relate the existence of such a divisor to the locus of rational singularities of a variety.


title: Searching for Axion Dark Matter in Atoms: Oscillating Electric Dipole Moments and Spin-Precession Effects

abstract: We propose to search for axion dark matter via the oscillating electric dipole moments that axions induce in atoms and molecules. These moments are produced through the intrinsic oscillating electric dipole moments of nucleons and through the $P,T$-violating nucleon-nucleon interaction mediated by pion exchange, both of which arise due to the axion-gluon coupling, and also directly through the axion-electron interaction. Axion dark matter may also be sought for through the spin-precession effects that axions produce by directly coupling to fermion spins.


title: Aspects of Supersymmetry after LHC Run I

abstract: Supersymmetry is a prime candidate for physics beyond the Standard Model because low-energy supersymmetry stabilizes the Higgs mass avoiding fine-tuning and leads to natural electroweak symmetry breaking. However, searches at the Large Hadron Collider (LHC) for supersymmetric particles have not found any signal and give strong limits on mass of gluino and squark. Also, the observed Higgs mass of 125 GeV is not easily accommodated in the minimal supersymmetric Standard Model (MSSM) where one has to rely on the radiative corrections to boost the Higgs mass accompanied with fine-tuning. I study aspects of supersymmetry in light of these LHC results. In this thesis, I focus on the Compact Supersymmetry model based on arXiv:1206.4993 and the Dirac Next-to-MSSM based on arXiv:1308.0792 and investigate them in more detail.


title: Searching for Scalar Dark Matter in Atoms and Astrophysical Phenomena: Variation of Fundamental Constants

abstract: We propose to search for scalar dark matter via its effects on the electromagnetic fine-structure constant and particle masses. Scalar dark matter that forms an oscillating classical field produces `slow' linear-in-time drifts and oscillating variations of the fundamental constants, while scalar dark matter that forms topological defects produces transient-in-time variations of the constants of Nature. These variations can be sought for with atomic clock, laser interferometer and pulsar timing measurements. Atomic spectroscopy and Big Bang nucleosynthesis measurements already give improved bounds on the quadratic interaction parameters of scalar dark matter with the photon, electron, and light quarks by up to 15 orders of magnitude, while Big Bang nucleosynthesis measurements provide the first such constraints on the interaction parameters of scalar dark matter with the massive vector bosons.

categories: hep-ph astro-ph.CO nucl-th physics.atom-ph


title: Constraining High Redshift X-ray Sources with Next Generation 21 cm Power Spectrum Measurements

abstract: We use the Fisher matrix formalism and semi-numerical simulations to derive quantitative predictions of the constraints that power spectrum measurements on next-generation interferometers, such as the Hydrogen Epoch of Reionization Array (HERA) and the Square Kilometre Array (SKA), will place on the characteristics of the X-ray sources that heated the high redshift intergalactic medium. Incorporating observations between $z=5$ and $z=25$, we find that the proposed 331 element HERA and SKA phase 1 will be capable of placing $\lesssim 10\%$ constraints on the spectral properties of these first X-ray sources, even if one is unable to perform measurements within the foreground contaminated "wedge" or the FM band. When accounting for the enhancement in power spectrum amplitude from spin temperature fluctuations, we find that the observable signatures of reionization extend well beyond the peak in the power spectrum usually associated with it. We also find that lower redshift degeneracies between the signatures of heating and reionization physics lead to errors on reionization parameters that are significantly greater than previously predicted. Observations over the heating epoch are able to break these degeneracies and improve our constraints considerably. For these two reasons, 21\,cm observations during the heating epoch significantly enhance our understanding of reionization as well.


title: Using Nonequilibrium Dynamics to Probe Competing Orders in a Mott-Peierls System

abstract: Competition between ordered phases, and their associated phase transitions, are significant in the study of strongly correlated systems. Here we examine one aspect, the nonequilibrium dynamics of a photoexcited Mott-Peierls system, using an effective Peierls-Hubbard model and exact diagonalization. Near a transition where spin and charge become strongly intertwined, we observe anti-phase dynamics and a coupling-strength-dependent suppression or enhancement in the static structure factors. The renormalized bosonic excitations coupled to a particular photoexcited electron can be extracted, which provides an approach for characterizing the underlying bosonic modes. The results from this analysis for different electronic momenta show an uneven softening due to a stronger coupling near $k_F$. This behavior reflects the strong link between the fermionic momenta, the coupling vertices, and ultimately the bosonic susceptibilities when multiple phases compete for the ground state of the system.


title: Basic Level Categorization Facilitates Visual Object Recognition

abstract: Recent advances in deep learning have led to significant progress in the computer vision field, especially for visual object recognition tasks. The features useful for object classification are learned by feed-forward deep convolutional neural networks (CNNs) automatically, and they are shown to be able to predict and decode neural representations in the ventral visual pathway of humans and monkeys. However, despite the huge amount of work on optimizing CNNs, there has not been much research focused on linking CNNs with guiding principles from the human visual cortex. In this work, we propose a network optimization strategy inspired by both of the developmental trajectory of children's visual object recognition capabilities, and Bar (2003), who hypothesized that basic level information is carried in the fast magnocellular pathway through the prefrontal cortex (PFC) and then projected back to inferior temporal cortex (IT), where subordinate level categorization is achieved. We instantiate this idea by training a deep CNN to perform basic level object categorization first, and then train it on subordinate level categorization. We apply this idea to training AlexNet (Krizhevsky et al., 2012) on the ILSVRC 2012 dataset and show that the top-5 accuracy increases from 80.13% to 82.14%, demonstrating the effectiveness of the method. We also show that subsequent transfer learning on smaller datasets gives superior results.


title: Thermally-driven spin torques in layered magnetic insulators

abstract: Thermally-driven spin-transfer torques have recently been reported in electrically insulating ferromagnet$|$normal-metal heterostructures. In this paper, we propose two physically distinct mechanisms for such torques. The first is a local effect: out-of-equilibrium, thermally-activated magnons in the ferromagnet, driven by a spin Seebeck effect, exert a torque on the magnetization via magnon-magnon scattering with coherent dynamics. The second is a nonlocal effect which requires an additional magnetic layer to provide the symmetry breaking necessary to realize a thermal torque. The simplest structure in which to induce a nonlocal thermal torque is a spin valve composed of two insulating magnets separated by a normal metal spacer; there, a thermal flux generates a pure spin current through the spin valve, which results in a torque when the magnetizations of the layers are misaligned.


title: A tunnel and a traffic jam: How transition disks maintain a detectable warm dust component despite the presence of a large planet-carved gap

abstract: We combined hydrodynamical simulations of planet-disk interactions with dust evolution models that include coagulation and fragmentation of dust grains over a large range of radii and derived observational properties using radiative transfer calculations. We studied the role of the snow line in the survival of the inner disk of transition disks. Inside the snow line, the lack of ice mantles in dust particles decreases the sticking efficiency between grains. As a consequence, particles fragment at lower collision velocities than in regions beyond the snow line. This effect allows small particles to be maintained for up to a few Myrs within the first astronomical unit. These particles are closely coupled to the gas and do not drift significantly with respect to the gas. For lower mass planets (1$M_{\rm{Jup}}$), the pre-transition appearance can be maintained even longer because dust still trickles through the gap created by the planet, moves invisibly and quickly in the form of relatively large grains through the gap, and becomes visible again as it fragments and gets slowed down inside of the snow line. The global study of dust evolution of a disk with an embedded planet, including the changes of the dust aerodynamics near the snow line, can explain the concentration of millimetre-sized particles in the outer disk and the survival of the dust in the inner disk if a large dust trap is present in the outer disk. This behaviour solves the conundrum of the combination of both near-infrared excess and ring-like millimetre emission observed in several transition disks.


title: Computing derangement probabilities of the symmetric group acting on k-sets

abstract: Let $i(\infty,k)$ be the limiting proportion, as $n \rightarrow \infty$, of permutations in the symmetric group of degree $n$ that fix a $k$-set. We give an algorithm for computing $i(\infty,k)$ and state the values of $i(\infty,k)$ for $k \le 30$. These values are consistent with a conjecture of Peter Cameron that $i(\infty,k)$ is a decreasing function of $k$.


title: Constraints on $L_\mu - L_\tau$ interactions at the LHC and beyond

abstract: In this paper we examine the constraints dedicated LHC multi lepton searches can place on $Z'$ bosons coming from gauged muon number minus tau number, $L_{\mu}-L_{\tau}$. As the $L_{\mu}-L_{\tau}$ gauge boson does not couple to proton constituents or electrons at tree level, the current bounds are fairly loose, especially for $M_{Z'} \gtrsim 1\, \rm GeV$. For $2m_{\mu} < M_{Z'} < M_Z/2$ we develop search strategies using the $pp \rightarrow Z \to 4\, \mu$ channel. The cleanliness of the final state, combined with the fact that $pp \to Z \to 4 e$, $Z \to 2e\,2\mu$ can be used as background control samples, allow us to spot $L_{\mu}-L_{\tau}$ $Z'$ with couplings $\mathcal O(10^{-3})$ times the Standard Model couplings. For lighter $Z'$, we propose the mode $pp \rightarrow 2\mu + \displaystyle{\not} E_T$. The presence of missing energy means there is a wider set of backgrounds to consider in this final state, such as Drell-Yan production of leptonically decaying $\tau$ pairs, however we find these can be controlled with careful cuts. Combining the $4\, \mu$ and $2\,\mu + \displaystyle{\not} E_T$ modes, we find that with $\sim3 \, \text{ab}^{-1}$ of integrated luminosity we are sensitive to couplings $g_{Z'} \gtrsim 0.005\, g_1$ and $0.5\, \rm GeV \le M_{Z'} \le 40\, \rm GeV$ and $g_{Z'} \gtrsim 0.001\, g_1$ for $M_{Z'} < 2\, m_{\mu}$. This region includes the parameter space where $L_{\mu}-L_{\tau}$ models can ameliorate the muon $g-2$ anomaly. We repeat these analyses at a future $e^+e^-$ Z-factory, where we find improved sensitivity. Specifically, given $2.6\, \rm ab^{-1}$ of luminosity, we can exclude $g_{Z'} \gtrsim 0.001\, g_1$ for $2\, m_{\mu} \le M_{Z'} \le M_Z/2$.


title: LSTM-based Deep Learning Models for Non-factoid Answer Selection

abstract: In this paper, we apply a general deep learning (DL) framework for the answer selection task, which does not depend on manually defined features or linguistic tools. The basic framework is to build the embeddings of questions and answers based on bidirectional long short-term memory (biLSTM) models, and measure their closeness by cosine similarity. We further extend this basic model in two directions. One direction is to define a more composite representation for questions and answers by combining convolutional neural network with the basic framework. The other direction is to utilize a simple but efficient attention mechanism in order to generate the answer representation according to the question context. Several variations of models are provided. The models are examined by two datasets, including TREC-QA and InsuranceQA. Experimental results demonstrate that the proposed models substantially outperform several strong baselines.


title: Software Analytics to Software Domains: A Systematic Literature Review

abstract: Software Analytics (SA) is a new branch of big data analytics that has recently emerged (2011). What distinguishes SA from direct software analysis is that it links data mined from many different software artifacts to obtain valuable insights. These insights are useful for the decision-making process throughout the different phases of the software lifecycle. Since SA is currently a hot and promising topic, we have conducted a systematic literature review, presented in this paper, to identify gaps in knowledge and open research areas in SA. Because many researchers are still confused about the true potential of SA, we had to filter out available research papers to obtain the most SA-relevant work for our review. This filtration yielded 19 studies out of 135. We have based our systematic review on four main factors: which software practitioners SA targets, which domains are covered by SA, which artifacts are extracted by SA, and whether these artifacts are linked or not. The results of our review have shown that much of the available SA research only serves the needs of developers. Also, much of the available research uses only one artifact which, in turn, means fewer links between artifacts and fewer insights. This shows that the available SA research work is still embryonic leaving plenty of room for future research in the SA field.


title: Going Deeper in Facial Expression Recognition using Deep Neural Networks

abstract: Automated Facial Expression Recognition (FER) has remained a challenging and interesting problem. Despite efforts made in developing various methods for FER, existing approaches traditionally lack generalizability when applied to unseen images or those that are captured in wild setting. Most of the existing approaches are based on engineered features (e.g. HOG, LBPH, and Gabor) where the classifier's hyperparameters are tuned to give best recognition accuracies across a single database, or a small collection of similar databases. Nevertheless, the results are not significant when they are applied to novel data. This paper proposes a deep neural network architecture to address the FER problem across multiple well-known standard face datasets. Specifically, our network consists of two convolutional layers each followed by max pooling and then four Inception layers. The network is a single component architecture that takes registered facial images as the input and classifies them into either of the six basic or the neutral expressions. We conducted comprehensive experiments on seven publically available facial expression databases, viz. MultiPIE, MMI, CK+, DISFA, FERA, SFEW, and FER2013. The results of proposed architecture are comparable to or better than the state-of-the-art methods and better than traditional convolutional neural networks and in both accuracy and training time.


title: Diagrammatic description for the categories of perverse sheaves on isotropic Grassmannians

abstract: For each integer $k\geq 4$ we describe diagrammatically a positively graded Koszul algebra $\mathbb{D}_k$ such that the category of finite dimensional $\mathbb{D}_k$-modules is equivalent to the category of perverse sheaves on the isotropic Grassmannian of type ${\rm D}_k$ or ${\rm B}_{k-1}$, constructible with respect to the Schubert stratification. The algebra is obtained by a (non-trivial) ``folding'' procedure from a generalized Khovanov arc algebra. Properties like graded cellularity and explicit closed formulas for graded decomposition numbers are established by elementary tools.


title: Exact sampling of diffusions with a discontinuity in the drift

abstract: We introduce exact methods for the simulation of sample paths of one-dimensional diffusions with a discontinuity in the drift function. Our procedures require the simulation of finite-dimensional candidate draws from probability laws related to those of Brownian motion and its local time and are based on the principle of retrospective rejection sampling. A simple illustration is provided.


title: Embedded connectivity of recursive networks

abstract: Let $G_n$ be an $n$-dimensional recursive network. The $h$-embedded connectivity $\zeta_h(G_n)$ (resp. edge-connectivity $\eta_h(G_n)$) of $G_n$ is the minimum number of vertices (resp. edges) whose removal results in disconnected and each vertex is contained in an $h$-dimensional subnetwork $G_h$. This paper determines $\zeta_h$ and $\eta_h$ for the hypercube $Q_n$ and the star graph $S_n$, and $\eta_3$ for the bubble-sort network $B_n$.


title: Rotational dynamics of a diatomic molecular ion in a Paul trap

abstract: We present models for a heteronuclear diatomic molecular ion in a linear Paul trap in a rigid-rotor approximation, one purely classical, the other where the center-of-mass motion is treated classically while rotational motion is quantized. We study the rotational dynamics and their influence on the motion of the center-of-mass, in the presence of the coupling between the permanent dipole moment of the ion and the trapping electric field. We show that the presence of the permanent dipole moment affects the trajectory of the ion, and that it departs from the Mathieu equation solution found for atomic ions. For the case of quantum rotations, we also evidence the effect of the above-mentioned coupling on the rotational states of the ion.


title: Joint Spectrum Sensing and Resource Allocation for OFDM-based Transmission with a Cognitive Relay

abstract: In this paper, we investigate the joint spectrum sensing and resource allocation problem to maximize throughput capacity of an OFDM-based cognitive radio link with a cognitive relay. By applying a cognitive relay that uses decode and forward (D&F), we achieve more reliable communications, generating less interference (by needing less transmit power) and more diversity gain. In order to account for imperfections in spectrum sensing, the proposed schemes jointly modify energy detector thresholds and allocates transmit powers to all cognitive radio (CR) subcarriers, while simultaneously assigning subcarrier pairs for secondary users (SU) and the cognitive relay. This problem is cast as a constrained optimization problem with constraints on (1) interference introduced by the SU and the cognitive relay to the PUs; (2) miss-detection and false alarm probabilities and (3) subcarrier pairing for transmission on the SU transmitter and the cognitive relay and (4) minimum Quality of Service (QoS) for each CR subcarrier. We propose one optimal and two sub-optimal schemes all of which are compared to other schemes in the literature. Simulation results show that the proposed schemes achieve significantly higher throughput than other schemes in the literature for different relay situations.


title: Latency and liquidity provision in a limit order book

abstract: We use a recent, high-quality data set from Nasdaq to perform an empirical analysis of order flow in a limit order book (LOB) before and after the arrival of a market order. For each of the stocks that we study, we identify a sequence of distinct phases across which the net flow of orders differs considerably. We note some of our results are consist with the widely reported phenomenon of stimulated refill, but that others are not. We therefore propose alternative mechanical and strategic motivations for the behaviour that we observe. Based on our findings, we argue that strategic liquidity providers consider both adverse selection and expected waiting costs when deciding how to act.


title: Optimal smoothing length scale for actuator line models of wind turbine blades

abstract: The actuator line model (ALM) is a commonly used method to represent lifting surfaces such as wind turbine blades within Large-Eddy Simulations (LES). In the ALM the lift and drag forces are replaced by an imposed body force which is typically smoothed over several grid points using a Gaussian kernel with some prescribed smoothing width $\epsilon$. To date, the choice of $\epsilon$ has most often been based on numerical considerations related to the grid spacing used in LES. However, especially for finely resolved LES with grid spacings on the order of or smaller than the chord-length of the blade, the best choice of $\epsilon$ is not known. In this work, a theoretical approach is followed to determine the most suitable value of $\epsilon$. Firstly, we develop an analytical solution to the linearized flow response to a Gaussian lift and drag force and use the results to establish a relationship between the local and far-field velocity required to specify lift and drag forces. Then, focusing first on the lift force, we find $\epsilon$ and the force center location that minimize the square difference between the velocity fields induced by the Gaussian force and 2D potential flow over Joukowski airfoils. We find that the optimal smoothing width $\epsilon^{\rm opt}$ is on the order of 14-25\% of the chord length of the blade, and the center of force is located at about 13-26\% downstream of the leading edge of the blade, for the cases considered. These optimal values do not depend on angle of attack and depend only weakly on the type of lifting surface. To represent the drag force, the optimal width of the circular Gaussian drag force field is shown to be equal to the momentum thickness of the wake.


title: Signal amplification in a qubit-resonator system

abstract: We study the dynamics of a qubit-resonator system, when the resonator is driven by two signals. The interaction of the qubit with the high-amplitude driving we consider in terms of the qubit dressed states. Interaction of the dressed qubit with the second probing signal can essentially change the amplitude of this signal. We calculate the transmission amplitude of the probe signal through the resonator as a function of the qubit's energy and the driving frequency detuning. The regions of increase and attenuation of the transmitted signal are calculated and demonstrated graphically. We present the influence of the signal parameters on the value of the amplification, and discuss the values of the qubit-resonator system parameters for an optimal amplification and attenuation of the weak probe signal.


title: Action Recognition using Visual Attention

abstract: We propose a soft attention based model for the task of action recognition in videos. We use multi-layered Recurrent Neural Networks (RNNs) with Long Short-Term Memory (LSTM) units which are deep both spatially and temporally. Our model learns to focus selectively on parts of the video frames and classifies videos after taking a few glimpses. The model essentially learns which parts in the frames are relevant for the task at hand and attaches higher importance to them. We evaluate the model on UCF-11 (YouTube Action), HMDB-51 and Hollywood2 datasets and analyze how the model focuses its attention depending on the scene and the action being performed.


title: Change Patterns for Model Creation: Investigating the Role of Nesting Depth

abstract: Process model quality has been an area of considerable research efforts. In this context, the correctness-by-construction principle of change patterns offers a promising perspective. However, using change patterns for model creation imposes a more structured way of modeling. While the process of process modeling (PPM) based on change primitives has been investigated, little is known about this process based on change patterns and factors that impact the cognitive complexity of pattern usage. Insights from the field of cognitive psychology as well as observations from a pilot study suggest that the nesting depth of the model to be created has a significant impact on cognitive complexity. This paper proposes a research design to test the impact of nesting depth on the cognitive complexity of change pattern usage in an experiment.


title: Investigating the Process of Process Modeling with Eye Movement Analysis

abstract: Research on quality issues of business process models has recently begun to explore the process of creating process models by analyzing the modeler's interactions with the modeling environment. In this paper we aim to complement previous insights on the modeler's modeling behavior with data gathered by tracking the modeler's eye movements when engaged in the act of modeling. We present preliminary results and outline directions for future research to triangulate toward a more comprehensive understanding of the process of process modeling. We believe that combining different views on the process of process modeling constitutes another building block in understanding this process that will ultimately enable us to support modelers in creating better process models.


title: The Dynamical Evolution of Accreted Star Clusters in the Milky Way

abstract: We perform $N$-body simulations of star clusters in time-dependant galactic potentials. Since the Milky Way was built-up through mergers with dwarf galaxies, its globular cluster population is made up of clusters formed both during the initial collapse of the Galaxy and in dwarf galaxies that were later accreted. Throughout a dwarf-Milky Way merger, dwarf galaxy clusters are subject to a changing galactic potential. Building on our previous work, we investigate how this changing galactic potential affects the evolution of a cluster's half mass radius. In particular, we simulate clusters on circular orbits around a dwarf galaxy that either falls into the Milky Way or evaporates as it orbits the Milky Way. We find that the dynamical evolution of a star cluster is determined by whichever galaxy has the strongest tidal field at the position of the cluster. Thus, clusters entering the Milky Way undergo changes in size as the Milky Way tidal field becomes stronger and that of the dwarf diminishes. We find that ultimately accreted clusters quickly become the same size as a cluster born in the Milky Way on the same orbit. Assuming their initial sizes are similar, clusters born in the Galaxy and those that are accreted cannot be separated based on their current size alone.


title: Weight Balancing on Boundaries

abstract: Given a polygonal region containing a target point (which we assume is the origin), it is not hard to see that there are two points on the perimeter that are antipodal, that is, whose midpoint is the origin. We prove three generalizations of this fact. (1) For any polygon (or any compact planar set) containing the origin, it is possible to place a given set of weights on the boundary so that their barycenter (center of mass) coincides with the origin, provided that the largest weight does not exceed the sum of the other weights. (2) On the boundary of any 3-dimensional compact set containing the origin, there exist three points that form an equilateral triangle centered at the origin. (3) For any $d$-dimensional bounded convex polyhedron containing the origin, there exists a pair of antipodal points consisting of a point on a $\lfloor d/2 \rfloor$-face and a point on a $\lceil d/2\rceil$-face.


title: A Kuramoto coupling of quasi-cycle oscillators

abstract: A family of stochastic processes has quasi-cycle oscillations if the oscillations are sustained by noise. For such a family we define a Kuramoto-type coupling of both phase and amplitude processes. We find that synchronization, as measured by the phase-locking index, increases with coupling strength, and appears, for larger network sizes, to have a critical value, at which the network moves relatively abruptly from incoherence to complete synchonization as in Kuramoto couplings of fixed amplitude oscillators. We compare several aspects of the dynamics of unsynchronized and highly synchronized networks. Our motivation comes from synchronization in neural networks.


title: Symmetric matrices, Catalan paths, and correlations

abstract: Kenyon and Pemantle (2014) gave a formula for the entries of a square matrix in terms of connected principal and almost-principal minors. Each entry is an explicit Laurent polynomial whose terms are the weights of domino tilings of a half Aztec diamond. They conjectured an analogue of this parametrization for symmetric matrices, where the Laurent monomials are indexed by Catalan paths. In this paper we prove the Kenyon-Pemantle conjecture, and apply this to a statistics problem pioneered by Joe (2006). Correlation matrices are represented by an explicit bijection from the cube to the elliptope.


title: Interference Alignment-Aided Base Station Clustering using Coalition Formation

abstract: Base station clustering is necessary in large interference networks, where the channel state information (CSI) acquisition overhead otherwise would be overwhelming. In this paper, we propose a novel long-term throughput model for the clustered users which addresses the balance between interference mitigation capability and CSI acquisition overhead. The model only depends on statistical CSI, thus enabling long-term clustering. Based on notions from coalitional game theory, we propose a low-complexity distributed clustering method. The algorithm converges in a couple of iterations, and only requires limited communication between base stations. Numerical simulations show the viability of the proposed approach.


title: Geometric Decompositions of Bell Polytopes with Practical Applications

abstract: In the well-studied (2,2,2) Bell experiment consisting of two parties, two measurement settings per party, and two possible outcomes per setting, it is known that if the experiment obeys no-signaling constraints, then the set of admissible experimental probability distributions is fully characterized as the convex hull of 24 distributions: 8 Popescu-Rohrlich (PR) boxes and 16 local deterministic distributions. Here, we refine this result to show that in the (2,2,2) case, any nonlocal nonsignaling distribution can always be uniquely expressed as a convex combination of exactly one PR box and (up to) eight local deterministic distributions. In this representation each PR box will always occur only with a fixed set of eight local deterministic distributions with which it is affiliated. This decomposition has multiple applications: we demonstrate an analytical proof that the minimum detection efficiency for which nonlocality can be observed is $\eta>2/3$ even for theories constrained only by the no-signaling principle, and we develop new algorithms that speed the calculation of important statistical functions of Bell test data. Finally, we enumerate the vertices of the no-signaling polytope for the (2, n, 2) "chained Bell" scenario and find that similar decomposition results are possible in this general case. Here, our results allow us to prove the optimality of a bound, derived in Barrett et al. [1], on the proportion of local theories in a local/nonlocal mixture that can be inferred from the experimental violation of a chained Bell inequality.


title: A Widely Linear Complex Autoregressive Process of Order One

abstract: We propose a simple stochastic process for modeling improper or noncircular complex-valued signals. The process is a natural extension of a complex-valued autoregressive process, extended to include a widely linear autoregressive term. This process can then capture elliptical, as opposed to circular, stochastic oscillations in a bivariate signal. The process is order one and is more parsimonious than alternative stochastic modeling approaches in the literature. We provide conditions for stationarity, and derive the form of the covariance and relation sequence of this model. We describe how parameter estimation can be efficiently performed both in the time and frequency domain. We demonstrate the practical utility of the process in capturing elliptical oscillations that are naturally present in seismic signals.


title: On groups with the same character degrees as almost simple groups with socle the Mathieu groups

abstract: Let $G$ be a finite group and $cd(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group whose socle is Mathieu group such that $cd(G) =cd(H)$, then there exists an Abelian subgroup $A$ of $G$ such that $G/A$ is isomorphic to $H$. This study is heading towards the study of an extension of Huppert's conjecture (2000) for almost simple groups.


title: A Stochastic Reliability Model of a Server under a Random Workload

abstract: Traffic to any server is rarely constant over time. In addition, the workload brought by each service request is typically unknown in advance, and each request may bring a different workload to the server. Cha and Lee (2011) proposed a reliability model where each request brings an identical and constant workload. In this paper, we generalize the model to allow for requests to bring an unknown random stress to the server. Jobs arrive to the server via a nonhomogeneous Poisson process. Service times are random and i.i.d. Each job adds a random stress Hj ~ H to the breakdown rate of the server until the job is completed. The survival function of such a server and the efficiency of the server are derived.


title: Decorrelation of anisotropic flows along the longitudinal direction

abstract: The initial energy density distribution and fluctuation in the transverse direction lead to anisotropic flows of final hadrons through collective expansion in high-energy heavy-ion collisions. Fluctuations along the longitudinal direction, on the other hand, can result in decorrelation of anisotropic flows in different regions of pseudo rapidity ($\eta$). Decorrelation of the $2$nd and $3$rd order anisotropic flows with different $\eta$ gaps for final charged hadrons in high-energy heavy-ion collisions is studied in an event-by-event (3+1)D ideal hydrodynamic model with fully fluctuating initial conditions from A Multi-Phase Transport (AMPT) model. The decorrelation of anisotropic flows of final hadrons with large $\eta$ gaps are found to originate from the spatial decorrelation along the longitudinal direction in the AMPT initial conditions through hydrodynamic evolution. The decorrelation is found to consist of both a linear twist and random fluctuation of the event-plane angles. The agreement between our results and recent CMS data in most centralities suggests that the string-like mechanism of initial parton production in AMPT model captures the initial longitudinal fluctuation that is responsible for the measured decorrelation of anisotropic flows in Pb+Pb collisions at LHC. Our predictions for Au+Au collisions at the highest RHIC energy show stronger longitudinal decorrelation, indicating larger longitudinal fluctuations at lower beam energies. Our study also calls into question some of the current experimental methods for measuring anisotropic flows and extraction of transport coefficients through comparisons to hydrodynamic simulations that do not include longitudinal fluctuations.


title: ALFABURST: A realtime fast radio burst monitor for the Arecibo telescope

abstract: Fast radio bursts (FRBs) constitute an emerging class of fast radio transient whose origin continues to be a mystery. Realizing the importance of increasing coverage of the search parameter space, we have designed, built, and deployed a realtime monitor for FRBs at the 305-m Arecibo radio telescope. Named 'ALFABURST', it is a commensal instrument that is triggered whenever the 1.4 GHz seven-beam Arecibo $L$-Band Feed Array (ALFA) receiver commences operation. The ongoing commensal survey we are conducting using ALFABURST has an instantaneous field of view of 0.02 sq. deg. within the FWHM of the beams, with the realtime software configurable to use up to 300 MHz of bandwidth. We search for FRBs with dispersion measure up to 2560 cm$^{-3}$ pc and pulse widths ranging from 0.128 ms to 16.384 ms. Commissioning observations performed over the past few months have demonstrated the capability of the instrument in detecting single pulses from known pulsars. In this paper, I describe the instrument and the associated survey.


title: Mechanical impulse propagation in a packing of 3D spheres confined at constant pressure

abstract: Mechanical impulse propagation in granular media depends strongly on the imposed confinement conditions. In this work, the propagation of sound in a granular packing contained by flexible walls that enable confinement under hydrostatic pressure conditions is investigated. This configuration also allows the form of the input impulse to be controlled by means of an instrumented impact pendulum. The main characteristics of mechan- ical wave propagation are analyzed, and it is found that the wave speed as function of the wave amplitude of the propagating pulse obeys the predictions of the Hertz contact law. Upon increasing the confinement pressure, a continuous transition from nonlinear to linear propagation is observed. Our results show that in the low-confinement regime, the attenuation increases with an increasing impulse amplitude for nonlinear pulses, whereas it is a weak function of the confinement pressure for linear waves.


title: Whom Should We Sense in "Social Sensing" -- Analyzing Which Users Work Best for Social Media Now-Casting

abstract: Given the ever increasing amount of publicly available social media data, there is growing interest in using online data to study and quantify phenomena in the offline "real" world. As social media data can be obtained in near real-time and at low cost, it is often used for "now-casting" indices such as levels of flu activity or unemployment. The term "social sensing" is often used in this context to describe the idea that users act as "sensors", publicly reporting their health status or job losses. Sensor activity during a time period is then typically aggregated in a "one tweet, one vote" fashion by simply counting. At the same time, researchers readily admit that social media users are not a perfect representation of the actual population. Additionally, users differ in the amount of details of their personal lives that they reveal. Intuitively, it should be possible to improve now-casting by assigning different weights to different user groups. In this paper, we ask "How does social sensing actually work?" or, more precisely, "Whom should we sense--and whom not--for optimal results?". We investigate how different sampling strategies affect the performance of now-casting of two common offline indices: flu activity and unemployment rate. We show that now-casting can be improved by 1) applying user filtering techniques and 2) selecting users with complete profiles. We also find that, using the right type of user groups, now-casting performance does not degrade, even when drastically reducing the size of the dataset. More fundamentally, we describe which type of users contribute most to the accuracy by asking if "babblers are better". We conclude the paper by providing guidance on how to select better user groups for more accurate now-casting.


title: Presenting Hecke endomorphism algebras by Hasse quivers with relations

abstract: A Hecke endomorphism algebra is a natural generalisation of the $q$-Schur algebra associated with the symmetric group to a Coxeter group. For Weyl groups, B. Parshall, L. Scott and the first author \cite{DPS,DPS4} investigated the stratification structure of these algebras in order to seek applications to representations of finite groups of Lie type. In this paper we investigate the presentation problem for Hecke endomorphism algebras associated with arbitrary Coxeter groups. Our approach is to present such algebras by quivers with relations. If $R$ is the localisation of $\mathbb Z[q]$ at the polynomials with the constant term 1, the algebra can simply be defined by the so-called idempotent, sandwich and extended braid relations. As applications of this result, we first obtain a presentation of the 0-Hecke endomorphism algebra over $\mathbb{Z}$ and then develop an algorithm for presenting the Hecke endomorphism algebras over $\mathbb Z[q]$ by finding torsion relations. As examples, we determine the torsion relations required for all rank 2 groups and the symmetric group $\mathfrak{S}_4$.


title: UA-DETRAC: A New Benchmark and Protocol for Multi-Object Detection and Tracking

abstract: In recent years, numerous effective multi-object tracking (MOT) methods are developed because of the wide range of applications. Existing performance evaluations of MOT methods usually separate the object tracking step from the object detection step by using the same fixed object detection results for comparisons. In this work, we perform a comprehensive quantitative study on the effects of object detection accuracy to the overall MOT performance, using the new large-scale University at Albany DETection and tRACking (UA-DETRAC) benchmark dataset. The UA-DETRAC benchmark dataset consists of 100 challenging video sequences captured from real-world traffic scenes (over 140,000 frames with rich annotations, including occlusion, weather, vehicle category, truncation, and vehicle bounding boxes) for object detection, object tracking and MOT system. We evaluate complete MOT systems constructed from combinations of state-of-the-art object detection and object tracking methods. Our analysis shows the complex effects of object detection accuracy on MOT system performance. Based on these observations, we propose new evaluation tools and metrics for MOT systems that consider both object detection and object tracking for comprehensive analysis.


title: Seeing the Unseen Network: Inferring Hidden Social Ties from Respondent-Driven Sampling

abstract: Learning about the social structure of hidden and hard-to-reach populations --- such as drug users and sex workers --- is a major goal of epidemiological and public health research on risk behaviors and disease prevention. Respondent-driven sampling (RDS) is a peer-referral process widely used by many health organizations, where research subjects recruit other subjects from their social network. In such surveys, researchers observe who recruited whom, along with the time of recruitment and the total number of acquaintances (network degree) of respondents. However, due to privacy concerns, the identities of acquaintances are not disclosed. In this work, we show how to reconstruct the underlying network structure through which the subjects are recruited. We formulate the dynamics of RDS as a continuous-time diffusion process over the underlying graph and derive the likelihood for the recruitment time series under an arbitrary recruitment time distribution. We develop an efficient stochastic optimization algorithm called RENDER (REspoNdent-Driven nEtwork Reconstruction) that finds the network that best explains the collected data. We support our analytical results through an exhaustive set of experiments on both synthetic and real data.


title: Experimental observation of magnetoelectricity in spin ice Dy$_2$Ti$_2$O$_7$

abstract: The intrinsic noncollinear spin patterns in rare-earth pyrochlore are physically interesting, hosting many emergent properties, e.g. spin ice and monopole-type excitation. Recently, the magnetic monopole excitation of spin ice systems was predicted to be magnetoelectric active, while rare experimental works have directly confirmed this scenario. In this work, we performed systematic experimental investigation on the magnetoelectricity of Dy$_2$Ti$_2$O$_7$ by probing the ferroelectricity, spin dynamics, and dielectric behaviors. Two ferroelectric transitions at $T_{c1}$=25 K and $T_{c2}$=13 K have been observed. Remarkable magnetoelectric coupling is identified below the lower transition temperature, with a significant suppression of the electric polarization upon applied magnetic field. It is surprised that the lower ferroelectric transition temperature just coincides with the Ising-spin paramagnetic transition point, below which the quasi-particle-like monopoles are populated, indicating implicit correlation between electric dipoles and spin moments. The possible magnetoelectric mechanisms have also been discussed although a decent theory remains unavailable up to date. Our results will stimulate more investigations to explore multiferroicity in these spin ice systems and other frustrated magnets.


title: Correcting for Interstellar Scattering Delay in High-precision Pulsar Timing: Simulation Results

abstract: Light travel time changes due to gravitational waves may be detected within the next decade through precision timing of millisecond pulsars. Removal of frequency-dependent interstellar medium (ISM) delays due to dispersion and scattering is a key issue in the detection process. Current timing algorithms routinely correct pulse times of arrival (TOAs) for time-variable delays due to cold plasma dispersion. However, none of the major pulsar timing groups correct for delays due to scattering from multi-path propagation in the ISM. Scattering introduces a frequency-dependent phase change in the signal that results in pulse broadening and arrival time delays. Any method to correct the TOA for interstellar propagation effects must be based on multi-frequency measurements that can effectively separate dispersion and scattering delay terms from frequency-independent perturbations such as those due to a gravitational wave. Cyclic spectroscopy, first described in an astronomical context by Demorest (2011), is a potentially powerful tool to assist in this multi-frequency decomposition. As a step toward a more comprehensive ISM propagation delay correction, we demonstrate through a simulation that we can accurately recover impulse response functions (IRFs), such as those that would be introduced by multi-path scattering, with a realistic signal-to-noise ratio. We demonstrate that timing precision is improved when scatter-corrected TOAs are used, under the assumptions of a high signal-to-noise and highly scattered signal. We also show that the effect of pulse-to-pulse "jitter" is not a serious problem for IRF reconstruction, at least for jitter levels comparable to those observed in several bright pulsars.


title: Positive parity $D_s$ mesons

abstract: We study the positive parity charmed strange mesons using lattice QCD, the only reliable ab initio method to study QCD at low energies. Especially the experimentally observed $D_{s0}^*(2317)$ and $D_{s1}(2460)$ have challenged theory for quite some time. The dynamical lattice QCD simulations are performed at two distinct pion masses, $m_{\pi}$ = 266 MeV and 156 MeV, using both $\bar{c}s$ as well as $DK$ and $D^*K$ scattering operators in the construction of the correlation matrix in order to take into the account threshold effects. While the $J^P = 0^+$ channel benefited most from the inclusion of scattering operators, it was also crucial for the case of the $D_{s1}(2460)$. Using the L\"uscher method, which relates the finite volume spectrum to the infinite volume scattering matrix, we were able to determine the near threshold behavior of the scattering amplitude. From it we extracted the binding momenta and the masses of the below-threshold bound states $D_{s0}^*(2317)$ and $D_{s1}(2460)$ by determining the pole positions of the scattering amplitudes. Our results compare well with experiment, resolving a long standing discrepancy between theory and experiment.


title: VLT/ISAAC infrared spectroscopy of embedded high-mass YSOs in the Large Magellanic Cloud: Methanol and the 3.47 micron band

abstract: This study aims to elucidate a possible link between chemical properties of ices in star-forming regions and environmental characteristics of the host galaxy. We performed 3--4 micron spectroscopic observations toward nine embedded high-mass YSOs in the Large Magellanic Cloud (LMC) with the ISAAC at the VLT. Additionally, we analyzed archival ISAAC data of two LMC YSOs. As a result, we detected absorption bands due to solid H2O and CH3OH as well as the 3.47 micron absorption band. The 3.53 micron CH3OH ice absorption band for the LMC YSOs is found to be absent or very weak compared to that seen toward Galactic sources. The result suggests the low abundance of CH3OH ice in the LMC. The 3.47 micron absorption band is detected toward six out of eleven LMC YSOs. We found that the 3.47 micron band and the H2O ice band correlate similarly between the LMC and Galactic samples, but the LMC sources seem to require a slightly higher H2O ice threshold for the appearance of the 3.47 micron band. For the LMC sources with relatively large H2O ice optical depths, we found that the strength ratio of the 3.47 micron band relative to the water ice band is only marginally lower than those of the Galactic sources. We propose that grain surface reactions at a relatively high dust temperature (warm ice chemistry) are responsible for the observed characteristics of ice chemical compositions in the LMC. We suggest that this warm ice chemistry is one of the important characteristics of interstellar and circumstellar chemistry in low metallicity environments. The low abundance of CH3OH in the solid phase implies that formation of complex organic molecules from methanol-derived species is less efficient in the LMC. For the 3.47 micron band, the observed difference in the water ice threshold may suggest that a more shielded environment is necessary for the formation of the 3.47 micron band carrier in the LMC.


title: Novel QCD Phenomena at JLab

abstract: The $12~$GeV electron beam energy at Jefferson Laboratory provides ideal electroproduction kinematics for many novel tests of QCD in both the perturbative and nonperturbative domains. These include tests of the quark flavor dependence of the nuclear structure functions; measurements of the QCD running coupling at soft scales; measurements of the diffractive deep inelastic structure function; measurements of exclusive contributions to the $T-$ odd Sivers function; the identification of ``odderon" contributions; tests of the spectroscopic and dynamic features of light-front holography, as well as ``meson-nucleon supersymmetry"; the production of open and hidden charm states in the heavy-quark threshold domain; and the production of exotic hadronic states such as pentaquarks, tetraquarks and even octoquarks containing charm quarks. One can also study fundamental features of QCD at JLab$12$ such as the ``hidden color" of nuclear wavefunctions, the ``color transparency" of hard exclusive processes, and the ``intrinsic strangeness and charm" content of the proton wavefunction. I will also discuss evidence that the antishadowing of nuclear structure functions is non-universal; i.e., flavor dependent. I will also present arguments why shadowing and antishadowing phenomena may be incompatible with the momentum and other sum rules for the nuclear parton distribution functions. I will also briefly review new insights into the hadron mass scale, the hadron mass spectrum, the functional form of the QCD coupling in the nonperturbative domain predicted by light-front holography, and how superconformal algebra leads to remarkable supersymmetric relations between mesons and baryons.


title: Deep Reinforcement Learning in Parameterized Action Space

abstract: Recent work has shown that deep neural networks are capable of approximating both value functions and policies in reinforcement learning domains featuring continuous state and action spaces. However, to the best of our knowledge no previous work has succeeded at using deep neural networks in structured (parameterized) continuous action spaces. To fill this gap, this paper focuses on learning within the domain of simulated RoboCup soccer, which features a small set of discrete action types, each of which is parameterized with continuous variables. The best learned agent can score goals more reliably than the 2012 RoboCup champion agent. As such, this paper represents a successful extension of deep reinforcement learning to the class of parameterized action space MDPs.


title: A General Decision Theory for Huber's $\epsilon$-Contamination Model

abstract: Today's data pose unprecedented challenges to statisticians. It may be incomplete, corrupted or exposed to some unknown source of contamination. We need new methods and theories to grapple with these challenges. Robust estimation is one of the revived fields with potential to accommodate such complexity and glean useful information from modern datasets. Following our recent work on high dimensional robust covariance matrix estimation, we establish a general decision theory for robust statistics under Huber's $\epsilon$-contamination model. We propose a solution using Scheff{\'e} estimate to a robust two-point testing problem that leads to the construction of robust estimators adaptive to the proportion of contamination. Applying the general theory, we construct robust estimators for nonparametric density estimation, sparse linear regression and low-rank trace regression. We show that these new estimators achieve the minimax rate with optimal dependence on the contamination proportion. This testing procedure, Scheff{\'e} estimate, also enjoys an optimal rate in the exponent of the testing error, which may be of independent interest.


title: A Continuous-time Mutually-Exciting Point Process Framework for Prioritizing Events in Social Media

abstract: The overwhelming amount and rate of information update in online social media is making it increasingly difficult for users to allocate their attention to their topics of interest, thus there is a strong need for prioritizing news feeds. The attractiveness of a post to a user depends on many complex contextual and temporal features of the post. For instance, the contents of the post, the responsiveness of a third user, and the age of the post may all have impact. So far, these static and dynamic features has not been incorporated in a unified framework to tackle the post prioritization problem. In this paper, we propose a novel approach for prioritizing posts based on a feature modulated multi-dimensional point process. Our model is able to simultaneously capture textual and sentiment features, and temporal features such as self-excitation, mutual-excitation and bursty nature of social interaction. As an evaluation, we also curated a real-world conversational benchmark dataset crawled from Facebook. In our experiments, we demonstrate that our algorithm is able to achieve the-state-of-the-art performance in terms of analyzing, predicting, and prioritizing events. In terms of interpretability of our method, we observe that features indicating individual user profile and linguistic characteristics of the events work best for prediction and prioritization of new events.


title: Quantum decay of the persistent current in a Josephson junction ring

abstract: We study the persistent current in a ring consisting of N >> 1 Josephson junctions threaded by the magnetic flux. When the dynamics of the ring is dominated by the capacitances of the superconducting islands the system is equivalent to the xy spin system in 1+1 dimensions at the effective temperature T*=(2JU)^(1/2), with J being the Josephson energy of the junction and U being the charging energy of the superconducting island. The numerical problem is challenging due to the absence of thermodynamic limit and slow dynamics of the Kosterlitz-Thouless transition. It is investigated on lattices containing up to one million sites. At T << J the quantum phase slips are frozen. The low-T* dependence of the persistent current computed numerically agrees quantitatively with the analytical formula provided by the spin-wave approximation. The high- T* behavior depends strongly on the magnetic flux and on the number of superconducting islands N. Depending on the flux, the persistent current gets destroyed by the phase slips and/or by the superconductor-insulator transition on increasing T*.


title: IN-SYNC IV - The Young Stellar Population in the Orion A Molecular Cloud

abstract: We present the results of the SDSS APOGEE INfrared Spectroscopy of Young Nebulous Clusters program (IN-SYNC) survey of the Orion A molecular cloud. This survey obtained high resolution near infrared (NIR) spectroscopy of about 2700 young pre-main sequence stars throughout the region, acquired across five distinct fields spanning 6deg field of view (FOV). With these spectra, we have measured accurate stellar parameters (T_eff, log g, v sin i) and extinctions, and placed the sources in the Hertzsprung-Russel Diagram (HRD). We have also extracted radial velocities for the kinematic characterization of the population. We compare our measurements with literature results for a sub-sample of targets in order to assess the performances and accuracy of the survey. Source extinction shows evidence for dust grains that are larger than those in the diffuse interstellar medium (ISM): we estimate an average R_V=5.5 in the region. Importantly, we find a clear correlation between HRD inferred ages and spectroscopic surface-gravity inferred ages. This clearly indicates a real spread of stellar radii at fixed temperature, and together with additional correlations with extinction and with disk presence, strongly suggests a real spread of ages large than a few Myr. Focussing on the young population around NGC1980 iota Ori, which has previously been suggested to be a separate, foreground, older cluster, we confirm its older (5Myr) age and low A_V, but considering that its radial velocity distribution is indistinguishable from the Orion A's population, we suggest that NGC1980 is part of Orion A's star formation activity. Based on their stellar parameters and kinematic properties, we identify 383 new candidate members of Orion A, most of which are diskless sources in areas of the region poorly studied by previous works.


title: The Dehn function of Richard Thompson's group $T$

abstract: V.S.Guba had proved that the R.Thompson group $T$ satisfies polynomial isoperimetric inequality and $\Phi_T(n)\preceq n^7$, where $\Phi_T$ is the Dehn function of group $T$. In this paper, we show that $\Phi_T(n)\preceq n^5$.


title: Gravitational two solitons in Levi-Civita spacetime

abstract: Applying the Pomeransky inverse scattering method to the four-dimensional vacuum Einstein equations and using the Levi-Civita solution as a seed, we construct a two-soliton solution with cylindrical symmetry. In our previous work, we constructed the one-soliton solution with a real pole and showed that the singularities that the Levi-Civita background has on an axis can be removed by the choice of certain special parameters, but it still has unavoidable null singularities, as usual one-solitons do. In this work, we show that for the two-soliton solutions, any singularities can be removed by suitable parameter-setting and such solutions describe the propagation of gravitational wave packets. Moreover, in terms of the two-soliton solutions, we mention a time shift phenomenon, the coalescence and the split of solitons as the nonlinear effect of gravitational waves.


title: Deep Mean Maps

abstract: The use of distributions and high-level features from deep architecture has become commonplace in modern computer vision. Both of these methodologies have separately achieved a great deal of success in many computer vision tasks. However, there has been little work attempting to leverage the power of these to methodologies jointly. To this end, this paper presents the Deep Mean Maps (DMMs) framework, a novel family of methods to non-parametrically represent distributions of features in convolutional neural network models. DMMs are able to both classify images using the distribution of top-level features, and to tune the top-level features for performing this task. We show how to implement DMMs using a special mean map layer composed of typical CNN operations, making both forward and backward propagation simple. We illustrate the efficacy of DMMs at analyzing distributional patterns in image data in a synthetic data experiment. We also show that we extending existing deep architectures with DMMs improves the performance of existing CNNs on several challenging real-world datasets.


title: Lattice NRQCD study of quarkonium at non-zero temperature

abstract: To study the in-medium modification of quarkonium properties, charmonium correlators at $140.4 (\beta =6.664) \le T \le 221 (\beta = 7.280)$ (MeV) are calculated using the NRQCD formalism on $48^3 \times 12$ gauge configurations with dynamical $N_f = 2 + 1$ flavors of Highly Improved Staggered Quarks (HISQ). To determine the "zero energy shift" for these lattices, we perform a fine zero temperature scan ($\beta =6.664, 6.740, 6.800, 6.880, 6.950, 7.030, 7.150$ and $7.280$). We find that the temperature dependence of charmonium correlators is stronger than the temperature dependence of bottomonium correlators in a given channel. This fits into the expected pattern of sequential quarkonium melting.


title: Isogonal Deformation of Discrete Plane Curves and Discrete Burgers Hierarchy

abstract: We study deformations of plane curves in the similarity geometry. It is known that continuous deformations of smooth curves are described by the Burgers hierarchy. In this paper, we formulate the discrete deformation of discrete plane curves described by the discrete Burgers hierarchy as isogonal deformations. We also construct explicit formulas for the curve deformations by using the solution of linear diffusion differential/difference equations.


title: Adaptive Affinity Matrix for Unsupervised Metric Learning

abstract: Spectral clustering is one of the most popular clustering approaches with the capability to handle some challenging clustering problems. Most spectral clustering methods provide a nonlinear map from the data manifold to a subspace. Only a little work focuses on the explicit linear map which can be viewed as the unsupervised distance metric learning. In practice, the selection of the affinity matrix exhibits a tremendous impact on the unsupervised learning. While much success of affinity learning has been achieved in recent years, some issues such as noise reduction remain to be addressed. In this paper, we propose a novel method, dubbed Adaptive Affinity Matrix (AdaAM), to learn an adaptive affinity matrix and derive a distance metric from the affinity. We assume the affinity matrix to be positive semidefinite with ability to quantify the pairwise dissimilarity. Our method is based on posing the optimization of objective function as a spectral decomposition problem. We yield the affinity from both the original data distribution and the widely-used heat kernel. The provided matrix can be regarded as the optimal representation of pairwise relationship on the manifold. Extensive experiments on a number of real-world data sets show the effectiveness and efficiency of AdaAM.


title: Partially magic labelings and the Antimagic Graph Conjecture

abstract: The Antimagic Graph Conjecture asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, \dots, |E|$ is used exactly once and the sums of the labels on all edges incident to a given vertex are distinct. On the other extreme, an edge labeling is magic if the sums of the labels on all edges incident to each vertex are the same. In this paper we approach antimagic labelings by introducing partially magic labelings, where "magic occurs'' just in a subset of $V$. We generalize Stanley's theorem about the magic graph labeling counting function to the associated counting function of partially magic labelings and prove that it is a quasi-polynomial of period at most $2$. This allows us to introduce weak antimagic labelings (for which repetition is allowed), and we show that every bipartite graph satisfies a weakened version of the Antimagic Graph Conjecture.


title: Confinement/deconfinement phase transition in SU(3) Yang-Mills theory in view of dual superconductivity

abstract: In the preceeding works, we have given a non-Abelian dual superconductivity picture for quark confinement, and demonstrated the numerical evidences on the lattice. In this talk, we discuss the confinement and deconfinement phase transition at finite temperature in view of the dual superconductivity. We investigate chromomagnetic monopole currents induced by chromoelectric flux in both confinement and deconfinement phase by the numerical simulations on a lattice at finite temperature, and discuss the role of the chromomagnetic monopole in the confinement/deconfinement phase transition.


title: Neuroprosthetic decoder training as imitation learning

abstract: Neuroprosthetic brain-computer interfaces function via an algorithm which decodes neural activity of the user into movements of an end effector, such as a cursor or robotic arm. In practice, the decoder is often learned by updating its parameters while the user performs a task. When the user's intention is not directly observable, recent methods have demonstrated value in training the decoder against a surrogate for the user's intended movement. We describe how training a decoder in this way is a novel variant of an imitation learning problem, where an oracle or expert is employed for supervised training in lieu of direct observations, which are not available. Specifically, we describe how a generic imitation learning meta-algorithm, dataset aggregation (DAgger, [1]), can be adapted to train a generic brain-computer interface. By deriving existing learning algorithms for brain-computer interfaces in this framework, we provide a novel analysis of regret (an important metric of learning efficacy) for brain-computer interfaces. This analysis allows us to characterize the space of algorithmic variants and bounds on their regret rates. Existing approaches for decoder learning have been performed in the cursor control setting, but the available design principles for these decoders are such that it has been impossible to scale them to naturalistic settings. Leveraging our findings, we then offer an algorithm that combines imitation learning with optimal control, which should allow for training of arbitrary effectors for which optimal control can generate goal-oriented control. We demonstrate this novel and general BCI algorithm with simulated neuroprosthetic control of a 26 degree-of-freedom model of an arm, a sophisticated and realistic end effector.


title: $k$-means: Fighting against Degeneracy in Sequential Monte Carlo with an Application to Tracking

abstract: For regular particle filter algorithm or Sequential Monte Carlo (SMC) methods, the initial weights are traditionally dependent on the proposed distribution, the posterior distribution at the current timestamp in the sampled sequence, and the target is the posterior distribution of the previous timestamp. This is technically correct, but leads to algorithms which usually have practical issues with degeneracy, where all particles eventually collapse onto a single particle. In this paper, we propose and evaluate using $k$ means clustering to attack and even take advantage of this degeneracy. Specifically, we propose a Stochastic SMC algorithm which initializes the set of $k$ means, providing the initial centers chosen from the collapsed particles. To fight against degeneracy, we adjust the regular SMC weights, mediated by cluster proportions, and then correct them to retain the same expectation as before. We experimentally demonstrate that our approach has better performance than vanilla algorithms.


title: Aadhaar-Based Unified Payment Solution

abstract: In this paper, we propose to build an Aadhaar Based Unified Payment Solution. The key idea is that a virtual wallet will be linked to the Aadhaar card number of the customer. After that, any identification unique to the person and linked with the Aadhaar card, be it something the person knows like secret Internet-banking password, be it something s/he carries like debit card/ credit card, something s/he owns like fingerprints, voice, email-id or somewhere s/he is like house or office address, can be used for money transfer from the sender's Aadhaar card linked virtual wallet to the receiver's Aadhaar card linked virtual wallet, whose any unique ID is known to the sender. If the sender knows the receiver's email-id, s/he can transfer money to his/ her Aadhaar card linked virtual wallet using the email-id. And, if the sender knows receiver's mobile number but not email-id, s/he can use the mobile number to transfer the money to his/ her Aadhaar card linked virtual wallet. And so on.


title: The thick-crystal regime in photon pair sources

abstract: We present comprehensive measurement data on the pump and collection beam parameters necessary to achieve high collection efficiency ($89.0 \pm 1.7 \%$) together with high brightness when a single $\beta$-Barium Borate crystal is operated in the thick-crystal regime and pumped with a narrow linewidth laser source. Spectral analysis of the collinear, non-degenerate photons suggest that the effective interaction length within the crystal is dominated by the collection beam mode and the use of longer crystals with increased spatial walk-off does not necessarily lead to a reduced collection efficiency. This result is an important consideration for optical designers who seek to develop practical photon pair sources.


title: Voter Models and External Influence

abstract: In this paper, we extend the voter model (VM) and the threshold voter model (TVM) to include external influences modelled as a jump process. We study the newly-formulated models both analytically and computationally, employing diffusion approximations and mean field approximations. We derive results pertaining to the probability of reaching consensus on a particular opinion and also the expected consensus time. We find that although including an external influence leads to a faster consensus in general, this effect is more pronounced in the VM as compared to the TVM. Our findings suggest the potential importance of "macro-level" phenomena such as the external influences as compared to "micro-level" local interactions.


title: Continuum Enhancements in the Ultraviolet, the Visible and the Infrared during the X1 flare on 2014 March 29

abstract: Enhanced continuum brightness is observed in many flares (''white light flares''), yet it is still unclear which processes contribute to the emission. To understand the transport of energy needed to account for this emission, we must first identify both the emission processes and the emission source regions. Possibilities include heating in the chromosphere causing optically thin or thick emission from free-bound transitions of Hydrogen, and heating of the photosphere causing enhanced H$^-$ continuum brightness. To investigate these possibilities, we combine observations from IRIS, SDO/HMI, and the ground-based FIRS instrument, covering wavelengths in the far-UV, near-UV, visible, and infrared during the X1 flare SOL20140329T17:48. Fits of blackbody spectra to infrared and visible wavelengths are reasonable, yielding radiation temperatures $\sim$6000-6300 K. The NUV emission, formed in the upper photosphere under undisturbed conditions, exceeds these simple fits during the flare, requiring extra emission from the Balmer continuum in the chromosphere. Thus, the continuum originates from enhanced radiation from photosphere (visible-IR) and chromosphere (NUV). From the standard thick-target flare model, we calculate the energy of the nonthermal electrons observed by RHESSI and compare it to the energy radiated by the continuum emission. We find that the energy contained in most electrons $>$40 keV, or alternatively, of $\sim$10-20% of electrons $>$20 keV is sufficient to explain the extra continuum emission of $\sim4-8 \times 10^{10}$ erg s$^{-1}$ cm$^{-2}$. Also, from the timing of the RHESSI HXR and the IRIS observations, we conclude that the NUV continuum is emitted nearly instantaneously when HXR emission is observed with a time difference of no more than 15 s.


title: Heterogeneous Treatment Effects with Mismeasured Endogenous Treatment

abstract: This paper studies the identifying power of an instrumental variable in the nonparametric heterogeneous treatment effect framework when a binary treatment is mismeasured and endogenous. Using a binary instrumental variable, I characterize the sharp identified set for the local average treatment effect under the exclusion restriction of an instrument and the deterministic monotonicity of the true treatment in the instrument. Even allowing for general measurement error (e.g., the measurement error is endogenous), it is still possible to obtain finite bounds on the local average treatment effect. Notably, the Wald estimand is an upper bound on the local average treatment effect, but it is not the sharp bound in general. I also provide a confidence interval for the local average treatment effect with uniformly asymptotically valid size control. Furthermore, I demonstrate that the identification strategy of this paper offers a new use of repeated measurements for tightening the identified set.


title: A remark on finding the coefficient of the dissipative boundary condition via the enclosure method in the time domain

abstract: An inverse problem for the wave equation outside an obstacle with a {\it dissipative boundary condition} is considered. The observed data are given by a single solution of the wave equation generated by an initial data supported on an open ball. An explicit analytical formula for the computation of the coefficient at a point on the surface of the obstacle which is nearest to the center of the support of the initial data is given.


title: Natural Language Object Retrieval

abstract: In this paper, we address the task of natural language object retrieval, to localize a target object within a given image based on a natural language query of the object. Natural language object retrieval differs from text-based image retrieval task as it involves spatial information about objects within the scene and global scene context. To address this issue, we propose a novel Spatial Context Recurrent ConvNet (SCRC) model as scoring function on candidate boxes for object retrieval, integrating spatial configurations and global scene-level contextual information into the network. Our model processes query text, local image descriptors, spatial configurations and global context features through a recurrent network, outputs the probability of the query text conditioned on each candidate box as a score for the box, and can transfer visual-linguistic knowledge from image captioning domain to our task. Experimental results demonstrate that our method effectively utilizes both local and global information, outperforming previous baseline methods significantly on different datasets and scenarios, and can exploit large scale vision and language datasets for knowledge transfer.


title: Self-dual Wulff shapes and spherical convex bodies of constant width ${\pi}/{2}$

abstract: For any Wulff shape, its dual Wulff shape is naturally defined. A self-dual Wulff shape is a Wulff shape equaling its dual Wulff shape exactly. In this paper, it is shown that a Wulff shape is self-dual if and only if the spherical convex body induced by it is of constant width ${\pi}/{2}$.


title: Unsupervised Learning of Edges

abstract: Data-driven approaches for edge detection have proven effective and achieve top results on modern benchmarks. However, all current data-driven edge detectors require manual supervision for training in the form of hand-labeled region segments or object boundaries. Specifically, human annotators mark semantically meaningful edges which are subsequently used for training. Is this form of strong, high-level supervision actually necessary to learn to accurately detect edges? In this work we present a simple yet effective approach for training edge detectors without human supervision. To this end we utilize motion, and more specifically, the only input to our method is noisy semi-dense matches between frames. We begin with only a rudimentary knowledge of edges (in the form of image gradients), and alternate between improving motion estimation and edge detection in turn. Using a large corpus of video data, we show that edge detectors trained using our unsupervised scheme approach the performance of the same methods trained with full supervision (within 3-5%). Finally, we show that when using a deep network for the edge detector, our approach provides a novel pre-training scheme for object detection.


title: Superfluid response in heavy fermion superconductors

abstract: Motivated by recent London penetration depth measurement [H. Kim et al. Phys. Rev. Lett. \textbf{114}, 027003 (2015)] and novel composite pairing scenario [O. Erten, R. Flint and P. Coleman, Phys. Rev. Lett. \textbf{114}, 027002 (2015)] on Yb-doped heavy fermion superconductor CeCoIn$_{5}$, we revisit the issue of superfluid response in microscopic heavy fermion lattice model. However, it is found that in literature explicit expression of superfluid response function in heavy fermion superconductor is rare. In this paper, we make a contribution to this issue by investigating superfluid density response function in celebrated Kondo-Heisenberg model. To be specific, we derive corresponding formalism from an effective fermionic large-N mean-field pairing Hamiltonian, whose pairing interaction is assumed to originate from effective local antiferromagnetic exchange interaction. Interestingly, it is found that physically correct superfluid density formula can only be obtained if external electromagnetic field is directly coupled to heavy fermion quasi-particle. Such unique feature emphasizes the key role of Kondo-screening-renormalized quasi-particle for low-temperature/energy thermodynamics and transport behaviors. As an important application, the theoretical result is compared to experimental measurement in heavy fermion superconductor CeCoIn$_{5}$ and Yb-doped Ce$_{1-x}$Yb$_{x}$CoIn$_{5}$, where the agreement is fairly good and the transition of pairing symmetry in the latter one is explained as a simple doping effect. In addition, the requisite formalism for the commonly encountered nonmagnetic impurity and non-local electrodynamic effect are developed.


title: Non-LTE analysis of copper abundances for the two distinct halo populations in the solar neighborhood

abstract: Two distinct halo populations were found in the solar neighborhood by a series of works. They can be clearly separated by [alpha\Fe] and several other elemental abundance ratios including [Cu/Fe]. Very recently, a non-local thermodynamic equilibrium (non-LTE) study revealed that relatively large departures exist between LTE and non-LTE results in copper abundance analysis. We aim to derive the copper abundances for the stars from the sample of Nissen et al (2010) with both LTE and non-LTE calculations. Based on our results, we study the non-LTE effects of copper and investigate whether the high-alpha population can still be distinguished from the low-alpha population in the non-LTE [Cu/Fe] results. Our differential abundance ratios are derived from the high-resolution spectra collected from VLT/UVES and NOT/FIES spectrographs. Applying the MAFAGS opacity sampling atmospheric models and spectrum synthesis method, we derive the non-LTE copper abundances based on the new atomic model with current atomic data obtained from both laboratory and theoretical calculations. The copper abundances determined from non-LTE calculations are increased by 0.01 to 0.2 dex depending on the stellar parameters compared with the LTE results. The non-LTE [Cu/Fe] trend is much flatter than the LTE one in the metallicity range -1.6<[Fe/H]<-0.8. Taking non-LTE effects into consideration, the high- and low-alpha stars still show distinguishable copper abundances, which appear even more clear in a diagram of non-LTE [Cu/Fe] versus [Fe/H]. The non-LTE effects are strong for copper, especially in metal-poor stars. Our results confirmed that there are two distinct halo populations in the solar neighborhood. The dichotomy in copper abundance is a peculiar feature of each population, suggesting that they formed in different environments and evolved obeying diverse scenarios.


title: Specifying a Realistic File System

abstract: We present the most interesting elements of the correctness specification of BilbyFs, a performant Linux flash file system. The BilbyFs specification supports asynchronous writes, a feature that has been overlooked by several file system verification projects, and has been used to verify the correctness of BilbyFs's fsync() C implementation. It makes use of nondeterminism to be concise and is shallowly-embedded in higher-order logic.


title: Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System

abstract: We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verification of small, embedded operating systems (OS's) whose run-time responsiveness is paramount. Such real-time systems run with interrupts mostly enabled, including during scheduling. That differs from many other successfully modelled and verified OS's that typically reduce the complexity of concurrency by running on uniprocessor platforms and by switching interrupts off as much as possible. Our framework builds on the traditional Owicki-Gries method, for its fine-grained concurrency is needed for high-performance system code. We adapt it to support explicit concurrency control, by providing a simple, faithful representation of the hardware interface that allows software to control the degree of interleaving between user code, OS code, interrupt handlers and a scheduler that controls context switching. We then apply this framework to model the interleaving behavior of the eChronos OS, a preemptible real-time OS for embedded micro-controllers. We discuss the accuracy and usability of our approach when instantiated to model the eChronos OS. Both our framework and the eChronos model are formalised in the Isabelle/HOL theorem prover, taking advantage of the high level of automation in modern reasoning tools.


title: On the Control of Self-Balancing Unicycles

abstract: This paper discusses the problem of designing a self-balancing unicycle where pedals are used for both power generation and speed control. After developing the principal physical aspects (in the longitudinal dimension), we describe an abstract model in the form of a collection of hybrid automata, together with design requirements to be met by an ideal controller. We discuss simplifications and assumptions that make this model amenable to verification and validation tools such as SpaceEx. To enable experimentation with different prototypical controllers and user behaviours in concrete scenarios, we also develop a simple simulation framework using digital time.


title: Timed Automata for Modelling Caches and Pipelines

abstract: In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking techniques.


title: Modeling and Verification of the Bitcoin Protocol

abstract: Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since there is no trusted third party to guard against double spending, and inspired by its popularity, we would like to investigate the correctness of the Bitcoin protocol. Double spending is an important threat to electronic payment systems. Double spending would happen if one user could force a majority to believe that a ledger without his previous payment is the correct one. We are interested in the probability of success of such a double spending attack, which is linked to the computational power of the attacker. This paper examines the Bitcoin protocol and provides its formalization as an UPPAAL model. The model will be used to show how double spending can be done if the parties in the Bitcoin protocol behave maliciously, and with what probability double spending occurs.


title: Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard

abstract: This paper presents two formal models of the Data Encryption Standard (DES), a first using the international standard LOTOS, and a second using the more recent process calculus LNT. Both models encode the DES in the style of asynchronous circuits, i.e., the data-flow blocks of the DES algorithm are represented by processes communicating via rendezvous. To ensure correctness of the models, several techniques have been applied, including model checking, equivalence checking, and comparing the results produced by a prototype automatically generated from the formal model with those of existing implementations of the DES. The complete code of the models is provided as appendices and also available on the website of the CADP verification toolbox.


title: Landscape of kinetically trapped binary assemblies

abstract: For two-component assemblies, an inherent structure diagram (ISD) is the relationship between set inter-subunit energies and the types of kinetic traps (inherent structures) one may obtain from those energies. It has recently been shown that two-component ISDs are apportioned into regions or plateaux within which inherent structures display uniform features (e.g., stoichometries and morphologies). Interestingly, structures from one of the plateaux were also found to be robust outcomes of one type of non-equilibrium growth, which indicates the usefulness of the two-component ISD in predicting outcomes of some types of far-from-equilibrium growth. However, little is known as to how the ISD is apportioned into distinct plateaux. Also, while each plateau displays classes of structures that are morphologically distinct, little is known about the source of these distinct morphologies. This article outlines an analytic treatment of the two-component ISD, and shows that the manner in which any ISD is apportioned arises from a single unitless order parameter. Additionally, the analytical framework allows for the characterization of local properties of the trapped structures within each ISD plateau. This work may prove to be useful in the design of novel classes of robust nonequilibrium assemblies.


title: Sequence to Sequence Learning for Optical Character Recognition

abstract: We propose an end-to-end recurrent encoder-decoder based sequence learning approach for printed text Optical Character Recognition (OCR). In contrast to present day existing state-of-art OCR solution which uses connectionist temporal classification (CTC) output layer, our approach makes minimalistic assumptions on the structure and length of the sequence. We use a two step encoder-decoder approach -- (a) A recurrent encoder reads a variable length printed text word image and encodes it to a fixed dimensional embedding. (b) This fixed dimensional embedding is subsequently comprehended by decoder structure which converts it into a variable length text output. Our architecture gives competitive performance relative to connectionist temporal classification (CTC) output layer while being executed in more natural settings. The learnt deep word image embedding from encoder can be used for printed text based retrieval systems. The expressive fixed dimensional embedding for any variable length input expedites the task of retrieval and makes it more efficient which is not possible with other recurrent neural network architectures. We empirically investigate the expressiveness and the learnability of long short term memory (LSTMs) in the sequence to sequence learning regime by training our network for prediction tasks in segmentation free printed text OCR. The utility of the proposed architecture for printed text is demonstrated by quantitative and qualitative evaluation of two tasks -- word prediction and retrieval.


title: Towards the Automated Generation of Focused Proof Systems

abstract: This paper tackles the problem of formulating and proving the completeness of focused-like proof systems in an automated fashion. Focusing is a discipline on proofs which structures them into phases in order to reduce proof search non-determinism. We demonstrate that it is possible to construct a complete focused proof system from a given un-focused proof system if it satisfies some conditions. Our key idea is to generalize the completeness proof based on permutation lemmas given by Miller and Saurin for the focused linear logic proof system. This is done by building a graph from the rule permutation relation of a proof system, called permutation graph. We then show that from the permutation graph of a given proof system, it is possible to construct a complete focused proof system, and additionally infer for which formulas contraction is admissible. An implementation for building the permutation graph of a system is provided. We apply our technique to generate the focused proof systems MALLF, LJF and LKF for linear, intuitionistic and classical logics, respectively.