title: Nonparametric volatility estimation in scalar diffusions: Optimality across observation frequencies

abstract: The nonparametric volatility estimation problem of a scalar diffusion process observed at equidistant time points is addressed. Using the spectral representation of the volatility in terms of the invariant density and an eigenpair of the infinitesimal generator the first known estimator that attains the minimax optimal convergence rates for both high and low-frequency observations is constructed. The proofs are based on a posteriori error bounds for generalized eigenvalue problems as well as the path properties of scalar diffusions and stochastic analysis. The finite sample performance is illustrated by a numerical example.


title: Electronic Cooling via Interlayer Coulomb Coupling in Multilayer Epitaxial Graphene

abstract: In van der Waals bonded or rotationally disordered multilayer stacks of two-dimensional (2D) materials, the electronic states remain tightly confined within individual 2D layers. As a result, electron-phonon interactions occur primarily within layers and interlayer electrical conductivities are low. In addition, strong covalent in-plane intralayer bonding combined with weak van der Waals interlayer bonding results in weak phonon-mediated thermal coupling between the layers. We demonstrate here, however, that Coulomb interactions between electrons in different layers of multilayer epitaxial graphene provide an important mechanism for interlayer thermal transport even though all electronic states are strongly confined within individual 2D layers. This effect is manifested in the relaxation dynamics of hot carriers in ultrafast time-resolved terahertz spectroscopy. We develop a theory of interlayer Coulomb coupling containing no free parameters that accounts for the experimentally observed trends in hot-carrier dynamics as temperature and the number of layers is varied.


title: A QoS-based Power Allocation for Cellular Users with Different Modulations

abstract: In this paper, we propose a novel optimal power allocation method that features a power limit function and is able to ensure more users reach the desired Quality-of-Service (QoS). In our model we use sigmoidal-like utility functions to represent the probability of successful reception of packets at user equipment (UE)s. Given that each UE has a different channel quality and different location from base station (BS), it has different CQI and modulation. For each CQI zone, we evaluate the power threshold which is required to achieve the minimum QoS for each UE and show that the higher CQI the lower power threshold is. We present a resource allocation algorithm that gives limited resources to UEs who have already reached their pre-specified minimum QoS, and provides more possible resources to UEs who can not reach it. We also compare this algorithm with the optimal power allocation algorithm in [1] to show the enhancement.


title: Computation of Linear Comparison Equations for Stability Analysis of Interconnected Systems

abstract: Sum-of-squares (SOS) methods have been shown to be very useful in computing polynomial Lyapunov functions for systems of reasonably small size. However for large scale systems it is necessary to use a scalable alternative using vector Lyapunov functions. Earlier works have shown that under certain conditions the stability of an interconnected system can be studied through suitable comparison equations. However finding such comparison equations can be non-trivial. In this work we propose an SOS based systematic procedure to directly compute the comparison equations for interconnected system with polynomial dynamics. With an example of interacting Van der Pol systems, we illustrate how this facilitates a scalable and parallel approach to stability analysis.


title: Acyclicity for Groups and Vector Spaces

abstract: The notion of acyclic matching property was provided by Losonczy and it was proved that torsion-free groups admit this property. In this paper, we introduce a duality of acyclic matching as a tool for classification of some Abelian groups, moreover, we study matchings for vector spaces and give a connection between matchings in groups and vector spaces. Our tools mix additive number theory, combinatorics and algebra.


title: Strongly convex functions, Moreau envelopes and the generic nature of convex functions with strong minimizers

abstract: In this work, using Moreau envelopes, we define a complete metric for the set of proper lower semicontinuous convex functions. Under this metric, the convergence of each sequence of convex functions is epi-convergence. We show that the set of strongly convex functions is dense but it is only of the first category. On the other hand, it is shown that the set of convex functions with strong minima is of the second category.


title: Nearly convex sets: fine properties and domains or ranges of subdifferentials of convex functions

abstract: Nearly convex sets play important roles in convex analysis, optimization and theory of monotone operators. We give a systematic study of nearly convex sets, and construct examples of subdifferentials of lower semicontinuous convex functions whose domain or ranges are nonconvex.


title: A Framework of Sparse Online Learning and Its Applications

abstract: The amount of data in our society has been exploding in the era of big data today. In this paper, we address several open challenges of big data stream classification, including high volume, high velocity, high dimensionality, high sparsity, and high class-imbalance. Many existing studies in data mining literature solve data stream classification tasks in a batch learning setting, which suffers from poor efficiency and scalability when dealing with big data. To overcome the limitations, this paper investigates an online learning framework for big data stream classification tasks. Unlike some existing online data stream classification techniques that are often based on first-order online learning, we propose a framework of Sparse Online Classification (SOC) for data stream classification, which includes some state-of-the-art first-order sparse online learning algorithms as special cases and allows us to derive a new effective second-order online learning algorithm for data stream classification. In addition, we also propose a new cost-sensitive sparse online learning algorithm by extending the framework with application to tackle online anomaly detection tasks where class distribution of data could be very imbalanced. We also analyze the theoretical bounds of the proposed method, and finally conduct an extensive set of experiments, in which encouraging results validate the efficacy of the proposed algorithms in comparison to a family of state-of-the-art techniques on a variety of data stream classification tasks.


title: True Online Emphatic TD($\lambda$): Quick Reference and Implementation Guide

abstract: This document is a guide to the implementation of true online emphatic TD($\lambda$), a model-free temporal-difference algorithm for learning to make long-term predictions which combines the emphasis idea (Sutton, Mahmood & White 2015) and the true-online idea (van Seijen & Sutton 2014). The setting used here includes linear function approximation, the possibility of off-policy training, and all the generality of general value functions, as well as the emphasis algorithm's notion of "interest".


title: Quantifying knowledge exchange in R&D networks: A data-driven model

abstract: We propose a model that reflects two important processes in R&D activities of firms, the formation of R&D alliances and the exchange of knowledge as a result of these collaborations. In a data-driven approach, we analyze two large-scale data sets extracting unique information about 7500 R&D alliances and 5200 patent portfolios of firms. This data is used to calibrate the model parameters for network formation and knowledge exchange. We obtain probabilities for incumbent and newcomer firms to link to other incumbents or newcomers which are able to reproduce the topology of the empirical R&D network. The position of firms in a knowledge space is obtained from their patents using two different classification schemes, IPC in 8 dimensions and ISI-OST-INPI in 35 dimensions. Our dynamics of knowledge exchange assumes that collaborating firms approach each other in knowledge space at a rate $\mu$ for an alliance duration $\tau$. Both parameters are obtained in two different ways, by comparing knowledge distances from simulations and empirics and by analyzing the collaboration efficiency $\mathcal{\hat{C}}_{n}$. This is a new measure, that takes also in account the effort of firms to maintain concurrent alliances, and is evaluated via extensive computer simulations. We find that R&D alliances have a duration of around two years and that the subsequent knowledge exchange occurs at a very low rate. Hence, a firm's position in the knowledge space is rather a determinant than a consequence of its R&D alliances. From our data-driven approach we also find model configurations that can be both realistic and optimized with respect to the collaboration efficiency $\mathcal{\hat{C}}_{n}$. Effective policies, as suggested by our model, would incentivize shorter R&D alliances and higher knowledge exchange rates.


title: Irregular Riemann-Hilbert correspondence, Alekseev-Meinrenken dynamical r-matrices and Drinfeld twists

abstract: In 2004, Enriquez-Etingof-Marshall suggested a new approach to the Ginzburg-Weinstein linearization theorem for a quasitriangular Lie bialgebra $(\g,r)$. This approach is based on solving a system of PDEs for a gauge transformation between the classical r-matrix $r$ and the Alekseev-Meinrenken dynamical r-matrix. They proved that the semiclassical limit of an admissible Drinfeld twist gives rise to a solution of the PDEs. In this paper, we explain that preferred gauge transformations can be constructed as connection maps for a certain irregular Riemann-Hilbert problem (provided $r$ is the standard classical r-matrix). Along the way, we give a symplectic geometric interpretation of their PDEs, as a symplectic neighborhood version of the Ginzburg-Weinstein linearization theorem. Our construction is based on earlier works by Boalch. We then prove that for semisimple Lie algebra $\g$, any solution of the PDEs for the gauge transformation is the semiclassical limit of an admissible Drinfeld twist. As byproducts, we find a surprising relation between the connection maps and Drinfeld twists as well as a new description of the Lu-Weinstein symplectic double.


title: CALIFA Spectroscopy of the Interacting Galaxy NGC 5394 (Arp 84): Starbursts, Enhanced [NII]6584 and Signs of Outflows and Shocks

abstract: We investigate the spiral galaxy NGC 5394, which is strongly interacting with the larger spiral NGC 5395 (the pair is Arp 84), using optical integral-field spectroscopy from the CALIFA survey. Spatially-resolved equivalent-widths, emission-line ratios and kinematics reveal many features related to the interaction, which has reshaped the galaxy. $\rm H\alpha$ maps (with other diagnostic emission lines) show a concentrated central ($r<1$ kpc) starburst and three less luminous star-forming regions (one knot far out in the northern arm), and we estimate the dust-corrected total star-formation rate as 3.39 $\rm M_{\odot}yr^{-1}$. However, much of the galaxy, especially the outer tidal arms, has a post-starburst spectrum, evidence of a more extensive episode of star-formation a few $\times 10^8$ yr ago, triggered by the previous perigalacticon. The $\rm [NII]6584/H\alpha$ ratio is high in the nucleus, reaching 0.63 at the centre, which we interpret as related to high electron density ($n_e\simeq 750$ $\rm cm^{-3}$ from the $\rm [SII]{6717\over 6731}$ ratio). We find a central region of strong and blueshifted NaI(5890,5896) absorption, indicative of a starburst-driven outflow from the nucleus at an estimated velocity $\sim 223$ km $\rm s^{-1}$. The CALIFA data also show an annular region at radii 2.25--4 kpc from the nucleus, with elevated ratios of [NII], [OI]6300 etc. to the Balmer lines -- this is evidence of shock excitation, which might be the result of interaction-triggered gas inflow.


title: D-structures and derived Koszul duality for unital operad algebras

abstract: Generalizing a concept of Lipshitz, Ozsv\'ath and Thurs-ton from Bordered Floer homology, we define $D$-structures on algebras of unital operads, which can also be interpreted as a generalization of a seemingly unrelated concept of Getzler and Jones. This construction gives rise to an equivalence of derived categories, which can be thought of as a unital version of Koszul duality using non-unital Quillen homology. We also discuss a multi-sorted version of the construction, which provides a framework for unifying the known algebraic contexts of Koszul duality.


title: Bargaining Mechanisms for One-Way Games

abstract: We introduce one-way games, a framework motivated by applications in large-scale power restoration, humanitarian logistics, and integrated supply-chains. The distinguishable feature of the games is that the payoff of some player is determined only by her own strategy and does not depend on actions taken by other players. We show that the equilibrium outcome in one-way games without payments and the social cost of any ex-post efficient mechanism, can be far from the optimum. We also show that it is impossible to design a Bayes-Nash incentive-compatible mechanism for one-way games that is budget-balanced, individually rational, and efficient. To address this negative result, we propose a privacy-preserving mechanism that is incentive-compatible and budget-balanced, satisfies ex-post individual rationality conditions, and produces an outcome which is more efficient than the equilibrium without payments. The mechanism is based on a single-offer bargaining and we show that a randomized multi-offer extension brings no additional benefit.


title: Weak convergence for a stochastic exponential integrator and finite element discretization of SPDE for multiplicative \& additive noise

abstract: We consider a finite element approximation of a general semi-linear stochastic partial differential equation (SPDE) driven by space-time multiplicative and additive noise. We examine the full weak convergence rate of the exponential Euler scheme when the linear operator is self adjoint and provide preliminaries results toward the full weak convergence rate for non-self-adjoint linear operator. Key part of the proof does not rely on Malliavin calculus. Depending of the regularity of the noise and the initial solution, we found that in some cases the rate of weak convergence is twice the rate of the strong convergence. Our convergence rate is in agreement with some numerical results in two dimensions.


title: The Discovery and Physical Parameterization of a New Type of Wolf-Rayet Star

abstract: As part of our ongoing Wolf-Rayet (WR) Magellanic Cloud survey, we have discovered 13 new WRs. However, the most exciting outcome of our survey is not the number of new WRs, but their unique characteristics. Eight of our discoveries appear to belong to an entirely new class of WRs. While one might naively classify these stars as WN3+O3V binaries, such a pairing is unlikely. Preliminary CMFGEN modeling suggests physical parameters similar to early-type WNs in the Large Magellanic Cloud except with mass-loss rates three to five times lower and slightly higher temperatures. The evolution status of these stars remains an open question.


title: Majority Logic Decoding under Data-Dependent Logic Gate Failures

abstract: A majority logic decoder made of unreliable logic gates, whose failures are transient and datadependent, is analyzed. Based on a combinatorial representation of fault configurations a closed-form expression for the average bit error rate for an one-step majority logic decoder is derived, for a regular low-density parity-check (LDPC) code ensemble and the proposed failure model. The presented analysis framework is then used to establish bounds on the one-step majority logic decoder performance under the simplified probabilistic gate-output switching model. Based on the expander property of Tanner graphs of LDPC codes, it is proven that a version of the faulty parallel bit flipping decoder can correct a fixed fraction of channel errors in the presence of data-dependent gate failures. The results are illustrated with numerical examples of finite geometry codes.


title: Langlands-Shahidi $L$-functions for $GSpin$ groups and the generic Arthur packet conjecture

abstract: We prove that $L$-functions from Langlands-Shahidi method in the case of $GSpin$ groups over a non-Archimedean local field of characteristic zero are Artin $L$-functions through the local Langlands correspondence. It has an application on the proof of a weak version of the generic Arthur packet conjecture. Furthermore, we study and describe a local $L$-packet that contains a generic member in the case of $GSpin$ groups. Using this description of a local $L$-packet, we strengthen a weak version of the generic Arthur packet conjecture in those cases (local version of the generalized Ramanujan conjecture).


title: Smooth braneworld models possibility in modified gravities

abstract: It is shown that the consideration of the braneworld consistency conditions within the framework of bulk modified gravities allows for the existence of thick branes in the five- dimensional case with compact extra dimension. In studing the specific consistency conditions in the Brans-Dicke gravity we were able to show that the brane generating scalar field potential is relevant for relaxing the gravitational constraints.


title: Measurement of interaction between antiprotons

abstract: One of the primary goals of nuclear physics is to understand the force between nucleons, which is a necessary step for understanding the structure of nuclei and how nuclei interact with each other. Rutherford discovered the atomic nucleus in 1911, and the large body of knowledge about the nuclear force since acquired was derived from studies made on nucleons or nuclei. Although antinuclei up to antihelium-4 have been discovered and their masses measured, we have no direct knowledge of the nuclear force between antinucleons. Here, we study antiproton pair correlations among data taken by the STAR experiment at the Relativistic Heavy Ion Collider and show that the force between two antiprotons is attractive. In addition, we report two key parameters that characterize the corresponding strong interaction: namely, the scattering length (f0) and effective range (d0). As direct information on the interaction between two antiprotons, one of the simplest systems of antinucleons, our result provides a fundamental ingredient for understanding the structure of more complex antinuclei and their properties.


title: Optimal Power Allocation for LTE Users with Different Modulations

abstract: In this paper, we demonstrate the optimal power allocation for QPSK, 16-QAM, and 64-QAM modulation schedules and the role of channel quality indicator (CQI). We used sigmoidal-like utility functions to represent the probability of successful reception of packets at user equipment (UE). CQI as a feedback to the base station (BS) indicates the data rate that a downlink channel can support. With Levenberg-Marquardt (LM) Optimization method, we present utility functions of different CQI values for standardized 15 Modulation order and Coding Scheme (MCS) in $3^{rd}$ Generation Partnership Project (3GPP). Finally, we simulate and show the results of the optimal power allocation algorithm.


title: A note on finite-time and fixed-time stability

abstract: In this letter, by regarding finite-time stability as an inverse problem, we reveal the essence of finite-time stability and fixed-time stability. Some necessary and sufficient conditions are given. As application, we give a new approach for finite-time and fixed-time synchronization and consensus. Many existing results can be derived by the general approach.


title: An Optimal Resource Allocation with Frequency Reuse in Cellular Networks

abstract: In this paper, we introduce a novel approach for optimal resource allocation with frequency reuse for users with elastic and inelastic traffic in cellular networks. In our model, we represent users' applications running on different user equipments (UE)s by logarithmic and sigmoid utility functions. We applied utility proportional fairness allocation policy, i.e. the resources are allocated among users with fairness in utility percentage of the application running on each mobile station. Our objective is to allocate the cellular system resources to mobile users optimally from a multi-cell network. In our model, a minimum quality-of-service (QoS) is guaranteed to every user subscribing for the mobile service with priority given to users with real-time applications. We show that the novel resource allocation optimization problem with frequency reuse is convex and therefore the optimal solution is tractable. We present a distributed algorithm to allocate the resources optimally from Mobility Management Entity (MME) to base stations (BS)s sectors. Finally, we present the simulation results for the performance of our rate allocation algorithm.


title: Forecasting Leading Death Causes in Australia using Extended CreditRisk$+$

abstract: Recently we developed a new framework in Hirz et al (2015) to model stochastic mortality using extended CreditRisk$^+$ methodology which is very different from traditional time series methods used for mortality modelling previously. In this framework, deaths are driven by common latent stochastic risk factors which may be interpreted as death causes like neoplasms, circulatory diseases or idiosyncratic components. These common factors introduce dependence between policyholders in annuity portfolios or between death events in population. This framework can be used to construct life tables based on mortality rate forecast. Moreover this framework allows stress testing and, therefore, offers insight into how certain health scenarios influence annuity payments of an insurer. Such scenarios may include improvement in health treatments or better medication. In this paper, using publicly available data for Australia, we estimate the model using Markov chain Monte Carlo method to identify leading death causes across all age groups including long term forecast for 2031 and 2051. On top of general reduced mortality, the proportion of deaths for certain certain causes has changed massively over the period 1987 to 2011. Our model forecasts suggest that if these trends persist, then the future gives a whole new picture of mortality for people aged above 40 years. Neoplasms will become the overall number-one death cause. Moreover, deaths due to mental and behavioural disorders are very likely to surge whilst deaths due to circulatory diseases will tend to decrease. This potential increase in deaths due to mental and behavioural disorders for older ages will have a massive impact on social systems as, typically, such patients need long-term geriatric care.


title: Lepton Flavour Violating top decays at the LHC

abstract: We consider lepton flavour violating decays of the top quark, mediated by four-fermion operators. We compile constraints on a complete set of SU(3)*U(1)-invariant operators, arising from their loop contributions to rare decays and from HERA's single top search. The bounds on e-mu flavour change are more restrictive than l-tau; nonetheless the top could decay to a jet $+ e \bar{\mu}$ with a branching ratio of order $10^{-3}$. We estimate that the currently available LHC data (20 inverse-fb at 8 TeV) could be sensitive to $BR(t \to e \bar{\mu}$+ jet) $ \sim 6\times 10^{-5}$, and extrapolate that 100 inverse-fb at 13 TeV could reach a sensitivity of $ \sim 1 \times 10^{-5}$.


title: Majorana modes in a triple-terminal Josephson junction with embedded parallel-coupled double quantum dots

abstract: We investigate the Josephson effect in one triple-terminal junction with embedded parallel-coupled double quantum dots. It is found that the inter-superconductor supercurrent has opportunities to oscillate in $4\pi$ period, with the adjustment of the phase differences among the superconductors. What is notable is that such a result is robust and independent of fermion parities, intradot Coulomb strength, and the dot-superconductor coupling manner. By introducing the concept of spinful many-particle Majorana modes, we present the analytical definition of the Majorana operator via superposing electron and hole operators. It can be believed that this work provide a simple but feasible proposal for the realization of Majorana modes in a nonmagnetic system.


title: The Hill and Eshelby tensors for ellipsoidal inhomogeneities in the Newtonian potential problem and linear elastostatics

abstract: In 1957 Eshelby showed that a homogeneous isotropic ellipsoidal inhomogeneity embedded in a homogeneous isotropic host would feel uniform strains and stresses when uniform strains or stresses are applied in the far-field. Of specific importance is the uniformity of Eshelby's tensor S. Following this paper a vast literature has been generated using and developing Eshelby's result and ideas, leading to some beautiful mathematics and extremely useful results in a wide range of application areas. In 1961 Eshelby conjectured that for anisotropic materials only ellipsoidal inhomogeneities would lead to such uniform interior fields. Although much progress has been made since then, the quest to prove this conjecture is still not complete; numerous important problems remain open. Following a different approach to that considered by Eshelby, a closely related tensor P=S D^0 arises, where D^0 is the host medium compliance tensor. The tensor P is associated with Hill and is of course also uniform when ellipsoidal inhomogeneities are embedded in a homogeneous host phase. Two of the most fundamental and useful areas of applications of these tensors are in Newtonian potential problems such as heat conduction, electrostatics, etc. and in the vector problems of elastostatics. Micromechanical methods established mainly over the last half-century have enabled bounds on and predictions of the effective properties of composite media. In many cases such predictions can be explicitly written down in terms of the Hill, or equivalently the Eshelby tensor and can be shown to provide excellent predictions in many cases. Here this classical problem is revisited and a large number of results for problems that are felt to be of great utility in a wide range of disciplines are derived or recalled.


title: Non-transverse factorizing fields and entanglement in finite spin systems

abstract: We determine the conditions for the existence of non-transverse factorizing magnetic fields in general spin arrays with anisotropic XYZ couplings of arbitrary range. It is first shown that a uniform maximally aligned completely separable eigenstate can exist just for fields ${h}_s$ parallel to a principal plane and forming four straight lines in field space, with the alignment direction different from that of ${h}_s$ and determined by the anisotropy. Such state always becomes a non-degenerate ground state (GS) for sufficiently strong (yet finite) fields along these lines, in both ferromagnetic (FM) and antiferromagnetic (AFM) type systems. In AFM chains, this field coexists with the non-transverse factorizing field ${h}'_s$ associated with a degenerate N\'eel-type separable GS, which is shown to arise at a level crossing in a finite chain. It is also demonstrated for arbitrary spin that pairwise entanglement reaches full range in the vicinity of both ${h}_s$ and ${h}'_s$, vanishing at ${h}_s$ but approaching small yet finite side-limits at ${h}'_s$, which are analytically determined. The behavior of the block entropy and entanglement spectrum in their vicinity is also analyzed.


title: Second harmonic generation and pulse shaping in positively and negatively spatially dispersive nanowaveguides: comparative analysis

abstract: Comparative analysis of second harmonic generation in ordinary and backward-wave settings is presented. Extraordinary properties of frequency doubling nonlinear optical reflectivity and pulse shaping through phase matching of ordinary and backward electromagnetic waves in the nanowaveguides with mixed negative/positive spatial dispersion is demonstrated with numerical simulations.


title: The asymptotic equivalence of fixed heat flux and fixed temperature thermal boundary conditions for rapidly rotating convection

abstract: The influence of fixed temperature and fixed heat flux thermal boundary conditions on rapidly rotating convection in the plane layer geometry is investigated for the case of stress-free mechanical boundary conditions. It is shown that whereas the leading order system satisfies fixed temperature boundary conditions implicitly, a double boundary layer structure is necessary to satisfy the fixed heat flux thermal boundary conditions. The boundary layers consist of a classical Ekman layer adjacent to the solid boundaries that adjust viscous stresses to zero, and a layer in thermal wind balance just outside the Ekman layers adjusts the temperature such that the fixed heat flux thermal boundary conditions are satisfied. The influence of these boundary layers on the interior geostrophically balanced convection is shown to be asymptotically weak, however. Upon defining a simple rescaling of the thermal variables, the leading order reduced system of governing equations are therefore equivalent for both boundary conditions. These results imply that any horizontal thermal variation along the boundaries that varies on the scale of the convection has no leading order influence on the interior convection.


title: Topological Phase Transition in Single Crystals of $(Cd_{1-x} Zn_x)_3 As_2$

abstract: Single crystals of $(Cd_{1-x} Zn_x)_3 As_2$ were synthesized from high-temperature solutions and characterized in terms of their structural and electrical properties. Based on the measurements of resistivity and Hall signals, we revealed a chemical-doping-controlled transition from a three dimensional Dirac semimetal to a semiconductor with a critical point $x_c/sim 0.38$. We observed structural transitions from a body-center tetragonal phase to a primary tetragonal phase then back to a body-center tetragonal phase in the solid solutions as well, which are irrelevant to the topological phase transition. This continuously tunable system controlled by chemical doping provides a platform for investigating the topological quantum phase transition of 3D Dirac electrons.


title: On the Use of Cauchy Prior Distributions for Bayesian Logistic Regression

abstract: In logistic regression, separation occurs when a linear combination of the predictors can perfectly classify part or all of the observations in the sample, and as a result, finite maximum likelihood estimates of the regression coefficients do not exist. Gelman et al. (2008) recommended independent Cauchy distributions as default priors for the regression coefficients in logistic regression, even in the case of separation, and reported posterior modes in their analyses. As the mean does not exist for the Cauchy prior, a natural question is whether the posterior means of the regression coefficients exist under separation. We prove theorems that provide necessary and sufficient conditions for the existence of posterior means under independent Cauchy priors for the logit link and a general family of link functions, including the probit link. We also study the existence of posterior means under multivariate Cauchy priors. For full Bayesian inference, we develop a Gibbs sampler based on Polya-Gamma data augmentation to sample from the posterior distribution under independent Student-t priors including Cauchy priors, and provide a companion R package in the supplement. We demonstrate empirically that even when the posterior means of the regression coefficients exist under separation, the magnitude of the posterior samples for Cauchy priors may be unusually large, and the corresponding Gibbs sampler shows extremely slow mixing. While alternative algorithms such as the No-U-Turn Sampler in Stan can greatly improve mixing, in order to resolve the issue of extremely heavy tailed posteriors for Cauchy priors under separation, one would need to consider lighter tailed priors such as normal priors or Student-t priors with degrees of freedom larger than one.


title: Algorithms for Deforming and Contracting Simply Connected Discrete Closed Manifolds (I)

abstract: In this exploration paper, we design algorithms for deforming and contracting a simply connected discrete closed manifold to a discrete sphere. Such a contraction is a kind of shrinking or reducing process. In our algorithms, we need to assume an ambient space for the discrete manifold, and this ambient space also a simply connected discrete space in higher dimensions. Our algorithm would work for most of cases. For some special cases, we will make detailed analysis in the next paper. In other words, this paper has not provided a complete proof for each case. The algorithm designed in this paper is in polynomial time.


title: The many faces of strange matter: compact stars, cosmic rays, and dark matter

abstract: The state of cold bulk matter at around nuclear density depends on the fundamental strong interaction between quarks at low-energy scale, so-called non-perturbative quantum chromo-dynamics. Such kind of matter is conjectured to be condensed matter of 3-flavour (u, d and s) quark clusters in this note, being manifested in the form of compact stars, cosmic rays, and even dark matter.


title: Multidimensional Iterative Filtering method for the decomposition of high-dimensional non-stationary signals

abstract: Iterative Filtering (IF) is an alternative technique to the Empirical Mode Decomposition (EMD) algorithm for the decomposition of non-stationary and non-linear signals. Recently in [1] IF has been proved to be convergent for any $L^2$ signal and its stability has been also showed through examples. Furthermore in [1] the so called Fokker-Planck (FP) filters have been introduced. They are smooth at every point and have compact supports. Based on those results, in this paper we introduce the Multidimensional Iterative Filtering (MIF) technique for the decomposition and time-frequency analysis of non-stationary high-dimensional signals. And we present the extension of FP filters to higher dimensions. We illustrate the promising performance of MIF algorithm, equipped with high-dimensional FP filters, when applied to the decomposition of 2D signals. [1] A. Cicone, J. Liu, and H. Zhou, Adaptive local iterative filtering for signal decomposition and instantaneous frequency analysis, arXiv:1411.6051, 2014.


title: On the correspondence of Affine Generalized Root Systems and symmetrizable affine Kac-Moody superalgebras

abstract: Generalized root systems (GRS), that were introduced by V. Serganova, are a generalization of finite root systems (RS). We define a generalization of affine root systems (ARS), which we call $\textit{affine generalized root systems}$ (AGRS). The set of real roots of almost every symmetrizable affine indecomposable Kac-Moody superalgebra is an irreducible AGRS. In this paper we classify all AGRSs and show that almost every irreducible AGRS is the set of real roots of a symmetrizable affine indecomposable Kac-Moody superalgebra.


title: Gaussian Process Model for Extrapolation of Scattering Observables for Complex Molecules: from Benzene to Benzonitrile

abstract: We consider a problem of extrapolating the collision properties of a large polyatomic molecule A-H to make predictions of the dynamical properties for another molecule related to A-H by the substitution of the H atom with a small molecular group X, without explicitly computing the potential energy surface for A-X. We assume that the effect of the $-$H $\rightarrow$ $-$X substitution is embodied in a multidimensional function with unknown parameters characterizing the change of the potential energy surface. We propose to apply the Gaussian Process model to determine the dependence of the dynamical observables on the unknown parameters. This can be used to produce an interval of the observable values that corresponds to physical variations of the potential parameters. We show that the Gaussian Process model combined with classical trajectory calculations can be used to obtain the dependence of the cross sections for collisions of C$_6$H$_5$CN with He on the unknown parameters describing the interaction of the He atom with the CN fragment of the molecule. The unknown parameters are then varied within physically reasonable ranges to produce a prediction uncertainty of the cross sections. The results are normalized to the cross sections for He - C$_6$H$_6$ collisions obtained from quantum scattering calculations in order to provide a prediction interval of the thermally averaged cross sections for collisions of C$_6$H$_5$CN with He.


title: Resonant alignment of microswimmer trajectories in oscillatory shear flows

abstract: Oscillatory flows are commonly experienced by swimming microorganisms in the environment, industrial applications and rheological investigations. We experimentally characterise the response of the alga {\it Dunaliella salina} to oscillatory shear flows, and report the surprising discovery that algal swimming trajectories orient perpendicular to the flow-shear plane. The ordering has the characteristics of a resonance in the driving parameter space. The behaviour is qualitatively reproduced by a simple model and simulations accounting for helical swimming, providing the mechanism for ordering and criteria for the resonant amplitude and frequency. The implications of this work for active oscillatory rheology and industrial algal processing are discussed.


title: Twists and resonance of L-functions, II

abstract: We continue our investigations of the analytic properties of nonlinear twists of L-functions developed in [4],[5] and [7]. Given an L-function of degree d, we first extend the transformation formula in [5], relating a twist with leading exponent > 1/d to its dual twist. Then we combine the results in [7] with such a transformation formula to obtain the analytic properties of new classes of nonlinear twists. This allows to detect several new cases of resonance of the classical L-functions.


title: Antiferromagnetic fluctuations in the quasi-two-dimensional organic superconductor detected by Raman spectroscopy

abstract: Using Raman scattering, the quasi-two dimensional organic superconductor k-(BEDT-TTF)2Cu[N(CN)2]Br (T_c=11.8 K) and the related antiferromagnet k-(BEDT-TTF)2Cu[N(CN)2]Cl are studied. Raman scattering provides unique spectroscopic information about magnetic degrees of freedom that has been otherwise unavailable on such organic conductors. Below T=200 K a broad band at about 500 cm-1 develops in both compounds. We identify this band with two-magnon excitation. The position and the temperature dependence of the spectral weight are similar in the antiferromagnet and in the metallic Fermi-liquid. We conclude that antiferromagnetic correlations are similarly present in the magnetic insulator and the Fermi-liquid state of the superconductor.


title: Generic ill-posedness for wave equation of power type on 3D torus

abstract: In this article, we prove that the equation \begin{equation*} \left\{\begin{split} &(\partial^2_t-\Delta)u+|u|^{p-1}u=0,\ \ \ 3\leq p<5 &\big(u(0),\partial_tu(0)\big)=(u_0,u_1)\in H^{s}(\mathbb{T}^3)\times H^{s-1}(\mathbb{T}^3)=:\mathcal{H}^s(\mathbb{T}^3) \end{split}\right. \end{equation*} with $s<\frac{3}{2}-\frac{2}{p-1}$ is everywhere ill-posed. This work also indicates that, only properly regularizing the initial data can we smoothly approximate the solutions constructed in \cite{BT14} and \cite{Xia14}.


title: On some estimators of the Hurst index of the solution of SDE driven by a fractional Brownian motion

abstract: Strongly consistent and asymptotically normal estimators of the Hurst parameter of solutions of stochastic differential equations are proposed. The estimators are based on discrete observations of the underlying processes.


title: The regularity of Euclidean Lipschitz boundaries with prescribed mean curvature in three-dimensional contact sub-Riemannian manifolds

abstract: In this paper we consider a set $E\subset\Omega$ with prescribed mean curvature $f\in C(\Omega)$ and Euclidean Lipschitz boundary $\partial E=\Sigma$ inside a three-dimensional contact sub-Riemannian manifold $M$. We prove that if $\Sigma$ is locally a regular intrinsic graph, the characteristic curves are of class $C^2$. The result is shape and improves the ones contained in \cite{MR2583494} and \cite{GalRit15}.


title: Small weighted Bergman spaces

abstract: This paper is based on the course \lq\lq Weighted Hardy-Bergman spaces\rq\rq\, I delivered in the Summer School \lq\lq Complex and Harmonic Analysis and Related Topics\rq\rq at the Mekrij\"arvi research station of University of Eastern Finland, June $2014$. The main purpose of this survey is to present recent progress on the theory of Bergman spaces $A^p_\omega$, induced by radial weights $\omega$ satisfying the doubling property $\int_r^1\omega(s)\,ds\le C\int_{\frac{1+r}{2}}^1\omega(s)\,ds$.


title: Hydrodynamics of a Black Brane in Gauss-Bonnet Massive Gravity

abstract: A black brane solution to a Gauss-Bonnet massive gravity is introduced. In the context of AdS/CFT correspondence, the viscosity to entropy ratio is found by the Green-Kubo formula. The result indicates violation of the well-known KSS bound as expected in a higher derivative theory. Setting mass zero gives back the known viscosity to entropy ratio dependent on the Gauss-Bonnet coupling, while without Gauss-Bonnet term, a nonzero mass parameter doesn't contribute to the ratio which saturates the bound of $1/4\pi$.


title: Stable low-rank matrix recovery via null space properties

abstract: The problem of recovering a matrix of low rank from an incomplete and possibly noisy set of linear measurements arises in a number of areas. In order to derive rigorous recovery results, the measurement map is usually modeled probabilistically. We derive sufficient conditions on the minimal amount of measurements ensuring recovery via convex optimization. We establish our results via certain properties of the null space of the measurement map. In the setting where the measurements are realized as Frobenius inner products with independent standard Gaussian random matrices we show that $10 r (n_1 + n_2)$ measurements are enough to uniformly and stably recover an $n_1 \times n_2$ matrix of rank at most $r$. We then significantly generalize this result by only requiring independent mean-zero, variance one entries with four finite moments at the cost of replacing $10$ by some universal constant. We also study the case of recovering Hermitian rank-$r$ matrices from measurement matrices proportional to rank-one projectors. For $m \geq C r n$ rank-one projective measurements onto independent standard Gaussian vectors, we show that nuclear norm minimization uniformly and stably reconstructs Hermitian rank-$r$ matrices with high probability. Next, we partially de-randomize this by establishing an analogous statement for projectors onto independent elements of a complex projective 4-designs at the cost of a slightly higher sampling rate $m \geq C rn \log n$. Moreover, if the Hermitian matrix to be recovered is known to be positive semidefinite, then we show that the nuclear norm minimization approach may be replaced by minimizing the $\ell_2$-norm of the residual subject to the positive semidefinite constraint. Then no estimate of the noise level is required a priori. We discuss applications in quantum physics and the phase retrieval problem.


title: Implementing Scalable Boson Sampling with Time-Bin Encoding: Analysis of Loss, Mode Mismatch, and Time Jitter

abstract: It was recently shown by Motes, Gilchrist, Dowling & Rohde [PRL 113, 120501 (2014)] that a time-bin encoded fiber-loop architecture can implement an arbitrary passive linear optics transformation. This was shown in the case of an ideal scheme whereby the architecture has no sources of error. In any realistic implementation, however, physical errors are present, which corrupt the output of the transformation. We investigate the dominant sources of error in this architecture --- loss and mode-mismatch --- and consider how it affects the BosonSampling protocol, a key application for passive linear optics. For our loss analysis we consider two major components that contribute to loss --- fiber and switches --- and calculate how this affects the success probability and fidelity of the device. Interestingly, we find that errors due to loss are not uniform (unique to time-bin encoding), which asymmetrically biases the implemented unitary. Thus, loss necessarily limits the class of unitaries that may be implemented, and therefore future implementations must prioritise minimising loss rates if arbitrary unitaries are to be implemented. Our formalism for mode-mismatch is generlized to account for various phenomenon that may cause mode-mismatch, but we focus on two --- errors in fiber-loop lengths, and time-jitter of the photon source. These results provide a guideline for how well future experimental implementations might perform in light of these error mechanisms.


title: Inner ideals, compact tripotents and \v{C}eby\v{s}\"ev subtriples of JB$^{*}$-triples and C$^*$-algebras

abstract: The aim of this note is to study \v{C}eby\v{s}\"ev JB$^*$-subtriples of general JB$^*$-triples. It is established that if $F$ is a non-zero \v{C}eby\v{s}\"ev JB$^*$-subtriple of a JB$^*$-triple $E$, then exactly one of the following statements holds:\begin{enumerate}\item $F$ is a rank one JBW$^*$-triple with dim$(F)\geq 2$ (i.e. a complex Hilbert space regarded as a type 1 Cartan factor). Moreover, $F$ may be a closed subspace of arbitrary dimension and $E$ may have arbitrary rank, \item $F= \mathbb{C} e$, where $e$ is a complete tripotent in $E$, \item $E$ and $F$ are rank two JBW$^*$-triples, but $F$ may have arbitrary dimension, \item $F$ has rank greater or equal than three and $E=F$. \end{enumerate}


title: Hardy space theory on spaces of homogeneous type via orthonormal wavelet bases

abstract: In this paper, using the remarkable orthonormal wavelet basis constructed recently by Auscher and Hyt\"onen, we establish the theory of product Hardy spaces on spaces ${\widetilde X} = X_1\times X_2\times\cdot \cdot\cdot\times X_n$, where each factor $X_i$ is a space of homogeneous type in the sense of Coifman and Weiss. The main tool we develop is the Littlewood--Paley theory on $\widetilde X$, which in turn is a consequence of a corresponding theory on each factor space. We define the square function for this theory in terms of the wavelet coefficients. The Hardy space theory developed in this paper includes product~$H^p$, the dual $\cmo^p$ of $H^p$ with the special case $\bmo = \cmo^1$, and the predual $\vmo$ of $H^1$. We also use the wavelet expansion to establish the Calder\'on--Zygmund decomposition for product $H^p$, and deduce an interpolation theorem. We make no additional assumptions on the quasi-metric or the doubling measure for each factor space, and thus we extend to the full generality of product spaces of homogeneous type the aspects of both one-parameter and multiparameter theory involving the Littlewood--Paley theory and function spaces. Moreover, our methods would be expected to be a powerful tool for developing wavelet analysis on spaces of homogeneous type.


title: Candidates for non-zero Betti numbers of monomial ideals

abstract: Let $I$ be a monomial ideal in the polynomial ring $S$ generated by elements of degree at most $d$. In this paper, it is shown that, if the $i$-th syzygy of $I$ has no element of degrees $j, \ldots, j+(d-1)$ (where $j \geq i+d$), then $(i+1)$-syzygy of $I$ does not have any element of degree $j+d$. Then we give several applications of this result, including an alternative proof for Green-Lazarsfeld index of the edge ideals of graphs as well as an alternative proof for Fr\"oberg's theorem on classification of square-free monomial ideals generated in degree two with linear resolution. Among all, we describe the possible indices $i, j$ for which $I$ may have non-zero Betti numbers $\beta_{i,j}$.


title: Unconventional superconductivity in Y$_5$Rh$_6$Sn$_{18}$ probed by muon spin relaxation

abstract: Conventional superconductors are robust diamagnets that expels magnetic fields through the Meissner effect. It would therefore be unexpected if a superconducting ground state would support spontaneous magnetics fields. Such broken time-reversal symmetry states have been suggested for the high$-$temperature superconductors, but their identification remains experimentally controversial. We present magnetization, heat capacity, zero field and transverse field muon spin relaxation experiments on the recently discovered caged type superconductor \yrhsn\ ($T_{\bf c}$ = 3.0 K). The electronic heat capacity of \yrhsn\ shows a $T^3$ dependence below $T_{\bf c}$ indicating an anisotropic superconducting gap with a point node. This result is in sharp contrast to that observed in the isostructural Lu$_5$Rh$_6$Sn$_{18}$ which is a strong coupling $s-$wave superconductor. The temperature dependence of the deduced superfluid density \yrhsn\ is consistent with a BCS $s-$wave gap function, while the zero-field muon spin relaxation measurements strongly evidences unconventional superconductivity through a spontaneous appearance of an internal magnetic field below the superconducting transition temperature, signifying that the superconducting state is categorized by the broken time-reversal symmetry.


title: Sampling-based Learning Control for Quantum Systems with Uncertainties

abstract: Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with uncertainties. The SLC method includes two steps of "training" and "testing". In the training step, an augmented system is constructed using artificial samples generated by sampling uncertainty parameters according to a given distribution. A gradient flow based learning algorithm is developed to find the control for the augmented system. In the process of testing, a number of additional samples are tested to evaluate the control performance where these samples are obtained through sampling the uncertainty parameters according to a possible distribution. The SLC method is applied to three significant examples of quantum robust control including state preparation in a three-level quantum system, robust entanglement generation in a two-qubit superconducting circuit and quantum entanglement control in a two-atom system interacting with a quantized field in a cavity. Numerical results demonstrate the effectiveness of the SLC approach even when uncertainties are quite large, and show its potential for robust control design of quantum systems.


title: Economic Recommendation Systems

abstract: In the on-line Explore and Exploit literature, central to Machine Learning, a central planner is faced with a set of alternatives, each yielding some unknown reward. The planner's goal is to learn the optimal alternative as soon as possible, via experimentation. A typical assumption in this model is that the planner has full control over the experiment design and implementation. When experiments are implemented by a society of self-motivated agents the planner can only recommend experimentation but has no power to enforce it. Kremer et al (JPE, 2014) introduce the first study of explore and exploit schemes that account for agents' incentives. In their model it is implicitly assumed that agents do not see nor communicate with each other. Their main result is a characterization of an optimal explore and exploit scheme. In this work we extend Kremer et al (JPE, 2014) by adding a layer of a social network according to which agents can observe each other. It turns out that when observability is factored in the scheme proposed by Kremer et al (JPE, 2014) is no longer incentive compatible. In our main result we provide a tight bound on how many other agents can each agent observe and still have an incentive-compatible algorithm and asymptotically optimal outcome. More technically, for a setting with N agents where the number of nodes with degree greater than N^alpha is bounded by N^beta and 2*alpha+beta < 1 we construct incentive-compatible asymptotically optimal mechanism. The bound 2*alpha+beta < 1 is shown to be tight.


title: A Liouville-type theorem for the $3$-dimensional parabolic Gross-Pitaevskii and related systems

abstract: We prove a Liouville-type theorem for semilinear parabolic systems of the form $${\partial_t u_i}-\Delta u_i =\sum_{j=1}^{m}\beta_{ij} u_i^ru_j^{r+1}, \quad i=1,2,...,m$$ in the whole space ${\mathbb R}^N\times {\mathbb R}$. Very recently, Quittner [{\em Math. Ann.}, DOI 10.1007/s00208-015-1219-7 (2015)] has established an optimal result for $m=2$ in dimension $N\leq 2$, and partial results in higher dimensions in the range $p< N/(N-2)$. By nontrivial modifications of the techniques of Gidas and Spruck and of Bidaut-V\'eron, we partially improve the results of Quittner in dimensions $N\geq 3$. In particular, our results solve the important case of the parabolic Gross-Pitaevskii system -- i.e. the cubic case $r=1$ -- in space dimension $N=3$, for any symmetric $(m,m)$-matrix $(\beta_{ij})$ with nonnegative entries, positive on the diagonal. By moving plane and monotonicity arguments, that we actually develop for more general cooperative systems, we then deduce a Liouville-type theorem in the half-space ${\mathbb R}^N_+\times {\mathbb R}$. As applications, we give results on universal singularity estimates, universal bounds for global solutions, and blow-up rate estimates for the corresponding initial value problem.


title: Coherent generation of symmetry-forbidden phonons by light-induced electron-phonon interactions in magnetite

abstract: Symmetry breaking across phase transitions often causes changes in selection rules and emergence of optical modes which can be detected via spectroscopic techniques or generated coherently in pump-probe experiments. In second-order or weakly first-order transitions, fluctuations of the order parameter are present above the ordering temperature, giving rise to intriguing precursor phenomena, such as critical opalescence. Here, we demonstrate that in magnetite (Fe$_3$O$_4$) light excitation couples to the critical fluctuations of the charge order and coherently generates structural modes of the ordered phase above the critical temperature of the Verwey transition. Our findings are obtained by detecting coherent oscillations of the optical constants through ultrafast broadband spectroscopy and analyzing their dependence on temperature. To unveil the coupling between the structural modes and the electronic excitations, at the origin of the Verwey transition, we combine our results from pump-probe experiments with spontaneous Raman scattering data and theoretical calculations of both the phonon dispersion curves and the optical constants. Our methodology represents an effective tool to study the real-time dynamics of critical fluctuations across phase transitions.


title: Lower bounds for independence and $k$-independence number of graphs using the concept of degenerate degrees

abstract: Let $G$ be a graph and $v$ any vertex of $G$. We define the degenerate degree of $v$, denoted by $\zeta(v)$ as $\zeta(v)={\max}_{H: v\in H}~\delta(H)$, where the maximum is taken over all subgraphs of $G$ containing the vertex $v$. We show that the degenerate degree sequence of any graph can be determined by an efficient algorithm. A $k$-independent set in $G$ is any set $S$ of vertices such that $\Delta(G[S])\leq k$. The largest cardinality of any $k$-independent set is denoted by $\alpha_k(G)$. For $k\in \{1, 2, 3\}$, we prove that $\alpha_{k-1}(G)\geq {\sum}_{v\in G} \min \{1, 1/(\zeta(v)+(1/k))\}$. Using the concept of cheap vertices we strengthen our bound for the independence number. The resulting lower bounds improve greatly the famous Caro-Wei bound and also the best known bounds for $\alpha_1(G)$ and $\alpha_2(G)$ for some families of graphs. We show that the equality in our bound for independence number happens for a large class of graphs. Our bounds are achieved by Cheap-Greedy algorithms for $\alpha_k(G)$ which are designed by the concept of cheap sets. At the end, a bound for $\alpha_k(G)$ is presented, where $G$ is a forest and $k$ an arbitrary non-negative integer.


title: Blind quantum machine learning

abstract: Blind quantum machine learning (BQML) enables a classical client with little quantum technology to delegate a remote quantum machine learning to the quantum server in such a approach that the privacy data is preserved. Here we propose the first BQML protocol that the client can classify two-dimensional vectors to different clusters, resorting to a remote small-scale photon quantum computation processor. During the protocol, the client is only required to rotate and measure the single qubit. The protocol is secure without leaking any relevant information to the Eve. Any eavesdropper who attempts to intercept and disturb the learning process can be noticed. In principle, this protocol can be used to classify high dimensional vectors and may provide a new viewpoint and application for quantum machine learning.


title: Exact and Efficient Simulation of Concordant Computation

abstract: Concordant computation is a circuit-based model of quantum computation for mixed states, that assumes that all correlations within the register are discord-free (i.e. the correlations are essentially classical) at every step of the computation. The question of whether concordant computation always admits efficient simulation by a classical computer was first considered by B. Eastin in quant-ph/1006.4402v1, where an answer in the affirmative was given for circuits consisting only of one- and two-qubit gates. Building on this work, we develop the theory of classical simulation of concordant computation. We present a new framework for understanding such computations, argue that a larger class of concordant computations admit efficient simulation, and provide alternative proofs for the main results of quant-ph/1006.4402v1 with an emphasis on the exactness of simulation which is crucial for this model. We include detailed analysis of the arithmetic complexity for solving equations in the simulation, as well as extensions to larger gates and qudits. We explore the limitations of our approach, and discuss the challenges faced in developing efficient classical simulation algorithms for all concordant computations.


title: Hypohamiltonian planar cubic graphs with girth five

abstract: A graph is called hypohamiltonian if it is not hamiltonian but becomes hamiltonian if any vertex is removed. Many hypohamiltonian planar cubic graphs have been found, starting with constructions of Thomassen in 1981. However, all the examples found until now had 4-cycles. In this note we present the first examples of hypohamiltonian planar cubic graphs with cyclic connectivity five, and thus girth five. We show by computer search that the smallest members of this class are three graphs with 76 vertices.


title: Microwave quantum optics as a direct probe of the Overhauser field in a quantum-dot CQED device

abstract: We show theoretically that a quantum-dot circuit quantum electrodynamics (CQED) device can be used as a probe of the Overhauser field in quantum dots. By coupling a transmission line to the interdot tunneling gate, an electromagnetically-induced-transparency (EIT) scheme can be established, whose Fano-type interference leads to a sharp curvature in the reflection spectrum around resonance. This sharp feature persists even in the presence of the fluctuating spin bath, rendering a high-resolution method to extract the bath's statistical information. For strong nuclear spin fields, the reflection spectrum exhibits an Autler-Townes splitting, where the peak locations indicate the strengths of the Overhauser field gradient (OFG).


title: Task Selection for Bandit-Based Task Assignment in Heterogeneous Crowdsourcing

abstract: Task selection (picking an appropriate labeling task) and worker selection (assigning the labeling task to a suitable worker) are two major challenges in task assignment for crowdsourcing. Recently, worker selection has been successfully addressed by the bandit-based task assignment (BBTA) method, while task selection has not been thoroughly investigated yet. In this paper, we experimentally compare several task selection strategies borrowed from active learning literature, and show that the least confidence strategy significantly improves the performance of task assignment in crowdsourcing.


title: A Neural Prototype for a Virtual Chemical Spectrophotometer

abstract: A virtual chemical spectrophotometer for the simultaneous analysis of nickel (Ni) and cobalt (Co) was developed based on an artificial neural network (ANN). The developed ANN correlates the respective concentrations of Co and Ni given the absorbance profile of a Co-Ni mixture based on the Beer's Law. The virtual chemical spectrometer was trained using a 3-layer jump connection neural network model (NNM) with 126 input nodes corresponding to the 126 absorbance readings from 350 nm to 600 nm, 70 nodes in the hidden layer using a logistic activation function, and 2 nodes in the output layer with a logistic function. Test result shows that the NNM has correlation coefficients of 0.9953 and 0.9922 when predicting [Co] and [Ni], respectively. We observed, however, that the NNM has a duality property and that there exists a real-world practical application in solving the dual problem: Predict the Co-Ni mixture's absorbance profile given [Co] and [Ni]. It turns out that the dual problem is much harder to solve because the intended output has a much bigger cardinality than that of the input. Thus, we trained the dual ANN, a 3-layer jump connection nets with 2 input nodes corresponding to [Co] and [Ni], 70-logistic-activated nodes in the hidden layer, and 126 output nodes corresponding to the 126 absorbance readings from 250 nm to 600 nm. Test result shows that the dual NNM has correlation coefficients that range from 0.9050 through 0.9980 at 356 nm through 578 nm with the maximum coefficient observed at 480 nm. This means that the dual ANN can be used to predict the absorbance profile given the respective Co-Ni concentrations which can be of importance in creating academic models for a virtual chemical spectrophotometer.


title: Higgs boson parity. Discussion of the experiment

abstract: Recently CMS and ATLAS announced that they have measured the Higgs boson parity. In fact, these results allow to define parity for a small class of models only. For the majority of models the used approach provides no information about Higgs parity.


title: Non-mechanical nature of the wave function collapse

abstract: The wave function transformation of the quantum particle considered as a continuous medium was described by the evolution operator with the kernel in the form of path integral. It is shown that this approach allows considering not only Schrodinger evolution, but and the collapse phenomenon. The collapse entity is the nonlocal transformation of the quantum particle internal structure and it is not connected with its mechanical motion. Probably this fact allows the instantaneous signalling using the collapse without violating relativistic requirements.


title: Capturing the Dynamics of Pedestrian Traffic Using a Machine Vision System

abstract: We developed a machine vision system to automatically capture the dynamics of pedestrians under four different traffic scenarios. By considering the overhead view of each pedestrian as a digital object, the system processes the image sequences to track the pedestrians. Considering the perspective effect of the camera lens and the projected area of the hallway at the top-view scene, the distance of each tracked object from its original position to its current position is approximated every video frame. Using the approximated distance and the video frame rate (30 frames per second), the respective velocity and acceleration of each tracked object are later derived. The quantified motion characteristics of the pedestrians are displayed by the system through 2-dimensional graphs of the kinematics of motion. The system also outputs video images of the pedestrians with superimposed markers for tracking. These visual markers were used to visually describe and quantify the behavior of the pedestrians under different traffic scenarios.


title: Modeling Website Workload Using Neural Networks

abstract: In this article, artificial neural networks (ANN) are used for modeling the number of requests received by 1998 FIFA World Cup website. Modeling is done by means of time-series forecasting. The log traces of the website, available through the Internet Traffic Archive (ITA), are processed to obtain two time-series data sets that are used for finding the following measurements: requests/day and requests/second. These are modeled by training and simulating ANN. The method followed to collect and process the data, and perform the experiments have been detailed in this article. In total, 13 cases have been tried and their results have been presented, discussed, compared and summarized. Lastly, future works have also been mentioned.


title: Minimum Sensor Placement for Robust Observability of Structured Complex Networks

abstract: This paper addresses problems on the robust structural design of complex networks. More precisely, we address the problem of deploying the minimum number of dedicated sensors, i.e., those measuring a single state variable, that ensure the network to be structurally observable under disruptive scenarios. The disruptive scenarios considered are as follows: (i) the malfunction/loss of one arbitrary sensor, and (ii) the failure of connection (either unidirectional or bidirectional communication) between a pair of agents. First, we show these problems to be NP-hard, which implies that efficient algorithms to determine a solution are unlikely to exist. Secondly, we propose an intuitive two step approach: (1) we achieve an arbitrary minimum sensor placement ensuring structural observability; (2) we develop a sequential process to find minimum number of additional sensors required for robust observability. This step can be solved by recasting it as a weighted set covering problem. Although this is known to be an NP-hard problem, feasible approximations can be determined in polynomial-time that can be used to obtain feasible approximations to the robust structural design problems with optimality guarantees.


title: The lightcurve of the macronova associated with the long-short burst GRB 060614

abstract: The {\it Swift}-detected GRB 060614 was a unique burst that straddles an imaginary divide between long- and short-duration gamma-ray bursts (GRBs), and its physical origin has been heavily debated over the years. Recently, a distinct very-soft F814W-band excess at $t\sim 13.6$ days after the burst was identified in a joint-analysis of VLT and HST optical afterglow data of GRB~060614, which has been interpreted as evidence for an accompanying Li-Paczynski macronova (also called a kilonova). Under the assumption that the afterglow data in the time interval of $1.7-3.0$ days after the burst are due to external forward shock emission, when this assumption is extrapolated to later times it is found that there is an excess of flux in several multi-band photometric observations. This component emerges at $\sim$4 days after the burst, and it may represent the first time that a multi-epoch/band lightcurve of a macronova has been obtained. The macronova associated with GRB 060614 peaked at $t\lesssim 4$ days after the burst, which is significantly earlier than that observed for a supernova associated with a long-duration GRB. Due to the limited data, no strong evidence for a temperature evolution is found. We derive a conservative estimate of the macronova rate of $\sim 16.3^{+16.3}_{-8.2}~{\rm Gpc^{-3}}{\rm yr^{-1}}$, implying a promising prospect for detecting the gravitational wave radiation from compact object mergers by upcoming Advanced LIGO/VIRGO/KAGRA detectors (i.e., the rate is ${\cal R}_{\rm GW} \sim 0.5^{+0.5}_{-0.25}(D/200~{\rm Mpc})^{3}~{\rm yr^{-1}}$).


title: Structural Minimum Controllability Problem for Linear Continuous-Time Switching Systems

abstract: This paper addresses a structural design problem in control systems, and explicitly takes into consideration the possible application to large-scale systems. More precisely, we aim to determine and characterize the minimum number of manipulated state variables ensuring structural controllability of switched linear continuous-time systems. Towards this goal, we provide a new necessary and sufficient condition that leverages both graph-theoretic and algebraic properties required to ensure feasibility of the solutions. With this new condition, we show that a solution can be determined by an efficient procedure, i.e., polynomial in the number of state variables. In addition, we also discuss the switching signal properties that ensure structural controllability and the computational complexity of determining these sequences. In particular, we show that determining the minimum number of modes that a switching signal requires to ensure structural controllability is NP-hard.


title: Garside elements, inertia and Galois action on braid groups

abstract: An important piece of information in the theory of the arithmetic Galois action on the geometric fundamental groups of schemes is that divisorial inertia is acted on cyclotomically. We detail in this note the content of this fact in the case of the profinite braid groups arising from complex reflection groups, naturally viewing them as the geometric fundamental groups of the attending classifying spaces. We also include the case of the full (non colored) braid groups, whose completed classifying spaces are Deligne-Mumford stacks rather than schemes.


title: Non-hereditary Minimum Deep Coalescence trees

abstract: One of the goals of phylogenetic research is to find the species tree describing the evolutionary history of a set of species. But the trees derived from geneti data with the help of tree inference methods are gene trees that need not coincide with the species tree. This can for example happen when so-called deep coalescence events take place. It is also known that species trees can differ from their most likely gene trees. Therefore, as a means to find the species tree, it has been suggested to use subtrees of the gene trees, for example triples, and to puzzle them together in order to find the species tree. In this paper, we will show that this approach may lead to wrong trees regarding the minimum deep coalescence criterion (MDC). In particular, we present an example in which the optimal MDC tree is unique, but none of its triple subtrees fulfills the MDC criterion. In this sense, MDC is a non-hereditary tree reconstruction method.


title: Deterministic SWAP gate using shortcuts to adiabatic passage

abstract: We theoretically propose an alternative method to realize a deterministic SWAP gate using shortcuts to adiabatic passage based on the approach of Lewis- Riesenfeld invariants in cavity quantum electronic dynamics (QED). By combining Lewis-Riesenfeld invariants with quantum Zeno dynamics, the SWAP gate can be achieved deterministically. The strict numerical results show that our scheme is a fast and robust approach to achieve SWAP gate.


title: Wet-spinnability and crosslinked fibre properties of two collagen polypeptides with varied molecular weight

abstract: The formation of naturally-derived materials with wet stable fibrous architectures is paramount in order to mimic the features of tissues at the molecular and microscopic scale. Here, we investigated the formation of wet-spun fibres based on collagen-derived polypeptides with comparable chemical composition and varied molecular weight. Gelatin and hydrolysed fish collagen (HFC) were selected as widely-available linear amino-acidic chains of high and low molecular weight, respectively, and functionalised in the wet-spun fibre state in order to preserve the material geometry in physiological conditions. Wet-spun fibre diameter and morphology were dramatically affected depending on the polypeptide molecular weight, wet-spinning solvent (i.e. 2,2,2-Trifluoroethanol and dimethyl sulfoxide) and coagulating medium (i.e. acetone and ethanol), resulting in either bulky or porous internal geometry. Dry-state tensile moduli were significantly enhanced in gelatin and HFC samples following covalent crosslinking with activated 1,3 phenylenediacetic acid (Ph) (E: 726 +/- 43 - 844 +/- 85 MPa), compared to samples crosslinked via intramolecular carbodiimide-mediated condensation reaction (E: 588 +/- 38 MPa). Resulting fibres displayed a dry diameter in the range of 238 +/- 18 - 355 +/- 28 micron and proved to be mechanically-stable (E: 230 kPa) following equilibration with PBS, whilst a nearly-complete degradation was observed after 5-day incubation in physiological conditions.


title: A Laplacian-Based Approach for Finding Near Globally Optimal Solutions to OPF Problems

abstract: A semidefinite programming (SDP) relaxation globally solves many optimal power flow (OPF) problems. For other OPF problems where the SDP relaxation only provides a lower bound on the objective value rather than the globally optimal decision variables, recent literature has proposed a penalization approach to find feasible points that are often nearly globally optimal. A disadvantage of this penalization approach is the need to specify penalty parameters. This paper presents an alternative approach that algorithmically determines a penalization appropriate for many OPF problems. The proposed approach constrains the generation cost to be close to the lower bound from the SDP relaxation. The objective function is specified using iteratively determined weights for a Laplacian matrix. This approach yields feasible points to the OPF problem that are guaranteed to have objective values near the global optimum due to the constraint on generation cost. The proposed approach is demonstrated on both small OPF problems and a variety of large test cases representing portions of European power systems.


title: Projective modules over polyhedral semirings

abstract: I classify projective modules over idempotent semirings that are free on a monoid. The analysis extends to the case of the semiring of convex, piecewise-affine functions on a polyhedron, for which projective modules correspond to convex families of weight polyhedra for the general linear group.


title: One trade at a time -- unraveling the Equity Premium Puzzle

abstract: Financial markets provide a natural quantitative lab for understanding some of the most advanced human behaviours. Among them is the use of mathematical tools known as financial instruments. Besides money, the two most fundamental financial instruments are bonds and equities. More than 30 years ago Mehra and Prescott found the numerical performance of equities relative to government bonds could not be explained by consumption-based (mainstream) economic theories. This empirical observation, known as the Equity Premium Puzzle, has been defying mainstream economics ever since. The recent financial crisis revealed an even deeper need for understanding financial products. We show how understanding the rational nature of product design resolves the Equity Premium Puzzle. In doing so we obtain an experimentally tested theory of product design.


title: Remarks on the static dipole-dipole potential at large distances

abstract: We determine the large-distance behaviour of the static dipole-dipole potential for a wide class of gauge theories on nonperturbative grounds, exploiting only general properties of the theory. In the case of QCD, we recover the known results in the regime of small dipole sizes, and discuss recent nonperturbative calculations. Moreover, we discuss the case of pure-gauge theories, and compare our prediction with the available lattice results.


title: Model Risk Analysis via Investment Structuring

abstract: "What are the origins of risks?" and "How material are they?" -- these are the two most fundamental questions of any risk analysis. Quantitative Structuring -- a technology for building financial products -- provides economically meaningful answers for both of these questions. It does so by considering risk as an investment opportunity. The structure of the investment reveals the precise sources of risk and its expected performance measures materiality. We demonstrate these capabilities of Quantitative Structuring using a concrete practical example -- model risk in options on vol-targeted indices.


title: On the Problem of Optimal Path Encoding for Software-Defined Networks

abstract: Packet networks need to maintain state in the form of forwarding tables at each switch. The cost of this state increases as networks support ever more sophisticated per-flow routing, traffic engineering, and service chaining. Per-flow or per-path state at the switches can be eliminated by encoding each packet's desired path in its header. A key component of such a method is an efficient encoding of paths through the network. We introduce a mathematical formulation of this optimal path-encoding problem. We prove that the problem is APX-hard, by showing that approximating it to within a factor less than 8/7 is NP-hard. Thus, at best we can hope for a constant-factor approximation algorithm. We then present such an algorithm, approximating the optimal path-encoding problem to within a factor 2. Finally, we provide empirical results illustrating the effectiveness of the proposed algorithm.


title: Discrete Wasserstein Barycenters: Optimal Transport for Discrete Data

abstract: Wasserstein barycenters correspond to optimal solutions of transportation problems for several marginals, and as such have a wide range of applications ranging from economics to statistics and computer science. When the marginal probability measures are absolutely continuous (or vanish on small sets) the theory of Wasserstein barycenters is well-developed (see the seminal paper [1]). However, exact continuous computation of Wasserstein barycenters in this setting is tractable in only a small number of specialized cases. Moreover, in many applications data is given as a set of probability measures with finite support. In this paper, we develop theoretical results for Wasserstein barycenters in this discrete setting. Our results rely heavily on polyhedral theory which is possible due to the discrete structure of the marginals. Our results closely mirror those in the continuous case with a few exceptions. In this discrete setting we establish that Wasserstein barycenters must also be discrete measures and there is always a barycenter which is provably sparse. Moreover, for each Wasserstein barycenter there exists a non-mass-splitting optimal transport to each of the discrete marginals. Such non-mass-splitting transports do not generally exist between two discrete measures unless special mass balance conditions hold. This makes Wasserstein barycenters in this discrete setting special in this regard. We illustrate the results of our discrete barycenter theory with a proof-of-concept computation for a hypothetical transportation problem with multiple marginals: distributing a fixed set of goods when the demand can take on different distributional shapes characterized by the discrete marginal distributions. A Wasserstein barycenter, in this case, represents an optimal distribution of inventory facilities which minimize the squared distance/transportation cost totaled over all demands.


title: Why Quantitative Structuring?

abstract: Quality-designed consumer products are easy to recognize. Wouldn't it be great if the quality of financial products became just as apparent? This paper is addressed to financial practitioners. It provides an informal introduction to Quantitative Structuring -- a technology of manufacturing quality financial products (information derivatives). The presentation is arranged in three parts: the main text assumes no prior knowledge of the topic; important detailed discussions are arranged as a set of appendices; finally, a list of references provides further details including applications beyond product design: from model risk to economics and statistics.


title: A century of oil and gas exploration in Albania: assessment of Naturally Occurring Radioactive Materials (NORMs)

abstract: Because potential Naturally Occurring Radioactive Materials (NORMs) generated from oil and gas extractions in Albania have been disposed without regulatory criteria in many decades, an extensive survey in one of the most productive regions (Vlora-Elbasan) has been performed. Among 52 gamma-ray spectrometry measurements of soil, oil-sand, sludge, produced water and crude oil samples, we discover that relatively low activity concentrations of 226Ra, 228Ra, 228Th and 40K, which are 23 +/- 2 Bq/kg, 23 +/- 2 Bq/kg, 24 +/- 3 Bq/kg and 549 +/- 12 Bq/kg, respectively, come from oil-sand produced by hydrocarbon extraction from molasses formations. The mineralogical characterization together with the 228Ra/40K and 226Ra/40K ratios of these Neogene deposits confirm the geological and geodynamic model that predicts a dismantling of Mesozoic source rocks. The average activity concentrations (+/- standard deviations) of the radium isotopes (226Ra, 228Ra) and of the 228Th and 40K radionuclides in soil samples are determined to be 20 +/- 5 Bq/kg, 25 +/- 10 Bq/kg, 25 +/- 9 Bq/kg and 326 +/- 83 Bq/kg, respectively. Based on these arguments, the future radiological assessment of other fields in the region can be strategically planned focusing on the oil-sands from molasses sediments. No disequilibrium in the 228Ra decay segment has been observed in soil, sludge and oil-sand samples within the standard uncertainties. After a detailed radiological characterization of the four main oilfields, we can conclude that the outdoor absorbed dose rate never exceeds the worldwide population weighted average absorbed dose rate in outdoor air from terrestrial gamma radiation.


title: Geodesics and shortest arcs of special sub-Riemannian metric on the Lie group $SL(2)$

abstract: The authors found geodesics, shortest arcs, cut loci, and conjugate sets for left-invariant sub-Riemannian matric on the Lie group $SL(2)$, which is right-invariant relative to the Lie subgroup $SO(2)\subset SL(2)$ (in other words, for invariant sub-Riemannian metric on weakly symmetric space $(SL(2)\times SO(2))/SO(2)$).


title: Fragile magnetic order in the honeycomb lattice Iridate Na$_{2}$IrO$_3$ revealed by magnetic impurity doping

abstract: We report the structure, magnetic, and thermal property measurements on single crystalline and polycrystalline samples of Ru substituted honeycomb lattice iridate Na$_2$Ir$_x$Ru$_{1-x}$O$_3$ (x = 0, 0.05, 0.1, 0.15, 0.2, 0.3, 0.5). The evolution of magnetism in Na$_2$Ir$_x$Ru$_{1-x}$O$_3$ has been studied using dc and ac magnetic susceptibility, and heat capacity measurements. The parent compound Na$_2$IrO$_3$ is a spin-orbit driven Mott insulator with magnetic order of reduced moments below $T_N = 15$~K\@. In the Ru substituted samples the antiferromagnetic long range state is replaced by a spin glass like state even for the smallest substitution suggesting that the magnetic order in Na$_2$IrO$_3$ is extremely fragile. We argue that these behaviors indicate the importance of nearest-neighbor magnetic exchange in the parent Na$_2$IrO$_3$. Additionally, all samples show insulating electrical transport.


title: Pulsed UCN production using a Doppler shifter at J-PARC

abstract: We have constructed a Doppler-shifter-type pulsed ultra-cold neutron (UCN) source at the Materials and Life Science Experiment Facility (MLF) of the Japan Proton Accelerator Research Complex (J-PARC). Very-cold neutrons (VCNs) with 136-$\mathrm{m/s}$ velocity in a neutron beam supplied by a pulsed neutron source are decelerated by reflection on a m=10 wide-band multilayer mirror, yielding pulsed UCN. The mirror is fixed to the tip of a 2,000-rpm rotating arm moving with 68-$\mathrm{m/s}$ velocity in the same direction as the VCN. The repetition frequency of the pulsed UCN is $8.33~\mathrm{Hz}$ and the time width of the pulse at production is $4.4~\mathrm{ms}$. In order to increase the UCN flux, a supermirror guide, wide-band monochromatic mirrors, focus guides, and a UCN extraction guide have been newly installed or improved. The $1~\mathrm{MW}$-equivalent count rate of the output neutrons with longitudinal wavelengths longer than $58~\mathrm{nm}$ is $1.6 \times 10^{2}~\mathrm{cps}$, while that of the true UCNs is $80~\mathrm{cps}$. The spatial density at production is $1.4~\mathrm{UCN/cm^{3}}$. This new UCN source enables us to research and develop apparatuses necessary for the investigation of the neutron electric dipole moment (nEDM).


title: Dual condensates at finite isospin chemical potential

abstract: The dual observables as order parameters for center symmetry are tested at finite isospin chemical potential $\mu_I$ in a Polyakov-loop enhanced chiral model of QCD with physical quark masses. As a counterpart of the dressed Polyakov-loop, the first Fourier moment of pion condensate is introduced for $\mu_I>{m_\pi}/{2}$ under the temporal twisted boundary conditions for quarks. We demonstrate that this dual condensate exhibits the similar temperature dependence as the conventional Polyakov-loop. We confirm that its rapid increase with $T$ is driven by the evaporating of pion condensation. On the other hand, the dressed Polyakov-loop shows abnormal thermal behavior, which even decreases with $T$ at low temperatures due to the influence of pion condensate. We thus argue that in QCD the critical temperature extracting from a dual observable may have nothing to do with the quark confinement-deconfinement transition if the quark mass is very small.


title: Spatial mixing and approximate counting for Potts model on graphs with bounded average degree

abstract: We propose a notion of contraction function for a family of graphs and establish its connection to the strong spatial mixing for spin systems. More specifically, we show that for anti-ferromagnetic Potts model on families of graphs characterized by a specific contraction function, the model exhibits strong spatial mixing, and if further the graphs exhibit certain local sparsity which are very natural and easy to satisfy by typical sparse graphs, then we also have FPTAS for computing the partition function. This new characterization of strong spatial mixing of multi-spin system does not require maximum degree of the graphs to be bounded, but instead it relates the decay of correlation of the model to a notion of effective average degree measured by the contraction of a function on the family of graphs. It also generalizes other notion of effective average degree which may determine the strong spatial mixing, such as the connective constant, whose connection to strong spatial mixing is only known for very simple models and is not extendable to general spin systems. As direct consequences: (1) we obtain FPTAS for the partition function of $q$-state anti-ferromagnetic Potts model with activity $0\le\beta<1$ on graphs of maximum degree bounded by $d$ when $q> 3(1-\beta)d+1$, improving the previous best bound $\beta> 3(1-\beta)d$ and asymptotically approaching the inapproximability threshold $q=(1-\beta)d$, and (2) we obtain an efficient sampler (in the same sense of fully polynomial-time almost uniform sampler, FPAUS) for the Potts model on Erd\H{o}s-R\'enyi random graph $\mathcal{G}(n,d/n)$ with sufficiently large constant $d$, provided that $q> 3(1-\beta)d+4$. In particular when $\beta=0$, the sampler becomes an FPAUS for for proper $q$-coloring in $\mathcal{G}(n,d/n)$ with $q> 3d+4$, improving the current best bound $q> 5.5d$ for FPAUS for $q$-coloring in $\mathcal{G}(n,d/n)$.


title: Characterizing the width of entanglement

abstract: We introduce the concept of entanglement width as measure of the spatial distribution of entanglement in multiparticle systems. We develop criteria to detect the width of entanglement using global observables such as energy and magnetic susceptibility. Therefore, the introduced entanglement criteria can be applied to systems where addressing of single particles is not possible. We apply the criteria to different examples such as the J1-J2- Heisenberg model and point out the difference between entanglement depth and entanglement width.


title: Estimating the Trace of the Matrix Inverse by Interpolating from the Diagonal of an Approximate Inverse

abstract: A number of applications require the computation of the trace of a matrix that is implicitly available through a function. A common example of a function is the inverse of a large, sparse matrix, which is the focus of this paper. When the evaluation of the function is expensive, the task is computationally challenging because the standard approach is based on a Monte Carlo method which converges slowly. We present a different approach that exploits the pattern correlation, if present, between the diagonal of the inverse of the matrix and the diagonal of some approximate inverse that can be computed inexpensively. We leverage various sampling and fitting techniques to fit the diagonal of the approximation to the diagonal of the inverse. Depending on the quality of the approximate inverse, our method may serve as a standalone kernel for providing a fast trace estimate with a small number of samples. Furthermore, the method can be used as a variance reduction method for Monte Carlo in some cases. This is decided dynamically by our algorithm. An extensive set of experiments with various technique combinations on several matrices from some real applications demonstrate the potential of our method.


title: Combining Fixed-Point Definitions and Game Semantics in Logic Programming

abstract: Logic programming with fixed-point definitions is a useful extension of traditional logic programming. Fixed-point definitions can capture simple model checking problems and closed-world assumptions. Its operational semantics is typically based on intuitionistic provability. We extend the operational semantics of these languages with game semantics. This extended semantics has several interesting aspects: in particular, it gives a logical status to the $read$ predicate.


title: Measurement of the underlying event activity using charged-particle jets in proton-proton collisions at sqrt(s) = 2.76 TeV

abstract: A measurement of the underlying event (UE) activity in proton-proton collisions is performed using events with charged-particle jets produced in the central pseudorapidity region (abs(eta[jet]) < 2) and with transverse momentum 1<= pt[jet] < 100 GeV. The analysis uses a data sample collected at a centre-of-mass energy of 2.76 TeV with the CMS experiment at the LHC. The UE activity is measured as a function of pt[jet] in terms of the average multiplicity and scalar sum of transverse momenta (pt) of charged particles, with abs(eta) < 2 and pt > 0.5 GeV, in the azimuthal region transverse to the highest pt jet direction. By further dividing the transverse region into two regions of smaller and larger activity, various components of the UE activity are separated. The measurements are compared to previous results at 0.9 and 7 TeV, and to predictions of several Monte Carlo event generators, providing constraints on the modelling of the UE dynamics.


title: New ground states of fluorinated and oxidized phosphorene: structural and electronic properties

abstract: We systematically explore chemical functionalization of monolayer black phosphorene via chemisorption of oxygen and fluorine atoms. Using the cluster expansion technique, with vary- ing concentration of the adsorbate, we determine the ground states considering both single- as well as double- side chemisorption, which have novel chemical and electronic properties. The nature of the bandgap depends on the concentration of the adsorbate: for fluorination the direct bandgap first decreases, and then increases while becoming indirect, with increasing fluorination, while for oxidation the bandgap first increases and then decreases, while mostly maintaining its direct nature. Further we find that the unique anisotropic free-carrier effective mass for both the electrons and holes, can be changed and even rotated by 90 degrees, with controlled chemisorption, which can be useful for exploring unusual quantum Hall effect, and novel electronic devices based on phosphorene.


title: Stabilizing Heegaard Splittings of High-Distance Knots

abstract: Suppose $K$ is a knot in $S^3$ with bridge number $n$ and bridge distance greater than $2n$. We show that there are at most ${2n\choose n}$ distinct minimal genus Heegaard splittings of $S^3\setminus\eta(K)$. These splittings can be divided into two families. Two splittings from the same family become equivalent after at most one stabilization. If $K$ has bridge distance at least $4n$, then two splittings from different families become equivalent only after $n-1$ stabilizations. Further, we construct representatives of the isotopy classes of the minimal tunnel systems for $K$ corresponding to these Heegaard surfaces.


title: Exotic mesons with hidden charm as diquark-antidiquark states

abstract: Exotic mesons with hidden strange ($s\bar s$) and heavy quark pairs ($Q\bar Q$), where $Q=c,b$, are considered as diquark-antidiquark systems, $(Qs)(\bar Q\bar s)$. Taking into account that these states can recombinate into two-meson ones, we study the interplay of these states in terms of the dispersion relation D-function technique. The classification of exotic mesons is discussed, coefficients for decay modes are given, predictions for new states are presented. The nonet structure for $((Qq)(\bar Q \bar q)$, ($(Qs)(\bar Q\bar s$)), ($(Qq)(\bar Q\bar s))$- states ($q=u,d$) is suggested.


title: Pure Differential Modules and a Result of Macaulay on Unmixed Polynomial Ideals

abstract: The first purpose of this paper is to point out a curious result announced by Macaulay on the Hilbert function of a differential module in his famous book The Algebraic Theory of Modular Systems published in 1916. Indeed, on page 78/79 of this book, Macaulay is saying the following: " A polynomial ideal $\mathfrak{a} \subset k[{\chi}\_1$,..., ${\chi}\_n]=k[\chi]$ is of the {\it principal class} and thus {\it unmixed} if it has rank $r$ and is generated by $r$ polynomials. Having in mind this definition, a primary ideal $\mathfrak{q}$ with associated prime ideal $\mathfrak{p} = rad(\mathfrak{q})$ is such that any ideal $\mathfrak{a}$ of the principal class with $\mathfrak{a} \subset \mathfrak{q}$ determines a primary ideal of greater {\it multiplicity} over $k$. In particular, we have $dim\_k(k[\chi]/({\chi}\_1$,...,${\chi}\_n)^2)=n+1$ because, passing to a system of PD equations for one unknown $y$, the parametric jets are \{${y,y\_1, ...,y\_n}$\} but any ideal $\mathfrak{a}$ of the principal class with $\mathfrak{a}\subset ({\chi}\_1,{\^a},{\chi}\_n)^2$ is contained into a {\it simple} ideal, that is a primary ideal $\mathfrak{q}$ such that $rad(\mathfrak{q})=\mathfrak{m}\in max(k[\chi])$ is a maximal and thus prime ideal with $dim\_k(M)=dim\_k(k[\chi]/\mathfrak{q})=2^n$ at least. Accordingly, any primary ideal $\mathfrak{q}$ may not be a member of the primary decomposition of an unmixed ideal $\mathfrak{a} \subseteq \mathfrak{q}$ of the principal class. Otherwise, $\mathfrak{q}$ is said to be of the {\it principal noetherian class} ". Our aim is to explain this result in a modern language and to illustrate it by providing a similar example for $n=4$. The importance of such an example is that it allows for the first time to exhibit symbols which are $2,3,4$-acyclic without being involutive. Another interest of this example is that it has properties quite similar to the ones held by the system of conformal Killing equations which are still not known. For this reason, we have put all the examples at the end of the paper and each one is presented in a rather independent way though a few among them are quite tricky. Meanwhile, the second purpose is to prove that the methods developped by Macaulay in order to study {\it unmixed polynomial ideals} are only particular examples of new formal differential geometric techniques that have been introduced recently in order to study {\it pure differential modules}. However these procedures are based on the formal theory of systems of ordinary differential (OD) or partial differential (PD) equations, in particular on a systematic use of the Spencer operator, and are still not acknowledged by the algebraic community.


title: Dark and visible matter distribution in Coma cluster: theory vs observations

abstract: We investigate dark and visible matter distribution in the Coma cluster in the case of the Navarro-Frenk-White (NFW) profile. A toy model where all galaxies in the cluster are concentrated inside a sphere of an effective radius $R_{\mathrm{eff}}$ is considered. It enables us to obtain the mean velocity dispersion as a function of $R_{\mathrm{eff}}$. We show that, within the observation accuracy of the NFW parameters, the calculated value of $R_{\mathrm{eff}}$ can be rather close to the observable cutoff of the galaxy distribution. Moreover, the comparison of our toy model with the observable data and simulations leads to the following preferable NFW parameters for the Coma cluster: $R_{200} \approx 1.77\,h^{-1} \, \mathrm{Mpc} = 2.61\, \mathrm{Mpc}$, $c=3\div 4$ and $M_{200}= 1.29h^{-1}\times10^{15}M_{\odot}$. In the Coma cluster the most of galaxies are concentrated inside a sphere of the effective radius $R_{\mathrm{eff}}\sim 3.7$ Mpc and the line-of-sight velocity dispersion is $1004\, \mathrm{km}\, \mathrm{s}^{-1}$.