title: Status of Searches for Magnetic Monopoles

abstract: The searches for magnetic monopoles (Ms) is a fascinating interdisciplinary field with implications in fundamental theories, in particle physics, astrophysics, and cosmology. The quantum theory of Ms and its consistency with electrodynamics was derived by Dirac. This marked the start of the searches for classical monopoles at every new accelerator, up to the LHC. Magnetic monopoles are required by Grand Unification Theories, but unlike classical monopoles they would be incredibly massive, out of the reach of any conceivable accelerator. Large efforts have been made to search for them in the cosmic radiation as relic particles from the early Universe in the widest range of mass and velocity experimentally accessible. In this paper the status of the searches for classical Ms at accelerators, for GUT, superheavy Ms in the penetrating cosmic radiation and for Intermediate Mass Ms at high altitudes is discussed, with emphasis on the most recent results and future perspectives.


title: Discrete Element Crowd Model for Pedestrian Evacuation Through an Exit

abstract: A series of accidents caused by crowd within the last decades evoked a lot of scientific interest in modeling the movement of pedestrian crowds. Based on discrete element method, a granular dynamic model, in which human body is simplified as self-driven sphere, is proposed to simulate the characteristics of crowd flow through an exit. In this model, the repulsive force among people is considered to have an anisotropic feature, and the physical contact force due to body deformation is quantified by the Hertz contact model. The movement of human body is simulated by applying the second Newton's law. The crowd flow through an exit at different desired velocities is studied and simulation results indicated that crowd flow exhibits three distinct states, i.e., smooth state, transition state and phase separation state. In the simulation, clogging phenomenon occurs more easily when the velocity of desired is high and the exit may as a result be totally blocked at a desired velocity of 1.6m/s or above, leading to faster-to-frozen effect.


title: Properties of Galaxies in the Disc Central Surface Brightness Gap

abstract: Intermediate surface brightness (ISB) galaxies are less numerous than their counterparts at high and low surface brightness (HSB and LSB). Investigating ISB characteristics from a sample from the S4G survey, complete down to M_B=-16, we find that they have intermediate stellar, gas and baryonic masses and on average as much gas as stars. They lie on the (baryonic) Tully-Fisher relation between HSBs and LSBs, although they present a higher scatter than the latter. Their stellar to baryonic mass ratios have intermediate values unlike their condensed baryonic fractions. By comparing their environments, as classified by the eigenvalues of the velocity shear tensor of local constrained simulations, ISBs have a 5-10% probability higher (smaller) to be in sheets (filaments) with respect to HSBs and LSBs. Additionally, for galaxies in filaments (with close neighbors), the mass and mu_0 are correlated at 2.5 (2) sigma more than for those in sheets. ISBs live in regions where the divergence of the velocity field is smaller than where HSBs and LSBs live, a result at more than 50% significance. ISBs may exist as an unstable transition state between LSBs and HSBs, the low flow activity environment maximally encouraging their formation. Interaction events altering the central baryon fraction could happen at a lower rate in these less dense environment, whilst in the higher density environments the LSBs are primarily satellite galaxies, whose accretion is sufficiently constrained that it fails to promote them to HSBs.


title: Links of rational singularities, L-spaces and LO fundamental groups

abstract: We prove that the link of a complex normal surface singularity is an L--space if and only if the singularity is rational. This via a recent result of Hanselman, J. Rasmussen, S. D. Rasmussen and Watson (proving the conjecture of Boyer, Gordon and Watson), shows that a singularity link is not rational if and only if its fundamental group is left-orderable if and only if it admits a coorientable taut foliation.


title: Bayesian Inference for High Dimensional Changing Linear Regression with Application to Minnesota House Price Index Data

abstract: In many applications, the dataset under investigation exhibits heterogeneous regimes that are more appropriately modeled using piece-wise linear models for each of the data segments separated by change-points. Although there have been much work on change point linear regression for the low dimensional case, high-dimensional change point regression is severely underdeveloped. Motivated by the analysis of Minnesota House Price Index data, we propose a fully Bayesian framework for fitting changing linear regression models in high-dimensional settings. Using segment-specific shrinkage and diffusion priors, we deliver full posterior inference for the change points and simultaneously obtain posterior probabilities of variable selection in each segment via an efficient Gibbs sampler. Additionally, our method can detect an unknown number of change points and accommodate different variable selection constraints like grouping or partial selection. We substantiate the accuracy of our method using simulation experiments for a wide range of scenarios. We apply our approach for a macro-economic analysis of Minnesota house price index data. The results strongly favor the change point model over a homogeneous (no change point) high-dimensional regression model.


title: Non-separable Dynamic Nearest-Neighbor Gaussian Process Models for Large spatio-temporal Data With an Application to Particulate Matter Analysis

abstract: Particulate matter (PM) is a class of malicious environmental pollutants known to be detrimental to human health. Regulatory efforts aimed at curbing PM levels in different countries often require high resolution space-time maps that can identify red-flag regions exceeding statutory concentration limits. Continuous spatio-temporal Gaussian Process (GP) models can deliver maps depicting predicted PM levels and quantify predictive uncertainty. However, GP based approaches are usually thwarted by computational challenges posed by large datasets. We construct a novel class of scalable Dynamic Nearest Neighbor Gaussian Process (DNNGP) models that can provide a sparse approximation to any spatio-temporal GP (e.g., with non-separable covariance structures). The DNNGP we develop here can be used as a sparsity-inducing prior for spatio-temporal random effects in any Bayesian hierarchical model to deliver full posterior inference. Storage and memory requirements for a DNNGP model are linear in the size of the dataset thereby delivering massive scalability without sacrificing inferential richness. Extensive numerical studies reveal that the DNNGP provides substantially superior approximations to the underlying process than low rank approximations. Finally, we use the DNNGP to analyze a massive air quality dataset to substantially improve predictions of PM levels across Europe in conjunction with the LOTOS-EUROS chemistry transport models (CTMs).


title: Cofibrantly generated lax orthogonal factorisation systems

abstract: The present note has three aims. First, to complement the theory of cofibrant generation of algebraic weak factorisation systems (AWFSs) to cover some important examples that are not locally presentable categories. Secondly, to prove that cofibrantly KZ-generated AWFSs (a notion we define) are always lax orthogonal. Thirdly, to show that the two known methods of building lax orthogonal AWFSs, namely cofibrantly KZ-generation and the method of "simple adjunctions", construct different AWFSs. We study in some detail the example of cofibrant KZ-generation that yields representable multicategories, and a counterexample to cofibrant generation provided by continuous lattices.


title: Supermassive dark-matter Q-balls in galactic centers?

abstract: Though widely accepted, it is not proven that supermassive compact objects (SMCOs) residing in galactic centers are black holes. In particular, the Milky Way's SMCO can be a giant nontopological soliton, Q-ball, made of a scalar field: this fits perfectly all observational data. Similar but tiny Q-balls produced in the early Universe may constitute, partly or fully, the dark matter. This picture explains in a natural way, why our SMCO has very low accretion rate and why the observed angular size of the corresponding radio source is much smaller than expected. Interactions between dark-matter Q-balls may explain how SMCOs were seeded in galaxies and resolve well-known problems of standard (non-interacting) dark matter.


title: Two-Fold Homotopy of 2-Crossed Module Maps of Commutative Algebras

abstract: We address the homotopy theory of 2-crossed modules of commutative algebras. In particular, we define the concept of a 2-fold homotopy between a pair of 1-fold homotopies connecting 2-crossed module maps $\A \to \A'$. We also prove that if the domain 2-crossed module $\A$ is free up to order one (i.e. if the bottom algebra is a polynomial algebra) then we have a 2-groupoid of 2-crossed module maps $\A \to \A'$ and their homotopies and 2-fold homotopies.


title: Sharp well-posedness and ill-posedness in Fourier-Besov spaces for the viscous primitive equations of geophysics

abstract: We study well-posedness and ill-posedness for Cauchy problem of the three-dimensional viscous primitive equations describing the large scale ocean and atmosphere dynamics. By using the Littlewood-Paley analysis technique, in particular Chemin-Lerner's localization method, we prove that the Cauchy problem with Prandtl number $P=1$ is locally well-posed in the Fourier-Besov spaces $[\dot{FB}^{2-\frac{3}{p}}_{p,r}(\mathbb{R}^3)]^4$ for $1<p\leq\infty,1\leq r<\infty$ and $[\dot{FB}^{-1}_{1,r}(\mathbb{R}^3)]^4$ for $1\leq r\leq 2$, and globally well-posed in these spaces when the initial data $(u_0,\theta_0)$ are small. We also prove that such problem is ill-posed in $[\dot{FB}^{-1}_{1,r}(\mathbb{R}^3)]^4$ for $2<r\leq\infty$, showing that the results stated above are sharp.


title: Induced minors and well-quasi-ordering

abstract: A graph $H$ is an induced minor of a graph $G$ if it can be obtained from an induced subgraph of $G$ by contracting edges. Otherwise, $G$ is said to be $H$-induced minor-free. Robin Thomas showed that $K_4$-induced minor-free graphs are well-quasi-ordered by induced minors [Graphs without $K_4$ and well-quasi-ordering, Journal of Combinatorial Theory, Series B, 38(3):240 -- 247, 1985]. We provide a dichotomy theorem for $H$-induced minor-free graphs and show that the class of $H$-induced minor-free graphs is well-quasi-ordered by the induced minor relation if and only if $H$ is an induced minor of the gem (the path on 4 vertices plus a dominating vertex) or of the graph obtained by adding a vertex of degree 2 to the complete graph on 4 vertices. To this end we proved two decomposition theorems which are of independent interest. Similar dichotomy results were previously given for subgraphs by Guoli Ding in [Subgraphs and well-quasi-ordering, Journal of Graph Theory, 16(5):489--502, 1992] and for induced subgraphs by Peter Damaschke in [Induced subgraphs and well-quasi-ordering, Journal of Graph Theory, 14(4):427--435, 1990].


title: Image Parsing with a Wide Range of Classes and Scene-Level Context

abstract: This paper presents a nonparametric scene parsing approach that improves the overall accuracy, as well as the coverage of foreground classes in scene images. We first improve the label likelihood estimates at superpixels by merging likelihood scores from different probabilistic classifiers. This boosts the classification performance and enriches the representation of less-represented classes. Our second contribution consists of incorporating semantic context in the parsing process through global label costs. Our method does not rely on image retrieval sets but rather assigns a global likelihood estimate to each label, which is plugged into the overall energy function. We evaluate our system on two large-scale datasets, SIFTflow and LMSun. We achieve state-of-the-art performance on the SIFTflow dataset and near-record results on LMSun.


title: Hyperbolic Metamaterials

abstract: Hyperbolic metamaterials were originally introduced to overcome the diffraction limit of optical imaging. Soon thereafter it was realized that hyperbolic metamaterials demonstrate a number of novel phenomena resulting from the broadband singular behavior of their density of photonic states. These novel phenomena and applications include super resolution imaging, new stealth technologies, enhanced quantum-electrodynamic effects, thermal hyperconductivity, superconductivity, and interesting gravitation theory analogues. Here we briefly review typical material systems, which exhibit hyperbolic behavior and outline important applications of hyperbolic metamaterials.


title: Numerical study of localized impurity in a Bose-Einstein condensate

abstract: Motivated by recent experiments, we investigate a single $^{133}\text{Cs}$ impurity in the center of a trapped $^{87}\text{Rb}$ Bose-Einstein condensate. Within a zero-temperature mean-field description we provide a one-dimensional physical intuitive model which involves two coupled differential equations for the condensate and the impurity wave function, which we solve numerically. With this we determine within the equilibrium phase diagram spanned by the intra- and inter-species coupling strength, whether the impurity is localized at the trap center or expelled to the condensate border. In the former case we find that the impurity induces a bump or dip on the condensate for an attractive or a repulsive Rb-Cs interaction strength, respectively. Conversely, the condensate environment leads to an effective mass of the impurity which increases quadratically for small interspecies interaction strength. Afterwards, we investigate how the impurity imprint upon the condensate wave function evolves for two quench scenarios. At first we consider the case that the harmonic confinement is released. During the resulting time-of-flight expansion it turns out that the impurity-induced bump in the condensate wave function starts decaying marginally, whereas the dip decays with a characteristic time scale which decreases with increasing repulsive impurity-BEC interaction strength. Secondly, once the attractive or repulsive interspecies coupling constant is switched off, we find that white-shock waves or bi-solitons emerge which both oscillate within the harmonic confinement with a characteristic frequency.


title: $L_p$ regular sparse hypergraphs

abstract: We study sparse hypergraphs which satisfy a mild pseudorandomness condition known as $L_p$ regularity. We prove appropriate regularity and counting lemmas, and we extend the relative removal lemma of Tao in this setting. This answers a question of Borgs, Chayes, Cohn and Zhao.


title: $L_p$ regular sparse hypergraphs: box norms

abstract: We consider some variants of the Gowers box norms, introduced by Hatami, and show their relevance in the context of sparse hypergraphs. Our main results are the following. Firstly, we prove a generalized von Neumann theorem for $L_p$ graphons. Secondly, we give natural examples of pseudorandom families, that is, sparse weighted uniform hypergraphs which satisfy relative versions of the counting and removal lemmas.


title: A note on Grid Homology in lens spaces: $\mathbb{Z}$ coefficients and computations

abstract: We present a combinatorial proof for the existence of the sign refined grid homology in lens spaces, and a self contained proof that $\partial_{\mathbb{Z}}^2 = 0$. We also present a Sage program that computes $\widehat{\mathrm{GH}} (L(p,q),K;\mathbb{Z})$, and provide empirical evidence supporting the absence of torsion in these groups.


title: Coherent state, local excitation in 2D conformal field theory

abstract: In this paper we discuss the topics concerning the local excitation and coherent state in 2D CFT. It is shown that the local excitation of primary operator can be taken as a coherent state of the global conformal group. We also discuss the entanglement property of such state. For rational CFT the entanglement entropy between the holomorphic and anti-holomorphic sector of the local excitation of some primary operator is related to the quantum dimension of the operator, consistent with previous approach, but by a differentmethod. We comment on the possible application of so-defined group coherent state in the holographic view. We also study the coherent state in the free massless boson field, their time evolution and entanglement property. We introduce the deformed local excitation and the entangled state constructed by them. It is shown the violation of Bell inequality for such entangled state.


title: The commutators of classical groups

abstract: In his seminal paper, half a century ago, Hyman Bass established a commutator formula in the setting of (stable) general linear group which was the key step in defining the K_1 group. Namely, he proved that for an associative ring A with identity, E(A)=[E(A),E(A)]=[GL(A),GL(A)] where GL(A) is the stable general linear group and E(A) is its elementary subgroup. Since then, various commutator formulas have been studied in stable and non-stable settings, and for a range of classical and algebraic like-groups, mostly in relation to subnormal subgroups of these groups. The major classical theorems and methods developed include some of the splendid results of the heroes of classical algebraic K-theory; Bak, Quillen, Milnor, Suslin, Swan and Vaserstein, among others. One of the dominant techniques in establishing commutator type results is localisation. In this note we describe some recent applications of localisation methods to the study (higher/relative) commutators in the groups of points of algebraic and algebraic-like groups, such as general linear groups, GL(n,A), unitary groups GU(2n,A, Lambda) and Chevalley groups G(Phi,A). We also state some of the intermediate results as well as some corollaries of these results. This note provides a general overview of the subject and covers the current activities. It contains complete proofs of several main results to give the reader a self-contained source. We have borrowed some of the proofs from our previous papers and expositions


title: An adaptive-to-model test for partially parametric single-index models

abstract: Residual marked empirical process-based tests are commonly used in regression models. However, they suffer from data sparseness in high-dimensional space when there are many covariates. This paper has three purposes. First, we suggest a partial dimension reduction adaptive-to-model testing procedure that can be omnibus against general global alternative models although it fully use the dimension reduction structure under the null hypothesis. This feature is because that the procedure can automatically adapt to the null and alternative models, and thus greatly overcomes the dimensionality problem. Second, to achieve the above goal, we propose a ridge-type eigenvalue ratio estimate to automatically determine the number of linear combinations of the covariates under the null and alternatives. Third, a Monte-Carlo approximation to the sampling null distribution is suggested. Unlike existing bootstrap approximation methods, this gives an approximation as close to the sampling null distribution as possible by fully utilising the dimension reduction model structure under the null. Simulation studies and real data analysis are then conducted to illustrate the performance of the new test and compare it with existing tests.


title: Solving Mathematical Programs with Equilibrium Constraints as Nonlinear Programming: A New Framework

abstract: We present a new framework for the solution of mathematical programs with equilibrium constraints (MPECs). In this algorithmic framework, an MPECs is viewed as a concentration of an unconstrained optimization which minimizes the complementarity measure and a nonlinear programming with general constraints. A strategy generalizing ideas of Byrd-Omojokun's trust region method is used to compute steps. By penalizing the tangential constraints into the objective function, we circumvent the problem of not satisfying MFCQ. A trust-funnel-like strategy is used to balance the improvements on feasibility and optimality. We show that, under MPEC-MFCQ, if the algorithm does not terminate in finite steps, then at least one accumulation point of the iterates sequence is an S-stationary point.


title: Data-driven detrending of nonstationary fractal time series with echo state networks

abstract: In this paper, we propose a novel data-driven approach for removing trends (detrending) from nonstationary, fractal and multifractal time series. We consider real-valued time series relative to measurements of an underlying dynamical system that evolves through time. We assume that such a dynamical process is predictable to a certain degree by means of a class of recurrent networks called Echo State Network (ESN), which are capable to model a generic dynamical process. In order to isolate the superimposed (multi)fractal component of interest, we define a data-driven filter by leveraging on the ESN prediction capability to identify the trend component of a given input time series. Specifically, the (estimated) trend is removed from the original time series and the residual signal is analyzed with the multifractal detrended fluctuation analysis procedure to verify the correctness of the detrending procedure. In order to demonstrate the effectiveness of the proposed technique, we consider several synthetic time series consisting of different types of trends and fractal noise components with known characteristics. We also process a real-world dataset, the sunspot time series, which is well-known for its multifractal features and has recently gained attention in the complex systems field. Results demonstrate the validity and generality of the proposed detrending method based on ESNs.


title: Astronom\'ia al Aire: Media Convergence in Astronomy & Astrophysics

abstract: We describe the experience of running an Astrophysics outreach initiative involving traditional mass media like radio broadcast and new digital media like blog, microblogging and internet video channel. Some very successful preliminary results are also presented. This unique experience is helping to create new science informal education environments for Spanish speaking people in Latin America.


title: Mobility and Energy Conscious Clustering Protocol for Wireless Networks

abstract: In this paper we present a distributed clustering protocol for mobile wireless sensor networks. A large majority of research in clustering and routing algorithms for WSNs assume a static network and hence are rendered inefficient in cases of highly mobile sensor networks, which is an aspect addressed here. MECP is an energy efficient, mobility aware protocol and utilizes information about movement of sensor nodes and residual energy as attributes in network formation. It also provides a mechanism for fault tolerance to decrease packet data loss in case of cluster head failures.


title: The Lindley paradox in optical interferometry

abstract: The so-called Lindley paradox is a counterintuitive statistical effect where the Bayesian and frequentist approaches to hypothesis testing give radically different answers, depending on the choice of the prior distribution. In this paper we address the occurrence of the Lindley paradox in optical interferometry and discuss its implications for high-precision measurements. In particular, we focus on phase estimation by Mach-Zehnder interferometers and show how to mitigate the conflict between the two approaches by using suitable priors.


title: The Topology of Dislocations in Smectic Liquid Crystals

abstract: The order parameter of the smectic liquid crystal phase is the same as that of a superfluid or superconductor, namely a complex scalar field. We show that the essential difference in boundary conditions between these systems leads to a markedly different topological structure of the defects. Screw and edge defects can be distinguished topologically. This implies an invariant on an edge dislocation loop so that smectic defects can be topologically linked not unlike defects in ordered systems with non-Abelian fundamental groups.

categories: cond-mat.soft cond-mat.mtrl-sci math-ph math.MP


title: Limited data problems for the generalized Radon transform in $\mathbb{R}^n$

abstract: We consider the generalized Radon transform (defined in terms of smooth weight functions) on hyperplanes in $\mathbb{R}^n$. We analyze general filtered backprojection type reconstruction methods for limited data with filters given by general pseudodifferential operators. We provide microlocal characterizations of visible and added singularities in $\mathbb{R}^n$ and define modified versions of reconstruction operators that do not generate added artifacts. We calculate the symbol of our general reconstruction operators as pseudodifferential operators, and provide conditions for the filters under which the reconstruction operators are elliptic for the visible singularities. If the filters are chosen according to those conditions, we show that almost all visible singularities can be recovered reliably. Our work generalizes the results for the classical line transforms in $\mathbb{R}^2$ and the classical reconstruction operators (that use specific filters). In our proofs, we employ a general paradigm that is based on the calculus of Fourier integral operators. Since this technique does not rely on explicit expressions of the reconstruction operators, it enables us to analyze more general imaging situations.


title: Chern-Simons dilaton black holes in 2+1 dimensions

abstract: We construct rotating magnetic solutions to the three-dimensional Einstein-Maxwell-Chern-Simons-dilaton theory with a Liouville potential. These include a class of black hole solutions which generalize the warped AdS black holes. The regular black holes belong to two disjoint sectors. The first sector includes black holes which have a positive mass and are co-rotating, while the black holes of the second sector have a negative mass and are counter-rotating. We also show that a particular, non-black hole, subfamily of our three-dimensional solutions may be uplifted to new regular non-asymptotically flat solutions of five-dimensional Einstein-Maxwell-Chern-Simons theory.


title: Dependent Random Density Functions with Common Atoms and Pairwise Dependence

abstract: The paper is concerned with constructing pairwise dependence between $m$ random density functions each of which is modeled as a mixture of Dirichlet process model. The key to this is how to create dependencies between random Dirichlet processes. The present paper adopts a plan previously used for creating pairwise dependence, with the simplification that all random Dirichlet processes share the same atoms. Our contention is that for all dependent Dirichlet process models, common atoms are sufficient. We show that by adopting common atoms, it is possible to compute the $L_p$ distances between all pairs of random probability measures.


title: Additive actions on toric varieties

abstract: By an additive action on an algebraic variety $X$ of dimension $n$ we mean a regular action $\mathbb{G}_a^n \times X \to X$ with an open orbit of the commutative unipotent group $\mathbb{G}_a^n$. We prove that if a complete toric variety $X$ admits an additive action, then it admits an additive action normalized by the acting torus. Normalized additive actions on a toric variety $X$ are in bijection with complete collections of Demazure roots of the fan of $X$. Moreover, any two normalized additive actions on $X$ are isomorphic.


title: Finding Golden Nuggets by Reduction

abstract: We introduce a class of normal play partizan games, called Complementary Subtraction. Let $A$ denote your favorite set of positive integers. This is Left's subtraction set, whereas Right subtracts numbers not in $A$. The Golden Nugget Subtraction Game has the $A$ and $B$ sequences, from Wythoff's game, as the two complementary subtraction sets. As a function of the heap size, the maximum size of the canonical forms grows quickly. However, the value of the heap is either a number or, in reduced canonical form, a switch. We find the switches by using properties of the Fibonacci word and standard Fibonacci representations of integers. Moreover, these switches are invariant under shifts by certain Fibonacci numbers. The values that are numbers, however, are distinct, and we find a polynomial time bit characterization for them, via the ternary Fibonacci representation.


title: Existence and non-existence of bounded packing in CAT(0) spaces and Gromov hyperbolic spaces

abstract: The main result of this paper is that given a group $G$ acting geometrically by isometries on a CAT(0) space $X$ and a cyclic subgroup $H$ of $G$ generated by a rank-1 isometry of $X$, $H$ has bounded packing in $G$. We give two proofs of this result. The first one is by a characterization of rank-$1$ isometries by Hamenstadt. The second proof follows directly from some results of Dahmani-Guirardel-Osin and Sisto. Then using Mihailova's construction, we show the existence of a finitely generated subgroup of the direct product of two free groups $\mathbb F_2\times \mathbb F_2$ without the bounded packing property answering a question of Hruska-Wise. We also prove the existence of finitely presented subgroups of CAT(0) groups without bounded packing using Wise's {\em modified Rip's construction} and the {\bf 1-2-3} theorem of Baumslag, Bridson, Miller and Short.


title: The Absence of Horizon in Black-Hole Formation

abstract: With the back-reaction of Hawking radiation taken into consideration, the work of Kawai, Matsuo and Yokokura has shown that, under a few assumptions, the collapse of matter does not lead to event horizon nor apparent horizon. In this paper, we relax their assumptions and elaborate on the space-time geometry of a generic collapsing body with spherical symmetry. The geometry outside the collapsing sphere is found to be approximated by the geometry outside the white-hole horizon, hence the collapsing matter remains outside the Schwarzschild radius. As particles in Hawking radiation are created in the vicinity of the collapsing matter, the information loss paradox is alleviated. Assuming that the collapsing body evaporates within finite time, there is no event horizon.


title: Fast Parameter Estimation in Loss Tomography for Networks of General Topology

abstract: As a technique to investigate link-level loss rates of a computer network with low operational cost, loss tomography has received considerable attentions in recent years. A number of parameter estimation methods have been proposed for loss tomography of networks with a tree structure as well as a general topological structure. However, these methods suffer from either high computational cost or insufficient use of information in the data. In this paper, we provide both theoretical results and practical algorithms for parameter estimation in loss tomography. By introducing a group of novel statistics and alternative parameter systems, we find that the likelihood function of the observed data from loss tomography keeps exactly the same mathematical formulation for tree and general topologies, revealing that networks with different topologies share the same mathematical nature for loss tomography. More importantly, we discover that a re-parametrization of the likelihood function belongs to the standard exponential family, which is convex and has a unique mode under regularity conditions. Based on these theoretical results, novel algorithms to find the MLE are developed. Compared to existing methods in the literature, the proposed methods enjoy great computational advantages.


title: The Penn State - Toru\'n Centre for Astronomy Planet Search stars. III. The evolved stars sample

abstract: We present basic atmospheric parameters ($T_{eff}$, $log g$, $v_{t}$ and [Fe/H]), rotation velocities and absolute radial velocities as well as luminosities, masses, ages and radii for 402 stars (including 11 single-lined spectroscopic binaries), mostly subgiants and giants. For 272 of them we present parameters for the first time. For another 53 stars we present estimates of $T_{eff}$ and $log g$ based on photometric calibrations. More than half objects were found to be subgiants, there is also a large group of giants and a few stars appeard to be dwarfs. The results show that the presented sample is composed of stars with masses ranging from 0.52 to $3.21 M_{\odot}$ of which 17 have masses $\geq$ $2.0 M_{\odot}$. The radii of stars studied in this paper range from 0.66 to $36.04 R_{\odot}$ with vast majority having radii between 2.0 and $4.0 R_{\odot}$. They are generally less metal abundant than the Sun with median [Fe/H]$=-0.07$. For 62 stars in common with other planet searches we found a very good agreement in obtained stellar atmospheric parameters. We also present basic properties of the complete list of 744 stars that form the PTPS evolved stars sample. We examined stellar masses for 1255 stars in five other planet searches and found some of them likely to be significantly overestimated. Applying our uniformly determined stellar masses we confirm the apparent increase of companions masses for evolved stars, and we explain it, as well as lack of close-in planets with limited effective radial velocity precision for those stars due to activity.


title: Probing Spin Dependent Parton Distributions though Deeply Virtual Processes

abstract: Spin and transverse momentum dependent parton distributions - Generalized Parton Distributions (GPDs) - are at the interface between the QCD structure of the hadrons and observable quantities. The GPDs are linear superpositions within helicity amplitudes. The amplitudes are probed in high energy leptoproduction processes through angular dependent cross sections and polarization asymmetries. Phenomenological extraction of the amplitudes and the distributions is a challenging task. We present observables that connect particularly with the chiral odd quark-nucleon helicity amplitudes for Deeply Virtual $\pi^0$ Production.


title: Minimum Topological Group Topologies

abstract: A Hausdorff topological group topology on a group $G$ is the minimum (Hausdorff) group topology if it is contained in every Hausdorff group topology on $G$. For every compact metrizable space $X$ containing an open $n$-cell, $n\ge2$, the homeomorphism group $H(X)$ has no minimum Hausdorff group topology. The homeomorphism groups of the Cantor set and the Hilbert cube have no minimum group topology. For every compact metrizable space $X$ containing a dense open one-manifold, $H(X)$ has the minimum group topology. Some, but not all, oligomorphic groups have the minimum group topology.


title: To know or not to know? How looking at payoffs signals selfish behavior

abstract: In daily life, subjects often face a social dilemma in two stages. In Stage 1, they recognize the social dilemma structure of the decision problem at hand (a tension between personal interest and collective interest); in Stage 2, they have to choose between gathering additional information to learn the exact payoffs corresponding to each of the two options or making a choice without looking at the payoffs. While previous theoretical research suggests that the mere act of considering one's strategic options in a social dilemma will be met with distrust, no experimental study has tested this hypothesis. What does "looking at payoffs" signal in observers? Do observers' beliefs actually match decision makers' intentions? Experiment 1 shows that the actual action of looking at payoffs signals selfish behavior, but it does not actually mean so. Experiments 2 and 3 show that, when the action of looking at payoffs is replaced by a self-report question asking the extent to which participants look at payoffs in their everyday lives, subjects in high looking mode are indeed more selfish than those in low looking mode, and this is correctly predicted by observers. These results support Rand and colleagues' Social Heuristics Hypothesis and the novel "cooperate without looking" model by Yoeli, Hoffman, and Nowak. However, Experiment 1 shows that actual looking may lead to different results, possibly caused by the emergence of a moral cleansing effect.


title: Evolutionary Landscape and Management of Population Diversity

abstract: The search ability of an Evolutionary Algorithm (EA) depends on the variation among the individuals in the population [3, 4, 8]. Maintaining an optimal level of diversity in the EA population is imperative to ensure that progress of the EA search is unhindered by premature convergence to suboptimal solutions. Clearer understanding of the concept of population diversity, in the context of evolutionary search and premature convergence in particular, is the key to designing efficient EAs. To this end, this paper first presents a brief analysis of the EA population diversity issues. Next we present an investigation on a counter-niching EA technique [4] that introduces and maintains constructive diversity in the population. The proposed approach uses informed genetic operations to reach promising, but unexplored or under-explored areas of the search space, while discouraging premature local convergence. Simulation runs on a suite of standard benchmark test functions with Genetic Algorithm (GA) implementation shows promising results.


title: Graphene Transverse Electric Surface Plasmon Detection using Nonreciprocity Modal Discrimination

abstract: We present a magnetically biased graphene-ferrite structure discriminating the TE and TM plasmonic modes of graphene. In this structure, the graphene TM plasmons interact reciprocally with the structure. In contrast, the graphene TE plasmons exhibit nonreciprocity. This nonreciprocity is manifested in unidirectional TE propagation in a frequency band close to the interband threshold frequency. The proposed structure provides a unique platform for the experimental demonstration of the unusual existence of the TE plasmonic mode in graphene.


title: Intelligent Financial Fraud Detection Practices: An Investigation

abstract: Financial fraud is an issue with far reaching consequences in the finance industry, government, corporate sectors, and for ordinary consumers. Increasing dependence on new technologies such as cloud and mobile computing in recent years has compounded the problem. Traditional methods of detection involve extensive use of auditing, where a trained individual manually observes reports or transactions in an attempt to discover fraudulent behaviour. This method is not only time consuming, expensive and inaccurate, but in the age of big data it is also impractical. Not surprisingly, financial institutions have turned to automated processes using statistical and computational methods. This paper presents a comprehensive investigation on financial fraud detection practices using such data mining methods, with a particular focus on computational intelligence-based techniques. Classification of the practices based on key aspects such as detection algorithm used, fraud type investigated, and success rate have been covered. Issues and challenges associated with the current practices and potential future direction of research have also been identified.


title: Path integral representation for stochastic jump processes with boundaries

abstract: We propose a formalism to analyze discrete stochastic processes with finite-state-level N. By using an (N+1)-dimensional representation of su(2) Lie algebra, we re-express the master equation to a time-evolution equation for the state vector corresponding to the probability generating function. We found that the generating function of the system can be expressed as a propagator in the spin coherent state representation. The generating function has a path integral representation in terms of the spin coherent state. We apply our formalism to a linear Susceptible-Infected-Susceptible (SIS) epidemic model with time-dependent transition probabilities. The probability generating function of the system is calculated concisely using an algebraic property of the system or a path integral representation. Our results indicate that the method of analysis developed in the field of quantum mechanics is applicable to discrete stochastic processes with finite-state-level.


title: Mining Financial Statement Fraud: An Analysis of Some Experimental Issues

abstract: Financial statement fraud detection is an important problem with a number of design aspects to consider. Issues such as (i) problem representation, (ii) feature selection, and (iii) choice of performance metrics all influence the perceived performance of detection algorithms. Efficient implementation of financial fraud detection methods relies on a clear understanding of these issues. In this paper we present an analysis of the three key experimental issues associated with financial statement fraud detection, critiquing the prevailing ideas and providing new understandings.


title: Slow motion for a hyperbolic variation of Allen-Cahn equation in one space dimension

abstract: The aim of this paper is to prove that, for specific initial data $(u_0,u_1)$ and with homogeneous Neumann boundary conditions, the solution of the IBVP for a hyperbolic variation of Allen-Cahn equation on the interval $[a,b]$ shares the well-known dynamical metastability valid for the classical parabolic case. In particular, using the "energy approach" proposed by Bronsard and Kohn [8], if $\varepsilon\ll 1$ is the diffusion coefficient, we show that in a time scale of order $\varepsilon^{-k}$ nothing happens and the solution maintains the same number of transitions of its initial datum $u_0$. The novelty consists mainly in the role of the initial velocity $u_1$, which may create or eliminate transitions in later times. Numerical experiments are also provided in the particular case of the Allen-Cahn equation with relaxation.


title: Fast and Scalable Lasso via Stochastic Frank-Wolfe Methods with a Convergence Guarantee

abstract: Frank-Wolfe (FW) algorithms have been often proposed over the last few years as efficient solvers for a variety of optimization problems arising in the field of Machine Learning. The ability to work with cheap projection-free iterations and the incremental nature of the method make FW a very effective choice for many large-scale problems where computing a sparse model is desirable. In this paper, we present a high-performance implementation of the FW method tailored to solve large-scale Lasso regression problems, based on a randomized iteration, and prove that the convergence guarantees of the standard FW method are preserved in the stochastic setting. We show experimentally that our algorithm outperforms several existing state of the art methods, including the Coordinate Descent algorithm by Friedman et al. (one of the fastest known Lasso solvers), on several benchmark datasets with a very large number of features, without sacrificing the accuracy of the model. Our results illustrate that the algorithm is able to generate the complete regularization path on problems of size up to four million variables in less than one minute.


title: Information-Theoretic Privacy for Smart Metering Systems with a Rechargeable Battery

abstract: Smart-metering systems report electricity usage of a user to the utility provider on almost real-time basis. This could leak private information about the user to the utility provider. In this work we investigate the use of a rechargeable battery in order to provide privacy to the user. We assume that the user load sequence is a first-order Markov process, the battery satisfies ideal charge conservation, and that privacy is measured using normalized mutual information (leakage rate) between the user load and the battery output. We consider battery charging policies in this setup that satisfy the feasibility constraints. We propose a series reductions on the original problem and ultimately recast it as a Markov Decision Process (MDP) that can be solved using a dynamic program. In the special case of i.i.d. demand, we explicitly characterize the optimal policy and show that the associated leakage rate can be expressed as a single-letter mutual information expression. In this case we show that the optimal charging policy admits an intuitive interpretation of preserving a certain invariance property of the state. Interestingly an alternative proof of optimality can be provided that does not rely on the MDP approach, but is based on purely information theoretic reductions.


title: Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models (Extended Version)

abstract: When optimizing a thread in a concurrent program (either done manually or by the compiler), it must be guaranteed that the resulting thread is a refinement of the original thread. Most theories of valid optimizations are formulated in terms of valid syntactic transformations on the program code, or in terms of valid transformations on thread execution traces. We present a new theory formulated instead in terms of the state of threads at synchronization operations, and show that it provides several advantages: it supports more optimizations, and leads to more efficient and simpler procedures for refinement checking. We develop the theory for the SC-for-DRF execution model (using locks for synchronization), and show that its application in a compiler testing setting leads to large performance improvements.


title: Object oriented models vs. data analysis -- is this the right alternative?

abstract: We review the role of mathematics from a historical and a conceptual perspective in the light of modern data science.


title: Blow-up of weak solutions to a chemotaxis system under influence of an external chemoattractant

abstract: We study nonnnegative radially symmetric solutions of the parabolic-elliptic Keller-Segel whole space system \begin{align*} \left\{\begin{array}{c@{\,}l@{\quad}l@{\,}c} u_{t}&=\Delta u-\nabla\!\cdot(u\nabla v),\ &x\in\mathbb{R}^n,& t>0,\\ 0 &=\Delta v+u+f(x),\ &x\in\mathbb{R}^n,& t>0,\\ u(x,0)&=u_{0}(x),\ &x\in\mathbb{R}^n,& \end{array}\right. \end{align*} with prototypical external signal production \begin{align*} f(x):=\begin{cases} f_0\vert x\vert^{-\alpha},&\text{ if }\vert x\vert \leq R-\rho,\\ 0,&\text{ if } \vert x\vert\geq R+\rho,\\ \end{cases} \end{align*} for $R\in(0,1)$ and $\rho\in\left(0,\frac{R}{2}\right)$, which is still integrable but not of class $\text{L}^{\frac{n}{2}+\delta_0}(\mathbb{R}^n)$ for some $\delta_0\in[0,1)$. For corresponding parabolic-parabolic Neumann-type boundary-value problems in bounded domains $\Omega$, where $f\in\text{L}^{\frac{n}{2}+\delta_0}(\Omega)\cap C^{\alpha}(\Omega)$ for some $\delta_0\in(0,1)$ and $\alpha\in(0,1)$, it is known that the system does not emit blow-up solutions if the quantities $\|u_0\|_{\text{L}^{\frac{n}{2}+\delta_0}(\Omega)}, \|f\|_{\text{L}^{\frac{n}{2}+\delta_0}(\Omega)}$ and $\|v_0\|_{\text{L}^{\theta}(\Omega)}$, for some $\theta>n$, are all bounded by some $\varepsilon>0$ small enough. We will show that whenever $f_0>\frac{2n}{\alpha}(n-2)(n-\alpha)$ and $u_0\equiv c_0>0$ in $\overline{B_1(0)}$, a measure-valued global-in-time weak solution to the system above can be constructed which blows up immediately. Since these conditions are independent of $R\in(0,1)$ and $c_0>0$, we will thus prove the criticality of $\delta_0=0$ for the existence of global bounded solutions under a smallness conditions as described above.


title: Sum rules of Bjorken-Uraltsev type in the Bakamjian-Thomas relativistic quark model

abstract: The Bakamjian-Thomas relativistic quark model, describing hadrons with a fixed number of constituents, yields in the heavy quark limit of QCD covariant Isgur-Wise functions and satisfies the whole tower of lowest moment sum rules (Bjorken-Uraltsev type sum rules). We first recall, as well as earlier results, the new formalism presented in our recent papers on Lorentz representations, which provide an elegant framework for the analysis of this model in the heavy quark limit and stress the results which have been already obtained in this direction. Then, we give some very explicit demonstrations of the fact that the Bakamjian-Thomas framework satifies the sum rules by considering simple cases of Isgur-Wise functions. In addition to the specific Bjorken and Uraltsev sum rules, an important sum rule that involves only heavy mesons with light cloud $j^P = {1 \over 2}^-$ and their radial excitations is demonstrated. This latter sum rule is phenomenologically interesting because it constrains the derivatives of the radially excited Isgur-Wise functions at zero recoil. On the other hand, we recall the limitations of the Bakamjian-Thomas scheme. At finite mass, current matrix elements with the current coupled to the heavy quark are no longer covariant, and higher moment sum rules that hold in the heavy quark limit of QCD are not satisfied.


title: The non autonomous YdKN equation and generalized symmetries of Boll equations

abstract: In this paper we study the integrability of a class of nonlinear non autonomous quad graph equations compatible around the cube introduced by Boll. We show that all these equations possess three point generalized symmetries which are subcases of either the Yamilov discretization of the Krichever--Novikov equation or of its non autonomous extension. We also prove that all those symmetries are integrable as pass the algebraic entropy test.


title: On the Effect of Fronthaul Latency on ARQ in C-RAN Systems

abstract: In the Cloud Radio Access Network (C-RAN) architecture, a Control Unit (CU) implements the baseband processing functionalities of a cluster of Base Stations (BSs), which are connected to it through a fronthaul network. This architecture enables centralized processing at the CU, and hence the implementation of enhanced interference mitigation strategies, but it also entails an increased decoding latency due to the transport on the fronthaul network. The fronthaul latency may offset the benefits of centralized processing when considering the performance of protocols at layer 2 and above. This letter studies the impact of fronthaul latency on the performance of standard Automatic Retransmission reQuest (ARQ) protocols, namely Stop and Wait, Go-Back-N and Selective Repeat. The performance of the C-RAN architecture in terms of throughput and efficiency is compared to the that of a conventional cellular system with local processing, as well as with that of a proposed hybrid C-RAN system in which BSs can perform decoding. The dynamics of the system are modeled as a multi-dimensional Markov process that includes sub-chains to capture the temporal correlation of interference and channel gains. Numerical results yield insights into the impact of system parameters such as fronthaul latency and signal-to-interference ratio on different ARQ protocols.


title: Implementation of Experimental Test Bed to Evaluate Security in Cellular Networks

abstract: The wide development of inter connectivity of cellular networks with the internet network has made them to be vulnerable. This exposure of the cellular networks to internet has increased threats to customer end equipment as well as the carrier infrastructure.


title: Waves and causality in higher dimensions

abstract: We give a new, wave-like solution of the field equations of five-dimensional relativity. In ordinary three-dimensional space, the waves resemble de Broglie or matter waves, whose puzzling behaviour can be better understood in terms of one or more extra dimensions. Causality is appropriately defined by a null higher-dimensional interval. It may be possible to test the properties of these waves in the laboratory.


title: On problems of Danzer and Gowers and dynamics on the space of closed subsets of $\mathbb{R}^d$

abstract: Considering the space of closed subsets of $\mathbb{R}^d$, endowed with the Chabauty-Fell topology, and the affine action of $SL_d(\mathbb{R})\ltimes\mathbb{R}^d$, we prove that the only minimal subsystems are the fixed points $\{\varnothing\}$ and $\{\mathbb{R}^d\}$. As a consequence we resolve a question of Gowers concerning the existence of certain Danzer sets: there is no set $Y \subset \mathbb{R}^d$ such that for every convex set $\mathcal{C} \subset \mathbb{R}^d$ of volume one, the cardinality of $\mathcal{C} \cap Y$ is bounded above and below by nonzero contants independent of $\mathcal{C}$. We also provide a short independent proof of this fact and deduce a quantitative consequence: for every $\varepsilon$-net $N$ for convex sets in $[0,1]^d$ there is a convex set of volume $\varepsilon$ containing at least $\Omega(\log\log(1/\varepsilon))$ points of $N$.


title: Normal Power Series Class of Distributions: Model, Properties and Applications

abstract: A new class of distributions, called as normal power series (NPS), which contains the normal one as a particular case, is introduced in this paper. This new class which is obtained by compounding the normal and power series distributions, is presented as an alternative to the class of skew-normal and Balakrishnan skew-normal distributions, among others. The density and distribution functions of this new class of distributions, are given by a closed expression which allows us to easily compute probabilities, moments and related measurements. Estimation of the parameters of this new model by maximum likelihood method via an EM- algorithm is given. Finally, some applications are shown as examples.


title: Security of a Semi-Quantum Protocol Where Reflections Contribute to the Secret Key

abstract: In this paper we provide a proof of unconditional security for a semi-quantum key distribution protocol introduced in a previous work. This particular protocol demonstrated the possibility of using $X$ basis states to contribute to the raw key of the two users (as opposed to using only direct measurement results) even though a semi-quantum participant cannot directly manipulate such states. In this work we provide a complete proof of security by deriving a lower bound of the protocol's key rate in the asymptotic scenario. Using this bound we are able to find an error threshold value such that for all error rates less than this threshold, it is guaranteed that $A$ and $B$ may distill a secure secret key; for error rates larger than this threshold, $A$ and $B$ should abort. We demonstrate that this error threshold compares favorably to several fully quantum protocols. We also comment on some interesting observations about the behavior of this protocol under certain noise scenarios.


title: Computational models of attention

abstract: This chapter reviews recent computational models of visual attention. We begin with models for the bottom-up or stimulus-driven guidance of attention to salient visual items, which we examine in seven different broad categories. We then examine more complex models which address the top-down or goal-oriented guidance of attention towards items that are more relevant to the task at hand.


title: Self-shrinkers to the mean curvature flow asymptotic to isoparametric cones

abstract: In this paper we construct an end of a self-similar shrinking solution of the mean curvature flow asymptotic to an isoparametric cone C and lying outside of C. We call a cone C in $R^{n+1}$ an isoparametric cone if C is the cone over a compact embedded isoparametric hypersurface $\Gamma \subset S^n$. The theory of isoparametic hypersurfaces is extremely rich and there are infinitely many distinct classes of examples, each with infinitely many members.


title: Scalar and spinor quasinormal modes of an $f(R)$ global monopole

abstract: The quasinormal modes for scalar and spinor fields in the background spacetime corresponding to an $f(R)$ global monopole are calculated using the WKB approximation. In the obtained results we emphasize the role played by the parameter $\psi_{0}$, associated with the $f(R)$ gravity. We discuss the appropriate limit $\psi_{0} \rightarrow 0$, in which case the results concerning to the Schwarzschild black hole are obtained, as it should be expected.


title: Memory-Adjustable Navigation Piles with Applications to Sorting and Convex Hulls

abstract: We consider space-bounded computations on a random-access machine (RAM) where the input is given on a read-only random-access medium, the output is to be produced to a write-only sequential-access medium, and the available workspace allows random reads and writes but is of limited capacity. The length of the input is $N$ elements, the length of the output is limited by the computation, and the capacity of the workspace is $O(S)$ bits for some predetermined parameter $S$. We present a state-of-the-art priority queue---called an adjustable navigation pile---for this restricted RAM model. Under some reasonable assumptions, our priority queue supports $\mathit{minimum}$ and $\mathit{insert}$ in $O(1)$ worst-case time and $\mathit{extract}$ in $O(N/S + \lg{} S)$ worst-case time for any $S \geq \lg{} N$. We show how to use this data structure to sort $N$ elements and to compute the convex hull of $N$ points in the two-dimensional Euclidean space in $O(N^2/S + N \lg{} S)$ worst-case time for any $S \geq \lg{} N$. Following a known lower bound for the space-time product of any branching program for finding unique elements, both our sorting and convex-hull algorithms are optimal. The adjustable navigation pile has turned out to be useful when designing other space-efficient algorithms, and we expect that it will find its way to yet other applications.


title: Spectral bounds for the $k$-independence number of a graph

abstract: In this paper, we obtain two spectral upper bounds for the $k$-independence number of a graph which is is the maximum size of a set of vertices at pairwise distance greater than $k$. We construct graphs that attain equality for our first bound and show that our second bound compares favorably to previous bounds on the $k$-independence number.


title: On a viable first order formulation of relativistic viscous fluids and its applications to cosmology

abstract: We consider a first order formulation of relativistic fluids with bulk viscosity based on a stress-energy tensor introduced by Lichnerowicz. Choosing a barotropic equation of state, we show that this theory satisfies basic physical requirements and, under the further assumption of vanishing vorticity, that the equations of motion are causal, both in the case of a fixed background and when the equations are coupled to Einstein's equations. Furthermore, Lichnerowicz's proposal does not fit into the general framework of first order theories studied by Hiscock and Lindblom, and hence their instability results do not apply. These conclusions apply to the full-fledged non-linear theory, without any equilibrium or near equilibrium assumptions. Similarities and differences between the approach here explored and other theories of relativistic viscosity, including the Mueller-Israel-Stewart formulation, are addressed. Cosmological models based on the Lichnerowicz stress-energy tensor are studied. Finally, it is also shown how the present model can be generalized to a second order formulation.


title: On the Dominating Set Problem in Random Graphs

abstract: In this paper, we study the {\sc Dominating Set} problem in random graphs. In a random graph, each pair of vertices are joined by an edge with a probability of $p$, where $p$ is a positive constant less than $1$. We show that, given a random graph in $n$ vertices, a minimum dominating set in the graph can be computed in expected $2^{O(\log_{2}^{2}{n})}$ time. For the parameterized dominating set problem, we show that it cannot be solved in expected $O(f(k)n^{c})$ time unless the minimum dominating set problem can be approximated within a ratio of $o(\log_{2}n)$ in expected polynomial time, where $f(k)$ is a function of the parameter $k$ and $c$ is a constant independent of $n$ and $k$. In addition, we show that the parameterized dominating set problem can be solved in expected $O(f(k)n^{c})$ time when the probability $p$ depends on $n$ and equals to $\frac{1}{g(n)}$, where $g(n)< n$ is a monotonously increasing function of $n$ and its value approaches infinity when $n$ approaches infinity.


title: Approximation of the high-frequency Helmholtz kernel by nested directional interpolation

abstract: We present and analyze an approximation scheme for a class of highly oscillatory kernel functions, taking the 2D and 3D Helmholtz kernels as examples. The scheme is based on polynomial interpolation combined with suitable pre- and postmultiplication by plane waves. It is shown to converge exponentially in the polynomial degree and supports multilevel approximation techniques. Our convergence analysis may be employed to establish exponential convergence of certain classes of fast methods for discretizations of the Helmholtz integral operator that feature polylogarithmic-linear complexity.


title: Descent c-Wilf Equivalence

abstract: Let $S_n$ denote the symmetric group. For any $\sigma \in S_n$, we let $\mathrm{des}(\sigma)$ denote the number of descents of $\sigma$, $\mathrm{inv}(\sigma)$ denote the number of inversions of $\sigma$, and $\mathrm{LRmin}(\sigma)$ denote the number of left-to-right minima of $\sigma$. For any sequence of statistics $\mathrm{stat}_1, \ldots \mathrm{stat}_k$ on permutations, we say two permutations $\alpha$ and $\beta$ in $S_j$ are $(\mathrm{stat}_1, \ldots \mathrm{stat}_k)$-c-Wilf equivalent if the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $\alpha$ equals the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $\beta$. We give many examples of pairs of permutations $\alpha$ and $\beta$ in $S_j$ which are $\mathrm{des}$-c-Wilf equivalent, $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent, and $(\mathrm{des},\mathrm{inv},\mathrm{LRmin})$-c-Wilf equivalent. For example, we will show that if $\alpha$ and $\beta$ are minimally overlapping permutations in $S_j$ which start with 1 and end with the same element and $\mathrm{des}(\alpha) = \mathrm{des}(\beta)$ and $\mathrm{inv}(\alpha) = \mathrm{inv}(\beta)$, then $\alpha$ and $\beta$ are $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent.


title: Filtered-graded transfer of noncommutative Gr\"obner bases

abstract: As the case of free $\Bbbk$-algebras and $PBW$ algebras, given a bijective skew $PBW$ extension $A$, we will show that it is possible transfer Gr\"obner bases between $A$ and its associated graded ring.


title: KIC 9821622: An interesting lithium-rich giant in the Kepler field

abstract: We report the discovery of a new exceptional young lithium-rich giant, KIC 9821622, in the \textit{Kepler} field that exhibits an unusually large enhancement of $\alpha$, Fe-peak, and \textit{r}-process elements. From high-resolution spectra obtained with GRACES at Gemini North, we derived fundamental parameters and detailed chemical abundances of 23 elements from equivalent widths and synthesis analysis. By combining atmospheric stellar parameters with available asteroseismic data, we obtained the stellar mass, radius, and age. The data analysis reveals that KIC 9821622 is a Li-rich (A(Li)$_{NLTE}$ = 1.80 $\pm$ 0.2) intermediate-mass giant star ($M$ = 1.64 $M_{\odot}$) located at the red giant branch near the luminosity bump. We find unexpectedly elevated abundances of Fe-peak and \textit{r}-process elements. In addition, as previously reported, we find that this is a young star (2.37 Gyr) with unusually high abundances of $\alpha$-elements ([$\alpha$/Fe] = 0.31). The evolutionary status of KIC 9821622 suggests that its Li-rich nature is the result of internal fresh Li that is synthesized through the Cameron-Fowler mechanism near the luminosity bump. However, its peculiar enhancement of $\alpha$, Fe-peak, and \textit{r}-process elements opens the possibility of external contamination by material enriched by a supernova explosion. Although it is less likely, planet accretion cannot be ruled out.


title: Statistical Parsing by Machine Learning from a Classical Arabic Treebank

abstract: Research into statistical parsing for English has enjoyed over a decade of successful results. However, adapting these models to other languages has met with difficulties. Previous comparative work has shown that Modern Arabic is one of the most difficult languages to parse due to rich morphology and free word order. Classical Arabic is the ancient form of Arabic, and is understudied in computational linguistics, relative to its worldwide reach as the language of the Quran. The thesis is based on seven publications that make significant contributions to knowledge relating to annotating and parsing Classical Arabic. A central argument of this thesis is that using a hybrid representation closely aligned to traditional grammar leads to improved parsing for Arabic. To test this hypothesis, two approaches are compared. As a reference, a pure dependency parser is adapted using graph transformations, resulting in an 87.47% F1-score. This is compared to an integrated parsing model with an F1-score of 89.03%, demonstrating that joint dependency-constituency parsing is better suited to Classical Arabic.


title: Event-by-Event Study of Space-Time Dynamics in Flux-Tube Fragmentation

abstract: In the semi-classical description of the flux-tube fragmentation process for hadron production and hadronization in high-energy $e^+e^-$ annihilations and $pp$ collisions, the rapidity-space-time ordering and the local conservation laws of charge, flavor, and momentum provide a set of powerful tools that may allow the reconstruction of the space-time dynamics of quarks and mesons in exclusive measurements of produced hadrons, on an event-by-event basis. We propose procedures to reconstruct the space-time dynamics from event-by-event exclusive hadron data to exhibit explicitly the ordered chain of hadrons produced in a flux tube fragmentation. As a supplementary tool, we infer the average space-time coordinates of the $q$-$\bar q$ pair production vertices from the $\pi^-$ rapidity distribution data obtained by the NA61/SHINE Collaboration in $pp$ collisions at $\sqrt{s}$ = 6.3 to 17.3 GeV.


title: The Necessity of Quantizing Gravity

abstract: The Eppley Hannah thought experiment is often cited as justification for attempts by theorists to develop a complete, consistent theory of quantum gravity. A modification of the earlier "Heisenberg microscope" argument for the necessity of quantized light, the Eppley-Hannah thought experiment purports to show that purely classical gravitational waves would either not conserve energy or else allow for violations of the uncertainty principle. However, several subsequent papers have cast doubt as to the validity of the Eppley-Hannah argument. In this paper, we attempt to resurrect the Eppley-Hannah thought experiment by modifying the original argument in such a manner as to render it immune to the present criticisms levied against it.


title: The Hausdorff dimension of metric spaces definable in o-minimal expansions of the real field

abstract: Let $R$ be an o-minimal expansion of the real field. We show that the Hausdorff dimension of an $R$-definable metric space is an $R$-definable function of the parameters defining the metric space. We also show that the Hausdorff dimension of an $R$-definable metric space is an element of the field of powers of $R$. The proof uses a basic topological dichotomy for definable metric spaces due to the second author, and the work of the first author and Shiota on measure theory over nonarchimedean o-minimal structures.


title: Comparative Document Analysis for Large Text Corpora

abstract: This paper presents a novel research problem on joint discovery of commonalities and differences between two individual documents (or document sets), called Comparative Document Analysis (CDA). Given any pair of documents from a document collection, CDA aims to automatically identify sets of quality phrases to summarize the commonalities of both documents and highlight the distinctions of each with respect to the other informatively and concisely. Our solution uses a general graph-based framework to derive novel measures on phrase semantic commonality and pairwise distinction}, and guides the selection of sets of phrases by solving two joint optimization problems. We develop an iterative algorithm to integrate the maximization of phrase commonality or distinction measure with the learning of phrase-document semantic relevance in a mutually enhancing way. Experiments on text corpora from two different domains---scientific publications and news---demonstrate the effectiveness and robustness of the proposed method on comparing individual documents. Our case study on comparing news articles published at different dates shows the power of the proposed method on comparing document sets.


title: Recent Developments in Methods for Identifying Reaction Coordinates

abstract: In the study of rare events in complex systems with many degrees of freedom, a key element is to identify the reaction coordinates of a given process. Over recent years, a number of methods and protocols have been developed to extract the reaction coordinates based on limited information from molecular dynamics simulations. In this review, we provide a brief survey over a number of major methods developed in the past decade, some of which are discussed in greater detail, to provide an overview of the problems that are partially solved and challenges that still remain. A particular emphasis has been placed on methods for identifying reaction coordinates that are related to the committor.


title: Coherent CVA and FVA with Liability Side Pricing of Derivatives

abstract: This article presents FVA and CVA of a bilateral derivative in a coherent manner, based on recent developments in fair value accounting and ISDA standards. We argue that a derivative liability, after primary risk factors being hedged, resembles in economics an issued variable funding note, and should be priced at the market rate of the issuer's debt. For the purpose of determining the fair value, the party on the liability side is economically neutral to make a deposit to the other party, which earns his current debt rate and effectively provides funding and hedging for the party holding the derivative asset. The newly derived partial differential equation for an option discounts the derivative's receivable part with counterparty's curve and payable part with own financing curve. The price difference from the counterparty risk free price, or total counterparty risk adjustment, is precisely defined by discounting the product of the risk free price and the credit spread at the local liability curve. Subsequently the adjustment can be broken into a default risk component -- CVA and a funding component -- FVA, consistent with a simple note's fair value treatment and in accordance with the usual understanding of a bond's credit spread consisting of a CDS spread and a basis. As for FVA, we define a cost -- credit funding adjustment (CFA) and a benefit -- debit funding adjustment (DFA), in parallel to CVA and DVA and attributed to counterparty's and own funding basis. This resolves a number of outstanding FVA debate issues, such as double counting, violation of the law of one price, misuse of cash flow discounting, and controversial hedging of own default risk. It also allows an integrated implementation strategy and reuse of existing CVA infrastructure.


title: Current status of the T2K experiment

abstract: The T2K long-baseline neutrino-oscillation experiment accumulated approximately 11.0x10^20 POT (protons on target) data until June 2015. The results of \nu_e appearance as well as \nu_\mu disappearance for 6.57x10^20 POT neutrino beam data are reported. A comparison with the results of reactor \nu_e disappearance experiments provides possible hints toward negative \delta_CP phase with normal mass hierarchy. Preliminary results based on 4.04x10^20 POT anti-neutrino beam data are also presented.


title: CFD-DEM Simulations of Current-Induced Dune Formation and Morphological Evolution

abstract: Understanding the fundamental mechanisms of sediment transport, particularly those during the formation and evolution of bedforms, is of critical scientific importance and has engineering relevance. Traditional approaches of sediment transport simulations heavily rely on empirical models, which are not able to capture the physics-rich, regime-dependent behaviors of the process. With the increase of available computational resources in the past decade, CFD-DEM (computational fluid dynamics-discrete element method) has emerged as a viable high-fidelity method for the study of sediment transport. However, a comprehensive, quantitative study of the generation and migration of different sediment bed patterns using CFD-DEM is still lacking. In this work, current-induced sediment transport problems in a wide range of regimes are simulated, including 'flat bed in motion', `small dune', `vortex dune' and suspended transport. Simulations are performed by using SediFoam, an open-source, massively parallel CFD-DEM solver developed by the authors. This is a general-purpose solver for particle-laden flows tailed for particle transport problems. Validation tests are performed to demonstrate the capability of CFD-DEM in the full range of sediment transport regimes. Comparison of simulation results with experimental and numerical benchmark data demonstrates the merits of CFD-DEM approach. In addition, the improvements of the present simulations over existing studies using CFD-DEM are presented. The present solver gives more accurate prediction of sediment transport rate by properly accounting for the influence of particle volume fraction on the fluid flow. In summary, this work demonstrates that CFD-DEM is a promising particle-resolving approach for probing the physics of current-induced sediment transport.


title: Randomness for computable measures and initial segment complexity

abstract: We study the possible growth rates of the Kolmogorov complexity of initial segments of sequences that are random with respect to some computable measure on $2^\omega$, the so-called proper sequences. Our main results are as follows: (1) We show that the initial segment complexity of a proper sequence $X$ is bounded from below by a computable function (that is, $X$ is complex) if and only if $X$ is random with respect to some computable, continuous measure. (2) We prove that a uniform version of the previous result fails to hold: there is a family of complex sequences that are random with respect to a single computable measure such that for every computable, continuous measure $\mu$, some sequence in this family fails to be random with respect to $\mu$. (3) We show that there are proper sequences with extremely slow-growing initial segment complexity, that is, there is a proper sequence the initial segment complexity of which is infinitely often below every computable function, and even a proper sequence the initial segment complexity of which is dominated by all computable functions. (4) We prove various facts about the Turing degrees of such sequences and show that they are useful in the study of certain classes of pathological measures on $2^\omega$, namely diminutive measures and trivial measures.


title: Status and Outlook of CHIP-TRAP: the Central Michigan University High Precision Penning Trap

abstract: At Central Michigan University we are developing a high-precision Penning trap mass spectrometer (CHIP-TRAP)that will focus on measurements with long-lived radioactive isotopes. CHIP-TRAP will consist of a pair of hyperbolic precision-measurement Penning traps, and a cylindrical capture/filter trap in a 12 T magnetic field. Ions will be produced by external ion sources, including a laser ablation source, and transported to the capture trap at low energies enabling ions of a given m=q ratio to be selected via their time-of-flight. In the capture trap, contaminant ions will be removed with a mass-selective rf dipole excitation and the ion of interest will be transported to the measurement traps. A phase-sensitive image charge detection technique will be used for simultaneous cyclotron frequency measurements on single ions in the two precision traps, resulting in a reduction in statistical uncertainty due to magnetic field fluctuations.


title: A class of chemotaxis systems with growth source and nonlinear secretion

abstract: In this paper, we are concerned with a class of parabolic-elliptic chemotaxis systems encompassing the prototype $$\left\{\begin{array}{lll} &u_t = \nabla\cdot(\nabla u-\chi u\nabla v)+f(u), & x\in \Omega, t>0, \\[0.2cm] &0= \Delta v -v+u^\kappa, & x\in \Omega, t>0 \end{array}\right. $$ with nonnegative initial condition for $u$ and homogeneous Neumann boundary conditions in a smooth bounded domain $\Omega\subset \mathbb{R}^n(n\geq 2)$, where $\chi>0$, $\kappa>0$ and $f$ is a smooth growth source satisfying $f(0)\geq 0$ and $$ f(s)\leq a-bs^\theta, \quad s\geq 0, \text{with some} a\geq 0, b>0, \theta>1. $$ Firstly, it is shown, either $$ \kappa<\frac{2}{n}\quad \& \quad f\equiv 0, $$ or $$\theta>\kappa+1, $$ or $$ \theta-\kappa=1, \ \ b\geq \frac{(\kappa n-2)}{\kappa n}\chi, \eqno(*) $$ that the corresponding initial-value problem admits a unique classical solution that is uniformly bounded in space and time. Our proof is elementary and semigroup-free. Whilst, with the particular choices $\theta=2$ and $\kappa=1$, Tello and Winkler \cite{TW07} use sophisticated estimates via the Neumann heat semigroup to obtain the global boundedness under the strict inequality in ($\ast$). Thereby, we improve their results to the "borderline" case $b=(\kappa n-2)/(\kappa n)\chi$ in this regard. Next, for an unbounded range of $\chi$, the system is shown to exhibit pattern formations, and, the emerging patterns are shown to converge weakly in $ L^\theta(\Omega)$ to some constants as $\chi\rightarrow \infty$. While, for small $\chi$ or large damping $b$, precisely $b>2\chi$ if $f(u)=u(a-bu^\kappa)$ for some $a, b>0$, we show that the system does not admit pattern formation and the large time behavior of solutions is comparable to its associated ODE+algebraic system.


title: Chemical Reaction Systems with a Homoclinic Bifurcation: an Inverse Problem

abstract: An inverse problem framework for constructing reaction systems with prescribed properties is presented. Kinetic transformations are defined and analysed as a part of the framework, allowing an arbitrary polynomial ordinary differential equation to be mapped to the one that can be represented as a reaction network. The framework is used for construction of specific two- and three-dimensional bistable reaction systems undergoing a supercritical homoclinic bifurcation, and the topology of their phase spaces is discussed.


title: Kinematics of dwarf galaxies in gas-rich groups, and the survival and detectability of tidal dwarf galaxies

abstract: We present DEIMOS multi-object spectroscopy (MOS) of 22 star-forming dwarf galaxies located in four gas-rich groups, including six newly-discovered dwarfs. Two of the galaxies are strong tidal dwarf galaxy (TDG) candidates based on our luminosity-metallicity relation definition. We model the rotation curves of these galaxies. Our sample shows low mass-to-light ratios (M/L=0.73$\pm0.39M_\odot/L_\odot$) as expected for young, star-forming dwarfs. One of the galaxies in our sample has an apparently strongly-falling rotation curve, reaching zero rotational velocity outside the turnover radius of $r_{turn}=1.2r_e$. This may be 1) a polar ring galaxy, with a tilted bar within a face-on disk; 2) a kinematic warp. These scenarios are indistinguishable with our current data due to limitations of slit alignment inherent to MOS-mode observations. We consider whether TDGs can be detected based on their tidal radius, beyond which tidal stripping removes kinematic tracers such as H$\alpha$ emission. When the tidal radius is less than about twice the turnover radius, the expected falling rotation curve cannot be reliably measured. This is problematic for as much as half of our sample, and indeed more generally, galaxies in groups like these. Further to this, the H$\alpha$ light that remains must be sufficiently bright to be detected; this is only the case for three (14%) galaxies in our sample. We conclude that the falling rotation curves expected of tidal dwarf galaxies are intrinsically difficult to detect.


title: Self-similar solutions for a superdiffusive heat equation with gradient nonlinearity

abstract: This paper is devoted to global well-posedness, self-similarity and symmetries of solutions for a superdiffusive heat equation with superlinear and gradient nonlinear terms with initial data in new homogeneous Besov-Morrey type spaces. Unlike the heat equation, we need to develop an appropriate decomposition of the two-parametric Mittag-Leffler function in order to obtain Mikhlin-type estimates get our well-posedness theorem. To the best of our knowledge, the present work is the first one concerned with a well-posedness theory for a time-fractional partial differential equations of order $\alpha\in(1,2)$ with non null initial velocity.


title: Vehicle Speed Prediction using Deep Learning

abstract: Global optimization of the energy consumption of dual power source vehicles such as hybrid electric vehicles, plug-in hybrid electric vehicles, and plug in fuel cell electric vehicles requires knowledge of the complete route characteristics at the beginning of the trip. One of the main characteristics is the vehicle speed profile across the route. The profile will translate directly into energy requirements for a given vehicle. However, the vehicle speed that a given driver chooses will vary from driver to driver and from time to time, and may be slower, equal to, or faster than the average traffic flow. If the specific driver speed profile can be predicted, the energy usage can be optimized across the route chosen. The purpose of this paper is to research the application of Deep Learning techniques to this problem to identify at the beginning of a drive cycle the driver specific vehicle speed profile for an individual driver repeated drive cycle, which can be used in an optimization algorithm to minimize the amount of fossil fuel energy used during the trip.


title: Solubility of groups can be characterized by configuration

abstract: The concept of configuration was first introduced by Rosenblatt and Willis to give a characterization for the amenability of groups. We show that group properties of being soluble or FC can be characterized by configuration sets. Then we investigate some condition on configuration pairs, which leads to isomorphism. We introduce a somewhat different notion of configuration equivalence, namely strong configuration equivalence, and prove that strong configuration equivalence coincides with isomorphism.


title: On the controllability of the 2-D Vlasov-Stokes system

abstract: In this paper we prove an exact controllability result for the Vlasov-Stokes system in the two-dimensional torus with small data by means of an internal control. We show that one can steer, in arbitrarily small time, any initial datum of class C 1 satisfying a smallness condition in certain weighted spaces to any final state satisfying the same conditions. The proof of the main result is achieved thanks to the return method and a Leray-Schauder fixed-point argument.


title: On End-to-End Program Generation from User Intention by Deep Neural Networks

abstract: This paper envisions an end-to-end program generation scenario using recurrent neural networks (RNNs): Users can express their intention in natural language; an RNN then automatically generates corresponding code in a characterby-by-character fashion. We demonstrate its feasibility through a case study and empirical analysis. To fully make such technique useful in practice, we also point out several cross-disciplinary challenges, including modeling user intention, providing datasets, improving model architectures, etc. Although much long-term research shall be addressed in this new field, we believe end-to-end program generation would become a reality in future decades, and we are looking forward to its practice.


title: Topological extension of Calabi homomorphism and non-simpleness of the area-preserving homeomorphism group of two-disc

abstract: The paper contains a silly mistake in the usage of the equation (5.4) in the formula (6.5). Due to this mistake, the effect of the transfer map $phi$ is nullified. I am deeply sorry for not being very careful in my submission and making this mistake.


title: The link between coherent burst oscillations, burst spectral evolution and accretion state in 4U 1728-34

abstract: Coherent oscillations and the evolution of the X-ray spectrum during thermonuclear X-ray bursts in accreting neutron-star X-ray binaries have been studied intensively but separately. We analysed all the X-ray bursts of the source 4U 1728-34 with the Rossi X-ray Timing Explorer. We found that the presence of burst oscillations can be used to predict the behaviour of the blackbody radius during the cooling phase of the bursts. If a burst shows oscillations, during the cooling phase the blackbody radius remains more or less constant for ~2 - ~8s, whereas in bursts that do not show oscillations the blackbody radius either remains constant for more than ~2 - ~8s or it shows a rapid (faster than ~2s) decrease and increase. Both the presence of burst oscillations and the time-dependent spectral behaviour of the bursts are affected by accretion rate. We also found that the rise time and convexity of the bursts' light curve are different in bursts with and without oscillations in 4U 1728--34. Bursts with oscillations have a short rise time (~0.5s) and show both positive and negative convexity, whereas bursts without oscillations have a long rise time (~1s) and mostly positive convexity. This is consistent with the idea that burst oscillations are associated with off-equator ignition.


title: Electronic structure and physical properties of 13C carbon composite

abstract: This review is devoted to the application of graphite and graphite composites in science and technology. Structure and electrical properties, as so technological aspects of producing of high-strength artificial graphite and dynamics of its destruction are considered. These type of graphite are traditionally used in the nuclear industry. Author was focused on the properties of graphite composites based on carbon isotope 13C. Generally, the review relies on the original results and concentrates on actual problems of application and testing of graphite materials in modern nuclear physics and science and its technology applications. Translated by author from chapters 5 of the Russian monograph by Zhmurikov E.I., Bubnenkov I.A., Pokrovsky A.S. et al. Graphite in Science and Nuclear Technique eprint arXiv:1307.1869, 07/2013 (BC 2013arXiv1307.1869Z


title: Nuclear electric dipole moment of light nuclei in the gaussian expansion method

abstract: The nuclear electric dipole moment is a very sensitive probe of CP violation beyond the standard model, and for light nuclei, it can be evaluated accurately using few-body calculational methods. In this talk, we present the deuteron, $^3$He, $^3$H, $^6$Li, and $^9$Be electric dipole moments calculated using the Gaussian expansion method with a realistic nuclear force, and assuming the one-meson exchange model for the P, CP-odd nuclear force. We then give future prospects for models beyond the standard model such as the supersymmetry.


title: Upper bounds for the dimension of tori acting on GKM manifolds

abstract: The aim of this paper is to give an upper bound for the dimension of a torus $T$ which acts on a GKM manifold $M$ effectively. In order to do that, we introduce a free abelian group of finite rank, denoted by $\mathcal{A}(\Gamma,\alpha,\nabla)$, from an (abstract) $(m,n)$-type GKM graph $(\Gamma,\alpha,\nabla)$. Here, an $(m,n)$-type GKM graph is the GKM graph induced from a $2m$-dimensional GKM manifold $M^{2m}$ with an effective $n$-dimensional torus $T^{n}$-action, say $(M^{2m},T^{n})$. Then it is shown that $\mathcal{A}(\Gamma,\alpha,\nabla)$ has rank $\ell(> n)$ if and only if there exists an $(m,\ell)$-type GKM graph $(\Gamma,\widetilde{\alpha},\nabla)$ which is an extension of $(\Gamma,\alpha,\nabla)$. Using this necessarily and sufficient condition, we prove that the rank of $\mathcal{A}(\Gamma,\alpha,\nabla)$ for the GKM graph of $(M^{2m},T^{n})$ gives an upper bound for the dimension of a torus which can act on $M^{2m}$ effectively. As an application, we compute the rank of $\mathcal{A}(\Gamma,\alpha,\nabla)$ of the complex Grassmannian of $2$-planes $G_{2}(\mathbb{C}^{n+2})$ with some effective $T^{n+1}$-action, and prove that the $T^{n+1}$-action on $G_{2}(\mathbb{C}^{n+2})$ is the maximal effective torus action.


title: An Efficient Implementation for WalkSAT

abstract: Stochastic local search (SLS) algorithms have exhibited great effectiveness in finding models of random instances of the Boolean satisfiability problem (SAT). As one of the most widely known and used SLS algorithm, WalkSAT plays a key role in the evolutions of SLS for SAT, and also hold state-of-the-art performance on random instances. This work proposes a novel implementation for WalkSAT which decreases the redundant calculations leading to a dramatically speeding up, thus dominates the latest version of WalkSAT including its advanced variants.


title: Some combinatorial number theory problems over finite valuation rings

abstract: Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper we generalize and improve several well-known results, which were studied over finite fields $\mathbb{F}_q$ and finite cyclic rings $\mathbb{Z}/p^r\mathbb{Z}$, in the setting of finite valuation rings.


title: Phenomenological Model of Wetting Charged Dielectric Surfaces and its Testing with Plasma-Treated Polymer Films and Inflatable Balloons

abstract: Plasma treatment of polymer films results in their electrical charging, which in turn gives rise to an increase in their surface energy. The process results in pronounced hydrophilization of the polymer surfaces. A phenomenological theory relating the change in the apparent contact angle of charged solids to the surface density of the electrical charge is introduced. Partial wetting, inherent for polymer films, becomes possible until the threshold surface density of the electrical charge is gained. The predictions of the theory are illustrated by plasma-treated polymer films and inflatable latex balloons. Deflating the plasma treated latex balloons resulted in an essential increase in the surface charge density of the latex. This increase switched the wetting regime from partial to complete wetting. The kinetics of hydrophobic recovery follows the kinetics of the electrical charge leakage from the surfaces of the plasma treated polymers. The characteristic time of the surface charge leakage coincides with the time scale of the decay of the electret response of plasma treated polymer films.


title: Intuitive Considerations Clarifying the Origin and Applicability of the Benford Law

abstract: The diverse applications of the Benford law attract investigators working in various fields of physics, biology and sociology. At the same time, the groundings of the Benford law remain obscure. Our paper demonstrates that the Benford law arises from the positional (place-value) notation accepted for representing various sets of data. An alternative to Benford formulae to predict the distribution of digits in statistical data are derived. Application of these formulae to the statistical analysis of infrared spectra of polymers is presented. Violations of the Benford Law are discussed.


title: Pricing of high-dimensional options

abstract: Pricing of high-dimensional options is one of the most important problems in Mathematical Finance. The objective of this manuscript is to present an original self-contained treatment of the multidimensional pricing. During the past decades the Black-Scholes this model, which essentially is based on the log-normal assumption, has been increasingly criticised. In particular, it was noticed by Mandelbrot that empirical log-returns distributions are more concentrated around the origin and have considerably heavier tails. This suggests to adjust the Black-Scholes model by the introduction of the Levy processes instead of Brownian ones. This approach has been extensively studied in a univariate setup since the nineties. In the multivariate settings the theory is not so advanced. We present a general method of high-dimensional option pricing based on a wide range of jump-diffusion models. Namely, we construct approximation formulas for the price of spread options. It is important to get an efficient approximation for the respective density function, since the reward function has usually a simple structure. Instead of a commonly used tabulation approach, we use the respective m-widths to compare a wide range of numerical methods. We give an algorithm of almost optimal, in the sense of the respective m-widths, reconstruction of density functions. To demonstrate the power of our approach we consider in details a concrete class of Levy driven processes and present the respective rates of convergence of approximation formulas. The interrelationship between the theory and tools reflects the richness and deep connections in Financial Mathematics, Stochastic Processes, Theory of Martingales, Functional Analysis, Topology and Harmonic Analysis.


title: Explicit constructions of all separable two-qubits density matrices and related problems for three-qubits systems

abstract: Explicitly separable density matrices are constructed for all separable two-qubits states based on Hilbert-Schmidt (HS) decompositions. For density matrices which include only two-qubits correlations the number of HS parameters is reduced to 3 by using local rotations, and for two-qubits states which include single qubit measurements, the number of parameters is reduced to 4 by local Lorentz transformations. For both cases we related the absolute values of the HS parameters to probabilities, and the outer products of various Pauli matrices were transformed to pure states density matrices products. Simple necessary and sufficient conditions for separability are derived. We discuss related problems for three qubits. For n-qubits correlation systems the sufficient condition for separability may be improved by local transformations, related to high order singular value decompositions.


title: A 1-D evolutionary model for icy satellites, applied to Enceladus

abstract: We develop a long-term 1-D evolution model for icy satellites that couples multiple processes: water migration and differentiation, geochemical reactions and silicate phase transitions, compaction by self-gravity, and ablation. The model further considers the following energy sources and sinks: tidal heating, radiogenic heating, geochemical energy released by serpentinization or absorbed by mineral dehydration, gravitational energy and insolation, and heat transport by conduction, convection, and advection. We apply the model to Enceladus, by guessing the initial conditions that would render a structure compatible with present-day observations, assuming the initial structure to have been homogeneous. Assuming the satellite has been losing water continually along its evolution, we postulate that it was formed as a more massive, more icy and more porous satellite, and gradually transformed into its present day state due to sustained long-term tidal heating. We consider several initial compositions and evolution scenarios and follow the evolution for the age of the Solar System, testing the present day model results against the available observational constraints. Our model shows the present configuration to be differentiated into a pure icy mantle, several tens of km thick, overlying a rocky core, composed of dehydrated rock at the center and hydrated rock in the outer part. For Enceladus, it predicts a higher rock/ice mass ratio than previously assumed and a thinner ice mantle, compatible with recent estimates based on gravity field measurements. Although, obviously, the model cannot be used to explain local phenomena, it sheds light on the internal structure invoked in explanations of localized features and activities.


title: Handle slides for delta-matroids

abstract: A classic exercise in the topology of surfaces is to show that, using handle slides, every disc-band surface, or 1-vertex ribbon graph, can be put in a canonical form consisting of the connected sum of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Motivated by the principle that ribbon graph theory informs delta-matroid theory, we find the delta-matroid analogue of this surface classification. We show that, using a delta-matroid analogue of handle-slides, every binary delta-matroid in which the empty set is feasible can be written in a canonical form consisting of the direct sum of the delta-matroids of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Our delta-matroid results are compatible with the surface results in the sense that they are their ribbon graphic delta-matroidal analogues.


title: Directional Congestion in Data Envelopment Analysis

abstract: First, this paper proposes the definition of directional congestion in certain input and output directions in the framework of data envelopment analysis (DEA). Second, two methods from different viewpoints are also proposed to estimate the directional congestion in a DEA framework. Third, we address the relations among directional congestion and classic congestion and strong (weak) congestion. Finally, we present a case study investigating the analysis of the research institutes in the Chinese Academy of Sciences (CAS) to demonstrate the applicability and usefulness of the methods developed in this paper.


title: Formulas for Partition $k$-Tuples with $t$-Cores

abstract: Let $A_{t,k}(n)$ denote the number of partition $k$-tuples of $n$ where each partition is $t$-core. In this paper, we establish formulas of $A_{t,k}(n)$ for some values of $t$ and $k$ by employing the method of modular forms, which extends Wang's result for $t=3$ and $k=2,3$.