title: Bases for spaces of highest weight vectors in arbitrary characteristic

abstract: Let k be an algebraically closed field of arbitrary characteristic. First we give explicit bases for the highest weight vectors for the action of GL_r x GL_s on the coordinate ring k[Mat_{rs}^m] of m-tuples of r x s-matrices. It turns out that this is done most conveniently by giving an explicit good GL_r x GL_s-filtration on k[Mat_{rs}^m]. Then we deduce from this result explicit spanning sets of the k[Mat_n]^{GL_n}-modules of highest weight vectors in the coordinate ring k[Mat_n] under the conjugation action of GL_n.


title: Mean-Field Variational Inference for Gradient Matching with Gaussian Processes

abstract: Gradient matching with Gaussian processes is a promising tool for learning parameters of ordinary differential equations (ODE's). The essence of gradient matching is to model the prior over state variables as a Gaussian process which implies that the joint distribution given the ODE's and GP kernels is also Gaussian distributed. The state-derivatives are integrated out analytically since they are modelled as latent variables. However, the state variables themselves are also latent variables because they are contaminated by noise. Previous work sampled the state variables since integrating them out is \textit{not} analytically tractable. In this paper we use mean-field approximation to establish tight variational lower bounds that decouple state variables and are therefore, in contrast to the integral over state variables, analytically tractable and even concave for a restricted family of ODE's, including nonlinear and periodic ODE's. Such variational lower bounds facilitate "hill climbing" to determine the maximum a posteriori estimate of ODE parameters. An additional advantage of our approach over sampling methods is the determination of a proxy to the intractable posterior distribution over state variables given observations and the ODE's.


title: A Noisy-Influence Regularity Lemma for Boolean Functions

abstract: We present a regularity lemma for Boolean functions $f:\{-1,1\}^n \to \{-1,1\}$ based on noisy influence, a measure of how locally correlated $f$ is with each input bit. We provide an application of the regularity lemma to weaken the conditions on the Majority is Stablest Theorem. We also prove a "homogenized" version stating that there is a set of input bits so that most restrictions of $f$ on those bits have small noisy influences. These results were sketched out by [OSTW10], but never published. With their permission, we present the full details here.


title: Physical parameters of late M-type members of Chamaleon I and TW Hydrae Association: Dust settling, age dispersion and activity

abstract: Although mid-to-late type M dwarfs are the most common stars in our stellar neighborhood, our knowledge of these objects is still limited. Open questions include the evolution of their angular momentum, internal structures, dust settling in their atmospheres, age dispersion within populations. In addition, at young ages, late-type Ms have masses below the hydrogen burning limit and therefore are key objects in the debate on the brown dwarf mechanism of formation. In this work we determine and study in detail the physical parameters of two samples of young, late M-type sources belonging to either the Chamaeleon I Dark Cloud or the TW Hydrae Association and compare them with the results obtained in the literature for other young clusters and also for older, field, dwarfs. We used multi-wavelength photometry to construct and analyze SEDs to determine general properties of the photosphere and disk presence. We also used low resolution optical and near-infrared spectroscopy to study activity, accretion, gravity and effective temperature sensitive indicators. We propose a VO-based spectral index that is both temperature and age sensitive. We derived physical parameters using independent techniques confirming the already common feature/problem of the age/luminosity spread. In particular, we highlight two brown dwarfs showing very similar temperatures but clearly different surface gravity (explained invoking extreme early accretion). We also show how, despite large improvement in the dust treatment in theoretical models, there is still room for further progress in the simultaneous reproduction of the optical and near-infrared features of these cold young objects.


title: Improved Method to extract Nucleon Helicity Distributions using Event Weighting

abstract: An improved analysis method to extract quark helicity distributions in leading order (LO) QCD from semi-inclusive double spin asymmetries in deep inelastic scattering is presented. The method relies on the fact that fragmentation functions, describing the fragmentation of a quark into a hadron, have a strong dependence on the energy fraction $z$ of the observed hadron. Hadrons with large $z$ contain more information about the struck quark. This can be used in a weighting procedure to improve the figure of merit (= inverse of variance). In numerical examples it is shown that one could gain 15-39\% depending on the quark flavor and cut on $z$. Mathematically the problem can be described as finding an optimal solution in terms of the figure of merit for parameters $\boldsymbol \Theta$ determined from a system of linear equations ${\bf B}(x) {\boldsymbol \Theta} ={\bf Y}(x)$, where the measured input vector ${\bf Y}(x)$ is given as event distributions depending on a random variable $x$, the coefficients of the matrix ${\bf B}(x)$ depend as well on $x$, whereas the parameter vector $\boldsymbol\Theta$ to be determined does not.


title: Estimation and simulation of foraging trips in land-based marine predators

abstract: The behaviour of colony-based marine predators is the focus of much research globally. Large telemetry and tracking data sets have been collected for this group of animals, and are accompanied by many theoretical studies of optimal foraging strategies. However, relatively few studies have detailed statistical methods for inferring behaviours in central place foraging trips. In this paper we describe an approach based on hidden Markov models, which splits foraging trips into segments labelled as "outbound", "search", "forage", and "inbound". By structuring the hidden Markov model transition matrix appropriately, the model naturally handles the sequence of behaviours within a foraging trip. Additionally, by structuring the model in this way, we are able to develop realistic simulations from the fitted model. We demonstrate our approach on data from southern elephant seals (Mirounga leonina) tagged on Kerguelen Island in the Southern Ocean. We discuss the differences between our 4-state model and the widely used 2-state model, and the advantages and disadvantages of employing a more complex model.


title: Phonon-particle coupling effects in odd-even double mass differences of semi-magic nuclei

abstract: A method is developed to consider the particle-phonon coupling (PC) effects in the calculation of the odd-even double mass differences (DMD) in semi-magic nuclei starting from the free $NN$-potential. The PC correction $\delta \Sigma^{\rm PC}$ to the mass operator $\Sigma$ is found in $g_L^2$-approximation, $g_L$ being the vertex of creating the $L$-phonon. The tadpole term of the operator $\delta \Sigma^{\rm PC}$ is taken into account. The method is based on a direct, without any use of the perturbation theory, solution of the Dyson equation with the mass operator $\Sigma(\epsilon){=}\Sigma_0{+}\delta \Sigma^{\rm PC}(\epsilon)$ for finding the single-particle energies and $Z$-factors. In its turn, they are used as an input for finding different PC corrections to the DMD values. Results for a chain of even semi-magic nuclei $^{200-206}$Pb show that the inclusion of the PC corrections makes agreement with the experimental data significantly better.


title: Role of quantum fluctuations in structural dynamics of liquids of light molecules

abstract: A possible role of quantum effects, such as tunneling and zero-point energy, in the structural dynamics of supercooled liquids is studied by dielectric spectroscopy. Presented results demonstrate that the liquids, bulk 3-methylpentane 3MP and confined normal and deuterated water have low glass transition temperature and unusually low for their class of materials steepness of the temperature dependence of structural relaxation, or fragility. Although we do not find any signs of tunneling in structural relaxation of these liquids, their unusually low fragility can be well described by the influence of the quantum fluctuations. Confined water presents especially interesting case in comparison to the earlier data on bulk low-density amorphous and vapor deposited water. Confined water exhibits much weaker isotope effect than bulk water, although the effect is still significant. We show that it can be ascribed to the change of the energy barrier for relaxation due to a decrease in the zero-point energy upon D-H substitution. The observed difference in the behavior of confined and bulk water demonstrates high sensitivity of quantum effects to the barrier heights and structure of water. Moreover, these results demonstrate that extrapolation of confined water properties to the bulk water behavior is questionable.


title: Compact and "compact" operators on the standard Hilbert module over a $W^*$ algebra

abstract: We construct a topology on the standard Hilbert module $l^2(\mathcal A)$ over a unital $W^*$-algebra $\mathcal A$ such that any "compact" operator, (i.e.\ any operator in the norm closure of the linear span of the operators of the form $x\mapsto\left<y,x\right>z$) maps bounded sets into totally bounded sets.


title: Measuring the Attenuation Length of Water in the CHIPS-M Water Cherenkov Detector

abstract: The water at the proposed site of the CHIPS water Cherenkov detector has been studied to measure its attenuation length for Cherenkov light as a function of filtering time. A scaled model of the CHIPS detector filled with water from the Wentworth 2W pit, proposed site of the CHIPS deployment, in conjunction with a 3.2\unit{m} vertical column filled with this water, was used to study the transmission of 405nm laser light. Results consistent with attenuation lengths of up to 100m were observed for this wavelength with filtration and UV sterilization alone.


title: Scale-Dependent Pedotransfer Functions Reliability for Estimating Saturated Hydraulic Conductivity

abstract: Saturated hydraulic conductivity Ksat is a fundamental characteristic in modeling flow and contaminant transport in soils and sediments. Therefore, many models have been developed to estimate Ksat from easily measureable parameters, such as textural properties, bulk density, etc. However, Ksat is not only affected by textural and structural characteristics, but also by scale e.g., internal diameter and height. Using the UNSODA database and the contrast pattern aided regression (CPXR) method, we recently developed scale-dependent pedotransfer functions to estimate Ksat from textural data, bulk density, and sample dimensions. The main objectives of this study were evaluating the proposed pedotransfer functions using a larger database, and comparing them with seven other models. For this purpose, we selected more than nineteen thousands soil samples from all around the United States. Results showed that the scale-dependent pedotransfer functions estimated Ksat more accurately than seven other models frequently used in the literature.


title: Spin-torque switching in large size nano-magnet with perpendicular magnetic fields

abstract: DC current induced magnetization reversal and magnetization oscillation was observed in 500 nm large size Co90Fe10/Cu/Ni80Fe20 pillars. A perpendicular external field enhanced the coercive field separation between the reference layer (Co90Fe10) and free layer (Ni80Fe20) in the pseudo spin valve, allowing a large window of external magnetic field for exploring the free-layer reversal. The magnetization precession was manifested in terms of the multiple peaks on the differential resistance curves. Depending on the bias current and applied field, the regions of magnetic switching and magnetization precession on a dynamical stability diagram has been discussed in details. Micromagnetic simulations are shown to be in good agreement with experimental results and provide insight for synchronization of inhomogenieties in large sized device. The ability to manipulate spin-dynamics on large size devices could prove useful for increasing the output power of the spin-transfer nano-oscillators (STNOs).


title: Permutation tests in the two-sample problem for functional data

abstract: Three different permutation test schemes are discussed and compared in the context of the two-sample problem for functional data. One of the procedures was essentially introduced by Lopez-Pintado and Romo (2009), using notions of functional data depth to adapt the ideas originally proposed by Liu and Singh (1993) for multivariate data. Of the new methods introduced here, one is also based on functional data depths, but uses a different way (inspired by Meta-Analysis) to assess the significance of the depth differences. The second new method presented here adapts, to the functional data setting, the k-nearest-neighbors statistic of Schilling (1986). The three methods are compared among them and against the test of Horvath and Kokoszka (2012) in simulated examples and real data. The comparison considers the performance of the statistics in terms of statistical power and in terms of computational cost.


title: Discreteness of interior transmission eigenvalues revisited

abstract: This paper is devoted to the discreteness of the transmission eigenvalue problems. It is known that this problem is not self-adjoint and a priori estimates are non-standard and do not hold in general. Two approaches are used. The first one is based on the multiplier technique and the second one is based on the Fourier analysis. The key point of the analysis is to establish the compactness and the uniqueness for Cauchy problems under various conditions. Using these approaches, we are able to rediscover quite a few known discreteness results in the literature and obtain various new results for which only the information near the boundary are required and there might be no contrast of the coefficients on the boundary.


title: Observables, evolution equation,and stationary states equation in the joint probability representation of quantum mechanics

abstract: Symplectic and optical joint probability representations of quantum mechanics are considered, in which the functions describing the states are the probability distributions with all random arguments (except the argument of time ). The general formalism of quantizers and dequantizers determining the star product quantization scheme in these representations is given. Taking the Gaussian functions as the distributions of the tomographic parameters the correspondence rules for most interesting physical operators are found and the expressions of the dual symbols of operators in the form of singular and regular generalized functions are derived. Evolution equations and stationary states equations for symplectic and optical joint probability distributions are obtained.


title: Polarization-dependent interference between dipole moments of a resonantly excited quantum dot

abstract: Resonant photoluminescence excitation (RPLE) spectra of a neutral InGaAs quantum dot show an unconventional line-shape that depends on the detection polarization. We characterize this phenomenon by performing polarization-dependent RPLE measurements and simulating the measured spectra with a 3-level quantum model. This analysis enables us to extract the coherence between the two exciton states from the measured spectra. The good agreement between the data and model indicates that the interference between coherent scatterings from both fine structure split exciton states is the key to understanding this phenomenon.


title: On holomorphic functions with cluster sets of finite linear measure

abstract: We prove that if f is a holomorphic function on the open unit disc in C whose cluster set C(f) has finite linear measure and is such that the complement of C(f) has finitely many components, then the derivative of f belongs to the Hardy space H^1.


title: A Lie theoretical construction of a Landau-Ginzburg model without projective mirrors

abstract: We describe the Fukaya-Seidel category of a Landau-Ginzburg model LG(2) for the semisimple adjoint orbit of sl(2,C). We prove that this category is equivalent to a full triangulated subcategory of the category of coherent sheaves on the second Hirzebruch surface. We show that no projective variety can be mirror to LG(2), and that this remains so after compactification.


title: Collisional relaxation in the inhomogeneous Hamiltonian-Mean-Field model: diffusion coefficients

abstract: Systems of particles with long range interactions present two important processes: first, the formation of out-of-equilibrium quasi-stationary states (QSS), and the collisional relaxation towards Maxwell-Boltzmann equilibrium in a much longer timescale. In this paper, we study the collisional relaxation in the Hamiltonian-Mean-Field model (HMF) using the appropriate kinetic equations for a system of $N$ particles at order $1/N$ : the Landau equation when collective effects are neglected and the Lenard-Balescu equation when they are taken into account. We derive explicit expressions for the diffusion coefficients using both equations for any magnetization, and we obtain analytic expressions for highly clustered configurations. An important conclusion is that in this system collective effects are crucial in order to describe the relaxation dynamics. We compare the diffusion calculated with the kinetic equations with simulations set up to simulate the system with or without collective effects, obtaining a very good agreement between theory and simulations.


title: Multiple magnetic states within the A-phase determined by field-orientation dependence of Mn0.9Fe0.1Si

abstract: We report three distinct regions within the A-phase in Fe-doped MnSi, based on the evolution of magnetoresistance and the Hall effect as a function of orientation of applied field. Fe impurities as pinning centers and crystalline anisotropy are found non-negligible only at the boundary of the A-phase. Electrical transport characteristics unique to the A-phase not only remain robust, but also indicate a freely rotating skyrmion lattice, decoupled from underlying crystal structure or impurity pinning.


title: Optimally convergent HDG method for third-order Korteweg-de Vries type equations

abstract: We develop and analyze a new hybridizable discontinuous Galerkin (HDG) method for solving third-order Korteweg-de Vries type equations. The approximate solutions are defined by a discrete version of a characterization of the exact solution in terms of the solutions to local problems on each element which are patched together through transmission conditions on element interfaces. We prove that the semi-discrete scheme is stable with proper choices of stabilization function in the numerical traces. For the linearized equation, we carry out error analysis and show that the approximations to the exact solution and its derivatives have optimal convergence rates. In numerical experiments, we use an implicit scheme for time discretization and the Newton-Raphson method for solving systems of nonlinear equations, and observe optimal convergence rates for both the linear and the nonlinear third-order equations.


title: Biquasiles and Dual Graph Diagrams

abstract: We introduce \textit{dual graph diagrams} representing oriented knots and links. We use these combinatorial structures to define corresponding algebraic structures we call \textit{biquasiles} whose axioms are motivated by dual graph Reidemeister moves, generalizing the Dehn presentation of the knot group analogously to the way quandles and biquandles generalize the Wirtinger presentation. We use these structures to define invariants of oriented knots and links and provide examples.


title: Singular diffusionless limits of double-diffusive instabilities in magnetohydrodynamics

abstract: We study local instabilities of a differentially rotating viscous flow of electrically conducting incompressible fluid subject to an external azimuthal magnetic field. In the presence of the magnetic field the hydrodynamically stable flow can demonstrate non - axisymmetric azimuthal magnetorotational instability (AMRI) both in the diffusionless case and in the double-diffusive case with viscous and ohmic dissipation. Performing stability analysis of amplitude transport equations of short-wavelength approximation, we find that the threshold of the diffusionless AMRI via the Hamilton-Hopf bifurcation is a singular limit of the thresholds of the viscous and resistive AMRI corresponding to the dissipative Hopf bifurcation and manifests itself as the Whitney umbrella singular point. A smooth transition between the two types of instabilities is possible only if the magnetic Prandtl number is equal to unity, $\rm Pm=1$. At a fixed $\rm Pm\ne 1$ the threshold of the double-diffusive AMRI is displaced by finite distance in the parameter space with respect to the diffusionless case even in the zero dissipation limit. The complete neutral stability surface contains three Whitney umbrella singular points and two mutually orthogonal intervals of self-intersection. At these singularities the double-diffusive system reduces to a marginally stable system which is either Hamiltonian or parity-time (PT) symmetric.

categories: astro-ph.SR math-ph math.DS math.MP physics.flu-dyn physics.plasm-ph


title: The cohomology of $\mathcal{M}_{0,n}$ as an FI-module

abstract: In this paper we revisit the cohomology groups of the moduli space of $n$-pointed curves of genus zero using the FI-module perspective introduced by Church-Ellenberg-Farb. We recover known results about the corresponding representations of the symmetric group.


title: Learning Cost-Effective Treatment Regimes using Markov Decision Processes

abstract: Decision makers, such as doctors and judges, make crucial decisions such as recommending treatments to patients, and granting bails to defendants on a daily basis. Such decisions typically involve weighting the potential benefits of taking an action against the costs involved. In this work, we aim to automate this task of learning \emph{cost-effective, interpretable and actionable treatment regimes}. We formulate this as a problem of learning a decision list -- a sequence of if-then-else rules -- which maps characteristics of subjects (eg., diagnostic test results of patients) to treatments. We propose a novel objective to construct a decision list which maximizes outcomes for the population, and minimizes overall costs. We model the problem of learning such a list as a Markov Decision Process (MDP) and employ a variant of the Upper Confidence Bound for Trees (UCT) strategy which leverages customized checks for pruning the search space effectively. Experimental results on real world observational data capturing judicial bail decisions and treatment recommendations for asthma patients demonstrate the effectiveness of our approach.


title: Convergence Analysis for Second Order Accurate Convex Splitting Schemes for the Periodic Nonlocal Allen-Cahn and Cahn-Hilliard Equations

abstract: In this paper we provide a detailed convergence analysis for fully discrete second order (in both time and space) numerical schemes for nonlocal Allen-Cahn (nAC) and nonlocal Cahn-Hilliard (nCH) equations. The unconditional unique solvability and energy stability ensures $\ell^4$ stability. The convergence analysis for the nAC equation follows the standard procedure of consistency and stability estimate for the numerical error function. For the nCH equation, due to the complicated form of the nonlinear term, a careful expansion of its discrete gradient is undertaken and an $H^{-1}$ inner product estimate of this nonlinear numerical error is derived to establish convergence. In addition, an a-priori $W^{1,\infty}$ bound of the numerical solution at the discrete level is needed in the error estimate. Such a bound can be obtained by performing a higher order consistency analysis by using asymptotic expansions for the numerical solution. Following the technique originally proposed by Strang (e.g., 1964), instead of the standard comparison between the exact and numerical solutions, an error estimate between the numerical solution and the constructed approximate solution yields an $O( s^3 + h^4)$ convergence in $\ell^\infty (0, T; \ell^2)$ norm, which leads to the necessary bound under a standard constraint $s \le C h$. Here, we also prove convergence of the scheme in the maximum norm under the same constraint.


title: Optimal Control for Network Coding Broadcast

abstract: Random linear network coding (RLNC) has been shown to efficiently improve the network performance in terms of reducing transmission delays and increasing the throughput in broadcast and multicast communications. However, it can result in increased storage and computational complexity at the receivers end. In our previous work we considered the broadcast transmission of large file to N receivers. We showed that the storage and complexity requirements at the receivers end can be greatly reduced when segmenting the file into smaller blocks and applying RLNC to these blocks. To that purpose, we proposed a packet scheduling policy, namely the Least Received. In this work we will prove the optimality of our previously proposed policy, in terms of file transfer completion time, when N = 2. We will model our system as a Markov Decision Process and prove the optimality of the policy using Dynamic Programming. Our intuition is that the Least Received policy may be optimal regardless of the number of receivers. Towards that end, we will provide experimental results that verify that ntuition.


title: Tracy-Widom fluctuations for perturbations of the log-gamma polymer in intermediate disorder

abstract: The free-energy fluctuations of the discrete directed polymer in 1+1 dimensions is conjecturally in the Tracy-Widom universality class at all finite temperatures and in the intermediate disorder regime. Sepp\"al\"ainen's log-gamma polymer was proven to have GUE Tracy-Widom fluctuations in a restricted temperature range by Borodin et. al. (2013). We remove this restriction, and extend this result into the intermediate disorder regime. This result also identifies the scale of fluctuations of the log-gamma polymer in the intermediate disorder regime, and thus verifies a conjecture of Alberts et. al. (2010). Using a perturbation argument, we show that any polymer that matches a certain number of moments with the log-gamma polymer also has Tracy-Widom fluctuations in intermediate disorder.


title: Graded Betti numbers of good filtrations

abstract: The asymptotic behavior of graded Betti numbers of powers of homogeneous ideals in a polynomial ring over a field has recently been reviewed. We extend quasi polynomial behavior of graded Betti numbers of powers of homogenous ideals to Z-graded algebra over Notherian local ring. Furthermore our main result treats the Betti table of filtrations which is finite or integral over the Rees algebra.


title: Legendrian Fronts for Affine Varieties

abstract: In this article we study Weinstein structures endowed with a Lefschetz fibration in terms of the Legendrian front projection. First we provide a systematic recipe for translating from a Weinstein Lefschetz bifibration to a Legendrian handlebody. Then we present several applications of this technique to symplectic topology. This includes the detection of flexibility and rigidity for several families of Weinstein manifolds and the existence of closed exact Lagrangian submanifolds. In addition, we prove that the Koras--Russell cubic is Stein deformation equivalent to affine complex 3-space and verify the affine parts of the algebraic mirrors of two Weinstein 4-manifolds.


title: Data Polygamy: The Many-Many Relationships among Urban Spatio-Temporal Data Sets

abstract: The increasing ability to collect data from urban environments, coupled with a push towards openness by governments, has resulted in the availability of numerous spatio-temporal data sets covering diverse aspects of a city. Discovering relationships between these data sets can produce new insights by enabling domain experts to not only test but also generate hypotheses. However, discovering these relationships is difficult. First, a relationship between two data sets may occur only at certain locations and/or time periods. Second, the sheer number and size of the data sets, coupled with the diverse spatial and temporal scales at which the data is available, presents computational challenges on all fronts, from indexing and querying to analyzing them. Finally, it is non-trivial to differentiate between meaningful and spurious relationships. To address these challenges, we propose Data Polygamy, a scalable topology-based framework that allows users to query for statistically significant relationships between spatio-temporal data sets. We have performed an experimental evaluation using over 300 spatial-temporal urban data sets which shows that our approach is scalable and effective at identifying interesting relationships.


title: Distance signless Laplacian spectral radius and Hamiltonian properties of graphs

abstract: In this paper, first, we establish a sufficient condition for a bipartite graph to be Hamilton-connected. Furthermore, we also give two sufficient conditions on distance signless Laplacian spectral radius for a graph to be Hamilton-connected and traceable from every vertex, respectively. Last, we obtain a sufficient condition for a graph to be Hamiltonian in terms of the distance signless Laplacian spectral radius of $G^{C}$.


title: The IBM Quantum Computer and the IBM Quantum Experience

abstract: The announcement of a quantum computer that can be accessed remotely by anyone from its laptop is a big event for the quantum computation scientist. In this work we present the International Business Machines (IBM) quantum computer and its platform IBM Quantum Experience (IBM-QE) as a didactic proposal in quantum computation and information. In addition we also consider this paper as scientific divulgation of the IMB advertisement. In this paper we show the main tool (quantum gates) present in the IBM-QE and, through a simple strategy, we discuss about a possible decoherence source in the IBM 5 q-bit chips. As an example of application of our study, we show how to implement the quantum teleportation using the IBM-QE.


title: Troubles with the radiation reaction in electrodynamics

abstract: The dynamics of a radiating charge is one of the oldest unsettled problems in classical physics. The standard Lorentz-Abraham-Dirac (LAD) equation of motion is known to suffer from several pathologies and ambiguities. This paper briefly reviews these issues, and reports on a new model that fixes these difficulties in a natural way. This model is based on a hypothesis that there is an infinitesimal time delay between action and reaction. This can be related to Feynman's regularization scheme, leading to a quasi-local QED with a natural UV cutoff, hence without the need for renormalization as the divergences are absent. Besides leading to a pathology-free equation of motion, the new model predicts a modification of the Larmor formula that is testable with current and near future ultra-intense lasers.


title: Polarization Squeezing in Degenerate Parametric Amplification of Coherent Light

abstract: We study polarization squeezing of a light beam initially in the coherent state using the nonlinear interaction hamiltonian $ H=k\big(\hat a_{x}^{\dagger2}+{\hat a_{x}}^2\big)$. For the degree of polarization squeezing, we use a definition written in the final form by the authors and also used in earlier papers. We find that the polarization squeezing can be very high and the degree of polarization squeezing can be less than unity by a very small amount. We achieve the polarization squeezing even for very low beam intensity under some conditions involving phase angles in the polarization modes.


title: A proof of the butterfly theorem using the scale factor between the two wings

abstract: We give a new proof of the butterfly theorem, based on the use of several expressions involving the scale factor between the two wings.


title: Efficient Certified Resolution Proof Checking

abstract: We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-art checker by two orders of magnitude. We then formalize the theory underlying propositional proof checking in Coq, and extract a correct-by-construction proof checker for our format from the formalization. An empirical evaluation using 280 unsatisfiable instances from the 2015 and 2016 SAT competitions shows that this certified checker usually performs comparably to a state-of-the-art non-certified proof checker. Using this format, we formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture.


title: Spectral Angle Based Unary Energy Functions for Spatial-Spectral Hyperspectral Classification using Markov Random Fields

abstract: In this paper, we propose and compare two spectral angle based approaches for spatial-spectral classification. Our methods use the spectral angle to generate unary energies in a grid-structured Markov random field defined over the pixel labels of a hyperspectral image. The first approach is to use the exponential spectral angle mapper (ESAM) kernel/covariance function, a spectral angle based function, with the support vector machine and the Gaussian process classifier. The second approach is to directly use the minimum spectral angle between the test pixel and the training pixels as the unary energy. We compare the proposed methods with the state-of-the-art Markov random field methods that use support vector machines and Gaussian processes with squared exponential kernel/covariance function. In our experiments with two datasets, it is seen that using minimum spectral angle as unary energy produces better or comparable results to the existing methods at a smaller running time.


title: ${\Upsilon}(1S)$ ${\to}$ $B_{c}{\pi}$, $B_{c}K$ decays with perturbative QCD approach

abstract: With the potential prospects of the ${\Upsilon}(1S)$ at high-luminosity dedicated heavy-flavor factories, the bottom-changing ${\Upsilon}(1S)$ ${\to}$ $B_{c}{\pi}$, $B_{c}K$ weak decays are studied with the pQCD approach. It is found that branching ratio for the color-favored and CKM-favored ${\Upsilon}(1S)$ ${\to}$ $B_{c}{\pi}$ decay can reach up to ${\cal O}(10^{-11})$. So the ${\Upsilon}(1S)$ ${\to}$ $B_{c}{\pi}$ decay might be measured promisingly by the future experiments.


title: Multitask Learning of Vegetation Biochemistry from Hyperspectral Data

abstract: Statistical models have been successful in accurately estimating the biochemical contents of vegetation from the reflectance spectra. However, their performance deteriorates when there is a scarcity of sizable amount of ground truth data for modeling the complex non-linear relationship occurring between the spectrum and the biochemical quantity. We propose a novel Gaussian process based multitask learning method for improving the prediction of a biochemical through the transfer of knowledge from the learned models for predicting related biochemicals. This method is most advantageous when there are few ground truth data for the biochemical of interest, but plenty of ground truth data for related biochemicals. The proposed multitask Gaussian process hypothesizes that the inter-relationship between the biochemical quantities is better modeled by using a combination of two or more covariance functions and inter-task correlation matrices. In the experiments, our method outperformed the current methods on two real-world datasets.


title: Mathematical Theory for Quantum Phase Transitions

abstract: Quantum Phase Transition (QPT) is a phase transition between different quantum states by adjusting some control parameters. Based on the Principle of Hamilton Dynamics (PHD) and the Principle of Lagrangian Dynamics (PLD), a general QPT model is established. Also, a definition of QPT is given. The important point is that the QPT model is applied to Bose-Einstein Condensate (BEC) and the corresponding bifurcation solutions (i.e., the quantum states) are obtained by using steady state bifurcation theory.


title: Enhanced spin-orbit torque via modulation of spin current absorption

abstract: The magnitude of spin-orbit torque (SOT), exerted to a ferromagnet (FM) from an adjacent heavy metal (HM), strongly depends on the amount of spin currents absorbed in the FM. We exploit the large spin absorption at the Ru interface to manipulate the SOTs in HM/FM/Ru multilayers. While the FM thickness is smaller than its spin dephasing length of 1.2 nm, the top Ru layer largely boosts the absorption of spin currents into the FM layer and substantially enhances the strength of SOT acting on the FM. Spin-pumping experiments induced by ferromagnetic resonance support our conclusions that the observed increase in the SOT efficiency can be attributed to an enhancement of the spin-current absorption. A theoretical model that considers both reflected and transmitted mixing conductances at the two interfaces of FM is developed to explain the results.


title: Finite Basis for Radical Well-Mixed Difference Ideals Generated by Binomials

abstract: In this paper, we prove a finite basis theorem for radical well-mixed difference ideals generated by binomials. As a consequence, every strictly ascending chain of radical well-mixed difference ideals generated by binomials in a difference polynomial ring is finite, which answers a question raised by E. Hrushovski in the binomial case.


title: Relating Microstructure and Particle-level Stress in Colloidal Crystals Under Increased Confinement

abstract: The mechanical properties of crystalline materials can be substantially modified under confinement. Such modified macroscopic properties are usually governed by the altered microstructures and internal stress fields. Here, we use a parallel plate geometry to apply a quasi-static squeeze flow crushing a colloidal polycrystal while simultaneously imaging it with confocal microscopy. The confocal images are used to quantify the local structure order and, in conjunction with Stress Assessment from Local Structural Anisotropy (SALSA), determine the stress at the single-particle scale. We find that during compression, the crystalline regions break into small domains with different geometric packing. These domains are characterized by a pressure and deviatoric stress that are highly localized with correlation lengths that are half those found in bulk. Furthermore, the mean deviatoric stress almost doubles, suggesting a higher brittleness in the highly-confined samples.


title: Sensitivity of stellar electron-capture rates to parent neutron number: A case study on a continuous chain of twenty Vanadium isotopes

abstract: Gamow-Teller (GT) strength distributions (B(GT)) in electron-capture (EC) daughters stemming from the parent ground state are computed with the shell-model in the full pf-shell space, with quasi-particle random-phase approximation (QRPA) in the formalism of Krumlinde and M\"oller and with an Approximate Method (AM) for assigning an effective B(GT). These are compared to data available from decay and charge-exchange (CE) experiments across titanium isotopes in the pf-shell from A=43 to A=62, the largest set available for any chain of isotopes in the pf-shell. The present study is the first to examine B(GT) and the associated EC rates across a particular chain of isotopes with the purpose of examining rate sensitivities as neutron number increases. EC rates are also computed for a wide variety of stellar electron densities and temperatures providing concise estimates of the relative size of rate sensitivities for particular astrophysical scenarios. This work underscores the astrophysical motivation for CE experiments in inverse kinematics for nuclei away from stability at the luminosities of future Radioactive Ion Beam Facilities.


title: A Finite-Element Coarse-Grid Projection Method: A Dual Acceleration/Mesh Refinement Tool for Incompressible Flows

abstract: Coarse grid projection (CGP) methodology is a novel multigrid method for systems involving decoupled nonlinear evolution equations and linear elliptic Poisson equations. The nonlinear equations are solved on a fine grid and the linear equations are solved on a corresponding coarsened grid. Mapping operators execute data transfer between the grids. The CGP framework is constructed upon spatial and temporal discretization schemes. This framework has been established for finite volume/difference discretizations as well as explicit time integration methods. In this article we present for the first time a version of CGP for finite element discretizations, which uses a semi-implicit time integration scheme. The mapping functions correspond to the finite-element shape functions. With the novel data structure introduced, the mapping computational cost becomes insignificant. We apply CGP to pressure-correction schemes used for the incompressible Navier-Stokes flow computations. This version is validated on standard test cases with realistic boundary conditions using unstructured triangular meshes. We also pioneer investigations of the effects of CGP on the accuracy of the pressure field. It is found that although CGP reduces the pressure field accuracy, it preserves the accuracy of the pressure gradient and thus the velocity field, while achieving speedup factors ranging from approximately 2 to 30. Exploring the influence of boundary conditions on CGP, the minimum speedup occurs for velocity Dirichlet boundary conditions, while the maximum speedup occurs for open boundary conditions. We discuss the CGP method as a guide for partial mesh refinement of incompressible flow computations and show its application for simulations of flow over a backward-facing step and flow past a cylinder.


title: Production of charmed baryon $\Lambda_c(2940)$ by kaon-induced reaction on a proton target

abstract: We investigate the possibility to study the charmed baryon $\Lambda_c(2940)$ by kaon-induced reaction on a proton target. By assuming the $\Lambda_c(2940)$ as a $pD^{*0}$ molecular state with spin-parity $J^{p}=1/2^{\pm}$, an effective Lagrangian approach was adopted to calculate the cross section, the $D^0p$ invariant mass spectrum and Dalitz plot of the $\Lambda(2940)$ production. The total cross section of the $K^{-}p\to\Lambda_c(2940)D_s^{-}$ reaction is found at an order of magnitude about 10 $\mu$b. By considering the sub sequential decay $\Lambda_c(2940)\to{}D^0p$ with contributions from the $\Lambda_c(2286)$ and the $\Sigma_c(2455)$ as background, the $K^{-}p\to{}D_{s}^{-}D^{0}p$ reaction are studied. It is found that the $\Lambda_c(2940)$ is produced mainly at forward angles. The $\Lambda_c(2940)$ signal is predicted to be significant in the $D^0p$ invariant mass spectrum and the Dalitz plot of the $K^{-}p\to{}D_{s}^{-}D^{0}p$ reaction. The results suggest that it is promising to study the $\Lambda_c(2940)$ with high-energy kaon beam on a proton target in experiment.


title: Modeling and Analysis of Uplink Non-Orthogonal Multiple Access (NOMA) in Large-Scale Cellular Networks Using Poisson Cluster Processes

abstract: Non-orthogonal multiple access (NOMA) serves multiple users by superposing their distinct message signals. The desired message signal is decoded at the receiver by applying successive interference cancellation (SIC). Using the theory of Poisson cluster process (PCP), we provide a framework to analyze multi-cell uplink NOMA systems. Specifically, we characterize the rate coverage probability of a NOMA user who is at rank $m$ (in terms of the distance from its serving BS) among all users in a cell and the mean rate coverage probability of all users in a cell. Since the signal-to-interference-plus-noise ratio (SINR) of $m$-th user relies on efficient SIC, we consider three scenarios, i.e., perfect SIC (in which the signals of $m-1$ interferers who are stronger than $m$-th user are decoded successfully), imperfect SIC (in which the signals of of $m-1$ interferers who are stronger than $m$-th user may or may not be decoded successfully), and imperfect worst case SIC (in which the decoding of the signal of $m$-th user is always unsuccessful whenever the decoding of its relative $m-1$ stronger users is unsuccessful). The derived expressions are customized to capture the performance of a user at rank $m$ in an equivalent orthogonal multiple access (OMA) system. Finally, numerical results are presented to validate the derived expressions.


title: Efficient verification of imperative programs using auto2

abstract: Auto2 is a recently introduced prover for the proof assistant Isabelle. It is designed to be both highly customizable from within Isabelle, and also have a powerful proof search mechanism. In this paper, we apply auto2 to the verification of imperative programs. We describe the setup of auto2 for both stages of the proof process: verification of a functional version of the program, and refining to the imperative version using separation logic. As examples, we verify several data structures, including red-black trees, interval trees, priority queues, and union-find. We also verify several algorithms making use of these data structures. These examples show that our framework is able to verify complex algorithms efficiently and in a modular manner.


title: The Area Term of the Entanglement Entropy of a Supersymmetric $O(N)$ Vector Model in Three Dimensions

abstract: We studied the leading area term of the entanglement entropy of $\mathcal{N}=1$ supersymmetric $O(N)$ vector model in $2+1$ dimensions close to the line of second order phase transition in the large $N$ limit. We found that the area term is independent of the varying interaction coupling along the critical line, unlike what is expected in a perturbative theory. Along the way, we studied non-commuting limits $n-1\to 0$ verses UV cutoff $r\to 0$ when evaluating the gap equation and found a match only when appropriate counter term is introduced and whose coupling is chosen to take its fixed point value. As a bonus, we also studied Fermionic Green's functions in the conical background. We made the observation of a map between the problem and the relativistic hydrogen atom.


title: Ranking of classification algorithms in terms of mean-standard deviation using A-TOPSIS

abstract: In classification problems when multiples algorithms are applied to different benchmarks a difficult issue arises, i.e., how can we rank the algorithms? In machine learning it is common run the algorithms several times and then a statistic is calculated in terms of means and standard deviations. In order to compare the performance of the algorithms, it is very common to employ statistical tests. However, these tests may also present limitations, since they consider only the means and not the standard deviations of the obtained results. In this paper, we present the so called A-TOPSIS, based on TOPSIS (Technique for Order Preference by Similarity to Ideal Solution), to solve the problem of ranking and comparing classification algorithms in terms of means and standard deviations. We use two case studies to illustrate the A-TOPSIS for ranking classification algorithms and the results show the suitability of A-TOPSIS to rank the algorithms. The presented approach is general and can be applied to compare the performance of stochastic algorithms in machine learning. Finally, to encourage researchers to use the A-TOPSIS for ranking algorithms we also presented in this work an easy-to-use A-TOPSIS web framework.


title: Global Stabilisation of Underactuated Mechanical Systems via PID Passivity-Based Control

abstract: In this note we identify a class of underactuated mechanical systems whose desired constant equilibrium position can be globally stabilised with the ubiquitous PID controller. The class is characterised via some easily verifiable conditions on the systems inertia matrix and potential energy function, which are satisfied by many benchmark examples. The design proceeds in two main steps, first, the definition of two new passive outputs whose weighted sum defines the signal around which the PID is added. Second, the observation that it is possible to construct a Lyapunov function for the desired equilibrium via a suitable choice of the aforementioned weights and the PID gains and initial conditions. The results reported here follow the same research line as [7] and [20]---bridging the gap between the Hamiltonian and the Lagrangian formulations used, correspondingly, in these papers. Two additional improvements to our previous works are the removal of a non-robust cancellation of a potential energy term and the establishment of equilibrium attractivity under weaker assumptions.


title: A novel nuclear dependence of nucleon-nucleon short-range correlations

abstract: A linear correlation is found between the magnitude of nucleon-nucleon short-range correlations and the nuclear binding energy per nucleon with pairing energy removed. By using this relation, the strengths of nucleon-nucleon short-range correlations of some unmeasured nuclei are predicted. Discussions on nucleon-nucleon pairing energy and nucleon-nucleon short-range correlations are made. The found nuclear dependence of nucleon-nucleon short-range correlations may shed some lights on the short-range structure of nucleus.


title: Anomalous Hall effects beyond Berry magnetic fields in a Weyl metal phase

abstract: Applying time-varying magnetic fields to Weyl metals, a pair of Weyl points become oscillating. This oscillating monopole and anti-monopole pair gives rise to AC Berry magnetic fields, responsible for the emergence of Berry electric fields, which have not been discussed before at least in the context of Weyl metals. Introducing this novel information into Boltzmann transport theory, we find anomalous Hall effects beyond Berry magnetic fields as a fingerprint of Berry electric fields.


title: Lick Indices and Spectral Energy Distribution Analysis based on an M31 Star Cluster Sample: Comparisons of Methods and Models

abstract: Application of fitting techniques to obtain physical parameters---such as ages, metallicities, and $\alpha$-element to iron ratios---of stellar populations is an important approach to understand the nature of both galaxies and globular clusters (GCs). In fact, fitting methods based on different underlying models may yield different results, and with varying precision. In this paper, we have selected 22 confirmed M31 GCs for which we do not have access to previously known spectroscopic metallicities. Most are located at approximately one degree (in projection) from the galactic center. We performed spectroscopic observations with the 6.5 m MMT telescope, equipped with its Red Channel Spectrograph. Lick/IDS absorption-line indices, radial velocities, ages, and metallicities were derived based on the $\rm EZ\_Ages$ stellar population parameter calculator. We also applied full spectral fitting with the ULySS code to constrain the parameters of our sample star clusters. In addition, we performed $\chi^2_{\rm min}$ fitting of the clusters' Lick/IDS indices with different models, including the Bruzual & Charlot models (adopting Chabrier or Salpeter stellar initial mass functions and 1994 or 2000 Padova stellar evolutionary tracks), the GALEV, and the Thomas et al. models. For comparison, we collected their $UVBRIJK$ photometry from the Revised Bologna Catalogue (v.5) to obtain and fit the GCs' spectral energy distributions (SEDs). Finally, we performed fits using a combination of Lick/IDS indices and SEDs. The latter results are more reliable and the associated error bars become significantly smaller than those resulting from either our Lick/IDS indices-only or our SED-only fits.


title: Delay Spectrum with Phase-Tracking Arrays: Extracting the HI power spectrum from the Epoch of Reionization

abstract: The Detection of redshifted 21 cm emission from the epoch of reionization (EoR) is a challenging task owing to strong foregrounds that dominate the signal. In this paper, we propose a general method, based on the delay spectrum approach, to extract HI power spectra that is applicable to tracking observations using an imaging radio interferometer (Delay Spectrum with Imaging Arrays (DSIA)). Our method is based on modelling the HI signal taking into account the impact of wide field effects such as the $w$-term which are then used as appropriate weights in cross-correlating the measured visibilities. Our method is applicable to any radio interferometer that tracks a phase center and could be utilized for arrays such as MWA, LOFAR, GMRT, PAPER and HERA. In the literature the delay spectrum approach has been implemented for near-redundant baselines using drift scan observations. In this paper we explore the scheme for non-redundant tracking arrays, and this is the first application of delay spectrum methodology to such data to extract the HI signal. We analyze 3 hours of MWA tracking data on the EoR1 field. We present both 2-dimensional ($k_\parallel,k_\perp$) and 1-dimensional (k) power spectra from the analysis. Our results are in agreement with the findings of other pipelines developed to analyse the MWA EoR data.


title: Inferring Population Preferences via Mixtures of Spatial Voting Models

abstract: Understanding political phenomena requires measuring the political preferences of society. We introduce a model based on mixtures of spatial voting models that infers the underlying distribution of political preferences of voters with only voting records of the population and political positions of candidates in an election. Beyond offering a cost-effective alternative to surveys, this method projects the political preferences of voters and candidates into a shared latent preference space. This projection allows us to directly compare the preferences of the two groups, which is desirable for political science but difficult with traditional survey methods. After validating the aggregated-level inferences of this model against results of related work and on simple prediction tasks, we apply the model to better understand the phenomenon of political polarization in the Texas, New York, and Ohio electorates. Taken at face value, inferences drawn from our model indicate that the electorates in these states may be less bimodal than the distribution of candidates, but that the electorates are comparatively more extreme in their variance. We conclude with a discussion of limitations of our method and potential future directions for research.


title: Tables of prehomogeneous modules and \'etale modules of reductive algebraic groups

abstract: This document contains tables with the classification of prehomogeneous modules for reductive algebraic groups with up to two simple factors due to Sato, Kimura and many others, as well as corresponding tables of the \'etale modules appearing in this list, determined by the author. It is intended as a convenient reference for examples of \'etale module for reductive algebraic group.


title: Large negative transconductance in multilayer graphene: The role of intersubband scattering

abstract: We calculate the transport properties of multilayer graphene, considering the effect of multisubband scattering in a high density regime, where higher subbands are occupied by charge carriers. To calculate the conductivity of multilayer graphene, we use the coupled multiband Boltzmann transport theory while fully incorporating the multiband scattering effects. We show that the allowed scattering channels, screening effects, chiral nature of the electronic structure, and type of impurity scatterings determine the transport behavior of multilayer graphene. We find that the conductivity of multilayer graphene shows a sudden change when the carriers begin to occupy the higher subbands, and therefore a large negative transconductance (NTC) appears as the carrier density varies. These phenomena arise mostly from the intersubband scattering and the change in the density of states at the band touching density. Based on our results, it is possible to build novel devices utilizing the large NTC in multilayer graphene.


title: On weak Fano manifolds with small contractions obtained by blow-ups of a product of projective spaces

abstract: We consider weak Fano manifolds with small contractions obtained by blowing up successively curves and subvarieties of codimension 2 in products of projective spaces. We give a classification result for a special case. In the process of proof, we describe explicitly the structure of nef cones and compute the self intersection numbers of anti-canonical divisors for such weak Fano manifolds.


title: Optimization on Submanifolds of Convolution Kernels in CNNs

abstract: Kernel normalization methods have been employed to improve robustness of optimization methods to reparametrization of convolution kernels, covariate shift, and to accelerate training of Convolutional Neural Networks (CNNs). However, our understanding of theoretical properties of these methods has lagged behind their success in applications. We develop a geometric framework to elucidate underlying mechanisms of a diverse range of kernel normalization methods. Our framework enables us to expound and identify geometry of space of normalized kernels. We analyze and delineate how state-of-the-art kernel normalization methods affect the geometry of search spaces of the stochastic gradient descent (SGD) algorithms in CNNs. Following our theoretical results, we propose a SGD algorithm with assurance of almost sure convergence of the methods to a solution at single minimum of classification loss of CNNs. Experimental results show that the proposed method achieves state-of-the-art performance for major image classification benchmarks with CNNs.


title: DeepSpace: An Online Deep Learning Framework for Mobile Big Data to Understand Human Mobility Patterns

abstract: In the recent years, the rapid spread of mobile device has create the vast amount of mobile data. However, some shallow-structure models such as support vector machine (SVM) have difficulty dealing with high dimensional data with the development of mobile network. In this paper, we analyze mobile data to predict human trajectories in order to understand human mobility pattern via a deep-structure model called "DeepSpace". To the best of out knowledge, it is the first time that the deep learning approach is applied to predicting human trajectories. Furthermore, we develop the vanilla convolutional neural network (CNN) to be an online learning system, which can deal with the continuous mobile data stream. In general, "DeepSpace" consists of two different prediction models corresponding to different scales in space (the coarse prediction model and fine prediction models). This two models constitute a hierarchical structure, which enable the whole architecture to be run in parallel. Finally, we test our model based on the data usage detail records (UDRs) from the mobile cellular network in a city of southeastern China, instead of the call detail records (CDRs) which are widely used by others as usual. The experiment results show that "DeepSpace" is promising in human trajectories prediction.


title: On time-reversal anomaly of 2+1d topological phases

abstract: We describe a method to find the anomaly of the time-reversal symmetry of 2+1d topological quantum field theories, by computing the fractional anomalous momentum on the cross-cap background. This allows us, for example, to identify the parameter $\nu$ mod 16 of the bulk 3+1d topological superconductor with $\mathsf{T}^2=(-1)^F$ on whose boundary a given 2+1d time-reversal-invariant topological phase can appear.


title: Light flavor-singlet scalars and walking signals in $N_f=8$ QCD on the lattice

abstract: Based on the highly improved staggered quark action, we perform lattice simulations of $N_f=8$ QCD and confirm our previous observation of a flavor-singlet scalar meson (denoted as $\sigma$) as light as the pion and various "walking signals" through low-lying spectra, with higher statistics, smaller fermion masses $m_f$, and larger volumes. We measure $M_\pi$, $F_\pi$, $M_\rho$, $M_{a_0}$, $M_{a_1}$, $M_{b_1}$, $M_N$, $M_\sigma$, $F_\sigma$, $\langle \bar{\psi} \psi\rangle$ (both directly and through the GMOR relation), and the string tension. The data are consistent with the spontaneously broken phase of the chiral symmetry, in agreement with the previous results: ratios of the quantities to $M_\pi$ monotonically increase in the smaller $m_f$ region towards the chiral limit similarly to $N_f=4$ QCD, in sharp contrast to $N_f=12$ QCD where the ratios become flattened. The hyperscaling relation holds with roughly a universal value of the anomalous dimension, $\gamma_m \simeq 1$, with a notable exception of $M_\pi$ with $\gamma_m \simeq 0.6$ as in the previous results. This is a salient feature ("walking signal") of $N_f=8$, unlike either $N_f=4$ which has no hyperscaling relation at all, or $N_f=12$ QCD which exhibits universal hyperscaling. We further confirm the previous observation of the light $\sigma$ with mass comparable to the pion in the studied $m_f$ region. In a chiral limit extrapolation of the $\sigma$ mass using the dilaton chiral perturbation theory and also using the simple linear fit, we find the value consistent with the 125 GeV Higgs boson within errors. Our results suggest that the theory could be a good candidate for walking technicolor model, having anomalous dimension $\gamma_m \simeq 1$ and a light flavor-singlet scalar meson as a technidilaton, which can be identified with the 125 GeV composite Higgs in $N_f=8$ one-family model.


title: Probing the Source of Proton Mass by"Unbreaking" Scale-Chiral Symmetry

abstract: I describe a possible scenario for the origin of proton mass in terms of Cheshire Cat, half-skyrmions, topology change and interplay between hidden chiral-scale symmetry and induced local symmetry. This differs from the standard constituent-quark scenario. As the baryonic matter density is increased toward the vector manifestation (VM) fixed-point at which the $\rho$ mass is to vanish, the effective in-medium mass ratio $m^*_\rho/m^*_N$ is to tend to zero proportionally to $g^*_\rho$ where $g^*_\rho$ is the in-medium hidden gauge coupling constant. I develop the thesis that the intricacy involved in the mass generation could be decoded from experiments at RIB accelerators and massive compact stars.


title: Discrete Boltzmann modeling of Rayleigh-Taylor instability in two-component compressible flows

abstract: A discrete Boltzmann model (DBM) is proposed to probe the Rayleigh-Taylor instability (RTI) in two-component compressible flows. Each species has a flexible specific heat ratio and is described by one discrete Boltzmann equation (DBE). Independent discrete velocities are adopted for the two DBEs. The collision and force terms in the DBE account for the molecular collision and external force, respectively. Two types of force terms are exploited. In addition to recovering the modified Navier-Stokes equations in the hydrodynamic limit, the DBM has the capability of capturing detailed nonequilibrium effects. Furthermore, we use the DBM to investigate the dynamic process of the RTI. The invariants of tensors for nonequilibrium effects are presented and studied. For low Reynolds numbers, both global nonequilibrium manifestations and the growth rate of the entropy of mixing show three stages (i.e., the reducing, increasing, and then decreasing trends) in the evolution of the RTI. On the other hand, the early reducing tendency is suppressed and even eliminated for high Reynolds numbers. Relevant physical mechanisms are analyzed and discussed.


title: The Local Bubble in the interstellar medium and the origin of the low energy cosmic rays

abstract: An analysis of the energy spectra of cosmic rays and particularly the precise data from the AMS-02 experiment support the view about the important role of the Local Bubble in the nearby interstellar medium. It is suggested that the bulk of cosmic rays below about 200 GV of rigidity (momentum/charge ratio) comes from the modest number of supernova remnants in the Local Bubble which appear to have occurred some $10^6$ years ago and contributed to its formation. At higher rigidities the contribution from a 'Local Source', a single supernova remnant generated some $10^5$ years ago seems to dominate up to, at least 1000 GV.


title: On the IceCube spectral anomaly

abstract: Recently it was noted that different IceCube datasets are not consistent with the same power law spectrum of the cosmic neutrinos: this is the IceCube spectral anomaly, that suggests that they observe a multicomponent spectrum. In this work, the main possibilities to enhance the description in terms of a single extragalactic neutrino component are examined. The hypothesis of a sizable contribution of Galactic high-energy neutrino events distributed as $E^{-2.7}$ [ApJ 826, 185 (2016)] is critically analyzed and its natural generalization is considered. The stability of the expectations is studied by introducing free parameters, motivated by theoretical considerations and observational facts. The upgraded model here examined has 1)~a Galactic component with different normalization and shape $E^{- 2.4}$; 2)~an extragalactic neutrino spectrum based on new data; 3)~a non-zero prompt component of atmospheric neutrinos. The two key predictions of the model concern the `high-energy starting events' collected from the Southern sky. The Galactic component produces a softer spectrum and a testable angular anisotropy. A second, radically different class of models, where the second component is instead isotropic, plausibly extragalactic and with a relatively soft spectrum, is disfavored instead by existing observations of muon neutrinos from the Northern sky and below few 100 TeV.


title: Bergman kernel and hyperconvexity index

abstract: Let $\Omega\subset {\mathbb C}^n$ be a bounded domain with the hyperconvexity index $\alpha(\Omega)>0$. Let $\varrho$ be the relative extremal function of a fixed closed ball in $\Omega$ and set $\mu:=|\varrho|(1+|\log|\varrho||)^{-1}$, $\nu:=|\varrho|(1+|\log|\varrho||)^n$. We obtain the following estimates for the Bergman kernel: (1) For every $0<\alpha<\alpha(\Omega)$ and $2\le p<2+\frac{2\alpha(\Omega)}{2n-\alpha(\Omega)}$, there exists a constant $C>0$ such that $\int_\Omega |\frac{K_\Omega(\cdot,w)}{\sqrt{K_\Omega(w)}}|^{p}\le C |\mu(w)|^{-\frac{(p-2) n}\alpha}$ for all $w\in \Omega$. (2) For every $0<r<1$, there exists a constant $C>0$ such that $ \frac{|K_\Omega(z,w)|^2}{K_\Omega(z)K_\Omega(w)}\le C (\min\{\frac{\nu(z)}{\mu(w)},\frac{\nu(w)}{\mu(z)}\})^r $ for all $z,w\in \Omega$. Various application of these estimates are given.


title: Next Generation Muon g-2 Experiment at FNAL

abstract: The precise measurement of the muon anomalous magnetic moment $a_\mathrm{\mu}$ has stimulated much theoretical and experimental efforts over more than six decades. The last experiment at Brookhaven National Laboratory, Upton, NY, USA obtained a value more than three standard deviations larger than predicted by the Standard Model of particle physics, and is one of the strongest hints for physics beyond the Standard Model. A new experiment at Fermi National Accelerator Laboratory, Batavia, IL, USA to measure $a_\mathrm{\mu}$ with fourfold increased precision to $140\,\mathrm{ppb}$ is currently in its commissioning phase. While the new experiment will reuse the $1.45\,\mathrm{T}$ superconducting muon storage ring which was shipped from Brookhaven National Laboratory, most of the other instrumentation of the experiment will be new. This will allow the experiment to make efficient use of the significantly higher number of muons available at the new muon campus. We discuss the general status of the experiment and in particular focus on the improved tools available to homogenize and determine the magnetic field in the muon storage ring.


title: P_3-Games on Chordal Bipartite Graphs

abstract: Let G=(V,E) be a connected graph. A set U subseteq V is convex if G[U] is connected and all vertices of V\U have at most one neighbor in U. Let sigma(W) denote the unique smallest convex set that contains W subseteq V. Two players play the following game. Consider a convex set U and call it the `playground.' Initially, U = emptyset. When U=V, the player to move loses the game. Otherwise, that player chooses a vertex x in V\U which is at distance at most two from U. The effect of the move is that the playground U changes into sigma(U cup {x}) and the opponent is presented with this new playground. A graph is chordal bipartite if it is bipartite and has no induced cycle of length more than four. In this paper we show that, when G is chordal bipartite, there is a polynomial-time algorithm that computes the Grundy number of the P_3-game played on G. This implies that there is an efficient algorithm to decide whether the first player has a winning strategy.


title: On Ground States and Phase Transitions of $\lambda$-Model on the Cayley Tree

abstract: In the paper, we consider the $\lambda$-model with spin values $\{1, 2, 3\}$ on the Cayley tree of order two. We first describe ground states of the model. Moreover, we also proved the existence of translation-invariant Gibb measures for the $\lambda$-model which yield the existence of the phase transition. Lastly, we established the exitance of 2-periodic Gibbs measures for the model.


title: High performance THz emitters based on ferromagnetic/nonmagnetic heterostructures

abstract: We report a THz emitter with excellent performances based on nonmagnetic (NM) and ferromagnetic (FM) heterostructures. The spin currents are first excited by the femtosecond laser beam in the NM/FM bilayer, and then transient charge currents are generated by inverse spin Hall effect, leading to THz emission out of the structure. The broadband THz waves emitted from our film stacks have a peak intensity exceeding 500 um thick ZnTe crystals (standard THz emitters). Our device is insensitive to the polarization of an incident laser beam which indicates the noise resistive feature. In contrast, the polarization of THz waves is fully controllable by an external magnetic field. We have also fabricated the devices on flexible substrates with a great performance, and demonstrated that the devices can be driven by low power lasers. Together with the low cost and mass productive sputtering growth method for the film stacks, the proposed THz emitters can be readily applied to a wide range of THz equipment. Our study also points towards an alternative approach to characterize spintronic devices with NM/FM bilayers.


title: Controlled assembly of single colloidal crystals using electro-osmotic micro-pumps

abstract: We assemble charged colloidal spheres at deliberately chosen locations on a charged unstructured glass substrate utilizing ion exchange based electro-osmotic micro-pumps. Using microscopy, a simple scaling theory and Brownian Dynamics simulations, we systematically explore the control parameters of crystal assembly and the mechanisms through which they depend on the experimental boundary conditions. We demonstrate that crystal quality depends crucially on the assembly distance of the colloids. This is understood as resulting from the competition between inward transport by the electro-osmotic pump flow and the electro-phoretic outward motion of the colloids. Optimized conditions include substrates of low and colloids of large electro-kinetic mobility. Then a sorting of colloids by size is observed in binary mixtures with larger particles assembling closer to the ion exchanger beads. Moreover, mono-sized colloids form defect free single domain crystals which grow outside a colloid-free void with facetted inner crystal boundaries centred on the ion exchange particle. This works remarkably well, even with irregularly formed ion exchange resin splinters.


title: Spin orbit torques and Dzyaloshinskii-Moriya interaction in dual-interfaced Co-Ni multilayers

abstract: We study the spin orbit torque (SOT) and Dzyaloshinskii-Moriya interaction (DMI) in the dual-interfaced Co-Ni perpendicular multilayers. Through the combination of top and bottom layer materials (Pt, Ta, MgO and Cu), SOT and DMI are efficiently manipulated due to an enhancement or cancellation of the top and bottom contributions. However, SOT is found to originate mostly from the bulk of a heavy metal (HM), while DMI is more of interfacial origin. In addition, we find that the direction of the domain wall (DW) motion can be either along or against the electron flow depending on the DW tilting angle when there is a large DMI. Such an abnormal DW motion induces a large assist field required for hysteretic magnetization reversal. Our results provide insight into the role of DMI in SOT driven magnetization switching, and demonstrate the feasibility of achieving desirable SOT and DMI for spintronic devices.


title: Giant nonreciprocal emission of spin waves in Ta/Py bilayers

abstract: Spin waves are propagating disturbances in the magnetization of magnetic materials. One of their interesting properties is the nonreciprocity, exhibiting that their amplitude depends on the magnetization direction. Nonreciprocity in spin waves is of great interest in both fundamental science and applications, as it offers an extra knob to control the flow of waves for the technological fields of logics and switch applications. We show a high nonreciprocity in spin waves from Ta/Py bilayer systems with out-of-plane magnetic fields. The nonreciprocity depends on the thickness of Ta underlayer which is found to induce an interfacial anisotropy. The origin of observed high nonreciprocity is twofold; different polarities of the in-plane magnetization due to different angles of canted out-of-plane anisotropy and the spin pumping effect at the Ta/Py interface. Our findings provide an opportunity to engineer highly efficient nonreciprocal spin wave based applications such as nonreciprocal microwave devices, magnonic logic gates, and information transports.


title: Understanding Sea Ice Melting via Functional Data Analysis

abstract: In this article, we considered the problem of sea ice cover is melting. Considering the `satellite passive microwave remote sensing data' as functional data, we studied daily observation of sea ice cover of each year as a smooth continuous function of time. We investigated the mean function for the sea ice area for following decades and computed the corresponding $95\%$ bootstrap confidence interval for the both Arctic and Antarctic Oceans. We found the mean function for the sea ice area dropped statistically significantly in recent decades for the Arctic Ocean. However, no such statistical evidence was found for the Antarctic ocean. Essentially, the mean function for sea ice area in the Antarctic Ocean is unchanged. Additional evidence of the melting of sea ice area in the Arctic Ocean is provided by three types of phase curve (namely, Area vs. Velocity, Area vs. Acceleration, and Velocity Vs. Acceleration). In the Arctic Ocean, during the summer, the current decades is observing the size of the sea ice area about $30\%$ less, than what it used to be during the first decade. In this article, we have taken a distribution-free approach for our analysis, except the data generating process, belongs to the Hilbert space.


title: Helicity dependent photovoltaic effect in Bi2Se3 under normal incident light

abstract: Topological insulators (TIs) form a new class of materials with insulating bulk and surface conduction ensured by topologically protected surface states (TPSS). We investigate the impact of the helicity of a normally incident laser beam on the photovoltaic effect in the TI Bi2Se3. The observation of a helicity dependent photovoltaic effect for normally incident light indicates the presence of out-of-plane spin components for some TPSSs due to the hexagonal warping. In addition, fluctuations in the electrostatic potential at the surface locally break the rotational symmetry of the film allowing the helicity dependent photovoltaic effect. Our result suggests that engineering local electrostatic potentials in Bi2Se3 would allow the control of optically generated spin currents, which may be useful for applications in spin-optoelectronics.


title: New Types of Convergence on Time Scales

abstract: This paper is discussing about the notion of some new types of convergences namely $I$-convergence and $I^*$-convergence of a $\Delta$-measurable function $f$ on time scales $T$ by considering ideal on time scales $T$. This idea is further extended to the notion of statistical convergence of a $\Delta$-measurable function $f$ on time scales $T$.


title: Ergodic maximum principle for stochastic systems

abstract: We present a version of the stochastic maximum principle (SMP) for ergodic control problems. In particular we give necessary (and sufficient) conditions for optimality for controlled dissipative systems in finite dimensions. The strategy we employ is mainly built on duality techniques. We are able to construct a dual process for all positive times via the analysis of a suitable class of perturbed linearized forward equations. We show that such a process is the unique bounded solution to a Backward SDE on infinite horizon from which we can write a version of the SMP.


title: Techniques for multifractal spectrum estimation in financial time series

abstract: Multifractal analysis is one of the important approaches that enables us to measure the complexity of various data via the scaling properties. We compare the most common techniques used for multifractal exponents estimation from both theoretical and practical point of view. Particularly, we discuss the methods based on estimation of R\'enyi entropy, which provide a powerful tool especially in presence of heavy-tailed data. To put some flesh on bare bones, all methods are compared on various real financial datasets, including daily and high-frequency data.


title: A characterization of connected self-affine fractals arising from collinear digits

abstract: Let $A$ be an expanding integer matrix with characteristic polynomial $f(x)=x^{2}+px+q$, and let $\mathcal{D}=\{0,1,\dots,|q|-2,|q|+m\}\mathbf{v}$ be a collinear digit set where $m\geqslant 0, {\mathbf v}\in {\mathbb Z}^2$. It is well known that there exists a unique self-affine fractal $T$ satisfying $AT=T+\mathcal{D}$. In this paper, we give a complete characterization on the connected $T$. That generalizes the previous result of $|q|=3$.


title: Windings of planar processes, Exponential Functionals and Asian options

abstract: Motivated by a common Mathematical Finance topic, we discuss the reciprocal of the exit time from a cone of planar Brownian motion which also corresponds to the exponential functional of an associated Brownian motion. We prove a conjecture by Vakeroudis and Yor (2012) concerning infinite divisibility properties of this random variable and we present a novel simple proof of De Blassie's result (1987-1988) about the asymptotic behaviour of the distribution of the Bessel clock appearing in the skew-product representation of planar Brownian motion, for t large. Similar issues for the exponential functional of a Levy process are also discussed. We finally use the findings obtained by the windings approach in order to get results for quantities associated to the pricing of Asian options.


title: Exercise Motion Classification from Large-Scale Wearable Sensor Data Using Convolutional Neural Networks

abstract: The ability to accurately identify human activities is essential for developing automatic rehabilitation and sports training systems. In this paper, large-scale exercise motion data obtained from a forearm-worn wearable sensor are classified with a convolutional neural network (CNN). Time-series data consisting of accelerometer and orientation measurements are formatted as images, allowing the CNN to automatically extract discriminative features. A comparative study on the effects of image formatting and different CNN architectures is also presented. The best performing configuration classifies 50 gym exercises with 92.1% accuracy.


title: Anisotropic $L^{2}$-weighted Hardy and $L^{2}$-Caffarelli-Kohn-Nirenberg inequalities

abstract: We establish sharp remainder terms of the $L^{2}$-Caffarelli-Kohn-Niren\-berg inequalities on homogeneous groups, yielding the inequalities with best constants. Our methods also give new sharp Caffarelli-Kohn-Nirenberg type inequalities in $\mathbb{R}^{n}$ with arbitrary quasi-norms. We also present explicit examples to illustrate our results for different weights and in abelian cases.


title: LambdaDL: Syntax and Semantics (Preliminary Report)

abstract: Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone while mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present $\lambda_{DL}$,a $\lambda$-calculus with a modified type system to provide type-safe integration of semantic data. This is achieved by the integration of description logics into the $\lambda$-calculus for typing and data access. It is centered around several key design principles. Among these are (1) the usage of semantic conceptualizations as types, (2) subtype inference for these types, and (3) type-checked query access to the data by both ensuring the satisfiability of queries as well as typing query results precisely in $\lambda_{DL}$. The paper motivates the use of a modified type system for semantic data and it provides the theoretic foundation for the integration of description logics as well as the core formal specifications of $\lambda_{DL}$ including a proof of type safety.


title: Study of Tomlinson-Harashima Precoding Strategies for Physical-Layer Security in Wireless Networks

abstract: In this paper, we propose novel non-linear precoders for the downlink of a multi-user MIMO system with the existence of multiple eavesdroppers. The proposed non-linear precoders are designed to improve the physical-layer secrecy rate. Specifically, we combine the non-linear successive optimization Tomlinson-Harashima precoding (SO-THP) with generalized matrix inversion (GMI) technique to maximize the physical-layer secrecy rate. For the purpose of comparison, we examine different traditional precoders with the proposed algorithm in terms of secrecy rate as well as BER performance. We also investigate simplified generalized matrix inversion (S-GMI) and lattice-reduction (LR) techniques in order to efficiently compute the parameters of the precoders. We further conduct computational complexity and secrecy rate analysis of the proposed and existing algorithms. In addition, in the scenario without knowledge of channel state information (CSI) to the eavesdroppers, a strategy of injecting artificial noise (AN) prior to the transmission is employed to enhance the physical-layer secrecy rate. Simulation results show that the proposed non-linear precoders outperform existing precoders in terms of BER and secrecy rate performance.


title: Amplified-reflection plasmon instabilities in grating-gate plasmonic crystals

abstract: We identify a possible mechanism of the plasmon instabilities in periodically gated two-dimensional electron systems with a modulated electron density (plasmonic crystals) under direct current. The instability occurs due to the amplified reflection of the small density perturbations from the gated/ungated boundaries under the proper phase matching conditions between the crystal unit cells. Based on the transfer-matrix formalism, we derive the generic dispersion equation for the travelling plasmons in these structures. Its solution in the hydrodynamic limit shows that the threshold drift velocity for the instability can be tuned below the plasmon phase and carrier saturation velocities, and the plasmon increment can exceed the collisional damping rate typical to III-V semiconductors at 77 K and graphene at room temperature.


title: On the stability for Alexandrov's Soap Bubble theorem

abstract: Alexandrov's Soap Bubble theorem dates back to $1958$ and states that a compact embedded hypersurface in $\mathbb{R}^N$ with constant mean curvature must be a sphere. For its proof, A.D. Alexandrov invented his reflection priciple. In $1982$, R. Reilly gave an alternative proof, based on integral identities and inequalities, connected with the torsional rigidity of a bar. In this article we study the stability of the spherical symmetry: the question is how much a hypersurface is near to a sphere, when its mean curvature is near to a constant in some norm. We present a stability estimate that states that a compact hypersurface $\Gamma\subset\mathbb{R}^N$ can be contained in a spherical annulus whose interior and exterior radii, say $\rho_i$ and $\rho_e$, satisfy the inequality $$ \rho_e - \rho_i \le C \Vert H - H_0 \Vert^{\tau_N}_{L^1 (\Gamma)}, $$ where $\tau_N=1/2$ if $N=2, 3$, and $\tau_N=1/(N+2)$ if $N\ge 4$. Here, $H$ is the mean curvature of $\Gamma$, $H_0$ is some reference constant and $C$ is a constant that depends on some geometrical and spectral parameters associated with $\Gamma$. This estimate improves previous results in the literature under various aspects. We also present similar estimates for some related overdetermined problems.


title: A class of Weiss-Weinstein bounds and its relationship with the Bobrovsky-Mayer-Wolf-Zakai bounds

abstract: A fairly general class of Bayesian "large-error" lower bounds of the Weiss-Weinstein family, essentially free from regularity conditions on the probability density functions support, and for which a limiting form yields a generalized Bayesian Cramer-Rao bound (BCRB), is introduced. In a large number of cases, the generalized BCRB appears to be the Bobrovsky-Mayer-Wolf-Zakai bound (BMZB). Interestingly enough, a regularized form of the Bobrovsky-Zakai bound (BZB), applicable when the support of the prior is a constrained parameter set, is obtained. Modified Weiss-Weinstein bound and BZB which limiting form is the BMZB are proposed, in expectation of an increased tightness in the threshold region. Some of the proposed results are exemplified with a reference problem in signal processing: the Gaussian observation model with parameterized mean and uniform prior.


title: Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations

abstract: Floating point error is an inevitable drawback of embedded systems implementation. Computing rigorous upper bounds of roundoff errors is absolutely necessary to the validation of critical software. This problem is even more challenging when addressing non-linear programs. In this paper, we propose and compare two new methods based on Bernstein expansions and sparse Krivine-Stengle representations, adapted from the field of the global optimization to compute upper bounds of roundoff errors for programs implementing polynomial functions. We release two related software package FPBern and FPKiSten, and compare them with state of the art tools. We show that these two methods achieve competitive performance, while computing accurate upper bounds by comparison with other tools.


title: On the homotopy classification of proper Fredholm maps into a Hilbert space

abstract: We classify the homotopy classes of proper Fredholm maps from an infinite dimensional Hilbert manifold into its model space in terms of a suitable version of framed cobordism. Our construction is an alternative approach to the classification introduced by Elworthy and Tromba in 1970 and does not make use of further structures on the ambient manifold, such as Fredholm structures. In the special case of index zero, we obtain a complete classification involving the Caccioppoli-Smale mod 2 degree and the absolute value of the oriented degree.


title: Massive Corrections to Entanglement in Minimal E8 Toda Field Theory

abstract: In this letter we study the exponentially decaying corrections to saturation of the second R\'enyi entropy of one interval of length L in minimal E8 Toda field theory. It has been known for some time that the entanglement entropy of a massive quantum field theory in 1+1 dimensions saturates to a constant value for m1 L <<1 where m1 is the mass of the lightest particle in the spectrum. Subsequently, results by Cardy, Castro-Alvaredo and Doyon have shown that there are exponentially decaying corrections to this behaviour which are characterised by Bessel functions with arguments proportional to m1 L. For the von Neumann entropy the leading correction to saturation takes the precise universal form -K0(2m1 L)/8 whereas for the R\'enyi entropies leading corrections which are proportional to K0(m1 L) are expected. Recent numerical work by P\'almai for the second R\'enyi entropy of minimal E8 Toda has found next-to-leading order corrections decaying as exp(-2m1 L) rather than the expected exp(-m1 L). In this paper we investigate the origin of this result and show that it is incorrect. An exact form factor computation of correlators of branch point twist fields reveals that the leading corrections are proportional to K0(m1 L) as expected.


title: Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic

abstract: We introduce heap automata, a formalism for automatic reasoning about robustness properties of the symbolic heap fragment of separation logic with user-defined inductive predicates. Robustness properties, such as satisfiability, reachability, and acyclicity, are important for a wide range of reasoning tasks in automated program analysis and verification based on separation logic. Previously, such properties have appeared in many places in the separation logic literature, but have not been studied in a systematic manner. In this paper, we develop an algorithmic framework based on heap automata that allows us to derive asymptotically optimal decision procedures for a wide range of robustness properties in a uniform way. We implemented a protoype of our framework and obtained promising results for all of the aforementioned robustness properties. Further, we demonstrate the applicability of heap automata beyond robustness properties. We apply our algorithmic framework to the model checking and the entailment problem for symbolic-heap separation logic.


title: Finite $p$-groups having Schur multiplier of maximum order

abstract: Let $G$ be a non-abelian $p$-group of order $p^n$ and $M(G)$ denote the Schur multiplier of $G$. Niroomand proved that $|M(G)| \leq p^{\frac{1}{2}(n+k-2)(n-k-1)+1}$ for non-abelian $p$-groups $G$ of order $p^n$ with derived subgroup of order $p^k$. Recently Rai classified $p$-groups $G$ of nilpotency class $2$ for which $|M(G)|$ attains this bound. In this article we show that there is no finite $p$-group $G$ of nilpotency class $c \geq 3$ for $p\neq3$ such that $|M(G)|$ attains this bound. Hence $|M(G)| \leq p^{\frac{1}{2}(n+k-2)(n-k-1)}$ for $p$-groups $G$ of class $c \geq 3$ where $p \neq 3$. We also construct a $p$-group $G$ for $p=3$ such that $|M(G)|$ attains the Niroomand's bound.


title: The Log Convex Density Conjecture in Hyperbolic Space

abstract: The isoperimetric problem with a density or weighting seeks to enclose prescribed weighted area with minimum weighted perimeter. According to Chambers' recent proof of the Log Convex Density Conjecture, for many densities on $\mathbb{R}^n$ the answer is a sphere about the origin. We generalize his results from $\mathbb{R}^n$ to $\mathbb{H}^n$ with related but different volume and perimeter densities.


title: Evidence of Two Resonant Structures in $e^+ e^- \to \pi^+ \pi^- h_c$

abstract: The cross sections of $e^{+}e^{-}\to\pi^{+}\pi^{-}h_c$ at center-of-mass energies from 3.896 to 4.600 GeV are measured using data samples collected with the BESIII detector operating at the Beijing Electron Positron Collider. The cross sections are found to be of the same order of magnitude as those of $e^{+}e^{-}\to\pi^{+}\pi^{-}J/\psi$ and $e^{+}e^{-}\to\pi^{+}\pi^{-}\psi(2S)$, but the line shape is inconsistent with the $Y$ states observed in the latter two modes. Two structures are observed in the $e^{+}e^{-}\to\pi^{+}\pi^{-}h_c$ cross sections around 4.22 and 4.39 GeV/$c^{2}$, which we call $Y(4220)$ and $Y(4390)$, respectively. A fit with a coherent sum of two Breit-Wigner functions results in a mass of $(4218.4^{+5.5}_{-4.5}\pm0.9)$ MeV/$c^{2}$ and a width of $(66.0^{+12.3}_{-8.3}\pm0.4)$ MeV for the $Y(4220)$, and a mass of $(4391.6^{+6.3}_{-6.8}\pm1.0)$ MeV/$c^{2}$ and a width of $(139.5^{+16.2}_{-20.6}\pm0.6)$ MeV for the $Y(4390)$, where the first uncertainties are statistical and the second ones systematic. The statistical significance of $Y(4220)$ and $Y(4390)$ is 10$\sigma$ over one structure assumption.


title: pg-Causality: Identifying Spatiotemporal Causal Pathways for Air Pollutants with Urban Big Data

abstract: Many countries are suffering from severe air pollution. Understanding how different air pollutants accumulate and propagate is critical to making relevant public policies. In this paper, we use urban big data (air quality data and meteorological data) to identify the \emph{spatiotemporal (ST) causal pathways} for air pollutants. This problem is challenging because: (1) there are numerous noisy and low-pollution periods in the raw air quality data, which may lead to unreliable causality analysis, (2) for large-scale data in the ST space, the computational complexity of constructing a causal structure is very high, and (3) the \emph{ST causal pathways} are complex due to the interactions of multiple pollutants and the influence of environmental factors. Therefore, we present \emph{p-Causality}, a novel pattern-aided causality analysis approach that combines the strengths of \emph{pattern mining} and \emph{Bayesian learning} to efficiently and faithfully identify the \emph{ST causal pathways}. First, \emph{Pattern mining} helps suppress the noise by capturing frequent evolving patterns (FEPs) of each monitoring sensor, and greatly reduce the complexity by selecting the pattern-matched sensors as "causers". Then, \emph{Bayesian learning} carefully encodes the local and ST causal relations with a Gaussian Bayesian network (GBN)-based graphical model, which also integrates environmental influences to minimize biases in the final results. We evaluate our approach with three real-world data sets containing 982 air quality sensors, in three regions of China from 01-Jun-2013 to 19-Dec-2015. Results show that our approach outperforms the traditional causal structure learning methods in time efficiency, inference accuracy and interpretability.


title: Cat-state generation and stabilization for a nuclear spin through electric quadrupole interaction

abstract: Spin cat states are superpositions of two or more coherent spin states (CSSs) that are distinctly separated over the Bloch sphere. Additionally, the nuclei with angular momenta greater than 1/2 possess a quadrupolar charge distribution. At the intersection of these two phenomena, we devise a simple scheme for generating various types of nuclear spin cat states. The native biaxial electric quadrupole interaction that is readily available in strained solid-state systems plays a key role here. However, the fact that built-in strain cannot be switched off poses a challenge for the stabilization of target cat states once they are prepared. We remedy this by abruptly diverting via a single rotation pulse the state evolution to the neighborhood of the fixed points of the underlying classical Hamiltonian flow. Optimal process parameters are obtained as a function of electric field gradient biaxiality and nuclear spin angular momentum. The overall procedure is seen to be robust under 5% deviations from optimal values. We show that higher level cat states with four superposed CSS can also be formed using three rotation pulses. Finally, for open systems subject to decoherence we extract the scaling of cat state fidelity damping with respect to the spin quantum number. This reveals rates greater than the dephasing of individual CSSs. Yet, our results affirm that these cat states can preserve their fidelities for practically useful durations under the currently attainable decoherence levels.


title: Convergence of the Euler-Maruyama method for multidimensional SDEs with discontinuous drift and degenerate diffusion coefficient

abstract: We prove strong convergence of order $1/4-\epsilon$ for arbitrarily small $\epsilon>0$ of the Euler-Maruyama method for multidimensional stochastic differential equations (SDEs) with discontinuous drift and degenerate diffusion coefficient. The proof is based on estimating the difference between the Euler-Maruyama scheme and another numerical method, which is constructed by applying the Euler-Maruyama scheme to a transformation of the SDE we aim to solve.


title: Hermite-Birkhoff Interpolation on Arbitrarily Distributed Data on the Sphere and Other Manifolds

abstract: We consider the problem of interpolating a function given on scattered points using Hermite-Birkhoff formulas on the sphere and other manifolds. We express each proposed interpolant as a linear combination of basis functions, the combination coefficients being incomplete Taylor expansions of the interpolated function at the interpolation points. The basis functions have the following features: (i) depend on the geodesic distance; (ii) are orthonormal with respect to the point-evaluation functionals; and (iii) have all derivatives equal zero up to a certain order at the interpolation points. Moreover, the construction of such interpolants, which belong to the class of partition of unity methods, takes advantage of not requiring any solution of linear systems.


title: Yang-Mills Instanton Sheaves with Higher Topological Charges

abstract: We explicitly construct SL(2,C) Yang-Mills (weakly) three and four instanton sheaves on CP^3. These results extend the previous construction of Yang-Mills (weakly) instanton sheaves with topological charge two [18].