title: On the Dimensionality of Embeddings for Sparse Features and Data

abstract: In this note we discuss a common misconception, namely that embeddings are always used to reduce the dimensionality of the item space. We show that when we measure dimensionality in terms of information entropy then the embedding of sparse probability distributions, that can be used to represent sparse features or data, may or not reduce the dimensionality of the item space. However, the embeddings do provide a different and often more meaningful representation of the items for a particular task at hand. Also, we give upper bounds and more precise guidelines for choosing the embedding dimension.


title: On the effect of the activation function on the distribution of hidden nodes in a deep network

abstract: We analyze the joint probability distribution on the lengths of the vectors of hidden variables in different layers of a fully connected deep network, when the weights and biases are chosen randomly according to Gaussian distributions, and the input is in $\{ -1, 1\}^N$. We show that, if the activation function $\phi$ satisfies a minimal set of assumptions, satisfied by all activation functions that we know that are used in practice, then, as the width of the network gets large, the `length process' converges in probability to a length map that is determined as a simple function of the variances of the random weights and biases, and the activation function $\phi$. We also show that this convergence may fail for $\phi$ that violate our assumptions.

categories: cs.LG cs.AI cs.NE math.ST stat.ML stat.TH


title: $C^{1,1}$ regularity of geodesics of singular K\"{a}hler metrics

abstract: We show the optimal $C^{1,1}$ regularity of geodesics in nef and big cohomology class on K\"ahler manifolds away from the non-K\"ahler locus, assuming sufficiently regular initial data. As a special case, we prove the $C^{1,1}$ regularity of geodesics of K\"ahler metrics on compact K\"ahler varieties away from the singular locus. Our main novelty is an improved boundary estimate for the complex Monge-Amp\`ere equation that does not require strict positivity of the reference form near the boundary. We also discuss the case of some special geodesic rays.


title: Dynamics are Important for the Recognition of Equine Pain in Video

abstract: A prerequisite to successfully alleviate pain in animals is to recognize it, which is a great challenge in non-verbal species. Furthermore, prey animals such as horses tend to hide their pain. In this study, we propose a deep recurrent two-stream architecture for the task of distinguishing pain from non-pain in videos of horses. Different models are evaluated on a unique dataset showing horses under controlled trials with moderate pain induction, which has been presented in earlier work. Sequential models are experimentally compared to single-frame models, showing the importance of the temporal dimension of the data, and are benchmarked against a veterinary expert classification of the data. We additionally perform baseline comparisons with generalized versions of state-of-the-art human pain recognition methods. While equine pain detection in machine learning is a novel field, our results surpass veterinary expert performance and outperform pain detection results reported for other larger non-human species.


title: Finite Size Scaling at the Topological Transition: Bilinear-Biquadratic Spin-1 Chain

abstract: We consider a finite size scaling function across a topological phase transition in 1D models. For models of non-interacting fermions it was shown to be universal for all topological symmetry classes and markedly asymmetric between trivial and topological sides of the transition (Gulden et al 2016). Here we verify its universality for the topological transition between dimerized and Haldane phases in bilinear-biquadratic spin-1 chain. To this end we perform high-accuracy variational matrix product state simulations. We show that the scaling function, expressed in terms of $L/\xi$, where $L$ is the chain length and $\xi$ is the correlation length, coincides with that of three species of non-interacting massive Majorana fermions. The latter is known to be a proper description of the conformal critical theory with central charge $c=3/2$. We have shown that it still holds away from the conformal point, including the finite size corrections. We have also observed peculiar differences between even and odd size chains, which may be fully accounted for by residual interactions of the edge states.


title: Geometry of compact lifting spaces

abstract: We study a natural generalization of inverse systems of finite regular covering spaces. A limit of such a system is a fibration whose fibres are profinite topological groups. However, as shown in a previous paper (Conner-Herfort-Pavesic: Some anomalous examples of lifting spaces), there are many fibrations whose fibres are profinite groups, which are far from being inverse limits of coverings. We characterize profinite fibrations among a large class of fibrations and relate the profinite topology on the fundamental group of the base with the action of the fundamental group on the fibre, and develop a version of the Borel construction for fibrations whose fibres are profinite groups.


title: Invertible $K(2)$-Local $E$-Modules in $C_4$-Spectra

abstract: We compute the Picard group of the category of $K(2)$-local module spectra over the ring spectrum $E^{hC_4}$, where $E$ is a height 2 Morava $E$-theory and $C_4$ is a subgroup of the associated Morava stabilizer group. This group can be identified with the Picard group of $K(2)$-local $E$-modules in genuine $C_4$-spectra. We show that in addition to a cyclic subgroup of order 32 generated by $ E\wedge S^1$ the Picard group contains a subgroup of order 2 generated by $E\wedge S^{7+\sigma}$, where $\sigma$ is the sign representation of the group $C_4$. In the process, we completely compute the $RO(C_4)$-graded Mackey functor homotopy fixed point spectral sequence for the $C_4$-spectrum $E$.


title: Supersymmetric Euclidean Field Theories and K-theory

abstract: We construct spaces of 1-dimensional supersymmetric Euclidean field theories and show that they represent real or complex K-theory. A noteworthy feature of our bordism category is that the identity bordism of a point is connected to intervals of positive length.


title: Scheduling for VoLTE: Resource Allocation Optimization and Low-Complexity Algorithms

abstract: We consider scheduling and resource allocation in long-term evolution (LTE) networks across voice over LTE (VoLTE) and best-effort data users. The difference between these two is that VoLTE users get scheduling priority to receive their required quality of service. As we show, strict priority causes data services to suffer. We propose new scheduling and resource allocation algorithms to maximize the sum- or proportional fair (PF) throughout amongst data users while meeting VoLTE demands. Essentially, we use VoLTE as an example application with both a guaranteed bit-rate and strict application-specific requirements. We first formulate and solve the frame-level optimization problem for throughput maximization; however, this leads to an integer problem coupled across the LTE transmission time intervals (TTIs). We then propose a TTI-level problem to decouple scheduling across TTIs. Finally, we propose a heuristic, with extremely low complexity. The formulations illustrate the detail required to realize resource allocation in an implemented standard. Numerical results show that the performance of the TTI-level scheme is very close to that of the frame-level upper bound. Similarly, the heuristic scheme works well compared to TTI-level optimization and a baseline scheduling algorithm. Finally, we show that our PF optimization retains the high fairness index characterizing PF-scheduling.


title: Intersection disjunctions for reverse convex sets

abstract: We present a framework to obtain valid inequalities for a reverse convex set: the set of points in a polyhedron that lie outside a given open convex set. Reverse convex sets arise in many models, including bilevel optimization and polynomial optimization. An intersection cut is a well-known valid inequality for a reverse convex set that is generated from a basic solution that lies within the convex set. We introduce a framework for deriving valid inequalities for the reverse convex set from basic solutions that lie outside the convex set. We first propose an extension to intersection cuts that defines a two-term disjunction for a reverse convex set, which we refer to as an intersection disjunction. Next, we generalize this analysis to a multi-term disjunction by considering the convex set's recession directions. These disjunctions can be used in a cut-generating linear program to obtain valid inequalities for the reverse convex set.


title: Determining Image Sensor Temperature Using Dark Current

abstract: The state of the art method for fingerprinting digital cameras focuses on the non-uniform output of an array of photodiodes due to the distinct construction of the PN junction when excited by photons. This photo-response non-uniformity (PRNU) noise has shown to be effective but ignores knowledge of image sensor output under equilibrium states without excitation (dark current). The dark current response (DSN) traditionally has been deemed unsuitable as a source of fingerprinting as it is unstable across multiple variables including exposure time and temperature. As such it is currently ignored even though studies have shown it to be a viable method similar to that of PRNU. We hypothesise that DSN is not only a viable method for forensic identification but, through proper analysis of the thermal component, can lead to insights regarding the specific temperature at which an individual image under test was taken. We also show that digital filtering based on the discrete cosine transformation, rather than the state-of-the-art wavelet filtering, there is significant computational gain albeit with some performance degradation. This approach is beneficial for triage purposes.


title: Determining the Superconducting Transition Temperatures of Liquids

abstract: We develop a non-perturbative approach for calculating the superconducting transition temperatures ($T_{c}$) of liquids. The electron-electron scattering amplitude induced by electron-phonon coupling (EPC), from which the effective pairing interaction can be inferred, is related to the fluctuation of the $T$-matrix of electron scattering induced by ions. By applying the relation, EPC parameters can be extracted from a path-integral molecular dynamics simulation. For determining $T_{c}$, the linearized Eliashberg equations are re-established in the non-perturbative context. We apply the approach to estimate $T_{c}$ of metallic hydrogen liquids. It indicates that metallic hydrogen liquids in the pressure regime from $0.5$ to $1.5\mathrm{\,TPa}$ have $T_{c}$ well above their melting temperatures, therefore are superconducting liquids.


title: Paramodular forms coming from elliptic curves

abstract: There is a lifting from a non-CM elliptic curve $E/\mathbb{Q}$ to a paramodular form $f$ of degree $2$ and weight $3$ given by the symmetric cube map. We find the level of $f$ in an explicit way in terms of the coefficients of the Weierstrass equation of $E$. In order to compute the paramodular level, we use the available description of the local representations of $\mathrm{GL}(2,\mathbb{Q}_p)$ attached to $E$ for $p \ge 5$ and determine the local representation of $\mathrm{GL}(2,\mathbb{Q}_3)$ attached to $E$.


title: Enhanced Seebeck coefficient by a filling-induced Lifshitz transition in KxRhO2

abstract: We have systematically measured the transport properties in the layered rhodium oxide K$_{x}$RhO$_{2}$ single crystals ($0.5\lesssim x \lesssim 0.67$), which is isostructural to the thermoelectric oxide Na$_{x}$CoO$_{2}$. We find that below $x = 0.64$ the Seebeck coefficient is anomalously enhanced at low temperatures with increasing $x$, while it is proportional to the temperature like a conventional metal above $x=0.65$, suggesting an existence of a critical content $x^{*} \simeq 0.65$. For the origin of this anomalous behavior, we discuss a filling-induced Lifshitz transition, which is characterized by a sudden topological change in the cylindrical hole Fermi surfaces at the critical content $x^*$.


title: Bayes-raking: Bayesian Finite Population Inference with Known Margins

abstract: Raking is widely used in categorical data modeling and survey practice but faced with methodological and computational challenges. We develop a Bayesian paradigm for raking by incorporating the marginal constraints as a prior distribution via two main strategies: 1) constructing the solution subspaces via basis functions or projection matrix and 2) modeling soft constraints. The proposed Bayes-raking estimation integrates the models for the margins, the sample selection and response mechanism, and the outcome, with the capability to propagate all sources of uncertainty. Computation is done via Stan, and codes are ready for public use. Simulation studies show that Bayes-raking can perform as well as raking with large samples and outperform in terms of validity and efficiency gains, especially with a sparse contingency table or dependent raking factors. We apply the new method to the Longitudinal Study of Wellbeing study and demonstrate that model-based approaches significantly improve inferential reliability and substantive findings as a unified survey inference framework.


title: Group-theoretical high-order rotational invariants for structural representations: Application to linearized machine learning interatomic potential

abstract: Many rotational invariants for crystal structure representations have been used to describe the structure-property relationship by machine learning. The machine learning interatomic potential (MLIP) is one of the applications of rotational invariants, which provides the relationship between the energy and the crystal structure. Since the MLIP requires the highest accuracy among machine learning estimations of the structure-property relationship, the enumeration of rotational invariants is useful for constructing MLIPs with the desired accuracy. In this study, we introduce high-order linearly independent rotational invariants up to the sixth order based on spherical harmonics and apply them to linearized MLIPs for elemental aluminum. A set of rotational invariants is derived by the general process of reducing the Kronecker products of irreducible representations (Irreps) for the SO(3) group using a group-theoretical projector method. A high predictive power for a wide range of structures is accomplished by using high-order invariants with low-order invariants equivalent to pair and angular structural features.


title: Random-matrix behavior of quantum nonintegrable many-body systems with Dyson's three symmetries

abstract: We propose a one-dimensional nonintegrable spin model with local interactions that covers Dyson's three symmetry classes (classes A, AI, and AII) depending on the values of parameters. We show that the nearest-neighbor spacing distribution in each of these classes agrees with that of random matrices with the corresponding symmetry. By investigating the ratios between the standard deviations of diagonal and off-diagonal matrix elements, we numerically find that they become universal, depending only on symmetries of the Hamiltonian and an observable, as predicted by random matrix theory. These universal ratios are evaluated from long-time dynamics of small isolated quantum systems.


title: Current-driven Dynamics of Magnetic Skyrmion in Chiral Ferromagnetic Film with Spatially Modulated Dzyaloshinskii-Moriya Interaction

abstract: The dynamics of magnetic skyrmion driven by spin-polarized current is theoretically studied in the chiral ferromagnetic film with spatially modulated Dzyaloshinskii-Moriya interaction. Three cases including linear, sinusoidal, and periodic rectangular modulations have been considered, where the increase, decrease, and the periodic modification of the size and velocity of the skyrmion have been observed in the microscopic simulations. These phenomena are well explained by the Thiele equation, where an effective force on the skyrmion is induced by the inhomogeneous Dzyaloshinskii-Moriya interaction. The results here suggest that the dynamics of skyrmion can be manipulated by artificially tuning the Dzyaloshinskii-Moriya interaction in chiral ferromagnetic film with material engineering methods, which will be useful to design skyrmion-based spintronics devices.


title: The Galaxy Halo Connection in Modified Gravity Cosmologies: Environment Dependence of Galaxy Luminosity function

abstract: We investigate the dependence of the galaxy-halo connection and galaxy density field in modified gravity models using the $N-$body simulations for $f(R)$ and nDGP models at $z=0$. Because of the screening mechanisms employed by these models, chameleon and Vainshtein, halos are clustered differently in the non-linear regime of structure formation. We quantify their deviations in the galaxy density field from the standard $\Lambda$CDM model under different environments. We populate galaxies in halos via the (Sub)Halo Abundance Matching. Our main results are: 1) The galaxy-halo connection {\it strongly} depends on the gravity model; a maximum variation of $\sim40\%$ is observed between Halo Occupational Distribution (HOD) parameters; 2) $f(R)$ gravity models predict an excess of galaxies in low density environments of $\sim10\%$ but predict a deficit of $\sim10\%$ at high density environments for $|f_{R0}| = 10^{-4}$ and $10^{-6}$ while $|f_{R0}| = 10^{-5}$ predicts more high density structures; nDGP models are consistent with $\Lambda$CDM; 3) Different gravity models predict different dependences of the galaxy luminosity function (GLF) with the environment, especially in void-like regions we find differences around $\sim10\%$ for the $f(R)$ models while nDPG models remain closer to $\Lambda$CDM for low-luminosity galaxies but there is a deficit of $\sim11\%$ for high-luminosity galaxies in all environments. We conclude that the dependence of the GLF with environment might provide a test to distinguish between gravity models and their screening mechanisms from the $\Lambda$CDM. We provide HOD parameters for the gravity models analyzed in this paper.


title: Fra\"iss\'e Limits for Relational Metric Structures

abstract: The general theory developed by Ben Yaacov for metric structures provides Fra\"iss\'e limits which are approximately ultrahomogeneous. We show here that this result can be strengthened in the case of relational metric structures. We give an extra condition that guarantees exact ultrahomogenous limits. The condition is quite general. We apply it to stochastic processes, the class of diversities, and its subclass of $L_1$ diversities.


title: Competing synchronization on random networks

abstract: The synchronization pattern of a fully connected competing Kuramoto model with a uniform intrinsic frequency distribution $g(\omega)$ was recently considered. This competing Kuramoto model assigns two coupling constants with opposite signs, $K_1 < 0$ and $K_2 > 0$, to the $1-p$ and $p$ fractions of nodes, respectively. This model has a rich phase diagram that includes incoherent, $\pi$, and traveling wave (TW) phases and a hybrid phase transition with abnormal properties that occurs through an intermediate metastable $\pi$ state. Here, we consider the competing Kuramoto model on Erd\H{o}s--R\'enyi (ER) random networks. Numerical simulations and the mean-field solution based on the annealed network approximation reveal that in this case, when the mean degree of the random networks is large, the features of the phase diagram and transition types are consistent overall with those on completely connected networks. However, when the mean degree is small, the mean-field solution is not consistent with the numerical simulation results; specifically, the TW state does not occur, and thus the phase diagram is changed, owing to the strong heterogeneity of the local environment. By contrast, for the original Kuramoto oscillators, the annealed mean-field solution is consistent with the numerical simulation result for ER networks.

categories: cond-mat.stat-mech cond-mat.dis-nn nlin.CD physics.bio-ph


title: Squeezing Lagrangian tori in dimension 4

abstract: We find the minimal size of 4 dimensional balls and polydisks into which product Lagrangian tori can be mapped by a Hamiltonian diffeomorphism.


title: Coevolution spreading in complex networks

abstract: The propagations of diseases, behaviors and information in real systems are rarely independent of each other, but they are coevolving with strong interactions. To uncover the dynamical mechanisms, the evolving spatiotemporal patterns and critical phenomena of networked coevolution spreading are extremely important, which provide theoretical foundations for us to control epidemic spreading, predict collective behaviors in social systems, and so on. The coevolution spreading dynamics in complex networks has thus attracted much attention in many disciplines. In this review, we introduce recent progress in the study of coevolution spreading dynamics, emphasizing the contributions from the perspectives of statistical mechanics and network science. The theoretical methods, critical phenomena, phase transitions, interacting mechanisms, and effects of network topology for four representative types of coevolution spreading mechanisms, including the coevolution of biological contagions, social contagions, epidemic-awareness, and epidemic-resources, are presented in detail, and the challenges in this field as well as open issues for future studies are also discussed.


title: Smart-Edge-CoCaCo: AI-Enabled Smart Edge with Joint Computation, Caching, and Communication in Heterogeneous IoT

abstract: The development of mobile communication technology, hardware, distributed computing, and artificial intelligence (AI) technology has promoted the application of edge computing in the field of heterogeneous Internet of Things (IoT). In order to overcome the defects of the traditional cloud computing model in the era of big data. In this article, we first propose a new AIenabled smart edge with heterogeneous IoT architecture which combines edge computing, caching, and communication. Then, we propose the Smart-Edge-CoCaCo algorithm. To minimize total delay and confirm the computation offloading decision, Smart-Edge-CoCaCo uses joint optimization of the wireless communication model, the collaborative filter caching model in edge cloud, and the computation offloading model. Finally, we built an emotion interaction testbed to perform computational delay experiments in real environments. The experiment results showed that the computation delay of the Smart-Edge-CoCaCo algorithm is lower than that of traditional cloud computing model with the increase of computing task data and the number of concurrent users.


title: Uncertainties in the Static Dielectric Constants computed from Molecular Dynamics Simulations

abstract: In this work, the uncertainties in the dielectric constants of polar liquids, computed using molecular dynamics (MD) simulations, are compared for two different calculations schemes. Expressions of the uncertainty are derived for the external field method, and compared with those of the fluctuation method. Significant differences on their the system size dependence were found. In addition, alternative calculation procedures are proposed. The individual contributions of different parts of the system to the electric susceptibility, and their corresponding uncertainties, are also studied. Additionally, the effects of the sampling frequency on the uncertainties are analyzed. MD simulations of pure liquid water (SPC/E) at 298.15 K and 1 bar were performed in order to corroborate the obtained results. In such conditions, the best estimate of the dielectric constant obtained in this study is 70.46$\pm$0.31.


title: On Instability of LS-based Self-tuning Systems with Bounded Disturbances

abstract: It is well known that discrete-time linear systems can be stabilized by a least-squares (LS) based self-tuning regulator (STR), as long as noises are absent. However, this note shows that once the discrete-time linear systems are disturbed, the LS-based STR is always running the risk of unstabilizing systems, no matter how small the noises are.


title: Fabrication of yttrium-iron-garnet/Pt multilayers for the longitudinal spin Seebeck effect

abstract: For longitudinal spin Seebeck effect (LSSE) devices, a multilayer structure comprising ferromagnetic and nonmagnetic layers is expected to improve their thermoelectric power. In this study, we developed the fabrication method for alternately stacked yttrium-iron-garnet (YIG)/Pt multilayer films on a gadolinium gallium garnet (GGG) (110) substrate, GGG/[YIG(49 nm)/Pt(4 nm)]$_n$ ($n =$ 1 - 5) based on room-temperature sputtering and $ex$-$situ$ post-annealing method and we evaluated their structural and LSSE properties. The fabricated [YIG/Pt]$_n$ samples show flat YIG/Pt interfaces and almost identical saturation magnetization $M_{\rm s}$, although they contain polycrystalline YIG layers on Pt layers as well as single-crystalline YIG layers on GGG. In the samples, we observed clear LSSE signals and found that the LSSE thermoelectric power factor (PF) increases monotonically with increasing $n$; the PF of the [YIG/Pt]$_5$ sample is enhanced by a factor of $\sim 28$ compared to that of [YIG/Pt]$_1$. This work may provide a guideline for developing future multilayerbased LSSE devices.


title: Long-range optical pulling force device based on vortex beams and transformation optics

abstract: In this work a method for generating a long-range optical pulling force is presented which is realized by utilizing a vortex beam and a device designed based on transformation optics through conformal mapping. The device works by transforming an input perfect vortex beam into an almost non-paraxial plane wave, and generates a pulling force by maximizing the forward momentum of the beam. A three-dimensional full-wave analysis of the device is performed and the optical force is computed by the Maxwell stress tensor method. The simulation results show a very good agreement with the theoretical calculations.


title: Chemically Induced Transformation of CVD-Grown Bilayer Graphene into Single Layer Diamond

abstract: Notwithstanding numerous density functional studies on the chemically induced transformation of multilayer graphene into a diamond-like film, a comprehensive convincing experimental proof of such a conversion is still lacking. We show that the fluorination of graphene sheets in Bernal (AB)-stacked bilayer graphene (AB-BLG) grown by chemical vapor deposition on a single crystal CuNi(111) surface triggers the formation of interlayer carbon-carbon bonds, resulting in a fluorinated diamond monolayer (F-diamane). Induced by fluorine chemisorption, the phase transition from AB-BLG to single layer diamond was studied and verified by X-ray photoelectron, ultraviolet photoelectron, Raman, UV-Vis, electron energy loss spectroscopies, transmission electron microscopy, and DFT calculations.


title: Spatial-Winograd Pruning Enabling Sparse Winograd Convolution

abstract: Deep convolutional neural networks (CNNs) are deployed in various applications but demand immense computational requirements. Pruning techniques and Winograd convolution are two typical methods to reduce the CNN computation. However, they cannot be directly combined because Winograd transformation fills in the sparsity resulting from pruning. Li et al. (2017) propose sparse Winograd convolution in which weights are directly pruned in the Winograd domain, but this technique is not very practical because Winograd-domain retraining requires low learning rates and hence significantly longer training time. Besides, Liu et al. (2018) move the ReLU function into the Winograd domain, which can help increase the weight sparsity but requires changes in the network structure. To achieve a high Winograd-domain weight sparsity without changing network structures, we propose a new pruning method, spatial-Winograd pruning. As the first step, spatial-domain weights are pruned in a structured way, which efficiently transfers the spatial-domain sparsity into the Winograd domain and avoids Winograd-domain retraining. For the next step, we also perform pruning and retraining directly in the Winograd domain but propose to use an importance factor matrix to adjust weight importance and weight gradients. This adjustment makes it possible to effectively retrain the pruned Winograd-domain network without changing the network structure. For the three models on the datasets of CIFAR10, CIFAR-100, and ImageNet, our proposed method can achieve the Winograd domain sparsities of 63%, 50%, and 74%, respectively.


title: Measurement of the Dynamics of the Decays ${ D_s^+ \rightarrow \eta^{(\prime)} e^{+} \nu_e}$

abstract: Using $e^+e^-$ annihilation data corresponding to an integrated luminosity of 3.19\,fb$^{-1}$ collected at a center-of-mass energy of 4.178~GeV with the BESIII detector, we measure the absolute branching fractions $\mathcal{B}_{D_s^+ \rightarrow \eta e^{+} \nu_e }$ = $(2.323\pm0.063_{\rm stat}\pm0.063_{\rm syst})\%$ and $\mathcal{B}_{D_s^+ \rightarrow \eta^{\prime} e^{+} \nu_e}$ = $(0.824\pm0.073_{\rm stat}\pm0.027_{\rm syst})\%$ via a tagged analysis technique, where one $D_s$ is fully reconstructed in a hadronic mode. Combining these measurements with previous BESIII measurements of $\mathcal{B}_{D^+\to\eta^{(\prime)} e^{+} \nu_e}$, the $\eta-\eta^\prime$ mixing angle in the quark flavour basis is determined to be $\phi_{\rm P} = (40.1\pm2.1_{\rm stat}\pm0.7_{\rm syst})^\circ$. From the first measurements of the dynamics of $D^+_s\to \eta^{(\prime)}e^+\nu_e$ decays, the products of the hadronic form factors $f_+^{\eta^{(\prime)}}(0)$ and the Cabibbo-Kobayashi-Maskawa matrix element $|V_{cs}|$ are determined with different form factor parameterizations. For the two-parameter series expansion, the results are $f^{\eta}_+(0)|V_{cs}| = 0.4455\pm0.0053_{\rm stat}\pm0.0044_{\rm syst}$ and $f^{\eta^{\prime}}_+(0)|V_{cs}| = 0.477\pm0.049_{\rm stat}\pm0.011_{\rm syst}$.


title: Linear representation stable bounds for the integral cohomology of pure mapping class groups

abstract: In this paper we study the integral cohomology of pure mapping class groups of surfaces, and other related groups and spaces, as FI-modules. We use recent results from Church, Miller, Nagpal and Reinhold to obtain explicit linear bounds for their presentation degree and to give an inductive description of these FI-modules. Furthermore, we establish new results on representation stability, in the sense of Church and Farb, for the rational cohomology of pure mapping class groups of non-orientable surfaces.


title: Bowen entropy of generic point for fixed-point free flows

abstract: Let $(X, \phi)$ be a compact metric flow without fixed points. We will be concerned with the entropy of flows which takes into consideration all possible reparametrizations of the flows. In this paper, by establishing the Brin-Katok's entropy formula for flows without fixed points in non-ergodic case, we prove the following result: for an ergodic $\phi$-invariant measure $\mu$, $$ h_{top}^{B}(\phi, G_{\mu}(\phi))=h_{\mu}(\phi_{1}),$$ where $G_{\mu}(\phi)$ is the set of generic points for $\mu$ and $h_{top}^{B}(\phi, G_{\mu}(\phi))$ is the Bowen entropy on $G_{\mu}(\phi)$. This extends the classical result of Bowen in 1973 to fixed-point free flows. Moreover, we show that the Bowen entropy can be determined via the local entropies of measures.


title: Assessing the Intrinsic Uncertainty and Structural Stability of Planetary Models: 1) Parameterized Thermal-Tectonic History Models

abstract: Thermal history models, that have been used to understand the geological history of Earth, are now being coupled to climate models to map conditions that allow planets to maintain surface water over geologic time - a criteria considered crucial for life. However, the lack of intrinsic uncertainty assessment has blurred guidelines for how thermal history models can be used toward this end. A model, as a representation of something real, is not expected to be complete. Unmodeled effects are assumed to be small enough that the model maintains utility for the issue(s) it was designed to address. The degree to which this holds depends on how unmodeled factors affect the certainty of model predictions. We quantify this intrinsic uncertainty for several parameterized thermal history models (a widely used subclass of planetary models). Single perturbation analysis is used to determine the reactance time of different models. This provides a metric for how long it takes low amplitude, unmodeled effects to decay or grow. Reactance time is shown to scale inversely with the strength of the dominant feedback (negative or positive) within a model. A perturbed physics analysis is then used to determine uncertainty shadows for model outputs. This provides probability distributions for model predictions and tests the structural stability of a model. That is, do model predictions remain qualitatively similar, and within assumed model limits, in the face of intrinsic uncertainty. Once intrinsic uncertainty is accounted for, model outputs/predictions and comparisons to observational data should be treated in a probabilistic way.


title: Quillen equivalence of singular model categories

abstract: Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact complexes of projective modules and the homotopy category of exact complexes of injective modules is given.


title: The reconstruction of a wave equation from one side measurement

abstract: We are concerned with the reconstruction of a one dimensional wave equation, where the potential is known in a neighborhood of one of the end points of the boundary. We show then the sought potential can be determined by one single measurement of the solution at that end. We also show that the solution can be evaluated at the other end without the need of solving the wave the equation.


title: Helium Migration through Photomultiplier Tubes -- The Probable Cause of the DAMA Seasonal Variation Effect

abstract: The interpretation of the DAMA seasonal variation pattern as a Dark Matter (DM) effect rests on the assumption that all sources of variable background have been excluded from the measurement. We have identified an overlooked background that mimics the DM signature -- a large, patently existing effect that has nothing to do with detection within the scintillators. This process takes place exclusively within the individual photomultiplier tubes (PMTs), with two familiar actors (thermionic electrons and helium atoms), two familiar processes (helium penetration of glass and ion afterpulsing), and a simple storyline: (a) After defeating the insulation of the DAMA detector, helium atoms from the variable local environment penetrate the PMT vacua; (b) Thermionic electrons from the PMT photocathode ionize helium atoms; (c) Secondary electrons from each helium ion impact in the photocathode form an afterpulse, and thus effectively boost and extend the waveform. We demonstrate that the accidental coincidences of such inflated dark noise waveforms, originating from any pair of PMTs, mimic scintillation events at a rate of $\approx$ 1 cpd/kg/keV, which is consistent with DAMA result. The reported seasonal variation of $\sim$ 1% thus implicates an equivalent variation of helium concentration in the local environment. We predict that the DAMA detector with a modified readout logic -- blinded for the DM scintillation events \textendash will measure the same, helium -- driven seasonal variation pattern as the original detector.


title: Rationality of Seshadri constants on general blow ups of $\mathbb{P}^2$

abstract: Let $X$ be a projective surface and let $L$ be an ample line bundle on $X$. The global Seshadri constant $\varepsilon(L)$ of $L$ is defined as the infimum of Seshadri constants $\varepsilon(L,x)$ as $x\in X$ varies. It is an interesting question to ask if $\varepsilon(L)$ is a rational number for any pair $(X, L)$. We study this question when $X$ is a blow up of $\mathbb{P}^2$ at $r \ge 0$ very general points and $L$ is an ample line bundle on $X$. For each $r$ we define a $\textit{submaximality threshold}$ which governs the rationality or irrationality of $\varepsilon(L)$. We state a conjecture which strengthens the SHGH Conjecture and assuming that this conjecture is true we determine the submaximality threshold.


title: The complete study on the inclusive production of {\Upsilon} + {\gamma} at the LHC

abstract: In this paper we investigate the inclusive associated production of {\Upsilon} + {\gamma} at the hadron collider. We calculate the color-singlet sub-processes and all three color-octet sub-processes at the next-to-leading order. Seven sets of long distance matrix elements(LDMEs), which are extracted from the studies on the prompt production of {\Upsilon} at hadron colliders, are used to give the numerical results and we find that there are three sets of LDMEs give the unphysical results on the yield and the polarization for this process. The yield is enhanced by several or two orders times comparing to that of color-singlet process and the polarization changes from longitudinal to slightly transverse or even mainly transverse in the large pt region. The estimation results indicate that to study the process at the large hadron collider (LHC) is difficult and it may be well investigated at the future Super Proton-Proton Collider(SPPC).


title: Geometric properties of the nonlinear resolvent of holomorphic generators

abstract: Let $f$ be the infinitesimal generator of a one-parameter semigroup $\left\{ F_{t}\right\} _{t\ge0}$ of holomorphic self-mappings of the open unit disk $\Delta$. In this paper we study properties of the family $R$ of resolvents $(I+rf)^{-1}:\Delta\to\Delta~ (r\ge0)$ in the spirit of geometric function theory. We discovered, in particular, that $R$ forms an inverse L\"owner chain of hyperbolically convex functions. Moreover, each element of $R$ satisfies the Noshiro-Warschawski condition and is a starlike function of order at least $\frac12$,. This, in turn, implies that each element of $R$ is also a holomorphic generator. We mention also quasiconformal extension of an element of $R.$ Finally we study the existence of repelling fixed points of this family.


title: Solvability of one kind of forward-backward stochastic difference equations

abstract: In this paper, we study the solvability problem for one kind of fully coupled forward-backward stochastic difference equations (FBS{\Delta}Es). With the help of the necessary and sufficient condition for the solvability of the linear FBS{\Delta}Es, under the monotone assumption, we obtain the existence and uniqueness theorem for the general nonlinear ones.


title: Guidelines and Benchmarks for Deployment of Deep Learning Models on Smartphones as Real-Time Apps

abstract: Deep learning solutions are being increasingly used in mobile applications. Although there are many open-source software tools for the development of deep learning solutions, there are no guidelines in one place in a unified manner for using these tools towards real-time deployment of these solutions on smartphones. From the variety of available deep learning tools, the most suited ones are used in this paper to enable real-time deployment of deep learning inference networks on smartphones. A uniform flow of implementation is devised for both Android and iOS smartphones. The advantage of using multi-threading to achieve or improve real-time throughputs is also showcased. A benchmarking framework consisting of accuracy, CPU/GPU consumption and real-time throughput is considered for validation purposes. The developed deployment approach allows deep learning models to be turned into real-time smartphone apps with ease based on publicly available deep learning and smartphone software tools. This approach is applied to six popular or representative convolutional neural network models and the validation results based on the benchmarking metrics are reported.


title: Solar-Sail Deep Space Trajectory Optimization Using Successive Convex Programming

abstract: This paper presents a novel methodology for solving the time-optimal trajectory optimization problem for interplanetary solar-sail missions using successive convex programming. Based on the non-convex problem, different convexification technologies, such as change of variables, successive linearization, trust regions and virtual control, are discussed to convert the original problem into the formulation of successive convex programming. Because of the free final-time, successive linearization is performed iteratively for the nonconvex terminal state constraints. After the convexification process, each of problems becomes a convex problem, which can be solved effectively. An augmented objective function is introduced to ensure the convergence performance and effectiveness of our algorithm. After that, algorithms are designed to solve the discrete sub-problems in a successive solution procedure. Finally, numerical results demonstrate the effectiveness and accuracy of our algorithms.


title: Measuring the Correlation of Personal Identity Documents in Structured Format

abstract: Personal identity documents play a major role in every citizen's life and the authorities responsible for validating them typically require human intervention to manually cross-check multiple documents belonging to an individual. The world is rapidly replacing physical documents with digital documents where every piece of data is stored digitally in a machine-readable and structured format. In this paper, we describe a technique to extract identity data from a structured data format and calculate a normalized correlation score for personal identity documents. Experimental results show that the proposed technique effectively calculates the correlation score for personal identity documents.


title: Chalcogen assisted contact engineering: towards CMOS integration of Tungsten Diselenide Field Effect Transistors

abstract: One of the major roadblocks for the establishment of 2D semiconductor technology for CMOS integrated circuits is lack of industry scalable doping techniques that lead to 2D FETs with comparable n-type and p-type behavior. Here we demonstrate a Chalcogen based technique to alter the surface of WSe2 to realize enhanced ambipolar behavior along with a complete transition from n to p-type behavior of WSe2 FETs. The technique involves dry chemistry between Chalcogen atom and TMDC surface which leads to surface states that cause improved hole and electron injection through the FETs. We propose such a technique for realization of all WSe2 based CMOS integrated circuits and therefore unveil its potential towards technology.


title: H2S assisted contact engineering: a universal approach to enhance hole conduction in all TMD Field-Effect Transistors and achieve ambipolar CVD MoS2 Transistors

abstract: Unlike Si, 2-dimensional (2D) Transition Metal Dichalcogenides (TMDs) offer atomically thin channels for carrier transport in FETs. Despite advantages like superior gate control, steep sub-threshold swing and high carrier mobility offered by 2D FET channels, process related challenges like lack of selective doping techniques like implantation and CMOS compatible process for fabrication of 2D TMD based FETs hinder the anticipated viability of 2D semiconductor technology for future electronic applications. In this letter, we demonstrate a process oriented approach to realize superior ambipolarity in 2D FETs based on TMDs like Molybdenum disulfide (MoS2), Tungsten disulfide (WS2), Molybdenum diselenide (MoSe2) and Tungsten diselenide (WSe2) by enhancing hole current by multiple orders of magnitude in otherwise strong N-type transistors. The method involves Hydrogen Sulfide (H2S gas) assisted contact engineering of N-type FETs to introduce surface states that alter device behavior. Based on material characterization and bandstructure calculations, physical insights have been developed to understand the effect of such a contact engineering technique. Subsequently, this technique has been demonstrated to alter device behavior by enhancing hole conduction in originally N-type exfoliated (MoS2, WS2, MoSe2 and WSe2) and CVD grown (MoS2) TMD samples to confirm its potential towards enabling the feasibility of 2D semiconductor device technology.


title: Natural Monoids and Non-commutative Arithmetics

abstract: We introduce several classes of monoids satisfying up to five axioms and establish basic theories on their arithmetics. The one satisfying all the axioms is named natural monoid. Two typical examples are 1) the monoid $\mathbb{N}$ of natural numbers in the group of positive rationals and 2) a certain monoid $\mathbb{S}$ in one of Thompson's groups. The latter one is non-abelian, which serves as an important example for non-commutative arithmetics. Defining primes in a non-abelian monoid $S$ is highly non-trivial, which relies on a concept we called `castling'. Three types of castlings are essential to grasp the arithmetics on $S$. Multiplicative and completely multiplicative functions are defined. In particular, M\"obius function is multiplicative, and Liouville function on a natural monoid is completely multiplicative. The divisor function has a sub-multiplicative property, which induces a non-trivial quantity $\tau_0(u)=\lim\nolimits_{n\rightarrow \infty}(\tau(u^n))^{1/n}$ in a non-abelian monoid $S$. Moreover, the quantity $\c{C}(S)=\sup\nolimits_{1\neq u\in S}\tau_0(u)/\tau(u)$ describes the complexity for castlings in $S$. We show that $\c{C}(\mathbb{N})=1/2$ and $\c{C}(\mathbb{S})=1$. The reduced $C^\ast$-algebra of $S$, on which a particular trace can be defined, is also studied. Furthermore, we prove that a natural monoid having finitely many primes is amenable.


title: Chalcogen Assisted Enhanced Atomic Orbital Interaction at TMDs - Metal Interface & Chalcogen Passivation of TMD Channel For Overall Performance Boost of 2D TMD FETs

abstract: Metal-semiconductor interface is a bottleneck for efficient transport of charge carriers through Transition Metal Dichalcogenide (TMD) based field-effect transistors (FETs). Injection of charge carriers across such interfaces is mostly limited by Schottky barrier at the contacts which must be reduced to achieve highly efficient contacts for carrier injection into the channel. Here we introduce a universal approach involving dry chemistry to enhance atomic orbital interaction between various TMDs (MoS2, WS2, MoSe2 and WSe2) & metal contacts has been experimentally demonstrated. Quantum chemistry between TMDs, Chalcogens and metals has been explored using detailed atomistic (DFT & NEGF) simulations, which is then verified using Raman, PL and XPS investigations. Atomistic investigations revealed lower contact resistance due to enhanced orbital interaction and unique physics of charge sharing between constituent atoms in TMDs with introduced Chalcogen atoms which is subsequently validated through experiments. Besides contact engineering, which lowered contact resistance by 72, 86, 1.8, 13 times in MoS2, WS2, MoSe2 and WSe2 respectively, a novel approach to cure / passivate dangling bonds present at the 2D TMD channel surface has been demonstrated. While the contact engineering improved the ON-state performance (ION, gm, mobility and RON) of 2D TMD FETs by orders of magnitude, Chalcogen based channel passivation was found to improve gate control (IOFF, SS, & VTH) significantly. This resulted in an overall performance boost. The engineered TMD FETs were shown to have performance on par with best reported till date.


title: Galaxy Rotation Coherent with the Motions of Neighbors: Discovery of Observational Evidence

abstract: We present our discovery of observational evidence for the coherence between galaxy rotation and the average line-of-sight motion of neighbors. We use the Calar Alto Legacy Integral Field Area (CALIFA) survey data analyzed with the Python CALIFA STARLIGHT Synthesis Organizer (PyCASSO) platform, and the NASA-Sloan Atlas (NSA) catalog. After estimating the projected angular momentum vectors of 445 CALIFA galaxies, we build composite maps of their neighbor galaxies on the parameter space of line-of-sight velocity versus projected distance. The composite radial profiles of the luminosity-weighted mean velocity of neighbors show striking evidence for dynamical coherence between the rotational direction of the CALIFA galaxies and the average moving direction of their neighbor galaxies. The signal of such dynamical coherence is significant for the neighbors within 800 kpc distance from the CALIFA galaxies, for which the luminosity-weighted mean velocity is as large as 61.7+/-17.6 km/s (3.5-sigma significance to bootstrap uncertainty) when the angular momentum is measured at R_e<R<=2R_e of each CALIFA galaxy. In the comparison of the subsamples, we find that faint, blue or kinematically misaligned galaxies show stronger coherence with neighbor motions than bright, red or kinematically well-aligned galaxies do. Our results indicate that (1) the rotation of a galaxy (particularly at its outskirt) is significantly influenced by interactions with its neighbors up to 800 kpc, (2) the coherence is particularly strong between faint galaxies and bright neighbors, and (3) galaxy interactions often cause internal kinematic misalignment or possibly even kinematically distinct cores.


title: Double-Robust Estimation in Difference-in-Differences with an Application to Traffic Safety Evaluation

abstract: Difference-in-differences (DID) is a widely used approach for drawing causal inference from observational panel data. Two common estimation strategies for DID are outcome regression and propensity score weighting. In this paper, motivated by a real application in traffic safety research, we propose a new double-robust DID estimator that hybridizes regression and propensity score weighting. We particularly focus on the case of discrete outcomes. We show that the proposed double-robust estimator possesses the desirable large-sample robustness property. We conduct a simulation study to examine its finite-sample performance and compare with alternative methods. Our empirical results from a Pennsylvania Department of Transportation data suggest that rumble strips are marginally effective in reducing vehicle crashes.


title: Audio Captcha Recognition Using RastaPLP Features by SVM

abstract: Nowadays, CAPTCHAs are computer generated tests that human can pass but current computer systems can not. They have common usage in various web services in order to be able to detect a human from computer programs autonomously. In this way, owners can protect their web services from bots. In addition to visual CAPTCHAs which consist of distorted images, mostly test images, that a user must write some description about that image, there are a significant amount of audio CAPTCHAs as well. Briefly, audio CAPTCHAs are sound files which consist of human sound under heavy noise where the speaker pronounces a bunch of digits consecutively. Generally, in those sound files, there are some periodic and non-periodic noises to get difficult to recognize them with a program but not for a human listener. We gathered numerous randomly collected audio file to train and then test them using our SVM algorithm to be able to extract digits out of each conversation.


title: Ensembles of feedforward-designed convolutional neural networks

abstract: An ensemble method that fuses the output decision vectors of multiple feedforward-designed convolutional neural networks (FF-CNNs) to solve the image classification problem is proposed in this work. To enhance the performance of the ensemble system, it is critical to increasing the diversity of FF-CNN models. To achieve this objective, we introduce diversities by adopting three strategies: 1) different parameter settings in convolutional layers, 2) flexible feature subsets fed into the Fully-connected (FC) layers, and 3) multiple image embeddings of the same input source. Furthermore, we partition input samples into easy and hard ones based on their decision confidence scores. As a result, we can develop a new ensemble system tailored to hard samples to further boost classification accuracy. Experiments are conducted on the MNIST and CIFAR-10 datasets to demonstrate the effectiveness of the ensemble method.


title: Dynamic domain wall in charged dilaton black hole spacetimes

abstract: In this paper we study the dynamics of $ n-1$ dimensional domain wall universe embedded in a $n$ dimensional charged dilaton black hole bulk with the non-asymptotically flat and non-asymptotically (A)dS characters. We find that domain wall can always cross horizon, for which the dilaton coupling constant $a$ and the ratio of pressure to density $w$ play the role of controlling parameters. Then the consequent domain wall motion outside the black hole generally falls into four situations: all time accelerating expansion, slow expansion with a constant speed, expansion followed by collapsing into horizon, and accelerating collapsing into horizon. However, there exists a small patch of parametric sphere, in which the domain wall expansion first slows down and then accelerates. Our analysis also reveals that the big bang theory applies to the domain wall world scenario, while big bounce will not appear in our paper. Furthermore, we find that when we choose the expansion stage as radiation or matter stage, the resultant coupling strength between dilaton field and Maxwell field depends on the different black hole models.


title: Influence Minimization Under Budget and Matroid Constraints: Extended Version

abstract: Recently, online social networks have become major battlegrounds for political campaigns, viral marketing, and the dissemination of news. As a consequence, ''bad actors'' are increasingly exploiting these platforms, becoming a key challenge for their administrators, businesses and the society in general. The spread of fake news is a classical example of the abuse of social networks by these actors. While some have advocated for stricter policies to control the spread of misinformation in social networks, this often happens in detriment of their democratic and organic structure. In this paper we study how to limit the influence of a target set of users in a network via the removal of a few edges. The idea is to control the diffusion processes while minimizing the amount of disturbance in the network structure. We formulate the influence limitation problem in a data-driven fashion, by taking into account past propagation traces. Moreover, we consider two types of constraints over the set of edge removals, a budget constraint and also a, more general, set of matroid constraints. These problems lead to interesting challenges in terms of algorithm design. For instance, we are able to show that influence limitation is APX-hard and propose deterministic and probabilistic approximation algorithms for the budgeted and matroid version of the problem, respectively. Our experiments show that the proposed solutions outperform the baselines by up to 40%.


title: On Tail Dependence Matrices -- The Realization Problem for Parametric Families

abstract: Among bivariate tail dependence measures, the tail dependence coefficient has emerged as the popular choice. Akin to the correlation matrix, a multivariate dependence measure is constructed using these bivariate measures, and this is referred to in the literature as the tail dependence matrix (TDM). While the problem of determining whether a given ${d\times d}$ matrix is a correlation matrix is of the order $O(d^3)$ in complexity, determining if a matrix is a TDM (the realization problem) is believed to be non-polynomial in complexity. Using a linear programming (LP) formulation, we show that the combinatorial structure of the constraints is related to the intractable max-cut problem in a weighted graph. This connection provides an avenue for constructing parametric classes admitting a polynomial in $d$ algorithm for determining membership in its constraint polytope. The complexity of the general realization problem is justifiably of much theoretical interest. Since in practice one resorts to lower dimensional parametrization of the TDMs, we posit that it is rather the complexity of the realization problem restricted to parametric classes of TDMs, and algorithms for it, that are more practically relevant. In this paper, we show how the inherent symmetry and sparsity in a parametrization can be exploited to achieve a significant reduction in the LP formulation, which can lead to polynomial complexity of such realization problems - some parametrizations even resulting in the constraint polytope being independent of $d$. We also explore the use of a probabilistic viewpoint on TDMs to derive the constraint polytopes.


title: Quantifying star formation activity in the inner 1kpc of local MIR bright QSOs

abstract: We examine star formation activity in a distance- (z<0.1) and flux-limited sample of quasars (QSOs). Mid-infrared (MIR) spectral diagnostics at high spatial resolution (~0.4 arcsec) yield star formation rates (SFRs) in the inner regions (~300 pc to 1 kpc) for 13 of 20 of the sample members. We group these objects according to the size probed by the high angular resolution spectroscopy, with characteristic scales of <0.7 and ~0.7-1 kpc. Using the polycyclic aromatic hydrocarbon (PAH) feature at 11.3 um, we measure SFRs around 0.2 and 1.6 M_{\odot}yr^{-1}. We also measure the larger aperture PAH-derived SFRs in the individual IRS/Spitzer spectra of the sample and obtain a clear detection in ~58 percent of them. We compare smaller and larger aperture measurements and find that they are similar, suggesting that star formation activity in these QSOs is more centrally concentrated, with the inner region (>~1 kpc) accounting for the majority of star formation measured on these scales, and that PAH molecules can be present in most local MIR-bright QSOs within a few hundred pc from the central engine. By comparison with merger simulations, we find that our estimation of the SFR and black hole (BH) accretion rates are consistent with a scenario in which the star formation activity is centrally peaked as predicted by simulations.


title: Preliminary study on parameter estimation accuracy of supermassive black hole binary inspirals for TianQin

abstract: We use the Fisher information matrix method to calculate the parameter estimation accuracy of inspiraling supermassive black holes binaries for TianQin, a space-borne laser interferometric detector aimed at detecting gravitational waves in the millihertz frequency band. The `restricted' post-Newtonian waveform in which third order post-Newtonian (3PN) phase including spin effects (spin-orbit $\beta$ and spin-spin $\sigma$) and first-order eccentricity contribution is employed. Monte Carlo simulations using $10^3$ binaries for mass pairs with component masses in the range of $({10^5},{10^7}){M_ \odot }$ and cosmological redshift $z=0.5$ show that the medians of the root-mean-square error distributions for the chirp mass $M_c$ and symmetric mass ratio $\eta$ are in the range of $\sim 0.02\% - 0.7\% $ and $\sim 4\% - 8\% $, respectively. The luminosity distance $D_L$ can be determined to be $\sim 1\% - 3\% $, and the angular resolution of source $\Delta \Omega $ is better than 12 deg$^2$. The corresponding results for $z=1.0$ and $2.0$, which are deteriorated with the decreasing of the signal-to-noise ratio, have also been given. We show that adding spin parameters degrades measurement accuracy of the mass parameters (${M_c}$, $\eta$), and the time and the orbital phase of coalescence ($t_c$, $\phi _c$); the inclusion of the first-order eccentricity correction to the phase worsens the estimation accuracy comparing with the circular cases. We also show the effects of post-Newtonian order on parameter estimation accuracy by comparing the results based on second order and third order post-Newtonian phases. Moreover, we calculate the horizon distance of supermassive black hole binaries for TianQin.


title: The isoperimetric problem for $3$-polytopes with six vertices

abstract: We prove that the regular octahedron has the minimal surface area among 3-polytopes of given volume and having at most six vertices.


title: Risk-Aware Active Inverse Reinforcement Learning

abstract: Active learning from demonstration allows a robot to query a human for specific types of input to achieve efficient learning. Existing work has explored a variety of active query strategies; however, to our knowledge, none of these strategies directly minimize the performance risk of the policy the robot is learning. Utilizing recent advances in performance bounds for inverse reinforcement learning, we propose a risk-aware active inverse reinforcement learning algorithm that focuses active queries on areas of the state space with the potential for large generalization error. We show that risk-aware active learning outperforms standard active IRL approaches on gridworld, simulated driving, and table setting tasks, while also providing a performance-based stopping criterion that allows a robot to know when it has received enough demonstrations to safely perform a task.


title: Well-posedness of strong solutions for the Vlasov equation coupled to non-Newtonian fluids in dimension three

abstract: We consider the Cauchy problem for coupled system of Vlasov and non-Newtonian fluid equations. We establish local well--posedness of the strong solutions, provided that the initial data are regular enough. Global existence of unique strong solutions for any given time interval is shown as well if the initial data are sufficiently small.


title: Analytical solutions for precipitation size distributions at steady-state

abstract: Analytical solutions are derived for the steady-state size distributions of precipitating rain and snow particles assuming growth via collection of suspended cloud particles. Application of the Liouville equation to the transfer of precipitating mass through size bins in a cascade yields a characteristic gamma distribution with a "Marshall-Palmer" exponential tail with respect to particle diameter. For rain, the principle parameters controlling size distribution shape are cloud droplet liquid water path and cloud updraft speed. Stronger updrafts lead to greater concentrations of large precipitating drops and a peak in the size distribution. The solutions provide a means for relating size distributions measured in the air or on the ground to cloud bulk microphysical and dynamic properties.


title: Double-Decker Filament Configuration Revealed by Mass Motions

abstract: It is often envisaged that dense filament material lies in the dips of magnetic field lines belonging to either a sheared arcade or a magnetic flux rope. But it is also debated which configuration correctly depicts filaments' magnetic structure, due to our incapacity to measure the coronal magnetic field. In this paper, we address this issue by employing mass motions in an active-region filament to diagnose its magnetic structure. The disturbance in the filament was driven by a surge initiated at the filament's eastern end in the NOAA active region 12685, which was observed by the 1-m New Vacuum Solar Telescope (NVST) in the H$\alpha$ line center and line wing ($\pm0.4$~{\AA}). Filament material predominately exhibits two kinds of motions, namely, rotation about the spine and longitudinal oscillation along the spine. The former is evidenced by antisymmetric Doppler shifts about the spine; the latter features a dynamic barb with mass extending away from the H$\alpha$ spine until the transversal edge of the EUV filament channel. The longitudinal oscillation in the eastern section of the filament is distinct from that in the west, implying that the underlying field lines have different lengths and curvature radii. The composite motions of filament material suggest a double-decker host structure with mixed signs of helicity, comprising a flux rope atop a sheared-arcade system.


title: Quadratic to linear magnetoresistance tuning in TmB4

abstract: The change of a material's electrical resistance (R) in response to an external magnetic field (B) provides subtle information for the characterization of its electronic properties and has found applications in sensor and storage related technologies. In good metals, Boltzmann's theory predicts a quadratic growth in magnetoresistance (MR) at low B, and saturation at high fields. On the other hand, a number of nonmagnetic materials with weak electronic correlation and low carrier concentration for metallicity, such as inhomogeneous conductors, semimetals, narrow gap semiconductors and topological insulators, two-dimensional electron gas (2DEG) show positive, non-saturating linear magnetoresistance (LMR). However, observation of LMR in single crystals of a good metal is rare. Here we present low-temperature, angle dependent magnetotransport in single crystals of the antiferromagnetic metal, TmB4. We observe large, positive and anisotropic MR(B), which can be tuned from quadratic to linear by changing the direction of the applied field. In view of the fact that isotropic, single crystalline metals with large Fermi surface (FS) are not expected to exhibit LMR, we attribute our observations to the anisotropic FS topology of TmB4. Furthermore, the linear MR is found to be temperature-independent, suggestive of quantum mechanical origin.


title: K-Core Minimization: A Game Theoretic Approach

abstract: K-cores are maximal induced subgraphs where all vertices have degree at least k. These dense patterns have applications in community detection, network visualization and protein function prediction. However, k-cores can be quite unstable to network modifications, which motivates the question: How resilient is the k-core structure of a network, such as the Web or Facebook, to edge deletions? We investigate this question from an algorithmic perspective. More specifically, we study the problem of computing a small set of edges for which the removal minimizes the $k$-core structure of a network. This paper provides a comprehensive characterization of the hardness of the k-core minimization problem (KCM), including innaproximability and fixed-parameter intractability. Motivated by such a challenge in terms of algorithm design, we propose a novel algorithm inspired by Shapley value -- a cooperative game-theoretic concept -- that is able to leverage the strong interdependencies in the effects of edge removals in the search space. As computing Shapley values is also NP-hard, we efficiently approximate them using a randomized algorithm with probabilistic guarantees. Our experiments, using several real datasets, show that the proposed algorithm outperforms competing solutions in terms of k-core minimization while being able to handle large graphs. Moreover, we illustrate how KCM can be applied in the analysis of the k-core resilience of networks.


title: Constraint to chiral invariant masses of nucleons from GW170817 in an extended parity doublet model

abstract: We construct nuclear matter based on an extended parity doublet model including four light nucleons $N(939)$, $N(1440)$, $N(1535)$, and $N(1650)$. We exclude some values of the chiral invariant masses by requiring the saturation properties of normal nuclear matter; saturation density, binding energy, incompressibility, and symmetry energy. We find further constraint to the chiral invariant masses from the tidal deformability determined by the observation of the gravitational waves from neutron star merger GW170817. Our result shows that the chiral invariant masses are larger than about $600\,$MeV. We also give some predictions on the symmetry energy and the slope parameters in the high density region, which will be measured in future experiments.


title: Hyperbolic Model for Free Surface Shallow Water Flows with Effects of Dispersion, Vorticity and Topography

abstract: We derive a hyperbolic system of equations approximating the two-layer dispersive shallow water model for shear flows recently proposed by Gavrilyuk, Liapidevskii \& Chesnokov (J. Fluid Mech., vol. 808, 2016, pp. 441--468). The use of this system for modelling the evolution of surface waves makes it possible to avoid the major numerical challenges in solving dispersive shallow water equations, which are connected with the resolution of an elliptic problem at each time instant and realization of non-reflecting conditions at the boundary of the calculation domain. It also allows one to reduce the computation time. The velocities of the characteristics of the obtained model are determined and the linear analysis is performed. Stationary solutions of the model are constructed and studied. Numerical solutions of the hyperbolic system are compared with solutions of the original dispersive model. It is shown that they almost coincide for large time intervals. The system obtained is applied to study non-stationary undular bores produced after interaction of a uniform flow with an immobile wall, non-hydrostatic shear flows over a local obstacle and the evolution of breaking solitary wave on a sloping beach.


title: Distributionally Robust Optimization with Confidence Bands for Probability Density Functions

abstract: Distributionally robust optimization (DRO) has been introduced for solving stochastic programs where the distribution of the random parameters is unknown and must be estimated by samples from that distribution. A key element of DRO is the construction of the ambiguity set, which is a set of distributions that covers the true distribution with a high probability. Assuming that the true distribution has a probability density function, we propose a class of ambiguity sets based on confidence bands of the true density function. The use of the confidence band enables us to take the prior knowledge of the shape of the underlying density function into consideration (e.g., unimodality or monotonicity). Using the confidence band constructed by density estimation techniques as the ambiguity set, we establish the convergence of the optimal value of DRO to that of the stochastic program as the sample size increases. However, the resulting DRO problem is computationally intractable, as it involves functional decision variables as well as infinitely many constraints. To address this challenge, using the duality theory, we reformulate it into a finite-dimensional stochastic program, which is amenable to a stochastic subgradient scheme as a solution method. We compare our approach with existing state-of-the-art DRO methods on the newsvendor problem and the portfolio management problem, and the numerical results showcase the advantage of our approach.


title: Tight trees and model geometries of surface bundles over graphs

abstract: We generalize the notion of tight geodesics in the curve complex to tight trees. We then use tight trees to construct model geometries for certain surface bundles over graphs. This extends some aspects of the combinatorial model for doubly degenerate hyperbolic 3-manifolds developed by Brock, Canary, and Minsky during the course of their proof of the Ending Lamination Theorem. Thus we obtain uniformly Gromov-hyperbolic geometric model spaces equipped with geometric $G-$actions, where $G$ admits an exact sequence of the form $$1 \to \pi_1(S) \to G \to Q \to 1.$$ Here $S$ is a closed surface of genus $g > 1$ and $Q$ belongs to a special class of free convex cocompact subgroups of the mapping class group $MCG(S)$.


title: Controlling the stoichiometry of the triangular lattice antiferromagnet Li$_{1+x}$Zn$_{2-y}$Mo$_3$O$_8$

abstract: The control of the stoichiometry of Li$_{1+x}$Zn$_{2-y}$Mo$_3$O$_8$ was achieved by the solid-state-reaction. We found that the best sample that has the chemical composition Li$_{0.95(4)}$Zn$_{1.92(8)}$Mo$_3$O$_8$ was obtained from the starting nominal composition with Li : Zn : Mo : O = $(1+w)$ : $(2.8-w)$ : $3$ : $8.6$ with $w = -0.1$, indicating that the stoichiometry is greatly improved compared to those in the earlier reports. For larger $w$ detailed structural analysis indicates that the mixed sites of Li and Zn are preferentially occupied by Li atoms, as well as the fraction of the non-magnetic secondary phase Zn$_2$Mo$_3$O$_8$ decreases. Magnetic susceptibility of the improved stoichiometry powder samples shows a broad hump in the temperature range of 100 $< T <$ 200 K. This suggests that the development of antiferromagnetic correlations at the high temperatures is inherent to the ideal stoichiometric LiZn$_2$Mo$_3$O$_8$.


title: Solar-Sail Trajectory Design for Multiple Near Earth Asteroid Exploration Based on Deep Neural Networks

abstract: In the preliminary trajectory design of the multi-target rendezvous problem, a model that can quickly estimate the cost of the orbital transfer is essential. The estimation of the transfer time using solar sail between two arbitrary orbits is difficult and usually requires to solve an optimal control problem. Inspired by the successful applications of the deep neural network in nonlinear regression, this work explores the possibility and effectiveness of mapping the transfer time for solar sail from the orbital characteristics using the deep neural network. Furthermore, the Monte Carlo Tree Search method is investigated and used to search the optimal sequence considering a multi-asteroid exploration problem. The obtained sequences from preliminary design will be solved and verified by sequentially solving the optimal control problem. Two examples of different application backgrounds validate the effectiveness of the proposed approach.


title: Equivalence Checking of Quantum Finite-State Machines

abstract: In this paper, we introduce the model of quantum Mealy machines and study the equivalence checking and minimisation problems of them. Two efficient algorithms are developed for checking equivalence of two states in the same machine and for checking equivalence of two machines. As an application, they are used in equivalence checking of quantum circuits. Moreover, the minimisation problem is proved to be in $\textbf{PSPACE}$.


title: On an $H^r(\curl,\O)$ estimate for a Maxwell-type system in convex domains

abstract: In bounded convex domains, the regularity estimates of a vector field $\u$ with its $\dv\u$, $\curl\u$ in $L^r$ space and the tangential components or the normal component of $\u$ over the boundary in $L^r$ space, are established for $1<r<\infty$. As an application, we derive an $H^r(\curl,\O)$ estimate for solutions to a Maxwell-type system with an inhomogeneous boundary condition in convex domains.


title: Classification of bifurcation diagrams in coupled phase-oscillator models with asymmetric natural frequency distributions

abstract: Synchronization among rhythmic elements is modeled by coupled phase-oscillators each of which has the so-called natural frequency. A symmetric natural frequency distribution induces a continuous or discontinuous synchronization transition from the nonsynchronized state, for instance. It has been numerically reported that asymmetry in the natural frequency distribution brings new types of bifurcation diagram having, in the order parameter, oscillation or a discontinuous jump which emerges from a partially synchronized state. We propose a theoretical classification method of five types of bifurcation diagrams including the new ones, paying attention to the generality of the theory. The oscillation and the jump from partially synchronized states are discussed respectively by the linear analysis around the nonsynchronized state and by extending the amplitude equation up to the third leading term. The theoretical classification is examined by comparing with numerically obtained one.


title: Open superstring field theory including the Ramond sector based on the supermoduli space

abstract: We construct a gauge-invariant action for open superstring field theory up to quartic order including the Ramond sector based on the covering of the supermoduli space of super-Riemann surfaces, following the approach presented by Ohmori and Okawa. Since our approach is based on the covering of the supermoduli space, the resulting action naturally has an $A_\infty$ structure. In our construction, adding stubs to the star product can be easily incorporated, and we explicitly construct an action for open superstring field theory including the Ramond sector with stubs up to quartic interactions.


title: Strong decays of the $Y(4660)$ as a vector tetraquark state in solid quark-hadron duality

abstract: In this article, we choose the $[sc]_P[\bar{s}\bar{c}]_A-[sc]_A[\bar{s}\bar{c}]_P$ type tetraquark current to study the hadronic coupling constants in the strong decays $Y(4660)\to J/\psi f_0(980)$, $\eta_c \phi(1020)$, $\chi_{c0}\phi(1020)$, $D_s\bar{D}_s$, $ D_s^* \bar{D}^*_s$, $ D_s \bar{D}^*_s$, $D_s^* \bar{D}_s$, $\psi^\prime \pi^+\pi^-$, $J/\psi\phi(1020)$ with the QCD sum rules based on solid quark-hadron quality. The predicted width $\Gamma(Y(4660) )= 74.2^{+29.2}_{-19.2}\,{\rm{MeV}}$ is in excellent agreement with the experimental data $68\pm 11\pm 1 {\mbox{ MeV}}$ from the Belle collaboration, which supports assigning the $Y(4660)$ to be the $[sc]_P[\bar{s}\bar{c}]_A-[sc]_A[\bar{s}\bar{c}]_P$ type tetraquark state with $J^{PC}=1^{--}$. In calculations, we observe that the hadronic coupling constants $ |G_{Y\psi^\prime f_0}|\gg |G_{Y J/\psi f_0}|$, which is consistent with the observation of the $Y(4660)$ in the $\psi^\prime\pi^+\pi^-$ mass spectrum, and favors the $\psi^{\prime}f_0(980)$ molecule assignment. It is important to search for the process $Y(4660)\to J/\psi \phi(1020)$ to diagnose the nature of the $Y(4660)$, as the decay is greatly suppressed.


title: Age Optimal Information Gathering and Dissemination on Graphs

abstract: We consider the problem of timely exchange of updates between a central station and a set of ground terminals $V$, via a mobile agent that traverses across the ground terminals along a mobility graph $G = (V, E)$. We design the trajectory of the mobile agent to minimize peak and average age of information (AoI), two newly proposed metrics for measuring timeliness of information. We consider randomized trajectories, in which the mobile agent travels from terminal $i$ to terminal $j$ with probability $P_{i,j}$. For the information gathering problem, we show that a randomized trajectory is peak age optimal and factor-$8\mathcal{H}$ average age optimal, where $\mathcal{H}$ is the mixing time of the randomized trajectory on the mobility graph $G$. We also show that the average age minimization problem is NP-hard. For the information dissemination problem, we prove that the same randomized trajectory is factor-$O(\mathcal{H})$ peak and average age optimal. Moreover, we propose an age-based trajectory, which utilizes information about current age at terminals, and show that it is factor-$2$ average age optimal in a symmetric setting.


title: A Geometrical Analysis of a Class of Nonconvex Conic Programs for Convex Conic Reformulations of Quadratic and Polynomial Optimization Problems

abstract: We present a geometrical analysis on the completely positive programming reformulation of quadratic optimization problems and its extension to polynomial optimization problems with a class of geometrically defined nonconvex conic programs and their covexification. The class of nonconvex conic programs is described with a linear objective functionin a linear space $V$, and the constraint set is represented geometrically as the intersection of a nonconvex cone $K \subset V$, a face $J$ of the convex hull of $K$ and a parallel translation $L$ of a supporting hyperplane of the nonconvex cone $K$. We show that under a moderate assumption, the original nonconvex conic program can equivalently be reformulated as a convex conic program by replacing the constraint set with the intersection of $J$ and the hyperplane $L$. The replacement procedure is applied to derive the completely positive programming reformulation of quadratic optimization problems and its extension to polynomial optimization problems.


title: Amenability modulo an ideal of Frechet algebras

abstract: Amenability modulo an ideal of a Banach algebra have been defined and studied. In this paper we introduce the concept of amenability modulo an ideal of a Frechet algebra and investigate some known results about amenability modulo an ideal of a Frechet algebra. Also we show that a Frechet algebra A is amenable modulo an ideal if and only if A is isomorphic to a reduced limit of amenable modulo an ideal of Banach algebras.


title: Successive Convexification for 6-DoF Powered Descent Guidance with Compound State-Triggered Constraints

abstract: This paper introduces a continuous formulation for compound state-triggered constraints, which are generalizations of the recently introduced state-triggered constraints. State-triggered constraints are different from ordinary constraints found in optimal control in that they use a state-dependent trigger condition to enable or disable a constraint condition, and can be expressed as continuous functions that are readily handled by successive convexification. Compound state-triggered constraints go a step further, giving designers the ability to compose trigger and constraint conditions using Boolean and and or operations. Simulations of the 6-degree-of-freedom (DoF) powered descent guidance problem obtained using successive convexification are presented to illustrate the utility of state-triggered and compound state-triggered constraints. The examples employ a velocity-triggered angle of attack constraint to alleviate aerodynamic loads, and a collision avoidance constraint to avoid large geological formations. In particular, the velocity-triggered angle of attack constraint demonstrates the ability of state-triggered constraints to introduce new constraint phases to the solution without resorting to combinatorial techniques.


title: Comments on "Deep Neural Networks with Random Gaussian Weights: A Universal Classification Strategy?"

abstract: In a recently published paper [1], it is shown that deep neural networks (DNNs) with random Gaussian weights preserve the metric structure of the data, with the property that the distance shrinks more when the angle between the two data points is smaller. We agree that the random projection setup considered in [1] preserves distances with a high probability. But as far as we are concerned, the relation between the angle of the data points and the output distances is quite the opposite, i.e., smaller angles result in a weaker distance shrinkage. This leads us to conclude that Theorem 3 and Figure 5 in [1] are not accurate. Hence the usage of random Gaussian weights in DNNs cannot provide an ability of universal classification or treating in-class and out-of-class data separately. Consequently, the behavior of networks consisting of random Gaussian weights only is not useful to explain how DNNs achieve state-of-art results in a large variety of problems.


title: Theory of electron transport and emission from a semiconductor nanotip

abstract: An effective mass based model accounting for the conduction band quantization in a high aspect ratio semiconductor nanotip is developed to describe injected electron transport and subsequent electron emission from the nanotip. A transfer matrix formalism is used to treat electron scattering induced by the variation in the tip diameter and the electron emission. Numerical analysis of the scattering and emission probabilities is performed for the diamond parametrized nanotip model. Our scattering and emission models are further combined with a Monte Carlo (MC) approach to simulate electron transport through the nanotip. The MC simulations, also accounting for the electron-phonon scattering and externally applied electric field, are performed for a minimal nanotip model and an equivalent width diamond slab. An effect of the level quantization, electron scattering due to the nanotip diameter variation, and electron-phonon scattering on the nanotip emission properties is identified and compared with the case of bulk slab.


title: Explaining AlphaGo: Interpreting Contextual Effects in Neural Networks

abstract: In this paper, we propose to disentangle and interpret contextual effects that are encoded in a pre-trained deep neural network. We use our method to explain the gaming strategy of the alphaGo Zero model. Unlike previous studies that visualized image appearances corresponding to the network output or a neural activation only from a global perspective, our research aims to clarify how a certain input unit (dimension) collaborates with other units (dimensions) to constitute inference patterns of the neural network and thus contribute to the network output. The analysis of local contextual effects w.r.t. certain input units is of special values in real applications. Explaining the logic of the alphaGo Zero model is a typical application. In experiments, our method successfully disentangled the rationale of each move during the Go game.


title: Data Masking with Privacy Guarantees

abstract: We study the problem of data release with privacy, where data is made available with privacy guarantees while keeping the usability of the data as high as possible --- this is important in health-care and other domains with sensitive data. In particular, we propose a method of masking the private data with privacy guarantee while ensuring that a classifier trained on the masked data is similar to the classifier trained on the original data, to maintain usability. We analyze the theoretical risks of the proposed method and the traditional input perturbation method. Results show that the proposed method achieves lower risk compared to the input perturbation, especially when the number of training samples gets large. We illustrate the effectiveness of the proposed method of data masking for privacy-sensitive learning on $12$ benchmark datasets.


title: LPNHE scientific perspectives for the European Strategy for Particle Physics

abstract: This note summarizes the activities and the scientific and technical perspectives of the Laboratoire de Physique Nucleaire et de Hautes Energies (LPNHE) at Sorbonne University, Paris. Although the ESPP is specifically aimed at particle physics, we discuss in this note in parallel the three scientific lines developed at LPNHE (Particle Physics, Astroparticles, Cosmology), first with the current scientific activities, then for the future activities. However, our conclusions and recommendations are focused on the particle physics strategy.


title: Measurements of atmospheric turbulence parameters at Vainu Bappu Observatory using short-exposure CCD images

abstract: We report the atmospheric turbulence parameters namely, atmospheric seeing, the tilt-anisoplanatic angle ($\theta_0$) and the coherence time ($\tau_0$), measured under various sky conditions, at Vainu Bappu Observatory in Kavalur. Bursts of short exposure images of selected stars were recorded with a high-speed, frame-transfer CCD mounted on the Cassegrain focus of a newly commissioned 1.3 m telescope. The estimated median seeing is $ \approx 1.85^{\prime\prime} $ at wavelength of $\sim 600$ nm, the image motion correlation between different pairs of stars is $\sim 44\%$ for $\theta_0 \approx 36^{\prime\prime}$ and mean $\tau_0$ is $\approx 2.4$ ms. This work was motivated by the design considerations and expected the performance of an adaptive optics system that is currently being planned for the telescope.


title: StaBL - State Based Language for Specification of Web Applications

abstract: Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt formal specification language should provide the following features: Firstly, it should have well-defined semantics, so that specifications written in it can not be inherently ambiguous. Secondly, it should have tool support for automatic detection of specification bugs. Additionally, for domains like web development, it is important that specification formalisms build over familiar notations, as the benefits of learning highly mathematical notations in such domains are perceived to be low. Principal ideas/results: This work presents a State Based Language inspired by Statecharts called StaBL for specification of web applications, and how StaBL can be used for writing such specifications. We also present modifications to the language w.r.t Statechart which facilitate writing modular and scalable specification. Contribution: In particular, we present the feature of locally scoped variables with inter-state data-flow. We summarise our experience of developing specifications with StaBL, which shows that StaBL specifications, on the one hand, are able to capture most essential elements of the functional aspects of a web application while foregoing much of the verbosity of a regular programming language.


title: Can we split fractional derivative while analyzing fractional differential equations?

abstract: Fractional derivatives are generalization to classical integer-order derivatives. The rules which are true for classical derivative need not hold for the fractional derivatives, for example, we cannot simply add the fractional orders $\alpha$ and $\beta$ in ${}_0^{C}\mathrm{D}_t^\alpha {}_0^{C}\mathrm{D}_t^\beta$ to produce the fractional derivative ${}_0^{C}\mathrm{D}_t^{\alpha+\beta}$ of order $\alpha+\beta$, in general. In this article we discuss the details of such compositions and propose the conditions to split a linear fractional differential equation into the systems involving lower order derivatives. Further, we provide some examples, which show that the related results in the literature are sufficient but not necessary conditions.


title: High-dimensional limits of eigenvalue distributions for general Wishart process

abstract: In this article, we obtain an equation for the high-dimensional limit measure of eigenvalues of generalized Wishart processes, and the results is extended to random particle systems that generalize SDEs of eigenvalues. We also introduce a new set of conditions on the coefficient matrices for the existence and uniqueness of a strong solution for the SDEs of eigenvalues. The equation of the limit measure is further discussed assuming self-similarity on the eigenvalues.


title: Linear Schr\"odinger equation with temporal evolution for front induced transitions

abstract: The nonlinear Schr\"odinger equation based on slowly varying approximation is usually applied to describe the pulse propagation in nonlinear waveguides. However, for the case of the front induced transitions (FITs), the pump effect is well described by the dielectric constant perturbation in space and time. Thus, a linear Schr\"odinger equation can be used. Also, in waveguides with weak dispersion the spatial evolution of the pulse temporal profile is usually tracked. Such a formulation becomes impossible for optical systems for which the group index or higher dispersion terms diverge as is the case near the band edge of photonic crystals. For the description of FITs in such systems a linear Schr\"odinger equation can be used where temporal evolution of the pulse spatial profile is tracked instead of tracking the spatial evolution. This representation provides the same descriptive power and can easily deal with zero group velocities. Furthermore, the Schr\"odinger equation with temporal evolution can describe signal pulse reflection from both static and counter-propagating fronts, in contrast to the Schr\"odinger equation with spatial evolution which is bound to forward propagation. Here, we discuss the two approaches and demonstrate the applicability of the spatial evolution for the system close to the band edge where the group velocity vanishes by simulating intraband indirect photonic transitions.


title: Inversion-based Measurement of Data Consistency for Read/Write Registers

abstract: Both providers and consumers of distributed storage services benefit from the quantification of the severity of consistency violations. However, existing methods fail to capture a typical pattern of violation - the disorder among operations with reference to the ideally strong atomic execution. Such disorder are often seen in Internet applications based on distributed storage services, such as instant messaging. To this end, we use inversions in a permutation with reference to the totally-ordered permutation to measure the consistency of data. The $i$-atomicity model is proposed and a (pseudo-)polynomial verification algorithm for a restricted type of histories is proposed. The basic idea of the verification algorithm is brute-force search of the permutation with less than $i$ inversions, which requires exponential cost. Reasonable assumptions abstracted from applications scenarios can be leveraged to prune the search space, which yields an efficient polynomial verification algorithm.


title: Impact of magnetic nanoparticles on the Casimir pressure in three-layer systems

abstract: The Casimir pressure is investigated in three-layer systems where the intervening stratum possesses magnetic properties. This subject is gaining in importance in connection with ferrofluids and their use in various microelectromechanical devices. We present general formalism of the Lifshitz theory adapted to the case of ferrofluid sandwiched between two dielectric walls. The Casimir pressure is computed for the cases of kerosene- and water-based ferrofluids containing a 5% fraction of magnetite nanoparticles with different diameters between silica glass walls. For this purpose, we have found the dielectric permittivities of magnetite and kerosene along the imaginary frequency axis employing the available optical data and used the familiar dielectric properties of silica glass and water, as well as the magnetic properties of magnetite. We have also computed the relative difference in the magnitudes of the Casimir pressure which arises on addition of magnetite nanoparticles to pure carrier liquids. It is shown that for nanoparticles of 20 nm diameter at 2 micrometer separation between the walls this relative difference exceeds 140% and 25% for kerosene- and water-based ferrofluids, respectively. An interesting effect is found that at a fixed separation between the walls an addition of magnetite nanoparticles with some definite diameter makes no impact on the Casimir pressure. The physical explanation for this effect is provided. Possible applications of the obtained results are discussed.


title: Languages ordered by the subword order

abstract: We consider a language together with the subword relation, the cover relation, and regular predicates. For such structures, we consider the extension of first-order logic by threshold- and modulo-counting quantifiers. Depending on the language, the used predicates, and the fragment of the logic, we determine four new combinations that yield decidable theories. These results extend earlier ones where only the language of all words without the cover relation and fragments of first-order logic were considered.


title: Witt Vectors, Polynomial Maps, and Real Topological Hochschild Homology

abstract: We show that various flavors of Witt vectors are functorial with respect to multiplicative polynomial laws of finite degree. We then deduce that the $p$-typical Witt vectors are functorial in multiplicative polynomial maps of degree at most $p-1$. This extra functoriality allows us to extend the $p$-typical Witt vectors functor from commutative rings to $\mathbb{Z}/2$-Tambara functors, for odd primes $p$. We use these Witt vectors for Tambara functors to describe the components of the dihedral fixed-points of the real topological Hochschild homology spectrum at odd primes.


title: Evolution of Magnetic Double Helix and Quantum Criticality near a Dome of Superconductivity in CrAs

abstract: At ambient pressure CrAs undergoes a first-order transition into a double-helical magnetic state at TN = 265 K, which is accompanied by a structural transition. The recent discovery of pressure-induced superconductivity in CrAs makes it important to clarify the nature of quantum phase transitions out of its coupled structural/helimagnetic order. Here we show, via neutron diffraction on the single-crystal CrAs under hydrostatic pressure (P), that the combined order is suppressed at Pc ~ 10 kbar, near which bulk superconductivity develops with a maximal transition temperature Tc ~ 2 K. We further show that the coupled order is also completely suppressed by phosphorus doping in CrAs1-xPx at a critical xc ~ 0.05, above which inelastic neutron scattering evidenced persistent antiferromagnetic correlations, providing a possible link between magnetism and superconductivity. In line with the presence of antiferromagnetic fluctuations near Pc (xc), the A coefficient of the quadratic temperature dependence of resistivity exhibits a dramatic enhancement as P (x) approaches Pc (xc), around which Res(T) has a non-Fermi-liquid form. Accordingly, the electronic specific-heat coefficient of CrAs1-xPx peaks out around xc. These properties provide clear evidences for quantum criticality, which we interpret as originating from a nearly second-order helimagnetic quantum phase transition that is concomitant with a first-order structural transition. Our findings in CrAs highlight the distinct characteristics of quantum criticality in bad metals, thereby bringing out new insights into the physics of unconventional superconductivity such as occurring in the high-Tc iron pnictides.