title: Demonstrating A New Census of INfrared Galaxies with ALMA (DANCING-ALMA). I. FIR Size and Luminosity Relation at z = 0-6 Revealed with 1034 ALMA Sources

abstract: We present the large statistics of the galaxy effective radius in the rest-frame far-infrared (FIR) wavelength Re(FIR) obtained from 1627 deep ALMA 1-mm band maps that become public by 2017 July. Our ALMA sample consists of 1034 sources at z=0-6 that typically have the star-formation rate of ~100-1000 M$_{\odot}$/yr and the stellar mass of ~10$^{10}$-10$^{11.5}$ M$_{\odot}$. We homogeneously derive Re(FIR) and FIR luminosity L_FIR of our ALMA sources via the same uv-visibility method with the exponential disk fitting, carefully evaluating the selection and measurement incompletenesses by realistic Monte-Carlo simulations. We find that there is a positive correlation between Re(FIR) and L_FIR at the >99% significance level. The best-fit power-law function, Re(FIR) $\propto$ L_FIR$^{\alpha}$, provides $\alpha=0.28+/-0.07$, and shows that the average Re(FIR) at a fixed L_FIR decreases toward high redshifts. The best-fit $\alpha$ and the redshift evolution of Re(FIR) are similar to those of the galaxy effective radius in the rest-frame UV (optical) wavelength Re(UV) (Re(Opt.)) revealed by Hubble Space Telescope (HST) studies. We identify that our ALMA sources have significant trends of Re(FIR) <~ Re(UV) and Re(Opt.), suggesting that dusty starbursts take place in a compact region. Moreover, Re(FIR) of our ALMA sources is comparable to Re(Opt.) of quiescent galaxies at z~1-3 as a function of stellar mass, supporting the evolutionary connection between these two galaxy populations. We also investigate rest-frame UV and optical morphologies of our ALMA sources with deep HST images, and find that ~30-40% of our ALMA sources are classified as major mergers. This indicates that dusty starbursts are triggered not only by the major mergers but also the other mechanism(s).


title: Extension operators and twisted sums of $c_0$ and $C(K)$ spaces

abstract: We investigate the following problem posed by Cabello Sanch\'ez, Castillo, Kalton, and Yost: Let $K$ be a nonmetrizable compact space. Does there exist a nontrivial twisted sum of $c_0$ and $C(K)$, i.e., does there exist a Banach space $X$ containing a non-complemented copy $Z$ of $c_0$ such that the quotient space $X/Z$ is isomorphic to $C(K)$? Using additional set-theoretic assumptions we give the first examples of compact spaces $K$ providing a negative answer to this question. We show that under Martin's axiom and the negation of the continuum hypothesis, if either $K$ is the Cantor cube $2^{\omega_1}$ or $K$ is a separable scattered compact space of height $3$ and weight $\omega_1$, then every twisted sum of $c_0$ and $C(K)$ is trivial. We also construct nontrivial twisted sums of $c_0$ and $C(K)$ for $K$ belonging to several classes of compacta. Our main tool is an investigation of pairs of compact spaces $K\subseteq L$ which do not admit an extension operator $C(K)\to C(L)$.


title: Information Loss

abstract: The complete gravitational collapse of a body in general relativity will result in the formation of a black hole. Although the black hole is classically stable, quantum particle creation processes will result in the emission of Hawking radiation to infinity and corresponding mass loss of the black hole, eventually resulting in the complete evaporation of the black hole. Semiclassical arguments strongly suggest that, in the process of black hole formation and evaporation, a pure quantum state will evolve to a mixed state, i.e., there will be "information loss." There has been considerable controversy over this issue for more than 40 years. In this review, we present the arguments in favor of information loss, and analyze some of the counter-arguments and alternative possibilities.


title: Asymptotically Optimal Stochastic Encryption for Quantized Sequential Detection in the Presence of Eavesdroppers

abstract: We consider sequential detection based on quantized data in the presence of eavesdropper. Stochastic encryption is employed as a counter measure that flips the quantization bits at each sensor according to certain probabilities, and the flipping probabilities are only known to the legitimate fusion center (LFC) but not the eavesdropping fusion center (EFC). As a result, the LFC employs the optimal sequential probability ratio test (SPRT) for sequential detection whereas the EFC employs a mismatched SPRT (MSPRT). We characterize the asymptotic performance of the MSPRT in terms of the expected sample size as a function of the vanishing error probabilities. We show that when the detection error probabilities are set to be the same at the LFC and EFC, every symmetric stochastic encryption is ineffective in the sense that it leads to the same expected sample size at the LFC and EFC. Next, in the asymptotic regime of small detection error probabilities, we show that every stochastic encryption degrades the performance of the quantized sequential detection at the LFC by increasing the expected sample size, and the expected sample size required at the EFC is no fewer than that is required at the LFC. Then the optimal stochastic encryption is investigated in the sense of maximizing the difference between the expected sample sizes required at the EFC and LFC. Although this optimization problem is nonconvex, we show that if the acceptable tolerance of the increase in the expected sample size at the LFC induced by the stochastic encryption is small enough, then the globally optimal stochastic encryption can be analytically obtained; and moreover, the optimal scheme only flips one type of quantized bits (i.e., 1 or 0) and keeps the other type unchanged.


title: A first-principles DFT+GW study of spin-filter and spin-gapless semiconducting Heusler compounds

abstract: Among Heusler compounds, the ones being magnetic semiconductors (also known as spin-filter materials) are widely studied as they offer novel functionalities in spintronic/magnetoelectronic devices. The spin-gapless semiconductors are a special case. They possess a zero or almost-zero energy gap in one of the two spin channels. We employ the $GW$ approximation, which allows an elaborate treatment of the electronic correlations, to simulate the electronic band structure of these materials. Our results suggest that in most cases the use of $GW$ self energy instead of the usual density functionals is important to accurately determine the electronic properties of magnetic semiconductors.


title: The Black Hole information problem: past, present, and future

abstract: We give a brief overview of the black hole information problem emphasizing fundamental issues and recent proposals for its resolution. The focus is on broad perspective and providing a guide to current literature rather than presenting full details. We concentrate on resolutions restoring naive unitarity.


title: Contextual Motifs: Increasing the Utility of Motifs using Contextual Data

abstract: Motifs are a powerful tool for analyzing physiological waveform data. Standard motif methods, however, ignore important contextual information (e.g., what the patient was doing at the time the data were collected). We hypothesize that these additional contextual data could increase the utility of motifs. Thus, we propose an extension to motifs, contextual motifs, that incorporates context. Recognizing that, oftentimes, context may be unobserved or unavailable, we focus on methods to jointly infer motifs and context. Applied to both simulated and real physiological data, our proposed approach improves upon existing motif methods in terms of the discriminative utility of the discovered motifs. In particular, we discovered contextual motifs in continuous glucose monitor (CGM) data collected from patients with type 1 diabetes. Compared to their contextless counterparts, these contextual motifs led to better predictions of hypo- and hyperglycemic events. Our results suggest that even when inferred, context is useful in both a long- and short-term prediction horizon when processing and interpreting physiological waveform data.


title: Dynamic Arrival Rate Estimation for Campus Mobility on Demand Network Graphs

abstract: Mobility On Demand (MOD) systems are revolutionizing transportation in urban settings by improving vehicle utilization and reducing parking congestion. A key factor in the success of an MOD system is the ability to measure and respond to real-time customer arrival data. Real time traffic arrival rate data is traditionally difficult to obtain due to the need to install fixed sensors throughout the MOD network. This paper presents a framework for measuring pedestrian traffic arrival rates using sensors onboard the vehicles that make up the MOD fleet. A novel distributed fusion algorithm is presented which combines onboard LIDAR and camera sensor measurements to detect trajectories of pedestrians with a 90% detection hit rate with 1.5 false positives per minute. A novel moving observer method is introduced to estimate pedestrian arrival rates from pedestrian trajectories collected from mobile sensors. The moving observer method is evaluated in both simulation and hardware and is shown to achieve arrival rate estimates comparable to those that would be obtained with multiple stationary sensors.


title: Transversality theorem in highly relative situations and its application

abstract: In this paper, we aim to provide a notion of "relative objects", i.e. objects equipped with some sort of subobjects, in differential topology. In spite of active researches relating them, e.g. knot theory or the theory of manifolds with corners, there seem to be poor general notions to deal with them. Moreover, we want even more direct differential calculus on relative objects and extension of classical notions and theories to relative situations; e.g. functions, vector fields, jet bundles, singularities, and so on. To establish this, the notion of arrangements of manifolds is introduced, which, for example, enables us to control behaviors of smooth maps on manifolds around corners. We construct jet bundles and prove a relative version of Transversality Theorem for some sorts of arrangements. Finally, embedding theorem of manifolds with faces into polyhedra is proved as an application.


title: Zero-sum multisets mod p with an application to surface automorphisms

abstract: We solve a problem in enumerative combinatorics which is equivalent to counting topological types of certain group actions on compact Riemann surfaces. Let $V_2(F_p)$ be the two-dimensional vector space over $F_p$, the field with $p$ elements, $p$ an odd prime. We count orbits of the general linear group $GL_2(F_p)$ on certain multisets consisting of $R \geq 3$ non-zero columns from $V_2(F_p)$. The $R$-multisets are `zero-sum,' that is, the sum (mod $p$) over the columns in the multiset is $[\begin{smallmatrix} 0 \\ 0 \end{smallmatrix}]$. The orbit count yields the number of topological types of fully ramified actions of the elementary abelian $p$-group of rank $2$ on compact Riemann surfaces of genus $1+ Rp(p-1)/2-p^2.$


title: On a local invariant of elliptic curves with a p-isogeny

abstract: An elliptic curve $E$ defined over a $p$-adic field $K$ with a $p$-isogeny $\phi:E\rightarrow E^\prime$ comes equipped with an invariant $\alpha_{\phi/K}$ that measures the valuation of the leading term of the formal group homomorphism $\Phi:\hat E \rightarrow \hat E^\prime$. We prove that if $K/\mathbb{Q}_p$ is unramified and $E$ has additive, potentially supersingular reduction, then $\alpha_{\phi/K}$ is determined by the number of distinct geometric components on the special fibers of the minimal proper regular models of $E$ and $E^\prime$.


title: Decentralized Consistent Network Updates in SDN with ez-Segway

abstract: We present ez-Segway, a decentralized mechanism to consistently and quickly update the network state while preventing forwarding anomalies (loops and black-holes) and avoiding link congestion. In our design, the centralized SDN controller only pre-computes information needed by the switches during the update execution. This information is distributed to the switches, which use partial knowledge and direct message passing to efficiently realize the update. This separation of concerns has the key benefit of improving update performance as the communication and computation bottlenecks at the controller are removed. Our evaluations via network emulations and large-scale simulations demonstrate the efficiency of ez-Segway, which compared to a centralized approach, improves network update times by up to 45% and 57% at the median and the 99th percentile, respectively. A deployment of a system prototype in a real OpenFlow switch and an implementation in P4 demonstrate the feasibility and low overhead of implementing simple network update functionality within switches.


title: An optimal hierarchical clustering approach to segmentation of mobile LiDAR point clouds

abstract: This paper proposes a hierarchical clustering approach for the segmentation of mobile LiDAR point clouds. We perform the hierarchical clustering on unorganized point clouds based on a proximity matrix. The dissimilarity measure in the proximity matrix is calculated by the Euclidean distances between clusters and the difference of normal vectors at given points. The main contribution of this paper is that we succeed to optimize the combination of clusters in the hierarchical clustering. The combination is obtained by achieving the matching of a bipartite graph, and optimized by solving the minimum-cost perfect matching. Results show that the proposed optimal hierarchical clustering (OHC) succeeds to achieve the segmentation of multiple individual objects automatically and outperforms the state-of-the-art LiDAR point cloud segmentation approaches.


title: Computationally Efficient Simulation of Queues: The R Package queuecomputer

abstract: Large networks of queueing systems model important real-world systems such as MapReduce clusters, web-servers, hospitals, call centers and airport passenger terminals. To model such systems accurately, we must infer queueing parameters from data. Unfortunately, for many queueing networks there is no clear way to proceed with parameter inference from data. Approximate Bayesian computation could offer a straightforward way to infer parameters for such networks if we could simulate data quickly enough. We present a computationally efficient method for simulating from a very general set of queueing networks with the R package queuecomputer. Remarkable speedups of more than 2 orders of magnitude are observed relative to the popular DES packages simmer and simpy. We replicate output from these packages to validate the package. The package is modular and integrates well with the popular R package dplyr. Complex queueing networks with tandem, parallel and fork/join topologies can easily be built with these two packages together. We show how to use this package with two examples: a call center and an airport terminal.


title: Gradient estimates for heat kernels and harmonic functions

abstract: Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, while for $p=\infty$, (i), (ii), (iv) are equivalent. Moreover, some of these equivalences still hold under weaker conditions than the $L^2$-Poincar\'e inequality. Our result gives a characterisation of Li-Yau's gradient estimate of heat kernels for $p=\infty$, while for $p\in (2,\infty)$ it is a substantial improvement as well as a generalisation of earlier results by Auscher-Coulhon-Duong-Hofmann [7] and Auscher-Coulhon [6]. Applications to isoperimetric inequalities and Sobolev inequalities are given. Our results apply to Riemannian and sub-Riemannian manifolds as well as to non-smooth spaces, and to degenerate elliptic/parabolic equations in these settings.


title: A novel approach to perturbative calculations for a large class of interacting boson theories

abstract: We present a method of calculating the interacting S-matrix to an arbitrary perturbative order for a large class of boson interaction Lagrangians. The method takes advantage of a previously unexplored link between the $n$-point Green's function and a certain system of linear Diophantine equations. By finding all nonnegative solutions of the system, the task of perturbatively expanding an interacting $S$-matrix becomes elementary for any number of interacting fields, to an arbitrary perturbative order (irrespective of whether it makes physical sense) and for a large class of scalar boson theories. The method does not rely on the position-based Feynman diagrams and promises to be extended to many perturbative models typically studied in quantum field theory. Aside from interaction field calculations we showcase our approach by expanding a pair of Unruh-DeWitt detectors coupled to Minkowski vacuum to an arbitrary perturbative order in the coupling constant. We also link our result to Hafnian as introduced by Caianiello and present a method to list all (2n-1)!! perfect matchings of a complete graph on 2n vertices.


title: Commutative positive varieties of languages

abstract: We study the commutative positive varieties of languages closed under various operations: shuffle, renaming and product over one-letter alphabets.


title: Model-Based Multiple Instance Learning

abstract: While Multiple Instance (MI) data are point patterns -- sets or multi-sets of unordered points -- appropriate statistical point pattern models have not been used in MI learning. This article proposes a framework for model-based MI learning using point process theory. Likelihood functions for point pattern data derived from point process theory enable principled yet conceptually transparent extensions of learning tasks, such as classification, novelty detection and clustering, to point pattern data. Furthermore, tractable point pattern models as well as solutions for learning and decision making from point pattern data are developed.


title: On the Limits of Learning Representations with Label-Based Supervision

abstract: Advances in neural network based classifiers have transformed automatic feature learning from a pipe dream of stronger AI to a routine and expected property of practical systems. Since the emergence of AlexNet every winning submission of the ImageNet challenge has employed end-to-end representation learning, and due to the utility of good representations for transfer learning, representation learning has become as an important and distinct task from supervised learning. At present, this distinction is inconsequential, as supervised methods are state-of-the-art in learning transferable representations. But recent work has shown that generative models can also be powerful agents of representation learning. Will the representations learned from these generative methods ever rival the quality of those from their supervised competitors? In this work, we argue in the affirmative, that from an information theoretic perspective, generative models have greater potential for representation learning. Based on several experimentally validated assumptions, we show that supervised learning is upper bounded in its capacity for representation learning in ways that certain generative models, such as Generative Adversarial Networks (GANs) are not. We hope that our analysis will provide a rigorous motivation for further exploration of generative representation learning.


title: Magnetic-induced condensate, vortices and vortons in color-flavor-locked-type matter

abstract: By considering Higgs modes within the Ginzburg-Landau framework, we study influences of a rotated magnetic field on the color-flavor-locked-type matter of dense QCD. We demonstrate, in a model-independent way, that a diquark condensate may be triggered by the magnetic response of rotated-charged Higgs modes, in addition to the known color-flavor-locked condensate. Moreover, the condensate is applied to explore formations of vortices in the presence of external magnetic fields. The superfluid-like vortices are constructed for the magnetic-induced condensate. In the situation including both kinds of condensates, the theoretical possibility of vortons is suggested and the formation condition and the energy stability are investigated semi-classically.


title: Generalized model for $k$-core percolation and interdependent networks

abstract: Cascading failures in complex systems have been studied extensively using two different models: $k$-core percolation and interdependent networks. We combine the two models into a general model, solve it analytically and validate our theoretical results through extensive simulations. We also study the complete phase diagram of the percolation transition as we tune the average local $k$-core threshold and the coupling between networks. We find that the phase diagram of the combined processes is very rich and includes novel features that do not appear in the models studying each of the processes separately. For example, the phase diagram consists of first and second-order transition regions separated by two tricritical lines that merge together and enclose a novel two-stage transition region. In the two-stage transition, the size of the giant component undergoes a first-order jump at a certain occupation probability followed by a continuous second-order transition at a lower occupation probability. Furthermore, at certain fixed interdependencies, the percolation transition changes from first-order $\rightarrow$ second-order $\rightarrow$ two-stage $\rightarrow$ first-order as the $k$-core threshold is increased. The analytic equations describing the phase boundaries of the two-stage transition region are set up and the critical exponents for each type of transition are derived analytically.


title: Competition between stable equilibria in reaction-diffusion systems: the influence of mobility on dominance

abstract: This paper is concerned with reaction-diffusion systems of two symmetric species in spatial dimension one, having two stable symmetric equilibria connected by a symmetric standing front. The first order variation of the speed of this front when the symmetry is broken through a small perturbation of the diffusion coefficients is computed. This elementary computation relates to the question, arising from population dynamics, of the influence of mobility on dominance, in reaction-diffusion systems modelling the interaction of two competing species. It is applied to two examples. First a toy example, where it is shown that, depending on the value of a parameter, an increase of the mobility of one of the species may be either advantageous or disadvantageous for this species. Then the Lotka-Volterra competition model, in the bistable regime close to the onset of bistability, where it is shown that an increase of mobility is advantageous. Geometric interpretations of these results are given.


title: Discrete isometry groups of symmetric spaces

abstract: This survey is based on a series of lectures that we gave at MSRI in Spring 2015 and on a series of papers, mostly written jointly with Joan Porti. Our goal here is to: 1. Describe a class of discrete subgroups $\Gamma<G$ of higher rank semisimple Lie groups, which exhibit some "rank 1 behavior". 2. Give different characterizations of the subclass of Anosov subgroups, which generalize convex-cocompact subgroups of rank 1 Lie groups, in terms of various equivalent dynamical and geometric properties (such as asymptotically embedded, RCA, Morse, URU). 3. Discuss the topological dynamics of discrete subgroups $\Gamma$ on flag manifolds associated to $G$ and Finsler compactifications of associated symmetric spaces $X=G/K$. Find domains of proper discontinuity and use them to construct natural bordifications and compactifications of the locally symmetric spaces $X/\Gamma$.


title: Distance Metric Learning using Graph Convolutional Networks: Application to Functional Brain Networks

abstract: Evaluating similarity between graphs is of major importance in several computer vision and pattern recognition problems, where graph representations are often used to model objects or interactions between elements. The choice of a distance or similarity metric is, however, not trivial and can be highly dependent on the application at hand. In this work, we propose a novel metric learning method to evaluate distance between graphs that leverages the power of convolutional neural networks, while exploiting concepts from spectral graph theory to allow these operations on irregular graphs. We demonstrate the potential of our method in the field of connectomics, where neuronal pathways or functional connections between brain regions are commonly modelled as graphs. In this problem, the definition of an appropriate graph similarity function is critical to unveil patterns of disruptions associated with certain brain disorders. Experimental results on the ABIDE dataset show that our method can learn a graph similarity metric tailored for a clinical application, improving the performance of a simple k-nn classifier by 11.9% compared to a traditional distance metric.


title: A Policy Model and Framework for Context-Aware Access Control to Information Resources

abstract: In today's dynamic ICT environments, the ability to control users' access to resources becomes ever important. On the one hand, it should adapt to the users' changing needs; on the other hand, it should not be compromised. Therefore, it is essential to have a flexible access control model, incorporating dynamically changing context information. Towards this end, this paper introduces a policy framework for context-aware access control (CAAC) applications that extends the role-based access control model with both dynamic associations of user-role and role-permission capabilities. We first present a formal model of CAAC policies for our framework. Using this model, we then introduce an ontology-based approach and a software prototype for modelling and enforcing CAAC policies. In addition, we evaluate our policy ontology model and framework by considering (i) the completeness of the ontology concepts, specifying different context-aware user-role and role-permission assignment policies from the healthcare scenarios; (ii) the correctness and consistency of the ontology semantics, assessing the core and domain-specific ontologies through the healthcare case study; and (iii) the performance of the framework by means of response time. The evaluation results demonstrate the feasibility of our framework and quantify the performance overhead of achieving context-aware access control to information resources.


title: On distances in lattices from algebraic number fields

abstract: In this paper, we study a classical construction of lattices from number fields and obtain a series of new results about their minimum distance and other characteristics by introducing a new measure of algebraic numbers. In particular, we show that when the number fields have few complex embeddings, the minimum distances of these lattices can be computed exactly.


title: Embedding, simulation and consistency of $\cal PT$ -symmetric quantum Theory

abstract: A physical requirement on the Hamiltonian operator in quantum mechanics is that it must generate real energy spectrum and unitary time evolution. While the Hamiltonians are Dirac Hermitian in conventional quantum mechanics, they observe $\cal PT$-symmetry in $\cal PT$-symmetric quantum theory. The embedding property was first studied by G\"{u}nther and Samsonov to visualize the evolution of unbroken $\cal PT$-symmetric Hamiltonians on $\mathbb C^2$ by Hermitian Hamiltonians on $\mathbb C^4$. This paper investigates the properties of $\cal PT$-symmetric quantum systems including the embedding property. We provide a full characterization of the embedding property in the general case and show that only unbroken $\cal PT$-symmetric quantum systems admit this property in a finite dimensional space. Furthermore, utilizing this property, we establish a physically realizable simulation process of the unbroken $\cal PT$-symmetric Hamiltonians. An observation that the unbroken $\cal PT$-symmetric quantum systems can be viewed as open systems in the conventional quantum mechanics accounts for the consistency of $\cal PT$-symmetric quantum theory.


title: Geometrically-exact time-integration mesh-free schemes for advection-diffusion problems derived from optimal transportation theory and their connection with particle methods

abstract: We develop an Optimal Transportation Meshfree (OTM) particle method for advection-diffusion in which the concentration or density of the diffusive species is approximated by Dirac measures. We resort to an incremental variational principle for purposes of time discretization of the diffusive step. This principle characterizes the evolution of the density as a competition between the Wasserstein distance between two consecutive densities and entropy. Exploiting the structure of the Euler-Lagrange equations, we approximate the density as a collection of Diracs. The interpolation of the incremental transport map is effected through mesh-free max-ent interpolation. Remarkably, the resulting update is geometrically exact with respect to advection and volume. We present three-dimensional examples of application that illustrate the scope and robustness of the method.


title: Building a Syllable Database to Solve the Problem of Khmer Word Segmentation

abstract: Word segmentation is a basic problem in natural language processing. With the languages having the complex writing system like the Khmer language in Southern of Vietnam, this problem really very intractable, posing the significant challenges. Although there are some experts in Vietnam as well as international having deeply researched this problem, there are still no reasonable results meeting the demand, in particular, no treated thoroughly the ambiguous phenomenon, in the process of Khmer language processing so far. This paper present a solution based on the syllable division into component clusters using two syllable models proposed, thereby building a Khmer syllable database, is still not actually available. This method using a lexical database updated from the online Khmer dictionaries and some supported dictionaries serving role of training data and complementary linguistic characteristics. Each component cluster is labelled and located by the first and last letter to identify entirety a syllable. This approach is workable and the test results achieve high accuracy, eliminate the ambiguity, contribute to solving the problem of word segmentation and applying efficiency in Khmer language processing.


title: Anisotropy Driven Transition from Moore-Read State to Quantum Hall Stripes

abstract: We investigate the nature of the quantum Hall liquid in a half-filled second Landau level ($n=1$) as a function of band mass anisotropy using numerical exact diagonalization (ED) and density matrix renormalization group (DMRG) methods. We find increasing the mass anisotropy induces a quantum phase transition from the Moore-Read state to a charge density wave state. By analyzing the energy spectrum, guiding center structure factors and by adding weak pinning potentials, we show that this charge density wave is a uni-directional quantum Hall stripe, which has a periodicity of a few magnetic lengths and survives in the thermodynamic limit. We find smooth profiles for the guiding center occupation function that reveal the strong coupling nature of the array of chiral Luttinger liquids residing at the stripe edges.


title: Deep View Morphing

abstract: Recently, convolutional neural networks (CNN) have been successfully applied to view synthesis problems. However, such CNN-based methods can suffer from lack of texture details, shape distortions, or high computational complexity. In this paper, we propose a novel CNN architecture for view synthesis called "Deep View Morphing" that does not suffer from these issues. To synthesize a middle view of two input images, a rectification network first rectifies the two input images. An encoder-decoder network then generates dense correspondences between the rectified images and blending masks to predict the visibility of pixels of the rectified images in the middle view. A view morphing network finally synthesizes the middle view using the dense correspondences and blending masks. We experimentally show the proposed method significantly outperforms the state-of-the-art CNN-based view synthesis method.


title: Covert Communication in Fading Channels under Channel Uncertainty

abstract: A covert communication system under block fading channels is considered where users experience uncertainty about their channel knowledge. The transmitter seeks to hide the covert communication to a private user by exploiting a legitimate public communication link while the warden tries to detect this covert communication by using a radiometer. We derive the exact expression for the radiometers optimal threshold which determines the performance limit of the wardens detector. Furthermore for given transmission outage constraints the achievable rates for legitimate and covert users are analyzed while maintaining a specific level of covertness. Our numerical results illustrate how the achievable performance is affected by the channel uncertainty and required level of covertness.


title: Conservation laws, vertex corrections, and screening in Raman spectroscopy

abstract: We present a microscopic theory for the Raman response of a clean multiband superconductor accounting for the effects of vertex corrections and long-range Coulomb interaction. The measured Raman intensity, $R(\Omega)$, is proportional to the imaginary part of the fully renormalized particle-hole correlator with Raman form-factors $\gamma(\vec k)$. In a BCS superconductor, a bare Raman bubble is non-zero for any $\gamma(\vec k)$ and diverges at $\Omega = 2\Delta +0$, where $\Delta$ is the largest gap along the Fermi surface. However, for $\gamma(\vec k) =$ const, the full $R(\Omega)$ is expected to vanish due to particle number conservation. It was long thought that this vanishing is due to the singular screening by long-range Coulomb interaction. We argue that this vanishing actually holds due to vertex corrections from the same short-range interaction that gives rise to superconductivity. We further argue that long-range Coulomb interaction does not affect the Raman signal for $any$ $\gamma(\vec k)$. We argue that vertex corrections eliminate the divergence at $2\Delta$ and replace it with a maximum at a somewhat larger frequency. We also argue that vertex corrections give rise to sharp peaks in $R(\Omega)$ at $\Omega < 2\Delta$, when $\Omega$ coincides with the frequency of one of collective modes in a superconductor, e.g, Leggett mode, Bardasis-Schrieffer mode, or an excitonic mode.


title: Design of an impedance matching acoustic bend

abstract: We propose the design of an impedance matching acoustic bend in this article. The bending structure is composed of sub-wavelength unit cells with perforated plates and side pipes, whose mass density and bulk modulus can be tuned simultaneously. So the refraction index and the impedance of the acoustic bend can be modulated simultaneously to guarantee both the bending effect and the high transmission. The simulation results of sound pressure field distribution show that the bending effect of the impedance matching acoustic bend is very good. Transmission spectra of the impedance matching acoustic bend and the acoustic bend composed of perforated plates only are both calculated for comparison. The results indicate that the impedance matching acoustic bend is successful in improving the impedance ratio and increasing the transmission obviously.


title: On the points without universal expansions

abstract: Let $1<\beta<2$. Given any $x\in[0, (\beta-1)^{-1}]$, a sequence $(a_n)\in\{0,1\}^{\mathbb{N}}$ is called a $\beta$-expansion of $x$ if $x=\sum_{n=1}^{\infty}a_n\beta^{-n}.$ For any $k\geq 1$ and any $(b_1b_2\cdots b_k)\in\{0,1\}^{k}$, if there exists some $k_0$ such that $a_{k_0+1}a_{k_0+2}\cdots a_{k_0+k}=b_1b_2\cdots b_k$, then we call $(a_n)$ a universal $\beta$-expansion of $x$. Sidorov \cite{Sidorov2003}, Dajani and de Vries \cite{DajaniDeVrie} proved that given any $1<\beta<2$, then Lebesgue almost every point has uncountably many universal expansions. In this paper we consider the set $V_{\beta}$ of points without universal expansions. For any $n\geq 2$, let $\beta_n$ be the $n$-bonacci number satisfying the following equation: $\beta^n=\beta^{n-1}+\beta^{n-2}+\cdots +\beta+1.$ Then we have $\dim_{H}(V_{\beta_n})=1$, where $\dim_{H}$ denotes the Hausdorff dimension. Similar results are still available for some other algebraic numbers. As a corollary, we give some results of the Hausdorff dimension of the survivor set generated by some open dynamical systems. This note is another application of our paper \cite{KarmaKan}.


title: John's Position is not good for approximation

abstract: Recall that a convex body $K$ is in John's position if the unit Euclidean ball is the maximal volume ellipsoid contained in $K$. Approximating convex body in John's position by polytopes we obtain the following results. 1. Let $n>R_n\ge 1$ be a sequence such that $\lim_{n\rightarrow \infty} \frac{R_n}{n}=0$. For a sufficiently large $n$, we can construct a convex body $K\subset \mathbb{R}^n$ in John's position such that there is no $P$, polytope with a polynomial number of facets in $n$ such that $K\subset P\subset R_nK$; 2. For a sufficiently large $n$, there is a convex body $K\subset \mathbb{R}^n$ in John's position such that there is no $P$, polytope that has less than $\exp(cn)$ facets satisfies $K\subset P \subset \sqrt{n}K$.


title: DP-colorings of graphs with high chromatic number

abstract: DP-coloring is a generalization of list coloring introduced recently by Dvo\v{r}\'ak and Postle. We prove that for every $n$-vertex graph $G$ whose chromatic number $\chi(G)$ is "close" to $n$, the DP-chromatic number of $G$ equals $\chi(G)$. "Close" here means $\chi(G)\geq n-O(\sqrt{n})$, and we also show that this lower bound is best possible (up to the constant factor in front of $\sqrt{n}$), in contrast to the case of list coloring.


title: Polarization-entangled photon pair sources based on spontaneous four wave mixing assisted by polarization mode dispersion

abstract: Photonic-based qubits and integrated photonic circuits have enabled demonstrations of quantum information processing (QIP) that promises to transform the way in which we compute and communicate. To that end, sources of polarization-entangled photon pair states are an important enabling technology, especially for polarization-based protocols. However, such states are difficult to prepare in an integrated photonic circuit. Scalable semiconductor sources typically rely on nonlinear optical effects where polarization mode dispersion (PMD) degrades entanglement. Here, we directly generate polarization-entangled states in an AlGaAs waveguide, aided by the PMD and without any compensation steps. We perform quantum state tomography and report a raw concurrence as high as 0.91$\pm$0.01 observed in the 1100-nm-wide waveguide. The scheme allows direct Bell state generation with an observed maximum fidelity of 0.90$\pm$0.01 from the 800-nm-wide waveguide. Our demonstration paves the way for sources that allow for the implementation of polarization-encoded protocols in large-scale quantum photonic circuits.


title: Collective Multi-Photon Blockade In Cavity Quantum Electrodynamics

abstract: We present a study of collective multi-photon blockade in coherently driven atoms in a single mode cavity. Considering two atoms strongly coupled to an optical cavity, we show that the two-photon blockade with two-photon anti-bunching, and the three-photon blockade with three-photon anti-bunching can be observed simultaneously. The three-photon blockade probes both dressed states in the two photon and three photon spaces. The two photon and three photon blockades strongly depend on the location of two atoms in the strong coupling regime. The asymmetry in the atom-cavity coupling constants opens new pathways for multiphoton blockade which is also shown to be sensitive to the atomic decay and pumping strengths. The work presented here predicts many new quantum statistical features due to the collective behavior of atoms and can be useful to generate non-classical photon pairs.


title: Mixtures of Generalized Hyperbolic Distributions and Mixtures of Skew-t Distributions for Model-Based Clustering with Incomplete Data

abstract: Robust clustering from incomplete data is an important topic because, in many practical situations, real data sets are heavy-tailed, asymmetric, and/or have arbitrary patterns of missing observations. Flexible methods and algorithms for model-based clustering are presented via mixture of the generalized hyperbolic distributions and its limiting case, the mixture of multivariate skew-t distributions. An analytically feasible EM algorithm is formulated for parameter estimation and imputation of missing values for mixture models employing missing at random mechanisms. The proposed methodologies are investigated through a simulation study with varying proportions of synthetic missing values and illustrated using a real dataset. Comparisons are made with those obtained from the traditional mixture of generalized hyperbolic distribution counterparts by filling in the missing data using the mean imputation method.


title: Two-Dimensional Large Gap Topological Insulators with Large Rashba Spin-Orbit Coupling in Group-IV films

abstract: Rashba spin orbit coupling in topological insulators has attracted much interest due to its exotic properties closely related to spintronic devices. The coexistence of nontrivial topology and giant Rashba splitting, however, has rare been observed in two-dimensional films, limiting severely its potential applications at room temperature. Here, we propose a series of inversion asymmetric group IV films, ABZ2, whose stability are confirmed by phonon spectrum calculations. The analyses of electronic structures reveal that they are intrinsic 2D TIs with a bulk gap as large as 0.74 eV, except for GeSiF2, SnSiCl2, GeSiCl2 and GeSiBr2 monolayers which can transform from normal to topological phases under appropriate tensile strains. Another prominent intriguing feature is the giant Rashba spin splitting with a magnitude reaching 0.15 eV, the largest value reported in 2D films. These results present a platform to explore 2D TIs for room temperature device applications.


title: Sensitivity Characterisation of a Parametric Transducer for Gravitational Wave Detection Through Optical Spring Effect

abstract: We present the characterisation of the most recent parametric transducers designed to enhance the Mario Schenberg Gravitational Wave Detector sensitivity. The transducer is composed of a microwave re-entrant cavity that attaches to the gravitational wave antenna via a rigid spring. It functions as a three-mode mass-spring system; motion of the spherical antenna couples to a 50 $\mu m$ thick membrane, which converts its mechanical motion into a frequency shift of the cavity resonance. Through the optical spring effect, the microwave transducer frequency-displacement sensitivity was measured to be 726 $MHz/\mu$m at 4 K. The spherical antenna detection sensitivity is determined analytically using the transducer amplification gain and equivalent displacement noise in the test setup, which are 5.5 $\times$ 10$^{11} V/m$ and $1.8 \times 10^{-19} m\sqrt{Hz}^{-1}$, respectively.


title: Sharing Residual Units Through Collective Tensor Factorization in Deep Neural Networks

abstract: Residual units are wildly used for alleviating optimization difficulties when building deep neural networks. However, the performance gain does not well compensate the model size increase, indicating low parameter efficiency in these residual units. In this work, we first revisit the residual function in several variations of residual units and demonstrate that these residual functions can actually be explained with a unified framework based on generalized block term decomposition. Then, based on the new explanation, we propose a new architecture, Collective Residual Unit (CRU), which enhances the parameter efficiency of deep neural networks through collective tensor factorization. CRU enables knowledge sharing across different residual units using shared factors. Experimental results show that our proposed CRU Network demonstrates outstanding parameter efficiency, achieving comparable classification performance to ResNet-200 with the model size of ResNet-50. By building a deeper network using CRU, we can achieve state-of-the-art single model classification accuracy on ImageNet-1k and Places365-Standard benchmark datasets. (Code and trained models are available on GitHub)


title: Generation of maximally correlated states in the absence of entanglement

abstract: We study the generation of maximally correlated states of two qubits in the absence of quantum entanglement. We show that stationary maximally correlated states can be generated under the assistance of a collective dissipative dynamics. The absence of entanglement necessarily requires maximal entanglement to an environment. The conditions under which two qubits can be maximally correlated to a finite environment are studied. We find the existence of maximally correlated states without entanglement for $3 \otimes 3$ bipartite quantum states


title: Using Deep Learning Method for Classification: A Proposed Algorithm for the ISIC 2017 Skin Lesion Classification Challenge

abstract: Skin cancer, the most common human malignancy, is primarily diagnosed visually by physicians [1]. Classification with an automated method like CNN [2, 3] shows potential for challenging tasks [1]. By now, the deep convolutional neural networks are on par with human dermatologist [1]. This abstract is dedicated on developing a Deep Learning method for ISIC [5] 2017 Skin Lesion Detection Competition hosted at [6] to classify the dermatology pictures, which is aimed at improving the diagnostic accuracy rate and general level of the human health. The challenge falls into three sub-challenges, including Lesion Segmentation, Lesion Dermoscopic Feature Extraction and Lesion Classification. This project only participates in the Lesion Classification part. This algorithm is comprised of three steps: (1) original images preprocessing, (2) modelling the processed images using CNN [2, 3] in Caffe [4] framework, (3) predicting the test images and calculating the scores that represent the likelihood of corresponding classification. The models are built on the source images are using the Caffe [4] framework. The scores in prediction step are obtained by two different models from the source images.


title: One-step synthesis of van der Waals heterostructures of graphene and 2D superconducting a-Mo2C

abstract: Assembling different two-dimensional (2D) crystals, covering a very broad range of properties, into van der Waals (vdW) heterostructures enables the unprecedented possibilities for combining the best of different ingredients in one objective material. So far, metallic, semiconducting, and insulating 2D crystals have been used successfully in making functional vdW heterostructures with properties by design. Here, we expand 2D superconducting crystals as a building block of the vdW hererostructures. A one-step growth of large-scale high-quality vdW heterostructures of graphene and 2D superconducting a-Mo2C by using chemical vapor deposition (CVD) method is reported. The superconductivity and its 2D nature of the heterostructures are characterized by our scanning tunneling microscopy (STM) measurements. This adds the 2D superconductivity, the most attractive property of condensed matter physics, to the vdW heterostructures.


title: Indoor Localization Using Visible Light Via Fusion Of Multiple Classifiers

abstract: A multiple classifiers fusion localization technique using received signal strengths (RSSs) of visible light is proposed, in which the proposed system transmits different intensity modulated sinusoidal signals by LEDs and the signals received by a Photo Diode (PD) placed at various grid points. First, we obtain some {\emph{approximate}} received signal strengths (RSSs) fingerprints by capturing the peaks of power spectral density (PSD) of the received signals at each given grid point. Unlike the existing RSSs based algorithms, several representative machine learning approaches are adopted to train multiple classifiers based on these RSSs fingerprints. The multiple classifiers localization estimators outperform the classical RSS-based LED localization approaches in accuracy and robustness. To further improve the localization performance, two robust fusion localization algorithms, namely, grid independent least square (GI-LS) and grid dependent least square (GD-LS), are proposed to combine the outputs of these classifiers. We also use a singular value decomposition (SVD) based LS (LS-SVD) method to mitigate the numerical stability problem when the prediction matrix is singular. Experiments conducted on intensity modulated direct detection (IM/DD) systems have demonstrated the effectiveness of the proposed algorithms. The experimental results show that the probability of having mean square positioning error (MSPE) of less than 5cm achieved by GD-LS is improved by 93.03\% and 93.15\%, respectively, as compared to those by the RSS ratio (RSSR) and RSS matching methods with the FFT length of 2000.


title: Indoor Localization by Fusing a Group of Fingerprints Based on Random Forests

abstract: Indoor localization based on SIngle Of Fingerprint (SIOF) is rather susceptible to the changing environment, multipath, and non-line-of-sight (NLOS) propagation. Building SIOF is also a very time-consuming process. Recently, we first proposed a GrOup Of Fingerprints (GOOF) to improve the localization accuracy and reduce the burden of building fingerprints. However, the main drawback is the timeliness. In this paper, we propose a novel localization framework by Fusing A Group Of fingerprinTs (FAGOT) based on random forests. In the offline phase, we first build a GOOF from different transformations of the received signals of multiple antennas. Then, we design multiple GOOF strong classifiers based on Random Forests (GOOF-RF) by training each fingerprint in the GOOF. In the online phase, we input the corresponding transformations of the real measurements into these strong classifiers to obtain multiple independent decisions. Finally, we propose a Sliding Window aIded Mode-based (SWIM) fusion algorithm to balance the localization accuracy and time. Our proposed approaches can work better in an unknown indoor scenario. The burden of building fingerprints can also be reduced drastically. We demonstrate the performance of our algorithms through simulations and real experimental data using two Universal Software Radio Peripheral (USRP) platforms.


title: Spectral algebra models of unstable v_n-periodic homotopy theory

abstract: We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch two other recent approaches which are of a more conceptual nature, due to Arone-Ching and Heuts. In the process, we also survey many relevant concepts which arise in the study of spectral algebra over operads, including topological Andr\'e-Quillen cohomology, Koszul duality, and Goodwillie calculus.


title: Degree and the Brauer-Manin obstruction

abstract: Let X be a smooth variety over a number field k embedded as a degree d subvariety of $\mathbb{P}^n$ and suppose that X is a counterexample to the Hasse principle explained by the Brauer-Manin obstruction. We consider the question of whether the obstruction is given by the d-primary subgroup of the Brauer group, which would have both theoretic and algorithmic implications. We prove that this question has a positive answer in the case of torsors under abelian varieties, Kummer surfaces and (conditional on finiteness of Tate-Shafarevich groups) bielliptic surfaces. For Kummer varieties we show that the obstruction is already given by the 2-primary torsion. We construct a conic bundle over an elliptic curve that shows that, in general, the answer is no.


title: Cosmological Production of Electroweak Monopole

abstract: We discuss the cosmological production and the successive evolution of the electroweak (Cho-Maison) monopole in the standard model, and estimate the remnant monopole density at present universe. We confirm that, although the electroweak phase transition is of the first order, it is very mildly the first order. So the monopole production comes from the thermal fluctuations of the Higgs field after the phase transition, not the vacuum bubble collisions during the phase transition. Moreover, while the monopoles are produced copiously around the Ginzburg temperature $T_G\simeq 59.6~{\rm TeV}$, most of them are annihilated as soon as created. This annihilation process continues very long time, untill the monopoles are decoupled from the other matters when the temperature cools to about 30 MeV. As the result the remnant monopole density at present universe becomes very small, of $10^{-11}$ of the critical density, too small to affect the standard cosmology and too small be the dark matter. We discuss the physical implications of our results on the ongoing monopole detection experiments, in particular on MoEDAL, IceCube, ANTARES, Auger, and Super-Kamiokande.


title: A robust boson dispenser: Quantum state preparation in interacting many-particle systems

abstract: We present a technique to control the spatial state of a small cloud of interacting particles at low temperatures with almost perfect fidelity using spatial adiabatic passage. To achieve this, the resonant trap energies of the system are engineered in such a way that a single, well-defined eigenstate connects the initial and desired states and is isolated from the rest of the spectrum. We apply this procedure to the task of separating a well-defined number of particles from an initial cloud and show that it can be implemented in radio-frequency traps using experimentally realistic parameters.


title: QCD mechanisms for accessing the nucleon GPDs with the exclusive pion-induced Drell-Yan process at J-PARC

abstract: Generalized parton distributions (GPDs) encoding multidimensional information of hadron partonic structure appear as the building blocks in a factorized description of hard exclusive reactions. The nucleon GPDs have been accessed by deeply virtual Compton scattering and deeply virtual meson production with lepton beam. A complementary probe with hadron beam is the exclusive pion-induced Drell-Yan process. We discuss recent theoretical advances on describing this process in terms of the partonic subprocess convoluted with the nucleon GPDs and the pion distribution amplitudes. Furthermore, we mention the feasibility study for measuring the exclusive pion-induced Drell-Yan process, $\pi^- p \to \mu^+ \mu^- n$, via a spectrometer at the High Momentum Beamline being constructed at J-PARC in Japan. We also point out the possible soft partonic mechanisms beyond the QCD factorization framework, which could give important contributions at J-PARC kinematics, and present an estimate of the soft mechanisms making use of dispersion relations and quark-hadron duality. Realization of the measurement of the exclusive pion-induced Drell-Yan process at J-PARC will provide a new test of QCD descriptions of a novel class of hard exclusive reactions. It will also offer the possibility of experimentally accessing nucleon GPDs at large timelike virtuality.


title: Control of interlayer delocalization in 2H transition metal dichalcogenides

abstract: It is assessed in detail both experimentally and theoretically how the interlayer coupling of transition metal dichalcogenides controls the electronic properties of the respective devices. Gated transition metal dichalcogenide structures show electrons and holes to either localize in individual monolayers, or delocalize beyond multiple layers - depending on the balance between spin-orbit inter- action and interlayer hopping. This balance depends on layer thickness, momentum space symmetry points and applied gate fields. A good quantitative agreement of predictions and measurements of the quantum confined Stark effect in gated MoS2 systems unveils intralayer excitons as major source for the observed photoluminesence.


title: A Gentle Introduction to Epistemic Planning: The DEL Approach

abstract: Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. In this paper, we aim to give an accessible introduction to DEL-based epistemic planning. The paper starts with the most classical framework for planning, STRIPS, and then moves towards epistemic planning in a number of smaller steps, where each step is motivated by the need to be able to model more complex planning scenarios.


title: Deterministic Temporal Logics and Interval Constraints

abstract: In temporal logics, a central question is about the choice of modalities and their relative expressive power, in comparison to the complexity of decision problems such as satisfiability. In this tutorial, we will illustrate the study of such questions over finite word models, first with logics for Unambiguous Starfree Regular Languages (UL), originally defined by Schutzenberger, and then for extensions with constraints, which appear in interval logics. We present Deterministic temporal logics, with diverse sets of modalities, which also characterize UL. The tools and techniques used go under the name of "Turtle Programs" or "Rankers". These are simple kinds of automata. We use properties such as Ranker Directionality and Ranker Convexity to show that all these logics have NP satisfiability. A recursive extension of some of these modalities gives us the full power of first-order logic over finite linear orders. We also discuss Interval Constraint modalities extending Deterministic temporal logics, with intermediate expressiveness. These allow counting or simple algebraic operations on paths. The complexity of these extended logics is PSpace, as of full temporal logic (and ExpSpace when using binary notation).


title: Finite Model Reasoning in Expressive Fragments of First-Order Logic

abstract: Over the past two decades several fragments of first-order logic have been identified and shown to have good computational and algorithmic properties, to a great extent as a result of appropriately describing the image of the standard translation of modal logic to first-order logic. This applies most notably to the guarded fragment, where quantifiers are appropriately relativized by atoms, and the fragment defined by restricting the number of variables to two. The aim of this talk is to review recent work concerning these fragments and their popular extensions. When presenting the material special attention is given to decision procedures for the finite satisfiability problems, as many of the fragments discussed contain infinity axioms. We highlight most effective techniques used in this context, their advantages and limitations. We also mention a few open directions of study.


title: Temporal Justification Logic

abstract: Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.


title: Cooperative Epistemic Multi-Agent Planning for Implicit Coordination

abstract: Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We extend the DEL-based epistemic planning framework to include perspective shifts, allowing us to define new notions of sequential and conditional planning with implicit coordination. With these, it is possible to solve planning tasks with joint goals in a decentralized manner without the agents having to negotiate about and commit to a joint policy at plan time. First we define the central planning notions and sketch the implementation of a planning system built on those notions. Afterwards we provide some case studies in order to evaluate the planner empirically and to show that the concept is useful for multi-agent systems in practice.


title: Graphical Sequent Calculi for Modal Logics

abstract: The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs. Graphical calculi for normal modal logics are developed based on a reformulation of the graphical calculus for classical propositional logic. These graphical calculi are of the nature of deep inference. The relationship between graphical calculi and sequent calculi for modal logics is shown by translations between graphs and modal formulas.


title: Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics

abstract: Bi-Intuitionistic Stable Tense Logics (BIST Logics) are tense logics with a Kripke semantics where worlds in a frame are equipped with a pre-order as well as with an accessibility relation which is 'stable' with respect to this pre-order. BIST logics are extensions of a logic, BiSKt, which arose in the semantic context of hypergraphs, since a special case of the pre-order can represent the incidence structure of a hypergraph. In this paper we provide, for the first time, a Hilbert-style axiomatisation of BISKt and prove the strong completeness of BiSKt. We go on to prove strong completeness of a class of BIST logics obtained by extending BiSKt by formulas of a certain form. Moreover we show that the finite model property and the decidability hold for a class of BIST logics.


title: Test map characterizations of local properties of fundamental groups

abstract: Local properties of the fundamental group of a path-connected topological space can pose obstructions to the applicability of covering space theory. A generalized covering map is a generalization of the classical notion of covering map defined in terms of unique lifting properties. The existence of generalized covering maps depends entirely on the verification of the unique path lifting property for a standard covering construction. Given any path-connected metric space $X$, and a subgroup $H\leq\pi_1(X,x_0)$, we characterize the unique path lifting property relative to $H$ in terms of a new closure operator on the $\pi_1$-subgroup lattice that is induced by maps from a fixed "test" domain into $X$. Using this test map framework, we develop a unified approach to comparing the existence of generalized coverings with a number of related properties.


title: Stealthy Malware Traffic - Not as Innocent as It Looks

abstract: Malware is constantly evolving. Although existing countermeasures have success in malware detection, corresponding counter-countermeasures are always emerging. In this study, a counter-countermeasure that avoids network-based detection approaches by camouflaging malicious traffic as an innocuous protocol is presented. The approach includes two steps: Traffic format transformation and side-channel massage (SCM). Format transforming encryption (FTE) translates protocol syntax to mimic another innocuous protocol while SCM obscures traffic side-channels. The proposed approach is illustrated by transforming Zeus botnet (Zbot) Command and Control (C&C) traffic into smart grid Phasor Measurement Unit (PMU) data. The experimental results show that the transformed traffic is identified by Wireshark as synchrophasor protocol, and the transformed protocol fools current side-channel attacks. Moreover, it is shown that a real smart grid Phasor Data Concentrator (PDC) accepts the false PMU data.


title: A Covert Data Transport Protocol

abstract: Both enterprise and national firewalls filter network connections. For data forensics and botnet removal applications, it is important to establish the information source. In this paper, we describe a data transport layer which allows a client to transfer encrypted data that provides no discernible information regarding the data source. We use a domain generation algorithm (DGA) to encode AES encrypted data into domain names that current tools are unable to reliably differentiate from valid domain names. The domain names are registered using (free) dynamic DNS services. The data transmission format is not vulnerable to Deep Packet Inspection (DPI).


title: New numerical approaches for modeling thermochemical convection in a compositionally stratified fluid

abstract: Seismic imaging of the mantle has revealed large and small scale heterogeneities in the lower mantle; specifically structures known as large low shear velocity provinces (LLSVP) below Africa and the South Pacific. Most interpretations propose that the heterogeneities are compositional in nature, differing in composition from the overlying mantle, an interpretation that would be consistent with chemical geodynamic models. Numerical modeling of persistent compositional interfaces presents challenges, even to state-of-the-art numerical methodology. For example, some numerical algorithms for advecting the compositional interface cannot maintain a sharp compositional boundary as the fluid migrates and distorts with time dependent fingering due to the numerical diffusion that has been added in order to maintain the upper and lower bounds on the composition variable and the stability of the advection method. In this work we present two new algorithms for maintaining a sharper computational boundary than the advection methods that are currently openly available to the computational mantle convection community; namely, a Discontinuous Galerkin method with a Bound Preserving limiter and a Volume-of-Fluid interface tracking algorithm. We compare these two new methods with two approaches commonly used for modeling the advection of two distinct, thermally driven, compositional fields in mantle convection problems; namely, an approach based on a high-order accurate finite element method advection algorithm that employs an artificial viscosity technique to maintain the upper and lower bounds on the composition variable as well as the stability of the advection algorithm and the advection of particles that carry a scalar quantity representing the location of each compositional field. All four of these algorithms are implemented in the open source FEM code ASPECT.


title: Conducting Electrons in Amorphous Si Nanostructures: Coherent Interference and Metal-Insulator Transitions Mediated by Local Structures

abstract: Without a periodic reference framework, local structures in noncrystalline solids are difficult to specify, but they still exert an enormous influence on materials properties. For example, thermomechanical responses of organic and inorganic glasses sensitively depend on the distribution of free volume or soft spots$^{1,2}$. Meanwhile, strong electron localization$^{3}$ that endows unparalleled electrical breakdown strengths to amorphous insulators is easily compromised by local defects that promote inelastic tunneling over a variable range$^{4,5}$. Here we report how metallic conduction can overcome strong localization in amorphous insulators of small dimensions, and how local structures can manifest their spectacular influence on such conduction. In amorphous Si, nanoscale electrons are so coherent that they exhibit robust quantum interferences reminiscent of the mesoscopic phenomena seen in weakly localized metal crystals$^{6}$. Yet ultrasoft Si bonds emerge as the key local structures whose extraordinarily strong electron-phonon interaction coerces itinerant electrons into moving slowly at low temperature, even becoming trapped at all temperature when Si-O/N sites are provided. The local structures can be manipulated by a voltage or pressure to regulate charge storage, charge flow and metal-insulator transition. Also made of Ge and oxides and nitrides, nanostructured amorphous conductors could offer opportunities for new applications.


title: Possible devil's staircase in the Kondo lattice CeSbSe

abstract: The temperature ($T$) - magnetic field ($H$) phase diagram for the tetragonal layered compound CeSbSe, is determined from magnetization, specific heat, and electrical resistivity measurements. This system exhibits complex magnetic ordering at $T_{\rm{M}}$ $=$ 3 K and the application of a magnetic field results in a cascade of magnetically ordered states for $H$ $\lesssim$ 1.8 T which are characterized by fractional integer size steps: i.e., a possible Devil's staircase is observed. Electrical transport measurements show a weak temperature dependence and large residual resistivity which suggest a small charge carrier density and strong scattering from the $f$-moments. These features reveal Kondo lattice behavior where the $f$-moments are incompletely screened, resulting in a fine balanced magnetic interaction between different Ce neighbors that is mediated by the RKKY interaction. This produces the nearly degenerate magnetically ordered states that are accessed under an applied magnetic field.


title: Raw Waveform-based Speech Enhancement by Fully Convolutional Networks

abstract: This study proposes a fully convolutional network (FCN) model for raw waveform-based speech enhancement. The proposed system performs speech enhancement in an end-to-end (i.e., waveform-in and waveform-out) manner, which dif-fers from most existing denoising methods that process the magnitude spectrum (e.g., log power spectrum (LPS)) only. Because the fully connected layers, which are involved in deep neural networks (DNN) and convolutional neural networks (CNN), may not accurately characterize the local information of speech signals, particularly with high frequency components, we employed fully convolutional layers to model the waveform. More specifically, FCN consists of only convolutional layers and thus the local temporal structures of speech signals can be efficiently and effectively preserved with relatively few weights. Experimental results show that DNN- and CNN-based models have limited capability to restore high frequency components of waveforms, thus leading to decreased intelligibility of enhanced speech. By contrast, the proposed FCN model can not only effectively recover the waveforms but also outperform the LPS-based DNN baseline in terms of short-time objective intelligibility (STOI) and perceptual evaluation of speech quality (PESQ). In addition, the number of model parameters in FCN is approximately only 0.2% compared with that in both DNN and CNN.


title: A Strange Metal from Gutzwiller correlations in infinite dimensions

abstract: Recent progress in extremely correlated Fermi liquid theory (ECFL) and dynamical mean field theory (DMFT) enables us to compute in the $d \to \infty$ limit the resistivity of the $t-J$ model after setting $J\to0$. This is also the $U=\infty$ Hubbard model. We study three densities $n=.75,.8,.85$ that correspond to a range between the overdoped and optimally doped Mott insulating state. We delineate four distinct regimes characterized by different behaviors of the resistivity $\rho$. We find at the lowest $T$ a Gutzwiller Correlated Fermi Liquid regime with $\rho \propto T^2$ extending up to an effective Fermi temperature that is dramatically suppressed from the non-interacting value. This is followed by a Gutzwiller Correlated Strange Metal regime with $\rho \propto (T-T_0)$, i.e. a linear resistivity extrapolating back to $\rho=0$ at a positive $T_0$. At a higher $T$ scale, this crosses over into the Bad Metal regime with $\rho \propto (T+T_1)$ extrapolating back to a finite resistivity at $T=0$, and passing through the Ioffe-Regel-Mott value where the mean free path is a few lattice constants. This regime finally gives way to the High $T$ Metal regime, where we find $\rho \propto T$. The present work emphasizes the first two, where the availability of an analytical ECFL theory is of help in identifying the changes in related variables entering the resistivity formula that accompany the onset of linear resistivity, and the numerically exact DMFT helps to validate the results. We also examine thermodynamic variables such as the magnetic susceptibility, compressibility, heat capacity and entropy, and correlate changes in these with the change in resistivity. This exercise casts valuable light on the nature of charge and spin correlations in the strange metal regime, which has features in common with the physically relevant strange metal phase seen in strongly correlated matters.


title: The unexpectedly large dust and gas content of quiescent galaxies at z>1.4

abstract: Early type galaxies (ETG) contain most of the stars present in the local Universe and, above a stellar mass of ~5e10 Msun, vastly outnumber spiral galaxies like the Milky Way. These massive spheroidal galaxies have, in the present day, very little gas or dust, and their stellar populations have been evolving passively for over 10 billion years. The physical mechanisms that led to the termination of star formation in these galaxies and depletion of their interstellar medium remain largely conjectural. In particular, there are currently no direct measurements of the amount of residual gas that might be still present in newly quiescent spheroids at high redshift. Here we show that quiescent ETGs at z~1.8, close to their epoch of quenching, contained 2-3 orders of magnitude more dust at fixed stellar mass than local ETGs. This implies the presence of substantial amounts of gas (5-10%), which was however consumed less efficiently than in more active galaxies, probably due to their spheroidal morphology, and consistently with our simulations. This lower star formation efficiency, and an extended hot gas halo possibly maintained by persistent feedback from an active galactic nucleus (AGN), combine to keep ETGs mostly passive throughout cosmic time.


title: Paley's Theory for Lacunary Fourier Series on Discrete Groups: a Semigroup-Interpretation

abstract: The main result is a Paley's theory for lacunary Fourier series using semigroup-BMO and $H^1$ spaces. This interpretation allows an extension of Paley's theory to general discrete groups, complementing the work of Rudin for abelian groups with a total order, and Lust-Piquard and Pisier's work for lacunary Fourier series with operator-valued coefficients.


title: Certificate Transparency with Privacy

abstract: Certificate transparency (CT) is an elegant mechanism designed to detect when a certificate authority (CA) has issued a certificate incorrectly. Many CAs now support CT and it is being actively deployed in browsers. However, a number of privacy-related challenges remain. In this paper we propose practical solutions to two issues. First, we develop a mechanism that enables web browsers to audit a CT log without violating user privacy. Second, we extend CT to support non-public subdomains.


title: Enhanced nematic fluctuations near an antiferromagnetic Mott insulator and possible application to high-$T_{c}$ cuprates

abstract: Motivated by the widespread experimental observations of nematicity in strongly underdoped cuprate superconductors, we investigate the possibility of enhanced nematic fluctuations in the vicinity of a Mott insulator that displays N\'eel-type antiferromagnetic order. By performing a strong-coupling expansion of an effective model that contains both Cu-$d$ and O-$p$ orbitals on the square lattice, we demonstrate that quadrupolar fluctuations in the $p$-orbitals inevitably generate a biquadratic coupling between the spins of the $d$-orbitals. The key point revealed by our classical Monte Carlo simulations and large-$N$ calculations is that the biquadratic term favors local stripe-like magnetic fluctuations, which result in an enhanced nematic susceptibility that onsets at a temperature scale determined by the effective Heisenberg exchange $J$. We discuss the impact of this type of nematic order on the magnetic spectrum and outline possible implications on our understanding of nematicity in the cuprates.


title: Casimir stress inside planar materials

abstract: Current theory is able to predict the Casimir force between macroscopic bodies with an accuracy only limited by the knowledge of the material parameters. Yet surprisingly after almost 70 years of research, while theory describes the Casimir force between bodies, the force inside macroscopic bodies is poorly understood. In this paper, we develop from a physically intuitive picture the macroscopic theory of the Casimir stress inside inhomogeneous planar media. Our result agrees with a previous ad hoc procedure [T. G. Philbin et al., Ann. Phys. (New York) 325, 579 (2010)], giving both mathematical and physical justification to a conjecture that was only tested numerically so far. Our theory is likely to be extendable; it may open the gate to the computation of Casimir forces inside arbitrary materials.


title: No-But-Semantic-Match: Computing Semantically Matched XML Keyword Search Results

abstract: Users are rarely familiar with the content of a data source they are querying, and therefore cannot avoid using keywords that do not exist in the data source. Traditional systems may respond with an empty result, causing dissatisfaction, while the data source in effect holds semantically related content. In this paper we study this no-but-semantic-match problem on XML keyword search and propose a solution which enables us to present the top-k semantically related results to the user. Our solution involves two steps: (a) extracting semantically related candidate queries from the original query and (b) processing candidate queries and retrieving the top-k semantically related results. Candidate queries are generated by replacement of non-mapped keywords with candidate keywords obtained from an ontological knowledge base. Candidate results are scored using their cohesiveness and their similarity to the original query. Since the number of queries to process can be large, with each result having to be analyzed, we propose pruning techniques to retrieve the top-$k$ results efficiently. We develop two query processing algorithms based on our pruning techniques. Further, we exploit a property of the candidate queries to propose a technique for processing multiple queries in batch, which improves the performance substantially. Extensive experiments on two real datasets verify the effectiveness and efficiency of the proposed approaches.


title: A thermodynamic parallel of the Braess road-network paradox

abstract: We provide here a thermodynamic analog of the Braess road-network paradox with irreversible engines working between reservoirs that are placed at vertices of the network. Paradoxes of different kinds reappear, emphasizing the specialty of the network.


title: Well-posedness of the Ericksen-Leslie System for the Oseen-Frank Model in L^3_{uloc}(\mathbb{R}^3)

abstract: We investigate the Ericksen-Leslie system for the Oseen-Frank model with unequal Frank elastic constants in $\mathbb{R}^3$. To generalize the result of Hineman-Wang \cite{HW}, we prove existence of solutions to the Ericksen-Leslie system with initial data having small $L^3_{uloc}$-norm. In particular, we use a new idea to obtain a local $L^3$-estimate through interpolation inequalities and a covering argument, which is different from the one in \cite{HW}. Moreover, for uniqueness of solutions, we find a new way to remove the restriction on the Frank elastic constants by using the rotation invariant property of the Oseen-Frank density. We combine this with a method of Li-Titi-Xin \cite{LTX} to prove uniqueness of the $L^3_{uloc}$-solutions of the Ericksen-Leslie system assuming that the initial data has a finite energy.


title: On the vanishing of almost all primary components of the Shafarevich-Tate group of elliptic curves over the rationals

abstract: The Shafarevich-Tate and Selmer groups arise in the context of Kummer theory for elliptic curves. The finiteness of the Shafarevich-Tate group of an elliptic curve $E$ over the field of rational numbers is included in the Birch and Swinnerton-Dyer conjectures, and is still an open question. We present an overview of the Shafarevich-Tate and Selmer groups of an elliptic curve in the framework of Galois cohomology. Known results on the finiteness of the Shafarevich-Tate group are mentioned, including results of Coates and Wiles, Rubin, Gross and Zagier, and Kolyvagin. We then prove the vanishing of the $\ell$-primary component of the Shafarevich-Tate group for almost all primes $\ell$, for any elliptic curve $E$ over the rationals without complex multiplication.


title: Microscopic dynamics of charge separation at the aqueous electrochemical interface

abstract: We have used molecular simulation and methods of importance sampling to study the thermodynamics and kinetics of ionic charge separation at a liquid water-metal interface. We have considered this process using canonical examples of two different classes of ions: a simple alkali-halide pair, Na$^+$I$^-$, or classical ions, and the products of water autoionization, H$_3$O$^+$OH$^-$, or water ions. We find that for both ion classes, the microscopic mechanism of charge separation, including water's collective role in the process, is conserved between the bulk liquid and the electrode interface. Despite this, the thermodynamic and kinetic details of the process differ between these two environments in a way that depends on ion type. In the case of the classical ion pairs, a higher free energy barrier to charge separation and a smaller flux over that barrier at the interface, results in a rate of dissociation that is 40x slower relative to the bulk. For water ions, a slightly higher free energy barrier is offset by a higher flux over the barrier from longer lived hydrogen bonding patters at the interface, resulting in a rate of association that is similar both at and away from the interface. We find that these differences in rates and stabilities of charge separation are due to the altered ability of water to solvate and reorganize in the vicinity of the metal interface.


title: Removal of Salt and Pepper noise from Gray-Scale and Color Images: An Adaptive Approach

abstract: An efficient adaptive algorithm for the removal of Salt and Pepper noise from gray scale and color image is presented in this paper. In this proposed method first a 3X3 window is taken and the central pixel of the window is considered as the processing pixel. If the processing pixel is found as uncorrupted, then it is left unchanged. And if the processing pixel is found corrupted one, then the window size is increased according to the conditions given in the proposed algorithm. Finally the processing pixel or the central pixel is replaced by either the mean, median or trimmed value of the elements in the current window depending upon different conditions of the algorithm. The proposed algorithm efficiently removes noise at all densities with better Peak Signal to Noise Ratio (PSNR) and Image Enhancement Factor (IEF). The proposed algorithm is compared with different existing algorithms like MF, AMF, MDBUTMF, MDBPTGMF and AWMF.


title: Strongly quasinonexpansive mappings, II

abstract: This paper is devoted to the study of strongly quasinonexpansive mappings in an abstract space and a Banach space.


title: Influence of random opinion change in complex networks

abstract: Opinion formation in the population has attracted extensive research interest. Various models have been introduced and studied, including the ones with individuals' free will allowing them to change their opinions. Such models, however, have not taken into account the fact that individuals with different opinions may have different levels of loyalty, and consequently, different probabilities of changing their opinions. In this work, we study on how the non-uniform distribution of the opinion changing probability may affect the final state of opinion distribution. By simulating a few different cases with different symmetric and asymmetric non-uniform patterns of opinion changing probabilities, we demonstrate the significant effects that the different loyalty levels of different opinions have on the final state of the opinion distribution.


title: Reconstruction of extended inflationary potentials for attractors

abstract: We give the procedure to reconstruct the extended inflationary potentials for attractors and use the $\alpha$ attractor and the constant-roll model as examples to show how to reconstruct the class of extended inflationary potentials in the strong coupling limit. We also derive the strong coupling condition which the coupling constant $\xi$ satisfies. The class of extended inflationary potentials has the same attractor, and the reconstructed extended inflationary potentials are consistent with the observational constraints. The existence of the attractors from extended inflationary models further challenges the model discrimination just by the observables $n_s$ and $r$.


title: Partial hyperplane activation for generalized intersection cuts

abstract: The generalized intersection cut (GIC) paradigm is a recent framework for generating cutting planes in mixed integer programming with attractive theoretical properties. We investigate this computationally unexplored paradigm and observe that a key hyperplane activation procedure embedded in it is not computationally viable. To overcome this issue, we develop a novel replacement to this procedure called partial hyperplane activation (PHA), introduce a variant of PHA based on a notion of hyperplane tilting, and prove the validity of both algorithms. We propose several implementation strategies and parameter choices for our PHA algorithms and provide supporting theoretical results. We computationally evaluate these ideas in the COIN-OR framework on MIPLIB instances. Our findings shed light on the the strengths of the PHA approach as well as suggest properties related to strong cuts that can be targeted in the future.


title: Preliminary Study on Bit-String Modelling of Opinion Formation in Complex Networks

abstract: Opinion formation has been gaining increasing research interests recently, and various models have been proposed. These models, however, have their limitations, among which noticeably include (i) it is generally assumed that adjacent nodes holding similar opinions will further reduce their difference in between, while adjacent nodes holding significantly different opinions would either do nothing, or cut the link in between them; (ii) opinion mutation, which describes "opinion changes not due to neighborhood influences" in real life, is typically random. While such models enjoy their simplicity and nevertheless help reveal lots of useful insights, they lack the capability of describing many complex behaviors which we may easily observe in real life. In this paper, we propose a new bit-string modeling approach. Preliminary study on the new model demonstrates its great potentials in revealing complex behaviors of social opinion evolution and formation.


title: Opinion diversity and community formation in adaptive networks

abstract: It is interesting and of significant importance to investigate how network structures co-evolve with opinions. The existing models of such co-evolution typically lead to the final states where network nodes either reach a global consensus or break into separated communities, each of which holding its own community consensus. Such results, however, can hardly explain the richness of real-life observations that opinions are always diversified with no global or even community consensus, and people seldom, if not never, totally cut off themselves from dissenters. In this article, we show that, a simple model integrating consensus formation, link rewiring and opinion change allows complex system dynamics to emerge, driving the system into a dynamic equilibrium with co-existence of diversified opinions. Specifically, similar opinion holders may form into communities yet with no strict community consensus; and rather than being separated into disconnected communities, different communities remain to be interconnected by non-trivial proportion of inter-community links. More importantly, we show that the complex dynamics may lead to different numbers of communities at steady state with a given tolerance between different opinion holders. We construct a framework for theoretically analyzing the co-evolution process. Theoretical analysis and extensive simulation results reveal some useful insights into the complex co-evolution process, including the formation of dynamic equilibrium, the phase transition between different steady states with different numbers of communities, and the dynamics between opinion distribution and network modularity, etc.


title: Space-efficient K-MER algorithm for generalized suffix tree

abstract: Suffix trees have emerged to be very fast for pattern searching yielding O (m) time, where m is the pattern size. Unfortunately their high memory requirements make it impractical to work with huge amounts of data. We present a memory efficient algorithm of a generalized suffix tree which reduces the space size by a factor of 10 when the size of the pattern is known beforehand. Experiments on the chromosomes and Pizza&Chili corpus show significant advantages of our algorithm over standard linear time suffix tree construction in terms of memory usage for pattern searching.


title: On Exchange Spectra of Valued Cluster Quivers and Cluster Algebras

abstract: Inspirited by the importance of the spectral theory of graphs, we introduce the spectral theory of valued cluster quiver of a cluster algebra. Our aim is to characterize a cluster algebra via its spectrum so as to use the spectral theory as a tool. First, we give the relations between exchange spectrum of a valued cluster quiver and adjacency spectrum of its underlying valued graph, and between exchange spectra of a valued cluster quiver and its full valued subquivers. The key point is to find some invariants from the spectrum theory under mutations of cluster algebras, which is the second part we discuss. We give a sufficient and necessary condition for a cluster quiver and its mutation to be cospectral. Following this discussion, the so-called cospectral subalgebra of a cluster algebra is introduced. We study bounds of exchange spectrum radii of cluster quivers and give a characterization of $2$-maximal cluster quivers via the classification of oriented graphs of its mutation equivalence. Finally, as an application of this result, we obtain that the preprojective algebra of a cluster quiver of Dynkin type is representation-finite if and only if the cluster quiver is $2$-maximal.


title: Inverse scattering transform for the nonlocal reverse space-time Sine-Gordon, Sinh-Gordon and nonlinear Schr\"{o}dinger equations with nonzero boundary conditions

abstract: The reverse space-time (RST) Sine-Gordon, Sinh-Gordon and nonlinear Schr\"odinger equations were recently introduced and shown to be integrable infinite-dimensional dynamical systems. The inverse scattering transform (IST) for rapidly decaying data was also constructed. In this paper, IST for these equations with nonzero boundary conditions (NZBCs) at infinity is presented. The NZBC problem is more complicated due to the associated branching structure of the associated linear eigenfunctions. With constant amplitude at infinity, four cases are analyzed; they correspond to two different signs of nonlinearity and two different values of the phase at infinity. Special soliton solutions are discussed and explicit 1-soliton and 2-soliton solutions are found. In terms of IST, the difference between the RST Sine-Gordon/Sinh-Gordon equations and the RST NLS equation is the time dependence of the scattering data. Spatially dependent boundary conditions are also briefly considered.


title: What Makes a Good App Description?

abstract: In the Google Play store, an introduction page is associated with every mobile application (app) for users to acquire its details, including screenshots, description, reviews, etc. However, it remains a challenge to identify what items influence users most when downloading an app. To explore users' perspective, we conduct a survey to inquire about this question. The results of survey suggest that the participants pay most attention to the app description which gives users a quick overview of the app. Although there exist some guidelines about how to write a good app description to attract more downloads, it is hard to define a high quality app description. Meanwhile, there is no tool to evaluate the quality of app description. In this paper, we employ the method of crowdsourcing to extract the attributes that affect the app descriptions' quality. First, we download some app descriptions from Google Play, then invite some participants to rate their quality with the score from one (very poor) to five (very good). The participants are also requested to explain every score's reasons. By analyzing the reasons, we extract the attributes that the participants consider important during evaluating the quality of app descriptions. Finally, we train the supervised learning models on a sample of 100 app descriptions. In our experiments, the support vector machine model obtains up to 62% accuracy. In addition, we find that the permission, the number of paragraphs and the average number of words in one feature play key roles in defining a good app description.


title: A short survey of recent results on Buschman-Erdelyi transmutations

abstract: This paper was published in the special issue of the Journal of Inequalities and Special Functions dedicated to Professor Ivan Dimovski's contributions to different fields of mathematics: transmutation theory, special functions, integral transforms, function theory etc. This short survey paper contains brief historical information, main known facts and original author's results on the theory of the Buschman-Erd\'{e}lyi transmutations and some of their applications. The operators of Buschman-Erd\'{e}lyi type were first studied by E.T.~Copson, R.G.~Buschman and A.~Erd\'{e}lyi as integral operators. In 1990's the author was first to prove the transmutational nature of these operators and published papers with detailed study of their properties. This class include as special cases such famous objects as the Sonine-Poisson-Delsarte transmutations and the fractional Riemann-Lioville integrals. In this paper, the Buschman-Erdelyi transmutations are logically classified as operators of the first kind with special case of zero order smoothness operators, second kind and third kind with special case of unitary Sonine-Katrakhov and Poisson-Katrakhov transmutations. We study such properties as transmutational conditions, factorizations, norm estimates, connections with classical integral transforms. Applications are considered to singular partial differential equations, embedding theorems with sharp constants in Kipriyanov spaces, Euler-Poisson-Darboux equation including Copson lemma, generalized translations, Dunkl operators, Radon transform, generalized harmonics theory, Hardy operators, V.\,Katrakhov's results on pseudodifferential operators and boundary-value problems of new kind for equations with solutions of arbitrary growth at the isolated singularity for elliptic partial differential equations.


title: Lepton flavor violating Higgs Boson Decays in Supersymmetric High Scale Seesaw Models

abstract: Within the MSSM, we have evaluated the decay rates for the lepton flavour violating Higgs boson decays (LFVHD) $h \rightarrow l_i l_j$ where $l_{i,j}$ are charged leptons and $i\neq j$. This has been done in a model independent (MI) way as well as in supersymmetric high scale seesaw models, in particular Type I see-saw model. Lepton flavour violation (LFV) is generated by non-diagonal entries in the mass matrix of the sleptons. In a first step we use the model independent approach where LFV (off-diagonal entries in the mass matrix) is introduced by hand while respecting the direct search constraints from the charged lepton flavor violating (cLFV) processes. In the second step we use high scale see-saw models where LFV is generated via renormalization group equations (RGE) from the grand unification scale (GUT) down to electroweak scale. cLFV decays are the most restrictive ones and exclude a large part of the parameter space for the MI as well as the high scale see-saw scenarios. Due to very strict constraints from cLFV, it is difficult to find large corrections to LFVHD. This applies in particular to $h \rightarrow \tau \mu$ where hints of an excess have been observed. If this signal is confirmed, it could not be explained with the models under investigation.