title: Outfix-guided insertion

abstract: Motivated by work on bio-operations on DNA strings, we consider an outfix-guided insertion operation that can be viewed as a generalization of the overlap assembly operation on strings studied previously. As the main result we construct a finite language $L$ such that the outfix-guided insertion closure of $L$ is non-regular. We consider also the closure properties of regular and (deterministic) context-free languages under the outfix-guided insertion operation and decision problems related to outfix-guided insertion. Deciding whether a language recognized by a deterministic finite automaton is closed under outfix-guided insertion can be done in polynomial time. The complexity of the corresponding question for nondeterministic finite automata remains open.


title: EmojiNet: An Open Service and API for Emoji Sense Discovery

abstract: This paper presents the release of EmojiNet, the largest machine-readable emoji sense inventory that links Unicode emoji representations to their English meanings extracted from the Web. EmojiNet is a dataset consisting of: (i) 12,904 sense labels over 2,389 emoji, which were extracted from the web and linked to machine-readable sense definitions seen in BabelNet, (ii) context words associated with each emoji sense, which are inferred through word embedding models trained over Google News corpus and a Twitter message corpus for each emoji sense definition, and (iii) recognizing discrepancies in the presentation of emoji on different platforms, specification of the most likely platform-based emoji sense for a selected set of emoji. The dataset is hosted as an open service with a REST API and is available at http://emojinet.knoesis.org/. The development of this dataset, evaluation of its quality, and its applications including emoji sense disambiguation and emoji sense similarity are discussed.


title: A Semantics-Based Measure of Emoji Similarity

abstract: Emoji have grown to become one of the most important forms of communication on the web. With its widespread use, measuring the similarity of emoji has become an important problem for contemporary text processing since it lies at the heart of sentiment analysis, search, and interface design tasks. This paper presents a comprehensive analysis of the semantic similarity of emoji through embedding models that are learned over machine-readable emoji meanings in the EmojiNet knowledge base. Using emoji descriptions, emoji sense labels and emoji sense definitions, and with different training corpora obtained from Twitter and Google News, we develop and test multiple embedding models to measure emoji similarity. To evaluate our work, we create a new dataset called EmoSim508, which assigns human-annotated semantic similarity scores to a set of 508 carefully selected emoji pairs. After validation with EmoSim508, we present a real-world use-case of our emoji embedding models using a sentiment analysis task and show that our models outperform the previous best-performing emoji embedding model on this task. The EmoSim508 dataset and our emoji embedding models are publicly released with this paper and can be downloaded from http://emojinet.knoesis.org/.


title: Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar

abstract: The On-Line Encyclopedia Of Integer Sequences , that wonderful resource that most combinatorialists, and many other mathematicians and scientists, use at least once a day, is a treasure trove of mathematical information, and, one of its charms is that it contains many intriguing conjectures. But one should be on one's guard, because some of the conjectures are either already theorems, or can be routinely proved. In this case study we demonstrate, and actually fully implement (in an accompanying Maple package), how to turn many conjectures made in the OEIS by R.J. Mathar, regarding linear recurrences satisfies by a certain class of sequences, into fully rigorously-proved theorems, but we argue, that one should not emulate us, and while it is nice to have one example, of an algorithm to actually construct proofs (that are known to exist by a priori theoretical reasons), life is too short to do it in all cases, and hence we propose a new category for the OEIS, that of "provable conjecture", as opposed to "proved conjecture" (alias theorem).


title: The dual Radon - Nikodym property for finitely generated Banach C(K)-Modules

abstract: We extend the well-known criterion of Lotz for the dual Radon-Nikodym property (RNP) of Banach lattices to finitely generated Banach $C(K)$-modules and Banach $C(K)$-modules of finite multiplicity. Namely, we prove that if $X$ is a Banach space from one of these classes then its Banach dual $X^\star$ has the RNP iff $X$ does not contain a closed subspace isomorphic to $\ell^1$.


title: Contextuality and Indistinguishability

abstract: It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default (CbD), sheaf theory, topos theory, and non-standard or signed probabilities. In this paper we propose a treatment of contextual properties that is specific to quantum mechanics, as it relies on the relationship between contextuality and indistinguishability. In particular, we propose that if we assume the ontological thesis that quantum particles or properties can be indistinguishable yet different, no contradiction arising from a Kochen-Specker-type argument appears: when we repeat an experiment, we are in reality performing an experiment measuring a property that is indistinguishable from the first, but not the same. We will discuss how the consequences of this move may help us understand quantum contextuality.


title: Variable Instruction Fetch Rate to Reduce Control Dependent Penalties

abstract: In order to overcome the branch execution penalties of hard-to-predict instruction branches, two new instruction fetch micro-architectural methods are proposed in this paper. In addition, to compare performance of the two proposed methods, different instruction fetch policy schemes of existing multi-branch path architectures are evaluated. An improvement in Instructions Per Cycle (IPC) of 29.4% on average over single-thread execution with gshare branch predictor on SPEC 2000/2006 benchmark is shown. In this paper, wide pipeline machines are simulated for evaluation purposes. The methods discussed in this paper can be extended to High Performance Scientific Computing needs, if the demands of IPC improvement are far more critical than $cost.


title: Multivariate Rankin-Selberg integrals on $\mathrm{GL}_4$ and $\mathrm{GU}(2,2)$

abstract: Inspired by a construction of Bump, Friedberg, and Ginzburg of a two-variable integral representation on $\mathrm{GSp}_4$ for the product of the standard and spin $L$-functions, we give two similar multivariate integral representations. The first is a three-variable Rankin-Selberg integral for cusp forms on $\mathrm{PGL}_4$ representing the product of the $L$-functions attached to the three fundamental representations of the Langlands $L$-group $\mathrm{SL}_4(\mathbf{C})$. The second integral, which is closely related, is a two-variable Rankin-Selberg integral for cusp forms on $\mathrm{PGU}(2,2)$ representing the product of the degree 8 standard $L$-function and the degree 6 exterior square $L$-function.


title: Variational approach for learning Markov processes from time series data

abstract: Inference, prediction and control of complex dynamical systems from time series is important in many areas, including financial markets, power grid management, climate and weather modeling, or molecular dynamics. The analysis of such highly nonlinear dynamical systems is facilitated by the fact that we can often find a (generally nonlinear) transformation of the system coordinates to features in which the dynamics can be excellently approximated by a linear Markovian model. Moreover, the large number of system variables often change collectively on large time- and length-scales, facilitating a low-dimensional analysis in feature space. In this paper, we introduce a variational approach for Markov processes (VAMP) that allows us to find optimal feature mappings and optimal Markovian models of the dynamics from given time series data. The key insight is that the best linear model can be obtained from the top singular components of the Koopman operator. This leads to the definition of a family of score functions called VAMP-r which can be calculated from data, and can be employed to optimize a Markovian model. In addition, based on the relationship between the variational scores and approximation errors of Koopman operators, we propose a new VAMP-E score, which can be applied to cross-validation for hyper-parameter optimization and model selection in VAMP. VAMP is valid for both reversible and nonreversible processes and for stationary and non-stationary processes or realizations.


title: The classification of countable models of set theory

abstract: We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be. We then give partial results concerning the classification of countable well-founded models of ZFC.


title: Extending Upper Cluster Algebras

abstract: Let $S$ be an upper cluster algebra, which is a subalgebra of $R$. Suppose that there is some cluster variable $x_e$ such that ${R}_{{x}_e} = S[{x}_e^{\pm 1}]$. We try to understand under which conditions ${R}$ is an upper cluster algebra, and how the quiver of $R$ relates to that of $S$. Moreover, if the restriction of $(\Delta,W)$ to some subquiver is a cluster model, we give a sufficient condition for $(\Delta,W)$ itself being a cluster model. As an application, we show that the semi-invariant ring of any complete $m$-tuple flags is an upper cluster algebra whose quiver is explicitly given. Moreover, the quiver with its rigid potential is a polyhedral cluster model.


title: Rotations and Interpretability of Word Embeddings: the Case of the Russian Language

abstract: Consider a continuous word embedding model. Usually, the cosines between word vectors are used as a measure of similarity of words. These cosines do not change under orthogonal transformations of the embedding space. We demonstrate that, using some canonical orthogonal transformations from SVD, it is possible both to increase the meaning of some components and to make the components more stable under re-learning. We study the interpretability of components for publicly available models for the Russian language (RusVectores, fastText, RDT).


title: Mixing inequalities in Riesz spaces

abstract: Various topics in stochastic processes have been considered in the abstract setting of Riesz spaces, for example martingales, martingale convergence, ergodic theory, AMARTS, Markov processes and mixingales. Here we continue the relaxation of conditional independence begun in the study of mixingales and study mixing processes. The two mixing coefficients which will be considered are the $\alpha$ (strong) and $\varphi$ (uniform) mixing coefficients. We conclude with mixing inequalities for these types of processes. In order to facilitate this development, the study of generalized $L^1$ and $L^\infty$ spaces begun by Kuo, Labuschagne and Watson will be extended.


title: Symmetry-broken dissipative exchange flows in thin-film ferromagnets with in-plane anisotropy

abstract: Planar ferromagnetic channels have been shown to theoretically support a long-range ordered and coherently precessing state where the balance between local spin injection at one edge and damping along the channel establishes a dissipative exchange flow, sometimes referred to as a spin superfluid. However, realistic materials exhibit in-plane anisotropy, which breaks the axial symmetry assumed in current theoretical models. Here, we study dissipative exchange flows in a ferromagnet with in-plane anisotropy from a dispersive hydrodynamic perspective. Through the analysis of a boundary value problem for a damped sine-Gordon equation, dissipative exchange flows in a ferromagnetic channel can be excited above a spin current threshold that depends on material parameters and the length of the channel. Symmetry-broken dissipative exchange flows display harmonic overtones that redshift the fundamental precessional frequency and lead to a reduced spin pumping efficiency when compared to their symmetric counterpart. Micromagnetic simulations are used to verify that the analytical results are qualitatively accurate, even in the presence of nonlocal dipole fields. Simulations also confirm that dissipative exchange flows can be driven by spin transfer torque in a finite-sized region. These results delineate the important material parameters that must be optimized for the excitation of dissipative exchange flows in realistic systems.


title: Applications of gradient descent method to magnetic Skyrmion problems

abstract: The conjugate gradient (CG) method, a standard and vital way of minimizing the energy of a variational state, is applied to solve several problems in Skyrmion physics. The single-Skyrmion profile optimizing the energy of a two-dimensional chiral magnet is found without relying on specific boundary conditions. The two-dimensional Skyrmion lattice and three-dimensional hedgehog crystal state is recovered with efficiency using the modified CG (p-GD) method. The p-GD method is proposed as a complement to the traditional Monte Carlo annealing method, which still gives better results for the ground state but at the far greater cost in computation time.


title: The causal impact of bail on case outcomes for indigent defendants

abstract: We use near-far matching, a technique for estimating causal relationships, to explore whether bail causes a higher likelihood of conviction. We find evidence of a strong causal impact. This paper was compiled as a submission to the 2017 Fairness, Accountability, and Transparency in Machine Learning (FAT ML) workshop.


title: Odd Dunkl Operators and nilHecke Algebras

abstract: Symmetric functions appear in many areas of mathematics and physics, including enumerative combinatorics, the representation theory of symmetric groups, statistical mechanics, and the quantum statistics of ideal gases. In the commutative (or "even") case of these symmetric functions, Kostant and Kumar introduced a nilHecke algebra that categorifies the quantum group $U_q(\mathfrak{sl}_2)$. This categorification helps to better understand Khovanov homology, which has important applications in studying knot polynomials and gauge theory. Recently, Ellis and Khovanov initiated the program of "oddification" as an effort to create a representation theoretic understanding of a new "odd" Khovanov homology, which often yields more powerful results than regular Khovanov homology. In this paper, we contribute towards the project of oddification by studying the odd Dunkl operators of Khongsap and Wang in the setting of the odd nilHecke algebra. Specifically, we show that odd divided difference operators can be used to construct odd Dunkl operators, which we use to give a representation of $\mathfrak{sl}_2$ on the algebra of skew polynomials and evaluate the odd Dunkl Laplacian. We then investigate $q$-analogs of divided difference operators to introduce new algebras that are similar to the even and odd nilHecke algebras and act on $q$-symmetric polynomials. We describe such algebras for all previously unstudied values of $q$. We conclude by generalizing a diagrammatic method and developing the novel method of insertion in order to study $q$-symmetric polynomials from the perspective of bialgebras.


title: Stationary moments, diffusion limits, and extinction times for logistic growth with random catastrophes

abstract: A central problem in population ecology is understanding the consequences of stochastic fluctuations. Analytically tractable models with Gaussian driving noise have led to important, general insights, but they fail to capture rare, catastrophic events, which are increasingly observed at scales ranging from global fisheries to intestinal microbiota. Due to mathematical challenges, growth processes with random catastrophes are less well characterized and it remains unclear how their consequences differ from those of Gaussian processes. In the face of a changing climate and predicted increases in ecological catastrophes, as well as increased interest in harnessing microbes for therapeutics, these processes have never been more relevant. To better understand them, I revisit here a differential equation model of logistic growth coupled to density-independent catastrophes that arrive as a Poisson process, and derive new analytic results that reveal its statistical structure. First, I derive exact expressions for the model's stationary moments, revealing a single effective catastrophe parameter that largely controls low order statistics. Then, I use weak convergence theorems to construct its Gaussian analog in a limit of frequent, small catastrophes, keeping the stationary population mean constant for normalization. Numerically computing statistics along this limit shows how they transform as the dynamics shifts from catastrophes to diffusions, enabling quantitative comparisons. For example, the mean time to extinction increases monotonically by orders of magnitude, demonstrating significantly higher extinction risk under catastrophes than under diffusions. Together, these results provide insight into a wide range of stochastic dynamical systems important for ecology and conservation.


title: A Novel Airborne Self-organising Architecture for 5G+ Networks

abstract: Network Flying Platforms (NFPs) such as unmanned aerial vehicles, unmanned balloons or drones flying at low/medium/high altitude can be employed to enhance network coverage and capacity by deploying a swarm of flying platforms that implement novel radio resource management techniques. In this paper, we propose a novel layered architecture where NFPs, of various types and flying at low/medium/high layers in a swarm of flying platforms, are considered as an integrated part of the future cellular networks to inject additional capacity and expand the coverage for exceptional scenarios (sports events, concerts, etc.) and hard-to-reach areas (rural or sparsely populated areas). Successful roll-out of the proposed architecture depends on several factors including, but are not limited to: network optimisation for NFP placement and association, safety operations of NFP for network/equipment security, and reliability for NFP transport and control/signaling mechanisms. In this work, we formulate the optimum placement of NFP at a Lower Layer (LL) by exploiting the airborne Self-organising Network (SON) features. Our initial simulations show the NFP-LL can serve more User Equipment (UE)s using this placement technique.


title: Inflation without Inflaton: A Model for Dark Energy

abstract: The interaction between two initially causally disconnected regions of the universe is studied using analogies of non-commutative quantum mechanics and deformation of Poisson manifolds. These causally disconnect regions are governed by two independent Friedmann-Lema\^{\i}tre-Robertson-Walker (FLRW) metrics with scale factors $a$ and $b$ and cosmological constants $\Lambda_a$ and $\Lambda_b$, respectively. The causality is turned on by positing a non-trivial Poisson bracket $[ {\cal P}_{\alpha}, {\cal P}_{\beta} ] =\epsilon_{\alpha \beta}\frac{\kappa}{G}$, where $G$ is Newton's gravitational constant and $\kappa $ is a dimensionless parameter. The posited deformed Poisson bracket has an interpretation in terms of 3-cocycles, anomalies and Poissonian manifolds. The modified FLRW equations acquire an energy-momentum tensor from which we explicitly obtain the equation of state parameter. The modified FLRW equations are solved numerically and the solutions are inflationary or oscillating depending on the values of $\kappa$. In this model the accelerating and decelerating regime may be periodic. The analysis of the equation of state clearly shows the presence of dark energy. By completeness, the perturbative solution for $\kappa \ll1 $ is also studied.


title: Chasing obscuration in type-I AGN: discovery of an eclipsing clumpy wind at the outer broad-line region of NGC 3783

abstract: In 2016 we carried out a Swift monitoring program to track the X-ray hardness variability of eight type-I AGN over a year. The purpose of this monitoring was to find intense obscuration events in AGN, and thereby study them by triggering joint XMM-Newton, NuSTAR, and HST observations. We successfully accomplished this for NGC 3783 in December 2016. We found heavy X-ray absorption produced by an obscuring outflow in this AGN. As a result of this obscuration, interesting absorption features appear in the UV and X-ray spectra, which are not present in the previous epochs. Namely, the obscuration produces broad and blue-shifted UV absorption lines of Ly$\alpha$, C IV, and N V, together with a new high-ionisation component producing Fe XXV and Fe XXVI absorption lines. In soft X-rays, only narrow emission lines stand out above the diminished continuum as they are not absorbed by the obscurer. Our analysis shows that the obscurer partially covers the central source with a column density of few $10^{23}$ cm$^{-2}$, outflowing with a velocity of few thousand km s$^{-1}$. The obscuration in NGC 3783 is variable and lasts for about a month. Unlike the commonly-seen warm-absorber winds at pc-scale distances from the black hole, the eclipsing wind in NGC 3783 is located at about 10 light days. Our results suggest the obscuration is produced by an inhomogeneous and clumpy medium, consistent with clouds in the base of a radiatively-driven disk wind at the outer broad-line region of the AGN.


title: Experimental Realization of Deep Subwavelength Confinement in Dielectric Optical Resonators

abstract: The ability to highly localize light with strong electric field enhancement is critical for enabling higher efficiency solar cells, light sources, and modulators. While deep subwavelength modes can be realized with plasmonic resonators, large losses in these metal structures preclude most practical applications. We developed an alternative approach to achieving subwavelength confinement that is not accompanied by inhibitive losses. We experimentally demonstrate a dielectric bowtie photonic crystal structure that supports mode volumes commensurate with plasmonic elements and quality factors that reveal ultra-low losses. Our approach opens the door to the extremely strong light-matter interaction regime with simultaneously both ultra-low mode volume and ultra-high quality factor that has remained elusive in optical resonators.


title: Learning linear structural equation models in polynomial time and sample complexity

abstract: The problem of learning structural equation models (SEMs) from data is a fundamental problem in causal inference. We develop a new algorithm --- which is computationally and statistically efficient and works in the high-dimensional regime --- for learning linear SEMs from purely observational data with arbitrary noise distribution. We consider three aspects of the problem: identifiability, computational efficiency, and statistical efficiency. We show that when data is generated from a linear SEM over $p$ nodes and maximum degree $d$, our algorithm recovers the directed acyclic graph (DAG) structure of the SEM under an identifiability condition that is more general than those considered in the literature, and without faithfulness assumptions. In the population setting, our algorithm recovers the DAG structure in $\mathcal{O}(p(d^2 + \log p))$ operations. In the finite sample setting, if the estimated precision matrix is sparse, our algorithm has a smoothed complexity of $\widetilde{\mathcal{O}}(p^3 + pd^7)$, while if the estimated precision matrix is dense, our algorithm has a smoothed complexity of $\widetilde{\mathcal{O}}(p^5)$. For sub-Gaussian noise, we show that our algorithm has a sample complexity of $\mathcal{O}(\frac{d^8}{\varepsilon^2} \log (\frac{p}{\sqrt{\delta}}))$ to achieve $\varepsilon$ element-wise additive error with respect to the true autoregression matrix with probability at most $1 - \delta$, while for noise with bounded $(4m)$-th moment, with $m$ being a positive integer, our algorithm has a sample complexity of $\mathcal{O}(\frac{d^8}{\varepsilon^2} (\frac{p^2}{\delta})^{1/m})$.


title: ADAPT: Zero-Shot Adaptive Policy Transfer for Stochastic Dynamical Systems

abstract: Model-free policy learning has enabled robust performance of complex tasks with relatively simple algorithms. However, this simplicity comes at the cost of requiring an Oracle and arguably very poor sample complexity. This renders such methods unsuitable for physical systems. Variants of model-based methods address this problem through the use of simulators, however, this gives rise to the problem of policy transfer from simulated to the physical system. Model mismatch due to systematic parameter shift and unmodelled dynamics error may cause sub-optimal or unsafe behavior upon direct transfer. We introduce the Adaptive Policy Transfer for Stochastic Dynamics (ADAPT) algorithm that achieves provably safe and robust, dynamically-feasible zero-shot transfer of RL-policies to new domains with dynamics error. ADAPT combines the strengths of offline policy learning in a black-box source simulator with online tube-based MPC to attenuate bounded model mismatch between the source and target dynamics. ADAPT allows online transfer of policy, trained solely in a simulation offline, to a family of unknown targets without fine-tuning. We also formally show that (i) ADAPT guarantees state and control safety through state-action tubes under the assumption of Lipschitz continuity of the divergence in dynamics and, (ii) ADAPT results in a bounded loss of reward accumulation relative to a policy trained and evaluated in the source environment. We evaluate ADAPT on 2 continuous, non-holonomic simulated dynamical systems with 4 different disturbance models, and find that ADAPT performs between 50%-300% better on mean reward accrual than direct policy transfer.


title: Considerations for constructing Andrews-Curtis invariants of s-move 3-cells

abstract: Two simple homotopy equivalent 2-complexes K2 and L2 are related by an algebraic criterion of their corresponding presentations as stated in [HoMeSier]. Frank Quinn set it into a topological context (see [Qu1]) and call these 2-complexes related by an s-move. Using elementary 3-expansions, K2 extends to 3-cells in K3 respectively L2 to 3-cells in L3. By associating both explorations we obtain a decomposition of the s-move 3-cells into a sequence of 2-cells. We present ideas, sketch of proofs and problems to use it for constructing an Andrews-Curtis invariant on s-move 3-cells.


title: Weyl Rings and enhanced susceptibilities in Pyrochlore Iridates: $k\cdot p$ Analysis of Cluster Dynamical Mean-Field Theory Results

abstract: We match analytic results to numerical calculations to provide a detailed picture of the metal-insulator and topological transitions found in density functional plus cluster dynamical mean-field calculations of pyrochlore iridates. We discuss the transition from Weyl metal to Weyl semimetal regimes, and then analyse in detail the properties of the Weyl semimetal phase and its evolution into the topologically trivial insulator. The energy scales in the Weyl semimetal phase are found to be very small, as are the anisotropy parameters. The electronic structure can to a good approximation be described as `Weyl rings' and one of the two branches that contributes to the Weyl bands is essentially flat, leading to enhanced susceptibilities. The optical longitudinal and Hall conductivities are determined; the frequency dependence includes pronounced features that reveal the basic energy scales of the Weyl semimetal phase.


title: Knowledge-Guided Recurrent Neural Network Learning for Task-Oriented Action Prediction

abstract: This paper aims at task-oriented action prediction, i.e., predicting a sequence of actions towards accomplishing a specific task under a certain scene, which is a new problem in computer vision research. The main challenges lie in how to model task-specific knowledge and integrate it in the learning procedure. In this work, we propose to train a recurrent long-short term memory (LSTM) network for handling this problem, i.e., taking a scene image (including pre-located objects) and the specified task as input and recurrently predicting action sequences. However, training such a network usually requires large amounts of annotated samples for covering the semantic space (e.g., diverse action decomposition and ordering). To alleviate this issue, we introduce a temporal And-Or graph (AOG) for task description, which hierarchically represents a task into atomic actions. With this AOG representation, we can produce many valid samples (i.e., action sequences according with common sense) by training another auxiliary LSTM network with a small set of annotated samples. And these generated samples (i.e., task-oriented action sequences) effectively facilitate training the model for task-oriented action prediction. In the experiments, we create a new dataset containing diverse daily tasks and extensively evaluate the effectiveness of our approach.


title: Lyrics-Based Music Genre Classification Using a Hierarchical Attention Network

abstract: Music genre classification, especially using lyrics alone, remains a challenging topic in Music Information Retrieval. In this study we apply recurrent neural network models to classify a large dataset of intact song lyrics. As lyrics exhibit a hierarchical layer structure - in which words combine to form lines, lines form segments, and segments form a complete song - we adapt a hierarchical attention network (HAN) to exploit these layers and in addition learn the importance of the words, lines, and segments. We test the model over a 117-genre dataset and a reduced 20-genre dataset. Experimental results show that the HAN outperforms both non-neural models and simpler neural models, whilst also classifying over a higher number of genres than previous research. Through the learning process we can also visualise which words or lines in a song the model believes are important to classifying the genre. As a result the HAN provides insights, from a computational perspective, into lyrical structure and language features that differentiate musical genres.


title: Ternary Residual Networks

abstract: Sub-8-bit representation of DNNs incur some discernible loss of accuracy despite rigorous (re)training at low-precision. Such loss of accuracy essentially makes them equivalent to a much shallower counterpart, diminishing the power of being deep networks. To address this problem of accuracy drop we introduce the notion of \textit{residual networks} where we add more low-precision edges to sensitive branches of the sub-8-bit network to compensate for the lost accuracy. Further, we present a perturbation theory to identify such sensitive edges. Aided by such an elegant trade-off between accuracy and compute, the 8-2 model (8-bit activations, ternary weights), enhanced by ternary residual edges, turns out to be sophisticated enough to achieve very high accuracy ($\sim 1\%$ drop from our FP-32 baseline), despite $\sim 1.6\times$ reduction in model size, $\sim 26\times$ reduction in number of multiplications, and potentially $\sim 2\times$ power-performance gain comparing to 8-8 representation, on the state-of-the-art deep network ResNet-101 pre-trained on ImageNet dataset. Moreover, depending on the varying accuracy requirements in a dynamic environment, the deployed low-precision model can be upgraded/downgraded on-the-fly by partially enabling/disabling residual connections. For example, disabling the least important residual connections in the above enhanced network, the accuracy drop is $\sim 2\%$ (from FP32), despite $\sim 1.9\times$ reduction in model size, $\sim 32\times$ reduction in number of multiplications, and potentially $\sim 2.3\times$ power-performance gain comparing to 8-8 representation. Finally, all the ternary connections are sparse in nature, and the ternary residual conversion can be done in a resource-constraint setting with no low-precision (re)training.


title: Early MFCC And HPCP Fusion for Robust Cover Song Identification

abstract: While most schemes for automatic cover song identification have focused on note-based features such as HPCP and chord profiles, a few recent papers surprisingly showed that local self-similarities of MFCC-based features also have classification power for this task. Since MFCC and HPCP capture complementary information, we design an unsupervised algorithm that combines normalized, beat-synchronous blocks of these features using cross-similarity fusion before attempting to locally align a pair of songs. As an added bonus, our scheme naturally incorporates structural information in each song to fill in alignment gaps where both feature sets fail. We show a striking jump in performance over MFCC and HPCP alone, achieving a state of the art mean reciprocal rank of 0.87 on the Covers80 dataset. We also introduce a new medium-sized hand designed benchmark dataset called "Covers 1000," which consists of 395 cliques of cover songs for a total of 1000 songs, and we show that our algorithm achieves an MRR of 0.9 on this dataset for the first correctly identified song in a clique. We provide the precomputed HPCP and MFCC features, as well as beat intervals, for all songs in the Covers 1000 dataset for use in further research.


title: $\Theta_S-$cyclic codes over $A_k$

abstract: We study $\Theta_S-$cyclic codes over the family of rings $A_k.$ We characterize $\Theta_S-$cyclic codes in terms of their binary images. A family of Hermitian inner-products is defined and we prove that if a code is $\Theta_S-$cyclic then its Hermitian dual is also $\Theta_S-$cyclic. Finally, we give constructions of $\Theta_S-$cyclic codes.


title: Rethinking Reprojection: Closing the Loop for Pose-aware ShapeReconstruction from a Single Image

abstract: An emerging problem in computer vision is the reconstruction of 3D shape and pose of an object from a single image. Hitherto, the problem has been addressed through the application of canonical deep learning methods to regress from the image directly to the 3D shape and pose labels. These approaches, however, are problematic from two perspectives. First, they are minimizing the error between 3D shapes and pose labels - with little thought about the nature of this label error when reprojecting the shape back onto the image. Second, they rely on the onerous and ill-posed task of hand labeling natural images with respect to 3D shape and pose. In this paper we define the new task of pose-aware shape reconstruction from a single image, and we advocate that cheaper 2D annotations of objects silhouettes in natural images can be utilized. We design architectures of pose-aware shape reconstruction which re-project the predicted shape back on to the image using the predicted pose. Our evaluation on several object categories demonstrates the superiority of our method for predicting pose-aware 3D shapes from natural images.


title: Lower Bounds for Electrical Reduction on Surfaces

abstract: We strengthen the connections between electrical transformations and homotopy from the planar setting---observed and studied since Steinitz---to arbitrary surfaces with punctures. As a result, we improve our earlier lower bound on the number of electrical transformations required to reduce an $n$-vertex graph on surface in the worst case [SOCG 2016] in two different directions. Our previous $\Omega(n^{3/2})$ lower bound applies only to facial electrical transformations on plane graphs with no terminals. First we provide a stronger $\Omega(n^2)$ lower bound when the planar graph has two or more terminals, which follows from a quadratic lower bound on the number of homotopy moves in the annulus. Our second result extends our earlier $\Omega(n^{3/2})$ lower bound to the wider class of planar electrical transformations, which preserve the planarity of the graph but may delete cycles that are not faces of the given embedding. This new lower bound follows from the observation that the defect of the medial graph of a planar graph is the same for all its planar embeddings.


title: On Differential Geometric Approach to Nonlinear Systems Affine in Control

abstract: The note focuses on the differential geometric approach to the study of nonlinear systems that are affine in control. We first develop normal forms for nonlinear system affine in control. Based on these normal forms, we then address the problems of global stabilization, semi-global stabilization and disturbance attenuation.


title: Stationary state distribution and efficiency analysis of the Langevin equation via real or virtual dynamics

abstract: Langevin dynamics has become a popular tool to simulate the Boltzmann equilibrium distribution. When the repartition of the Langevin equation involves the exact realization of the Ornstein-Uhlenbeck noise, in addition to the conventional density evolution, there exists another type of discrete evolution that may not correspond to a continuous, real dynamical counterpart. This virtual dynamics case is also able to produce the desired stationary distribution. Different types of repartition lead to different numerical schemes, of which the accuracy and efficiency are investigated through studying the harmonic oscillator potential, an analytical solvable model. By analyzing the asymptotic distribution and characteristic correlation time that are derived by either directly solving the discrete equations of motion or using the related phase space propagators, it is shown that the optimal friction coefficient resulting in the minimal characteristic correlation time depends on the time interval chosen in the numerical implementation. When the recommended "middle" scheme is employed, both analytical and numerical results demonstrate that for a good numerical performance in efficiency as well as accuracy, one may choose a friction coefficient in a wide range from around the optimal value to the high friction limit.

categories: physics.chem-ph cond-mat.stat-mech physics.bio-ph physics.comp-ph


title: The interctitical defocusing nonlinear Schr\"odinger equations with radial initial data in dimensions four and higher

abstract: In this paper, we consider the defocusing nonlinear Schr\"odinger equation in space dimensions $d\geq 4$. We prove that if $u$ is a radial solution which is \emph{priori} bounded in the critical Sobolev space, that is, $u\in L_t^\infty \dot{H}^{s_c}_x$, then $u$ is global and scatters. In practise, we use weighted Strichartz space adapted for our setting which ultimately helps us solve the problems in cases $d\geq 4$ and $0<s_c<\f{1}{2}$. The results in this paper extend the work of \cite[Comm. in PDEs, 40(2015), 265-308]{M3} to higher dimensions.


title: Stochastic Spin-Orbit Torque Devices as Elements for Bayesian Inference

abstract: Probabilistic inference from real-time input data is becoming increasingly popular and may be one of the potential pathways at enabling cognitive intelligence. As a matter of fact, preliminary research has revealed that stochastic functionalities also underlie the spiking behavior of neurons in cortical microcircuits of the human brain. In tune with such observations, neuromorphic and other unconventional computing platforms have recently started adopting the usage of computational units that generate outputs probabilistically, depending on the magnitude of the input stimulus. In this work, we experimentally demonstrate a spintronic device that offers a direct mapping to the functionality of such a controllable stochastic switching element. We show that the probabilistic switching of Ta/CoFeB/MgO heterostructures in presence of spin-orbit torque and thermal noise can be harnessed to enable probabilistic inference in a plethora of unconventional computing scenarios. This work can potentially pave the way for hardware that directly mimics the computational units of Bayesian inference.


title: Presentation of immersed surface-links by marked graph diagrams

abstract: It is well known that surface-links in 4-space can be presented by diagrams on the plane of 4-valent spatial graphs with makers on the vertices, called marked graph diagrams. In this paper we extend the method of presenting surface-links by marked graph diagrams to presenting immersed surface-links. We also give some moves on marked graph diagrams that preserve the ambient isotopy classes of their presenting immersed surface-links.


title: The Gursky-Streets equations

abstract: Gursky-Streets introduced a formal Riemannian metric on the space of conformal metrics in a fixed conformal class of a compact Riemannian four-manifold in the context of the $\sigma_2$-Yamabe problem. The geodesic equation of Gursky-Streets' metric is a fully nonlinear degenerate elliptic equation and Gursky-Streets have proved uniform $C^{0, 1}$ regularity for a perturbed equation. Gursky-Streets apply the results and parabolic smoothing of Guan-Wang flow to show that the solution of $\sigma_2$-Yamabe problem is unique. A key ingredient is the convexity of Chang-Yang's $\cF$-functional along the (smooth) geodesic, in view of Gursky-Streets metric and a weighted Poincare inequality of B. Andrews on manifolds with positive Ricci curvature. In this paper we establish uniform $C^{1, 1}$ regularity of the Gursky-Streets' equation. As an application, we can establish strictly the geometric structure in terms of Gursky-Streets' metric, in particular the convexity of $\cF$-functional along $C^{1, 1}$ geodesic. This in particular gives a straightforward proof of the uniqueness of solutions of $\sigma_2$-Yamabe problem.


title: Bound States in the Continuum on Periodic Structures: Perturbation Theory and Robustness

abstract: On periodic structures, a bound state in the continuum (BIC) is a standing or propagating Bloch wave with a frequency in the radiation continuum. Some BICs (e.g., antisymmetric standing waves) are symmetry-protected, since they have incompatible symmetry with outgoing waves in the radiation channels. The propagating BICs do not have this symmetry mismatch, but they still depend crucially on the symmetry of the structure. In this Letter, a perturbation theory is developed for propagating BICs on two-dimensional periodic structures. The study shows that these BICs are robust against structural perturbations that preserve the symmetry, indicating that these BICs are in fact implicitly protected by symmetry.


title: Controlled asymmetry of EPR steering with an injected non-degenerate optical parametric oscillator

abstract: We propose and analyse a nonlinear optical apparatus in which the direction of asymmetric steering is controllable within the apparatus, rather than by adding noise to measurements. Using a nondegenerate parametric oscillator with an injected signal field, we show how the directionality and extent of the steering can be readily controlled for output modes which can be up to one octave apart. The two downconverted modes, which exhibit the greater violations of the steering inequalities, can also be controlled to exhibit asymmetric steering in some regimes.


title: On the Performance of Forecasting Models in the Presence of Input Uncertainty

abstract: Nowadays, with the unprecedented penetration of renewable distributed energy resources (DERs), the necessity of an efficient energy forecasting model is more demanding than before. Generally, forecasting models are trained using observed weather data while the trained models are applied for energy forecasting using forecasted weather data. In this study, the performance of several commonly used forecasting methods in the presence of weather predictors with uncertainty is assessed and compared. Accordingly, both observed and forecasted weather data are collected, then the influential predictors for solar PV generation forecasting model are selected using several measures. Using observed and forecasted weather data, an analysis on the uncertainty of weather variables is represented by MAE and bootstrapping. The energy forecasting model is trained using observed weather data, and finally, the performance of several commonly used forecasting methods in solar energy forecasting is simulated and compared for a real case study.


title: Binarized Convolutional Neural Networks with Separable Filters for Efficient Hardware Acceleration

abstract: State-of-the-art convolutional neural networks are enormously costly in both compute and memory, demanding massively parallel GPUs for execution. Such networks strain the computational capabilities and energy available to embedded and mobile processing platforms, restricting their use in many important applications. In this paper, we push the boundaries of hardware-effective CNN design by proposing BCNN with Separable Filters (BCNNw/SF), which applies Singular Value Decomposition (SVD) on BCNN kernels to further reduce computational and storage complexity. To enable its implementation, we provide a closed form of the gradient over SVD to calculate the exact gradient with respect to every binarized weight in backward propagation. We verify BCNNw/SF on the MNIST, CIFAR-10, and SVHN datasets, and implement an accelerator for CIFAR-10 on FPGA hardware. Our BCNNw/SF accelerator realizes memory savings of 17% and execution time reduction of 31.3% compared to BCNN with only minor accuracy sacrifices.


title: An $L_p$-Lipschitz theory for parabolic equations with time measurable pseudo-differential operators

abstract: In this article we prove the existence and uniqueness of a (weak) solution $u$ in $L_p\left((0,T) , \Lambda_{\gamma+m}\right)$ to the Cauchy problem \begin{align} \notag &\frac{\partial u}{\partial t}(t,x)=\psi(t,i\nabla)u(t,x)+f(t,x),\quad (t,x) \in (0,T) \times \mathbf{R}^d \label{main eqn} & u(0,x)=0, \end{align} where $d \in \mathbb{N}$, $p \in (1,\infty]$, $\gamma,m \in (0,\infty)$, $\Lambda_{\gamma+m}$ is the Lipschitz space on $\mathbf{R}^d$ whose order is $\gamma+m$, $f \in L_p\left((0,T) , \Lambda_{\gamma} \right)$, and $\psi(t,i\nabla)$ is a time measurable pseudo-differential operator whose symbol is $\psi(t,\xi)$, i.e. $$ \psi(t,i\nabla)u(t,x)=\cF^{-1}\left[\psi(t,\xi)\cF\left[u(t,\cdot)\right](\xi)\right](x), $$ with the assumptions \begin{align*} \Re[\psi(t,\xi)] \leq -\nu|\xi|^{\gamma}, \end{align*} and \begin{align*} |D_{\xi}^{\alpha}\psi(t,\xi)|\leq\nu^{-1}|\xi|^{\gamma-|\alpha|}. \end{align*} Furthermore, we show \begin{align} \label{e 1028 1} \int_0^T \|u(t,\cdot)\|^p_{\Lambda_{\gamma+m}} dt \leq N \int_0^T \|f(t,\cdot)\|^p_{\Lambda_{m}} dt, \end{align} where $N$ is a positive constant depending only on $d$, $p$, $\gamma$, $\nu$, $m$, and $T$, The unique solvability of equation (\ref{main eqn}) in $L_p$-H\"older space is also considered. More precisely, for any $f \in L_p((0,T);C^{n+\alpha})$, there exists a unique solution $u \in L_p((0,T);C^{\gamma+n+\alpha}(\mathbf{R}^d))$ to equation (\ref{main eqn}) and for this solution $u$, \begin{align} \label{e 1029 1} \int_0^T \|u(t,\cdot)\|^p_{C^{\gamma+n+\alpha}}dt \leq N \int_0^T \|f(t,\cdot)\|^p_{C^{n+\alpha}}dt, \end{align} where $n \in \mathbb{Z}_+$, $\alpha \in (0,1)$, and $\gamma+\alpha \notin \mathbb{Z}_+$.


title: Jacobi matrices: continued fractions, approximation, spectrum

abstract: In this work the spectral theory of self-adjoint operator $A$ represented by Jacobi matrix is considered. The approach is based on the continued fraction representation of the resolvent matrix element of $A$. Different criteria of absolute continuity of a spectrum are found. For the analysis of the absolutely continuous spectrum it is used an approximation of $A$ by a sequence of operators $A_n$ with absolutely continuous spectrum on a given interval $[a,b\,]$ which converges to $A$ in a strong sense on a dense set. In the case when $[a,b\,]\subseteq\sigma(A)$ it was found the sufficient condition of absolute continuity of the operator $A$ spectrum on $[a,b\,]$. This condition uses the notion of equi-absolute continuity. It is constructed the system of functions converging to the distribution function of the operator. In the case of the absolutely continuous spectrum, the system of continuous functions converging to the spectral weight of the operator on a given interval is also constructed and was analyzed. The conditions when the derivative of the distribution function of $A$ belongs to the class $C[a,b\,]$ are also obtained.


title: Best rank k approximation for binary forms

abstract: In the tensor space $\mathrm{Sym}^d {\mathbb R}^2$ of binary forms we study the best rank $k$ approximation problem. The critical points of the best rank $1$ approximation problem are the eigenvectors and it is known that they span a hyperplane. We prove that the critical points of the best rank $k$ approximation problem lie in the same hyperplane.


title: More on the Annihilator-Ideal Graph of a Commutative Ring

abstract: Let $R$ be a commutative ring with identity and $\Bbb A (R)$ be the set of ideals of $R$ with non-zero annihilator. The annihilator-ideal graph of $R$, denoted by $A_{I} (R) $, is a simple graph with the vertex set $\Bbb A(R)^{\ast} := \Bbb A (R) \setminus\lbrace (0) \rbrace $, and two distinct vertices $I$ and $J$ are adjacent if and only if $\mathrm{Ann} _{R} (IJ) \neq \mathrm{Ann} _{R} (I) \cup \mathrm{Ann} _{R} (J)$. In this paper, we study the affinity between the annihilator-ideal graph and the annihilating-ideal graph $\Bbb A \Bbb G (R)$ (a well-known graph with the same vertices and two distinct vertices $I,J$ are adjacent if and only if $IJ=0$) associated with $R$. All rings whose $A_{I}(R) \neq \Bbb A \Bbb G (R)$ and $\mathrm{gr} (A_{I}(R)) =4$ are characterized. Among other results, we obtain necessary and sufficient conditions under which $A_{I} (R)$ is a star graph.


title: The Effective Field Theory of Large-Scale Structure in the presence of Massive Neutrinos

abstract: We develop a formalism to analytically describe the clustering of matter in the mildly non-linear regime in the presence of massive neutrinos. Neutrinos, whose free streaming wavenumber ($k_{\rm fs}$) is typically longer than the non-linear scale ($k_{\rm NL}$) are described by a Boltzmann equation coupled to the effective fluid-like equations that describe dark matter. We solve the equations expanding in the neutrino density fraction $(f_\nu)$ and in $k/ k_{\rm NL}$, and add suitable counterterms to renormalize the theory. This allows us to describe the contribution of short distances to long-distance observables. Equivalently, we construct an effective Boltzmann equation where we add additional terms whose coefficients renormalize the contribution from short-distance physics. We argue that neutrinos with $k_{\rm fs}\gtrsim k_{\rm NL}$ require an additional counterterm similar to the speed of sound ($c_s$) for dark matter. We compute the one-loop total-matter power spectrum, and find that it is roughly equal to $16f_\nu$ times the dark matter one for $k$'s larger that the typical $k_{\rm fs}$. It is about half of that for smaller $k$'s. The leading contribution results from the back-reaction of the neutrinos on the dynamics of the dark matter. The counterterms contribute in a hierarchical way: the leading ones can either be computed in terms of $c_s$, or can be accounted for by shifting $c_s$ by an amount proportional to $f_\nu$.


title: Good signals gone bad: dynamic signalling with switching efforts

abstract: This paper examines signalling when the sender exerts effort and receives benefits over time. Receivers only observe a noisy public signal about the effort, which has no intrinsic value. The modelling of signalling in a dynamic context gives rise to novel equilibrium outcomes. In some equilibria, a sender with a higher cost of effort exerts strictly more effort than his low-cost counterpart. The low-cost type can compensate later for initial low effort, but this is not worthwhile for a high-cost type. The interpretation of a given signal switches endogenously over time, depending on which type the receivers expect to send it. JEL classification: D82, D83, C73. Keywords: Dynamic games, signalling , incomplete information


title: Measuring the X-shaped structures in edge-on galaxies

abstract: We present a detailed photometric study of a sample of 22 edge-on galaxies with clearly visible X-shaped structures. We propose a novel method to derive geometrical parameters of these features, along with the parameters of their host galaxies based on the multi-component photometric decomposition of galactic images. To include the X-shaped structure into our photometric model, we use the IMFIT package, in which we implement a new component describing the X-shaped structure. This method is applied for a sample of galaxies with available SDSS and Spitzer IRAC 3.6 $\mu$m observations. In order to explain our results, we perform realistic $N$-body simulations of a Milky Way-type galaxy and compare the observed and the model X-shaped structures. Our main conclusions are as follows: (1) galaxies with strong X-shaped structures reside in approximately the same local environments as field galaxies; (2) the characteristic size of the X-shaped structures is about 2/3 of the bar size; (3) there is a correlation between the X-shaped structure size and its observed flatness: the larger structures are more flattened; (4) our $N$-body simulations qualitatively confirm the observational results and support the bar-driven scenario for the X-shaped structure formation.


title: Slave Rotor Approach to Exciton Condensation in a Two-band System

abstract: Slave rotor mean field (SRMF) theory is employed to study exciton formation in the extended Falicov-Kimball Model (EFKM). In this theory, charge and spin (or orbital) degrees are treated as independent degrees of freedom, coupled by a constraint. Using this formalism in single as well as cluster extension, we capture the effective many body scales beyond conventional mean-field theory. While the formation of exciton is favored by the interband hybridization $V$, it is strongly influenced by the on-site Coulomb interaction $U$. Beyond a critical hybridization, there is a condensation of exciton, effectively giving rise to a crossover from metal to an excitonic insulator phase. The system goes from a metal to an excitonic insulating state, with a first order jump in the excitonic order parameter. Moreover, the behavior of excitonic averages differs from earlier results from Hartree-Fock mean-field theory. Low-$U$ results show that excitonic order parameter ($\Delta$) is continuous across the transition both for single as well as two-site approximation. The transition changes to weakly first order in the intermediate $U$ for cluster case. On the other hand, large $U$ limit shows a continuous transition for cluster but remains first order in the single-site approximation. The slave rotor also indicates an excitonic metallic region in both single and cluster cases, while there is an orbital liquid in the insulating regime in the cluster theory. The $\Delta-V$ graph shows step-like behavior when both the bands have the same parity. For cluster approximation, a second order to first order transition in $\Delta-V$ is obtained by tuning the hopping parameter of the localized band.


title: Extension of the Coherence Time by Generating MW Dressed States in a Single NV Centre in Diamond

abstract: Nitrogen-vacancy (NV) centres in diamond hold promise in quantum sensing applications. A major interest in them is an enhancement of their sensitivity by the extension of the coherence time ($T_2$). In this report, we experimentally generated more than four dressed states in a single NV centre in diamond based on Autler-Townes splitting (ATS). We also observed the extension of the coherence time to $T_2 \sim$ 1.5 ms which is more than two orders of magnitude longer than that of the undressed states. As an example of a quantum application using these results we propose a protocol of quantum sensing, which shows more than an order of magnitude enhancement in the sensitivity.


title: Analysis of Type-II hybrid censored competing risks data

abstract: Kundu and Gupta (2007, Metrika, 65, 159 - 170) provided the analysis of Type-I hybrid censored competing risks data, when the lifetime distribution of the competing causes of failures follow exponential distribution. In this paper we consider the analysis of Type-II hybrid censored competing risks data. It is assumed that latent lifetime distributions of the competing causes of failures follow independent exponential distributions with different scale parameters. It is observed that the maximum likelihood estimators of the unknown parameters do not always exist. We propose the modified estimators of the scale parameters, which coincide with the corresponding maximum likelihood estimators when they exist, and asymptotically they are equivalent. We obtain the exact distribution of the proposed estimators. Using the exact distributions of the proposed estimators, associated confidence intervals are obtained. The asymptotic and bootstrap confidence intervals of the unknown parameters are also provided. Further, Bayesian inference of some unknown parametric functions under a very flexible Beta-Gamma prior is considered. Bayes estimators and associated credible intervals of the unknown parameters are obtained using Monte Carlo method. Extensive Monte Carlo simulations are performed to see the effectiveness of the proposed estimators and one real data set has been analyzed for the illustrative purposes. It is observed that the proposed model and the method work quite well for this data set.


title: The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs

abstract: In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics for positive higher-order logic programs. Recently, it was demonstrated in (Rondogiannis and Symeonidou 2016) that Bezem's technique can be extended to higher-order logic programs with negation, retaining its extensional properties, provided that it is interpreted under a logic with an infinite number of truth values. In (Rondogiannis and Symeonidou 2017) it was also demonstrated that Bezem's technique, when extended under the stable model semantics, does not in general lead to extensional stable models. In this paper we consider the problem of extending Bezem's technique under the well-founded semantics. We demonstrate that the well-founded extension fails to retain extensionality in the general case. On the positive side, we demonstrate that for stratified higher-order logic programs, extensionality is indeed achieved. We analyze the reasons of the failure of extensionality in the general case, arguing that a three-valued setting can not distinguish between certain predicates that appear to have a different behaviour inside a program context, but which happen to be identical as three-valued relations. The paper is under consideration for acceptance in TPLP.


title: Order Restricted Bayesian Analysis of a Simple Step Stress Model

abstract: In this article we consider a simple step stress set up under the cumulative exposure model assumption. At each stress level the lifetime distribution of the experimental units are assumed to follow the generalized exponential distribution. We provide the order restricted Bayesian inference of the model parameters by considering the fact that the expected lifetime of the experimental units are larger in lower stress level. Analysis and the related results are extended to different censoring schemes also. The Bayes estimates and the associated credible intervals of the unknown parameters are constructed using importance sampling technique. We perform extensive simulation experiments both for the complete and censored samples to see the performances of the proposed estimators. We analyze two simulated and one real data sets for illustrative purposes. An optimal value of the stress changing time is obtained by minimizing the total posterior coefficient of variations of the unknown parameters.


title: Linear Theory of the Rayleigh-Taylor Instability at a Discontinuous Surface of a Relativistic Flow

abstract: We address the linear stability of a discontinuous surface of a relativistic flow in the context of a jet that oscillates radially as it propagates. The restoring force of the oscillation is expected to drive a Rayleigh-Taylor instability (RTI) at the interface between the jet and its cocoon. We perform a linear analysis and numerical simulations of the growth of the RTI in the transverse plane to the jet flow with a uniform acceleration. In this system, an inertia force due to the uniform acceleration acts as the restoring force for the oscillation. We find that not only the difference in the inertia between the two fluids separated by the interface but also the pressure at the interface helps to drive the RTI because of a difference in the Lorenz factor across the discontinuous surface of the jet. The dispersion relation indicates that the linear growth rate of each mode becomes maximum when the Lorentz factor of the jet is much larger than that of the cocoon and the pressure at the jet interface is relativistic. By comparing the linear growth rates of the RTI in the analytical model and the numerical simulations, the validity of our analytically derived dispersion relation for the relativistic RTI is confirmed.


title: Erratum and Addendum to: Invariant Differential Operators and Eigenspace Representations on an Affine Symmetric Space

abstract: The purpose of this erratum and addendum is to correct the errors in [1]. It consists of five components: 1. Lemma 7.1 and Proposition 7.2 are wrong and discarded; 2. A new proof of existence $\lambda(\xi)$ in (7.1) without Proposition 7.2; 3. Definition of a new bijection in Theorem 5.2 and a proof by a new technique; 4. A new proof of Theorem 5.5 based on the new bijection in Theorem 5.2; 5. Correction to the list of exceptional simple pairs in Proposition 3.1. The main results of [1] remain true as stated. We also add a final remark on generalization.


title: Parametrix for the localization of the Bergman metric on strictly pseudoconvex domains

abstract: We give the parameter version of localization theorem for Bergman metric near the boundary points of strictly pseudoconvex domains. The approximation theorem for square integrable holomorphic functions on such domains in the spirit of Graham-Kerzman is proved in the hereby paper, as well.


title: Structural and magnetic properties of lightly doped M-type hexaferrites

abstract: Vanadium substituted SrM hexaferrites (SrFe12-xVxO19 with x = 0.2, 0.4) and Eu-substituted BaM hexaferrite (Ba0.8Eu0.2Fe12O19) were prepared by high energy ball milling and sintering at 1200{\deg} C. X-ray diffraction measurements revealed that the V-substituted SrM samples exhibited phase separation resulting in the coexistence of the pure SrM magnetic phase with nonmagnetic Sr3(VO4)2 vanadate and {\alpha}-Fe2O3 iron oxide phase. Also, the Eu-substituted BaM hexaferrite revealed the formation of the pure BaM phase coexisting with {\alpha}-Fe2O3 secondary phase, and Eu-garnet minor phase. Although the magnetic properties of the samples deteriorated with respect to pure hexaferrite properties, the magnetic parameters of the substituted samples were found to be of potential importance for practical applications. Further, the results of the study suggest methods for the preparation of high quality SrM hexaferrites, and hexaferrite/garnet composites.


title: Heat-Assisted Multiferroic Solid-State Memory

abstract: A heat-assisted multiferroic solid-state memory design is proposed and analysed, based on a PbNbZrSnTiO3 antiferroelectric substrate and Ni81Fe19 magnetic free layer. Information is stored as magnetisation direction in the free layer of a magnetic tunnel junction element. The bit writing process is contactless and relies on triggering thermally activated magnetisation switching of the free layer towards a strain-induced anisotropy easy axis. A stress is generated using the antiferroelectric substrate by voltage-induced antiferroelectric to ferroelectric phase change, and this is transmitted to the magnetic free layer by strain-mediated coupling. The thermally activated strain-induced magnetisation switching is analysed here using a three-dimensional, temperature-dependent magnetisation dynamics model, based on simultaneous evaluation of the stochastic Landau Lifshitz Bloch equation and heat flow equation, together with stochastic thermal fields and magnetoelastic contributions. The magnetisation switching probability is calculated as a function of stress magnitude and maximum heat pulse temperature. An operating region is identified, where magnetisation switching always occurs, with stress values ranging from 80 to 180 MPa, and maximum temperatures normalised to the Curie temperature ranging from 0.65 to 0.99.


title: The stable converse soul question for positively curved homogeneous spaces

abstract: The stable converse soul question (SCSQ) asks whether, given a real vector bundle \(E\) over a compact manifold, some stabilization \(E\times\R^k\) admits a metric with non-negative (sectional) curvature. We extend previous results to show that the SCSQ has an affirmative answer for all real vector bundles over any simply connected homogeneous manifold with positive curvature, except possibly for the Berger space \(B^{13}\). Along the way, we show that the same is true for all simply connected homogeneous spaces of dimension at most seven, for arbitrary products of simply connected compact rank one symmetric spaces of dimensions multiples of four, and for certain products of spheres. Moreover, we observe that the SCSQ is "stable under tangential homotopy equivalence": if it has an affirmative answer for all vector bundles over a certain manifold \(M\), then the same is true for any manifold tangentially homotopy equivalent to~\(M\). Our main tool is topological K-theory. Over \(B^{13}\), there is essentially one stable class of real vector bundles for which our method fails.


title: Quasimomentum distribution and expansion of an anyonic gas

abstract: We point out that the momentum distribution is not a proper observable for a system of anyons in two-dimensions. In view of anyons as Wilczek's composite charged flux-tubes, this is a consequence of the fact that the orthogonal components of the kinetic momentum operator do not commute at the position of a flux tube, and thus cannot be diagonalized in the same basis. As a substitute for the momentum distribution of an anyonic (spatially localized) state, we propose to use the asymptotic single-particle density after expansion of anyons in free space from the state. This definition is identical with the standard one when the statistical parameter approaches that for bosons or fermions. Exact examples of expansion dynamics, which underpin our proposal, and observables that can be used to measure anyonic statistics, are shown.


title: Twistor formulation of a massive particle with rigidity

abstract: A massive rigid particle model in $(3+1)$ dimensions is reformulated in terms of twistors. Beginning with a first-order Lagrangian, we establish a twistor representation of the Lagrangian for a massive particle with rigidity. The twistorial Lagrangian derived in this way remains invariant under a local $U(1) \times U(1)$ transformation of the twistor and other relevant variables. Considering this fact, we carry out a partial gauge-fixing so as to make our analysis simple and clear. We develop the canonical Hamiltonian formalism based on the gauge-fixed Lagrangian and perform the canonical quantization procedure of the Hamiltonian system. Also, we obtain an arbitrary-rank massive spinor field in $(3+1)$ dimensions via the Penrose transform of a twistor function defined in the quantization procedure. Then we prove, in a twistorial fashion, that the spin quantum number of a massive particle with rigidity can take only non-negative integer values, which result is in agreement with the one shown earlier by Plyushchay. Interestingly, the mass of the spinor field is determined depending on the spin quantum number.


title: Exploit Kits: The production line of the Cybercrime Economy

abstract: The annual cost of Cybercrime to the global economy is estimated to be around 400 billion dollar in support of which Exploit Kits have been providing enabling technology.This paper reviews the recent developments in Exploit Kit capability and how these are being applied in practice.In doing so it paves the way for better understanding of the exploit kits economy that may better help in combatting them and considers industry preparedness to respond.


title: Forensic Investigation of P2P Cloud Storage: BitTorrent Sync as a Case Study

abstract: Cloud computing has been regarded as the technology enabler for the Internet of Things (IoT). To ensure the most effective collection of IoT-based evidence, it is vital for forensic practitioners to possess a contemporary understanding of the artefacts from different cloud services. In this paper, we seek to determine the data remnants from the use of BitTorrent Sync version 2.0. Findings from our research using mobile and computer devices running Windows 8.1, Mac OS X Mavericks 10.9.5, Ubuntu 14.04.1 LTS, iOS 7.1.2, and Android KitKat 4.4.4 suggested that artefacts relating to the installation, uninstallation, log-in, log-off, and file synchronisation could be recovered, which are potential sources of IoT forensics. We also present a forensically sound investigation methodology for BitTorrent Sync.


title: Derivatives of triangular, Toeplitz, circulant matrices and matrices of other forms over semirings

abstract: In this article we construct examples of derivations in matrix semirings. We study hereditary and inner derivations, derivatives of diagonal, triangular, Toeplitz, circulant matrices and of matrices of other forms and prove theorems for derivatives of matrices of these forms.


title: Metal nanoparticle film-based room temperature Coulomb transistor

abstract: Single-electron transistors would represent an approach for less power consuming microelectronic devices if room-temperature operation and industry-compatible fabrication were possible. We present a concept based on stripes of small, self-assembled, colloidal, metal nanoparticles on a back-gate device architecture which leads to well-defined and well-controllable transistor characteristics. This Coulomb transistor has three main advantages: By employing the scalable Langmuir-Blodgett method we combine high-quality chemically synthesized metal nanoparticles with standard lithography techniques. The resulting transistors show on/off ratios above 90 %, reliable and sinusoidal Coulomb oscillations and room-temperature operation. Furthermore, this concept allows for versatile tuning of the device properties like Coulomb-energy gap, threshold voltage, as well as period, position and strength of the oscillations.


title: Topological phases in Kitaev chain with imbalanced pairing

abstract: We systematically study a Kitaev chain with imbalanced pair creation and annihilation, which is introduced by non-Hermitian pairing terms. Exact phase diagram shows that the topological phase is still robust under the influence of the conditional imbalance. The gapped phases are characterized by a topological invariant, the extended Zak phase, which is defined by the biorthonormal inner product. Such phases are destroyed at the points where the coalescence of groundstates occur, associating with the time-reversal symmetry breaking. We find that the Majorana edge modes also exist for the open chain within unbroken time-reversal symmetric region, demonstrating the bulk-edge correspondence in such a non-Hermitian system.


title: Qutrit witness from the Grothendieck constant of order four

abstract: In this paper, we prove that $K_G(3)<K_G(4)$, where $K_G(d)$ denotes the Grothendieck constant of order $d$. To this end, we use a branch-and-bound algorithm commonly used in the solution of NP-hard problems. It has recently been proven that $K_G(3)\le 1.4644$. Here we prove that $K_G(4)\ge 1.4841$, which has implications for device-independent witnessing dimensions greater than two. Furthermore, the algorithm with some modifications may find applications in various black-box quantum information tasks with large number of inputs and outputs.


title: Influence of round-off errors on the reliability of numerical simulations of chaotic dynamic systems

abstract: We illustrate that, like the truncation error, the round-off error has a significant influence on the reliability of numerical simulations of chaotic dynamic systems. Due to the butterfly-effect, all numerical approaches in double precision cannot give a reliable long-term simulation of chaotic dynamic systems. So, in order to avoid man-made uncertainty of numerical simulations of chaos, we had to greatly decrease both of the truncation and round-off error to a small enough level, plus a verification of solution reliability by means of an additional computation using even smaller truncation and round-off errors.


title: Statistics of spatial averages and optimal averaging in the presence of missing data

abstract: We consider statistics of spatial averages estimated by weighting observations over an arbitrary spatial domain using identical and independent measuring devices, and derive an account of bias and variance in the presence of missing observations. We test the model relative to simulations, and the approximations for bias and variance with missing data are shown to compare well even when the probability of missing data is large. Previous authors have examined optimal averaging strategies for minimizing bias, variance and mean squared error of the spatial average, and we extend the analysis to the case of missing observations. Minimizing variance mainly requires higher weights where local variance and covariance is small, whereas minimizing bias requires higher weights where the field is closer to the true spatial average. Missing data increases variance and contributes to bias, and reducing both effects involves emphasizing locations with mean value nearer to the spatial average. The framework is applied to study spatially averaged rainfall over India. We use our model to estimate standard error in all-India rainfall as the combined effect of measurement uncertainty and bias, when weights are chosen so as to yield minimum mean squared error.


title: Infrared fixed point of SU(2) gauge theory with six flavors

abstract: We compute the running of the coupling in SU(2) gauge theory with six fermions in fundamental representation of the gauge group. We establish an infrared stable fixed point at strong coupling and measure also the anomalous dimension of the fermion mass operator at the fixed point. This theory therefore likely lies close to the boundary of the conformal window and will display novel infrared dynamics if coupled with the electroweak sector of the Standard Model.


title: Optimal Monte Carlo integration on closed manifolds

abstract: The worst case integration error in reproducing kernel Hilbert spaces of standard Monte Carlo methods with n random points decays as $n^{-1/2}$. However, re-weighting of random points can sometimes be used to improve the convergence order. This paper contributes general theoretical results for Sobolev spaces on closed Riemannian manifolds, where we verify that such re-weighting yields optimal approximation rates up to a logarithmic factor. We also provide numerical experiments matching the theoretical results for some Sobolev spaces on the unit sphere and on the Grassmannian manifold. Our theoretical findings also cover function spaces on more general sets such as the unit ball, the cube, and the simplex.


title: Memoisation: Purely, Left-recursively, and with (Continuation Passing) Style

abstract: Memoisation, or tabling, is a well-known technique that yields large improvements in the performance of some recursive computations. Tabled resolution in Prologs such as XSB and B-Prolog can transform so called left-recursive predicates from non-terminating computations into finite and well-behaved ones. In the functional programming literature, memoisation has usually been implemented in a way that does not handle left-recursion, requiring supplementary mechanisms to prevent non-termination. A notable exception is Johnson's (1995) continuation passing approach in Scheme. This, however, relies on mutation of a memo table data structure and coding in explicit continuation passing style. We show how Johnson's approach can be implemented purely functionally in a modern, strongly typed functional language (OCaml), presented via a monadic interface that hides the implementation details, yet providing a way to return a compact represention of the memo tables at the end of the computation.


title: Multi-parameter estimation along quantum trajectories with Sequential Monte Carlo methods

abstract: This paper proposes an efficient method for the simultaneous estimation of the state of a quantum system and the classical parameters that govern its evolution. This hybrid approach benefits from efficient numerical methods for the integration of stochastic master equations for the quantum system, and efficient parameter estimation methods from classical signal processing. The classical techniques use Sequential Monte Carlo (SMC) methods, which aim to optimize the selection of points within the parameter space, conditioned by the measurement data obtained. We illustrate these methods using a specific example, an SMC sampler applied to a nonlinear system, the Duffing oscillator, where the evolution of the quantum state of the oscillator and three Hamiltonian parameters are estimated simultaneously.


title: The Ces\`aro operator in weighted $\ell_1$ spaces

abstract: Unlike for $\ell_p$, $1<p\leq\infty$, the discrete Ces\`aro operator $C$ does not map $\ell_1$ into itself. We identify precisely those weights $w$ such that $C$ does map $\ell_1(w)$ continuously into itself. For these weights a complete description of the eigenvalues and the spectrum of $C$ are presented. It is also possible to identify all $w$ such that $C$ is a compact operator in $\ell_1(w)$. The final section investigates the mean ergodic properties of $C$ in $\ell_1(w)$. Many examples are presented in order to supplement the results and to illustrate the phenomena that occur.


title: KIC 2557430: A Triple System Containing One Gamma Dor and Two Flaring Components?

abstract: The results are presented for eclipsing binary KIC 2557430. The mass ratio was computed as 0.868+-10.002, while the inclination (i) was found as 69.75+-0.01 deg with T2=6271+-1 K. 50 frequencies were found in the period analysis. 48 frequencies of them are caused due to the primary component, a Gamma Doradus star, while two of them are caused by the cool spots. 69 flares were detected in the analyses. Two OPEA models were derived for flares, which indicates that the flares were come from two different sources. The Plateau value was found to be 1.4336+-0.1104 s for Source 1, which is seen as possible the secondary component and 0.7550+-0.0677 s for Source 2, which is seen as possible third body. The half-life value was computed as 2278.1 s for Group 1 and 1811.2 s for Group 2. The flare frequency N1 was found to be 0.02726 h-1 and N2 was computed as 0.00002 for Group 1, while N1 was found to be 0.01977 h-1 and N2 was computed as 0.00001 for Group 2. In a results, KIC 2557430 is a possible triple system consisting of a Gamma Doradus-type star, a chromospherically active star, and also a flaring third body.


title: New Logical Foundations for Quantum Information Theory: Introduction to Quantum Logical Information Theory

abstract: Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences, and distinguishability, and is formalized using the distinctions (`dits') of a partition (a pair of points distinguished by the partition). All the definitions of simple, joint, conditional, and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates (cohered together in the pure superposition state being measured) that are distinguished by the measurement (decohered in the post-measurement mixed state). Both the classical and quantum versions of logical entropy have simple interpretations as "two-draw" probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states.


title: Finite-Horizon Covariance Control of Linear Time-Varying Systems

abstract: We consider the problem of finite-horizon optimal control of a discrete linear time-varying system subject to a stochastic disturbance and fully observable state. The initial state of the system is drawn from a known Gaussian distribution, and the final state distribution is required to reach a given target Gaussian distribution, while minimizing the expected value of the control effort. We derive the linear optimal control policy by first presenting an efficient solution for the diffusion-less case, and we then solve the case with diffusion by reformulating the system as a superposition of diffusion-less systems. This reformulation leads to a simple condition for the solution, which can be effectively solved using numerical methods. We show that the resulting solution coincides with a LQG problem with particular terminal cost weight matrix. This fact provides an additional justification for using a linear in state controller. In addition, it allows an efficient iterative implementation of the controller.


title: Reconstructing random jigsaws

abstract: A colouring of the edges of an $n \times n$ grid is said to be \emph{reconstructible} if the colouring is uniquely determined by the multiset of its $n^2$ \emph{tiles}, where the tile corresponding to a vertex of the grid specifies the colours of the edges incident to that vertex in some fixed order. In 2015, Mossel and Ross asked the following question: if the edges of an $n \times n$ grid are coloured independently and uniformly at random using $q=q(n)$ different colours, then is the resulting colouring reconstructible with high probability? From below, Mossel and Ross showed that such a colouring is not reconstructible when $q = o(n^{2/3})$ and from above, Bordenave, Feige and Mossel and Nenadov, Pfister and Steger independently showed, for any fixed $\epsilon > 0$, that such a colouring is reconstructible when $q \ge n^{1+\epsilon}$. Here, we improve on these results and prove the following: there exist absolute constants $C, c > 0$ such that, as $n \to \infty$, the probability that a random colouring as above is reconstructible tends to $1$ if $q \ge Cn$ and to $0$ if $q \le cn$.


title: Finding Fair and Efficient Allocations

abstract: We study the problem of allocating a set of indivisible goods among a set of agents in a fair and efficient manner. An allocation is said to be fair if it is envy-free up to one good (EF1), which means that each agent prefers its own bundle over the bundle of any other agent up to the removal of one good. In addition, an allocation is deemed efficient if it satisfies Pareto optimality (PO). While each of these well-studied properties is easy to achieve separately, achieving them together is far from obvious. Recently, Caragiannis et al. (2016) established the surprising result that when agents have additive valuations for the goods, there always exists an allocation that simultaneously satisfies these two seemingly incompatible properties. Specifically, they showed that an allocation that maximizes the Nash social welfare (NSW) objective is both EF1 and PO. However, the problem of maximizing NSW is NP-hard. As a result, this approach does not provide an efficient algorithm for finding a fair and efficient allocation. In this paper, we bypass this barrier, and develop a pseudopolynomial time algorithm for finding allocations that are EF1 and PO; in particular, when the valuations are bounded, our algorithm finds such an allocation in polynomial time. Furthermore, we establish a stronger existence result compared to Caragiannis et al. (2016): For additive valuations, there always exists an allocation that is EF1 and fractionally PO. Another contribution of our work is to show that our algorithm provides a polynomial-time 1.45-approximation to the NSW objective. This improves upon the best known approximation ratio for this problem (namely, the 2-approximation algorithm of Cole et al. (2017)). Unlike many of the existing approaches, our algorithm is completely combinatorial.


title: On Axiomatizability of the Multiplicative Theory of Numbers

abstract: The multiplicative theory of a set of numbers (which could be natural, integer, rational, real or complex numbers) is the first-order theory of the structure of that set with (solely) the multiplication operation (that set is taken to be multiplicative, i.e., closed under multiplication). In this paper we study the multiplicative theories of the complex, real and (positive) rational numbers. These theories (and also the multiplicative theories of natural and integer numbers) are known to be decidable (i.e., there exists an algorithm that decides whether a given sentence is derivable form the theory); here we present explicit axiomatizations for them and show that they are not finitely axiomatizable. For each of these sets (of complex, real and [positive] rational numbers) a language, including the multiplication operation, is introduced in a way that it allows quantifier elimination (for the theory of that set).


title: The general form of the Euler--Poisson--Darboux equation and application of transmutation method

abstract: In the paper we find solution representations in the compact integral form to the Cauchy problem for a general form of the Euler--Poisson--Darboux equation with Bessel operators via generalized translation and spherical mean operators for all values of the parameter $k$, including also not studying before exceptional odd negative values. We use a Hankel transform method to prove results in a unified way. Under additional conditions we prove that a distributional solution is a classical one too. A transmutation property for connected generalized spherical mean is proved and importance of applying transmutation methods for differential equations with Bessel operators is emphasized. The paper also contains a short historical introduction on differential equations with Bessel operators and a rather detailed reference list of monographs and papers on mathematical theory and applications of this class of differential equations.


title: Annotated Defeasible Logic

abstract: Defeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning. However, the logics can only combine in trivial ways. This limits their usefulness in contexts where different intuitions are at play in different aspects of a problem. In particular, in some legal settings, different actors have different burdens of proof, which might be expressed as reasoning in different defeasible logics. In this paper, we introduce annotated defeasible logic as a flexible formalism permitting multiple forms of defeasibility, and establish some properties of the formalism. This paper is under consideration for acceptance in Theory and Practice of Logic Programming.


title: Recent results from NA61/SHINE

abstract: NA61/SHINE at the CERN SPS is a fixed-target experiment pursuing a rich physics program including measurements for heavy ion, neutrino and cosmic ray physics. The main goal of the strong interactions program is to study the properties of the onset of deconfinement and to search for the signatures of the critical point. In this contribution the latest NA61/SHINE results on particle spectra as well as on fluctuations and correlations from p+p, Be+Be, and Ar+Sc energy scans will be presented. The NA61 measurements will be compared with world data and with model predictions.


title: Generalized bipartite quantum state discrimination problems with sequential measurements

abstract: We investigate an optimization problem of finding quantum sequential measurements, which forms a wide class of state discrimination problems with the restriction that only sequential measurements are allowed. Sequential measurements from Alice to Bob on a bipartite system are considered. Using the fact that the optimization problem can be formulated as a problem with only Alice's measurement and is convex programming, we derive its dual problem and necessary and sufficient conditions for an optimal solution. In the problem we address, the output of Alice's measurement can be infinite or continuous, while sequential measurements with a finite number of outcomes are considered. It is shown that there exists an optimal sequential measurement in which Alice's measurement with a finite number of outcomes as long as a solution exists. We also show that if the problem has a certain symmetry, then there exists an optimal solution with the same type of symmetry. A minimax version of the problem is considered, and necessary and sufficient conditions for a minimax solution are derived. An example in which our results can be used to obtain an analytical expression for an optimal sequential measurement is finally provided.


title: Validating Wordscores

abstract: Wordscores is a popular quantitative text scaling method to estimate parties' positions on a priori specified dimensions, without requiring the researchers to read or even understand the language in the documents they are analysing. This study tries to establish whereas Wordscores is able to deliver this promise by conducting a rigorous validation of its output using the Euromanifestos of 164 parties across 23 countries. We assess content validity by looking at the scored words in their context, criterion validity by comparing the Wordscores output to expert surveys and other judgemental estimates of party positions, and construct validity by using the Wordscores estimates to predict party membership in the European Parliament groups. We conclude that, despite the promises, Wordscores fails to deliver valid party positions, and outline three conditions under which its performance can be improved.


title: CCNx 1.0 Bidirectional Streams

abstract: In Content Centric Networks, where one retrieves data based on a given name, not a conventional connection to a server or other device, there is a need for a standard mechanism to establish bi-directional streams. We describe a method to open and maintain such conversations using the techniques of a named data network.


title: "In silico" synthesis of microgel particles

abstract: Microgels are colloidal-scale particles individually made of crosslinked polymer networks that can swell and deswell in response to external stimuli, such as changes to temperature or pH. Despite a large amount of experimental activities on microgels, a proper theoretical description based on individual particle properties is still missing due to the complexity of the particles. To go one step further, here we propose a novel methodology to assemble realistic microgel particles "in silico". We exploit the self-assembly of a binary mixture composed of tetravalent (crosslinkers) and bivalent (monomer beads) patchy particles under spherical confinement in order to produce fully-bonded networks. The resulting structure is then used to generate the initial microgel configuration, which is subsequently simulated with a bead-spring model complemented by a temperature-induced hydrophobic attraction. To validate our assembly protocol we focus on a small microgel test-case and show that we can reproduce the experimental swelling curve by appropriately tuning the confining sphere radius, something that would not be possible with less sophisticated assembly methodologies, e.g. in the case of networks generated from an underlying crystal structure. We further investigate the structure (in reciprocal and real space) and the swelling curves of microgels as a function of temperature, finding that our results are well described by the widely-used fuzzy sphere model. This is a first step toward a realistic modelling of microgel particles, which will pave the way for a careful assessment of their elastic properties and effective interactions.


title: On Hyper-Generalized Recurrent Finsler Spaces

abstract: The aim of the present paper is to investigate new types of recurrence in Finsler geometry, namely, hyper-generalized recurrence and generalized conharmonic recurrence. The properties of such recurrences and their relations to other Finsler recurrences are studied.


title: Dynamics of non-holonomic systems with stochastic transport

abstract: This paper formulates a variational approach for treating observational uncertainty and/or computational model errors as stochastic transport in dynamical systems governed by action principles under nonholonomic constraints. For this purpose, we derive, analyze and numerically study the example of an unbalanced spherical ball rolling under gravity along a stochastic path. Our approach uses the Hamilton-Pontryagin variational principle, constrained by a stochastic rolling condition, which we show is equivalent to the corresponding stochastic Lagrange-d'Alembert principle. In the example of the rolling ball, the stochasticity represents uncertainty in the observation and/or error in the computational simulation of the angular velocity of rolling. The influence of the stochasticity on the deterministically conserved quantities is investigated both analytically and numerically. Our approach applies to a wide variety of stochastic, nonholonomically constrained systems, because it preserves the mathematical properties inherited from the variational principle. Keywords: Nonholonomic constraints, Stochastic dynamics, Transport noise.

categories: physics.class-ph math-ph math.MP nlin.CD


title: Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities

abstract: In the field of automated program repair, the redundancy assumption claims large programs contain the seeds of their own repair. However, most redundancy-based program repair techniques do not reason about the repair ingredients---the code that is reused to craft a patch. We aim to reason about the repair ingredients by using code similarities to prioritize and transform statements in a codebase for patch generation. Our approach, DeepRepair, relies on deep learning to reason about code similarities. Code fragments at well-defined levels of granularity in a codebase can be sorted according to their similarity to suspicious elements (i.e., code elements that contain suspicious statements) and statements can be transformed by mapping out-of-scope identifiers to similar identifiers in scope. We examined these new search strategies for patch generation with respect to effectiveness from the viewpoint of a software maintainer. Our comparative experiments were executed on six open-source Java projects including 374 buggy program revisions and consisted of 19,949 trials spanning 2,616 days of computation time. DeepRepair's search strategy using code similarities generally found compilable ingredients faster than the baseline, jGenProg, but this improvement neither yielded test-adequate patches in fewer attempts (on average) nor found significantly more patches than the baseline. Although the patch counts were not statistically different, there were notable differences between the nature of DeepRepair patches and baseline patches. The results demonstrate that our learning-based approach finds patches that cannot be found by existing redundancy-based repair techniques.


title: Electronic structure and X-ray spectroscopy of Cu$_{2}$MnAl$_{1-x}$Ga$_{x}$

abstract: We explore the electronic and related properties of Cu$_{2}$MnAl$_{1-x}$Ga$_{x}$ with a first-principles, relativistic multiscattering Green function approach. We discuss our results in relation to existing experimental data and show that the electron-core hole interaction is essential for the description of the optical spectra especially in describing the X-ray absorption and magnetic circular dichroism spectra at the L$_{2,3}$ edges of Cu and Mn.