title: Quantifying the distribution of editorial power and manuscript decision bias at the mega-journal PLOS ONE

abstract: We analyzed the longitudinal activity of nearly 7,000 editors at the mega-journal PLOS ONE over the 10-year period 2006-2015. Using the article-editor associations, we develop editor-specific measures of power, activity, article acceptance time, citation impact, and editorial renumeration (an analogue to self-citation). We observe remarkably high levels of power inequality among the PLOS ONE editors, with the top-10 editors responsible for 3,366 articles -- corresponding to 2.4% of the 141,986 articles we analyzed. Such high inequality levels suggest the presence of unintended incentives, which may reinforce unethical behavior in the form of decision-level biases at the editorial level. Our results indicate that editors may become apathetic in judging the quality of articles and susceptible to modes of power-driven misconduct. We used the longitudinal dimension of editor activity to develop two panel regression models which test and verify the presence of editor-level bias. In the first model we analyzed the citation impact of articles, and in the second model we modeled the decision time between an article being submitted and ultimately accepted by the editor. We focused on two variables that represent social factors that capture potential conflicts-of-interest: (i) we accounted for the social ties between editors and authors by developing a measure of repeat authorship among an editor's article set, and (ii) we accounted for the rate of citations directed towards the editor's own publications in the reference list of each article he/she oversaw. Our results indicate that these two factors play a significant role in the editorial decision process. Moreover, these two effects appear to increase with editor age, which is consistent with behavioral studies concerning the evolution of misbehavior and response to temptation in power-driven environments.


title: OpenCluster: A Flexible Distributed Computing Framework for Astronomical Data Processing

abstract: The volume of data generated by modern astronomical telescopes is extremely large and rapidly growing. However, current high-performance data processing architectures/frameworks are not well suited for astronomers because of their limitations and programming difficulties. In this paper, we therefore present OpenCluster, an open-source distributed computing framework to support rapidly developing high-performance processing pipelines of astronomical big data. We first detail the OpenCluster design principles and implementations and present the APIs facilitated by the framework. We then demonstrate a case in which OpenCluster is used to resolve complex data processing problems for developing a pipeline for the Mingantu Ultrawide Spectral Radioheliograph. Finally, we present our OpenCluster performance evaluation. Overall, OpenCluster provides not only high fault tolerance and simple programming interfaces, but also a flexible means of scaling up the number of interacting entities. OpenCluster thereby provides an easily integrated distributed computing framework for quickly developing a high-performance data processing system of astronomical telescopes and for significantly reducing software development expenses.


title: Analytical derivation of the radial distribution function in spherical dark matter halos

abstract: The velocity distribution of dark matter near the Earth is important for an accurate analysis of the signals in terrestrial detectors. This distribution is typically extracted from numerical simulations. Here we address the possibility of deriving the velocity distribution function analytically. We derive a differential equation which is a function of radius and the radial component of the velocity. Under various assumptions this can be solved, and we compare the solution with the results from controlled numerical simulations. Our findings complement the previously derived tangential velocity distribution. We hereby demonstrate that the entire distribution function, below 0.7 v_esc, can be derived analytically for spherical and equilibrated dark matter structures.


title: The Storage vs Repair-Bandwidth Trade-off for Clustered Storage Systems

abstract: We study a generalization of the setting of regenerating codes, motivated by applications to storage systems consisting of clusters of storage nodes. There are $n$ clusters in total, with $m$ nodes per cluster. A data file is coded and stored across the $mn$ nodes, with each node storing $\alpha$ symbols. For availability of data, we require that the file be retrievable by downloading the entire content from any subset of $k$ clusters. Nodes represent entities that can fail. We distinguish between intra-cluster and inter-cluster bandwidth (BW) costs during node repair. Node-repair in a cluster is accomplished by downloading $\beta$ symbols each from any set of $d$ other clusters, dubbed remote helper clusters, and also up to $\alpha$ symbols each from any set of $\ell$ surviving nodes, dubbed local helper nodes, in the host cluster. We first identify the optimal trade-off between storage-overhead and inter-cluster repair-bandwidth under functional repair, and also present optimal exact-repair code constructions for a class of parameters. The new trade-off is strictly better than what is achievable via space-sharing existing coding solutions, whenever $\ell > 0$. We then obtain sharp lower bounds on the necessary intra-cluster repair BW to achieve optimal trade-off. Our bounds reveal the interesting fact that, while it is beneficial to increase the number of local helper nodes $\ell$ in order to improve the storage-vs-inter-cluster-repair-BW trade-off, increasing $\ell$ not only increases intra-cluster BW in the host-cluster, but also increases the intra-cluster BW in the remote helper clusters. We also analyze resilience of the clustered storage system against passive eavesdropping by providing file-size bounds and optimal code constructions.


title: A Note on Geodesics in Hayward Metric

abstract: We study timelike and null geodesics in a non-singular black hole metric proposed by Hayward. The metric contains an additional length-scale parameter $\ell$ and approaches the Schwarzschild metric at large radii while approaches a constant at small radii so that the singularity is resolved. We tabulate the various critical values of $\ell$ for timelike and null geodesics: the critical values for the existence of horizon, marginally stable circular orbit and photon sphere. We find the photon sphere exists even if the horizon is absent and two marginally stable circular orbits appear if the photon sphere is absent and a stable circular orbit for photons exists for a certain range of $\ell$. We visualize the image of a black hole and find that blight rings appear even if the photon sphere is absent.


title: Phase-separation control of K$_x$Fe$_{2-y}$Se$_2$ superconductor through rapid-quenching process

abstract: K$_x$Fe$_{2-y}$Se$_2$ exhibits an iron-vacancy ordering at $T_{\rm s} {\sim}270{\deg}$C and separates into two phases: a minor superconducting (iron-vacancy-disordered) phase and a major non-superconducting (iron-vacancy-ordered) phase. The microstructural and superconducting properties of this intermixture can be tuned by an appropriate control of the quenching process through $T_{\rm s}$. A faster quenching rate leads to a finer microstructure and a suppression of formation of the non-superconducting phase by up to 50%. Nevertheless, such a faster cooling rate does induce a monotonic reduction in the superconducting transition temperature (from 30.7 K down to 26.0 K) and, simultaneously, a decrease in the iron content within the superconducting phase such that the compositional ratio changed from K$_{0.35}$Fe$_{1.83}$Se$_2$ to K$_{0.58}$Fe$_{1.71}$Se$_2$.


title: On the solution of two-sided fractional ordinary differential equations of Caputo type

abstract: This paper provides well-posedness results and stochastic representations for the solutions to equations involving both the right- and the left-sided generalized operators of Caputo type. As a special case, these results show the interplay between two-sided fractional differential equations and two-sided exit problems for certain L\'evy processes.


title: Fundamental limit of resolving two point sources limited by an arbitrary point spread function

abstract: Estimating the angular separation between two incoherently radiating monochromatic point sources is a canonical toy problem to quantify spatial resolution in imaging. In recent work, Tsang {\em et al.} showed, using a Fisher Information analysis, that Rayleigh's resolution limit is just an artifact of the conventional wisdom of intensity measurement in the image plane. They showed that the optimal sensitivity of estimating the angle is only a function of the total photons collected during the camera's integration time but entirely independent of the angular separation itself no matter how small it is, and found the information-optimal mode basis, intensity detection in which achieves the aforesaid performance. We extend the above analysis, which was done for a Gaussian point spread function (PSF) to a hard-aperture pupil proving the information optimality of image-plane sinc-Bessel modes, and generalize the result further to an arbitrary PSF. We obtain new counterintuitive insights on energy vs. information content in spatial modes, and extend the Fisher Information analysis to exact calculations of minimum mean squared error, both for Gaussian and hard aperture pupils.


title: Faster Algorithms for Weighted Recursive State Machines

abstract: Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems. Our main contributions are new algorithms for several fundamental problems. As compared to a direct translation of RSMs to PDSs and the best-known existing bounds of PDSs, our analysis algorithm improves the complexity for finite-height semirings (that subsumes reachability and standard dataflow properties). We further consider the problem of extracting distance values from the representation structures computed by our algorithm, and give efficient algorithms that distinguish the complexity of a one-time preprocessing from the complexity of each individual query. Another advantage of our algorithm is that our improvements carry over to the concurrent setting, where we improve the best-known complexity for the context-bounded analysis of concurrent RSMs. Finally, we provide a prototype implementation that gives a significant speed-up on several benchmarks from the SLAM/SDV project.


title: A Proof Theory for Model Checking: An Extended Abstract

abstract: While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking. Since the emphasis of model checking is on establishing the truth of a property in a model, we rely on the proof theoretic notion of additive inference rules, since such rules allow provability to directly describe truth conditions. Unfortunately, the additive treatment of quantifiers requires inference rules to have infinite sets of premises and the additive treatment of model descriptions provides no natural notion of state exploration. By employing a focused proof system, it is possible to construct large scale, synthetic rules that also qualify as additive but contain elements of multiplicative inference. These additive synthetic rules -- essentially rules built from the description of a model -- allow a direct treatment of state exploration. This proof theoretic framework provides a natural treatment of reachability and non-reachability problems, as well as tabled deduction, bisimulation, and winning strategies.


title: Krivine Machine and Taylor Expansion in a Non-uniform Setting

abstract: The Krivine machine is an abstract machine implementing the linear head reduction of lambda-calculus. Ehrhard and Regnier gave a resource sensitive version returning the annotated form of a lambda-term accounting for the resources used by the linear head reduction. These annotations take the form of terms in the resource lambda-calculus. We generalize this resource-driven Krivine machine to the case of the algebraic lambda-calculus. The latter is an extension of the pure lambda-calculus allowing for the linear combination of lambda-terms with coefficients taken from a semiring. Our machine associates a lambda-term M and a resource annotation t with a scalar k in the semiring describing some quantitative properties of the linear head reduction of M. In the particular case of non-negative real numbers and of algebraic terms M representing probability distributions, the coefficient k gives the probability that the linear head reduction actually uses exactly the resources annotated by t. In the general case, we prove that the coefficient k can be recovered from the coefficient of t in the Taylor expansion of M and from the normal form of t.


title: Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)

abstract: We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for arXiv:1601.05372.


title: Linear $\beta$-reduction

abstract: Linear head reduction is a key tool for the analysis of reduction machines for lambda-calculus and for game semantics. Its definition requires a notion of redex at a distance named primary redex in the literature. Nevertheless, a clear and complete syntactic analysis of this rule is missing. We present here a general notion of beta-reduction at a distance and of linear reduction (i.e., not restricted to the head variable), and we analyse their relations and properties. This analysis rests on a variant of the so-called sigma-equivalence that is more suitable for the analysis of reduction machines, since the position along the spine of primary redexes is not permuted. We finally show that, in the simply typed case, the proof of strong normalisation of linear reduction can be obtained by a trivial tuning of Gandy's proof for strong normalisation of beta-reduction.


title: Linear Exponential Comonads without Symmetry

abstract: The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric) monoidal categories, and show some basic results on them.


title: Non-Blocking Concurrent Imperative Programming with Session Types

abstract: Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-blocking) output; we extend it here with non-blocking input. A key idea is to postpone message reception as much as possible by interpreting receive commands as a request for a message. We implemented our ideas as a translation from a blocking intermediate language to a non-blocking language. Finally, we evaluated our techniques with several benchmark programs and show the results obtained. While the abstract measure of span always decreases (or remains unchanged), only a few of the examples reap a practical benefit.


title: Divergence from, and Convergence to, Uniformity of Probability Density Quantiles

abstract: The probability density quantile (pdQ) carries essential information regarding shape and tail behavior of a location-scale family. Convergence of repeated applications of the pdQ mapping to the uniform distribution is investigated and new fixed point theorems are established. The Kullback-Leibler divergences from uniformity of these pdQs are mapped and found to be ingredients in power functions of optimal tests for uniformity against alternative shapes.


title: Imaging of director fields in liquid crystals using stimulated Raman scattering microscopy

abstract: We demonstrate an approach for background-free three-dimensional imaging of director fields in liquid crystals using stimulated Raman scattering microscopy. This imaging technique is implemented using a single femtosecond pulsed laser and a photonic crystal fiber, providing Stokes and pump frequencies needed to access Raman shifts of different chemical bonds of molecules and allowing for chemically selective and broadband imaging of both pristine liquid crystals and composite materials. Using examples of model three-dimensional structures of director fields, we show that the described technique is a powerful tool for mapping of long-range molecular orientation patterns in soft matter via polarized chemical-selective imaging.


title: Compression of Deep Neural Networks for Image Instance Retrieval

abstract: Image instance retrieval is the problem of retrieving images from a database which contain the same object. Convolutional Neural Network (CNN) based descriptors are becoming the dominant approach for generating {\it global image descriptors} for the instance retrieval problem. One major drawback of CNN-based {\it global descriptors} is that uncompressed deep neural network models require hundreds of megabytes of storage making them inconvenient to deploy in mobile applications or in custom hardware. In this work, we study the problem of neural network model compression focusing on the image instance retrieval task. We study quantization, coding, pruning and weight sharing techniques for reducing model size for the instance retrieval problem. We provide extensive experimental results on the trade-off between retrieval performance and model size for different types of networks on several data sets providing the most comprehensive study on this topic. We compress models to the order of a few MBs: two orders of magnitude smaller than the uncompressed models while achieving negligible loss in retrieval performance.


title: Search for torsion in Khovanov homology

abstract: In the Khovanov homology of links, presence of $\mathbb{Z}_2$-torsion is a very common phenomenon. Finite number of examples of knots with $\mathbb{Z}_n$-torsion for $n>2$ were also known, none for $n>8$. In this paper, we prove that there are infinite families of links whose Khovanov homology contains $\mathbb{Z}_n$-torsion for $2 < n < 9$ and $\mathbb{Z}_{2^s}$-torsion for $s < 24$. We also introduce $4$-braid links with $\mathbb{Z}_3$-torsion which are counterexamples to the PS braid conjecture. We also provide an infinite family of knots with $\mathbb{Z}_5$-torsion in reduced Khovanov homology and $\mathbb{Z}_3$-torsion in odd Khovanov homology.


title: Action Recognition: From Static Datasets to Moving Robots

abstract: Deep learning models have achieved state-of-the- art performance in recognizing human activities, but often rely on utilizing background cues present in typical computer vision datasets that predominantly have a stationary camera. If these models are to be employed by autonomous robots in real world environments, they must be adapted to perform independently of background cues and camera motion effects. To address these challenges, we propose a new method that firstly generates generic action region proposals with good potential to locate one human action in unconstrained videos regardless of camera motion and then uses action proposals to extract and classify effective shape and motion features by a ConvNet framework. In a range of experiments, we demonstrate that by actively proposing action regions during both training and testing, state-of-the-art or better performance is achieved on benchmarks. We show the outperformance of our approach compared to the state-of-the-art in two new datasets; one emphasizes on irrelevant background, the other highlights the camera motion. We also validate our action recognition method in an abnormal behavior detection scenario to improve workplace safety. The results verify a higher success rate for our method due to the ability of our system to recognize human actions regardless of environment and camera motion.


title: Agglomerative Info-Clustering

abstract: An agglomerative clustering of random variables is proposed, where clusters of random variables sharing the maximum amount of multivariate mutual information are merged successively to form larger clusters. Compared to the previous info-clustering algorithms, the agglomerative approach allows the computation to stop earlier when clusters of desired size and accuracy are obtained. An efficient algorithm is also derived based on the submodularity of entropy and the duality between the principal sequence of partitions and the principal sequence for submodular functions.


title: Standard Model with hidden scale invariance and light dilaton

abstract: We consider the minimal Standard Model as an effective low-energy description of an unspecified fundamental theory with spontaneously broken conformal symmetry. The effective theory exhibits classical scale invariance which manifest itself through the dilaton field. The mass of the dilaton is generated via the quantum scale anomaly at two-loop level and is proportional to the techically stable hierarchy between the electroweak scale and a high energy scale given by a dilaton vacuum expectation value. We find that a generic prediction of this class of models is the existence of a very light dilaton with mass between $\sim 0.01$ $\mu$eV to $\sim 100$ MeV, depending on the hierarchy of scales. Searches for such a light scalar particle may reveal a fundamental role of conformal invariance in nature.


title: Bringing Impressionism to Life with Neural Style Transfer in Come Swim

abstract: Neural Style Transfer is a striking, recently-developed technique that uses neural networks to artistically redraw an image in the style of a source style image. This paper explores the use of this technique in a production setting, applying Neural Style Transfer to redraw key scenes in 'Come Swim' in the style of the impressionistic painting that inspired the film. We document how the technique can be driven within the framework of an iterative creative process to achieve a desired look, and propose a mapping of the broad parameter space to a key set of creative controls. We hope that this mapping can provide insights into priorities for future research.


title: Design and Implementation of Concurrent C0

abstract: We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0 supports an operation called forwarding which allows channels to be combined in a well-defined way. The language's type system enables elegant expression of session types and message-passing concurrent programs. We provide a Go-based implementation with language based optimizations that outperforms traditional message passing techniques.


title: Involutive Tableaux, Characteristic Varieties, and Rank-one Varieties in the Geometric Study of PDEs

abstract: This expository monograph cuts a short path from the common, elementary background in geometry (linear algebra, vector bundles, and algebraic ideals) to the most advanced theorems about involutive exterior differential systems: (1) The incidence correspondence of the characteristic variety, (2) Guillemin normal form and Quillen's thesis, (3) The Integrability of Characteristics by Guillemin, Quillen, Sternberg, and Gabber, and (4) Yang's Hyperbolicity Criterion. To do so, the geometric theory of PDEs is reinterpreted as the study of smooth sub-bundles of the Grassmann bundle, whereby the rank-1 variety is emphasized. The primary computational tool is an enhanced formulation of Guillemin normal form that is equivalent to involutivity of tableaux.


title: Characterizing Linguistic Attributes for Automatic Classification of Intent Based Racist/Radicalized Posts on Tumblr Micro-Blogging Website

abstract: Research shows that many like-minded people use popular microblogging websites for posting hateful speech against various religions and race. Automatic identification of racist and hate promoting posts is required for building social media intelligence and security informatics based solutions. However, just keyword spotting based techniques cannot be used to accurately identify the intent of a post. In this paper, we address the challenge of the presence of ambiguity in such posts by identifying the intent of author. We conduct our study on Tumblr microblogging website and develop a cascaded ensemble learning classifier for identifying the posts having racist or radicalized intent. We train our model by identifying various semantic, sentiment and linguistic features from free-form text. Our experimental results shows that the proposed approach is effective and the emotion tone, social tendencies, language cues and personality traits of a narrative are discriminatory features for identifying the racist intent behind a post.


title: A model for Faraday pilot waves over variable topography

abstract: Couder and Fort discovered that droplets walking on a vibrating bath possess certain features previously thought to be exclusive to quantum systems. These millimetric droplets synchronize with their Faraday wavefield, creating a macroscopic pilot-wave system. In this paper we exploit the fact that the waves generated are nearly monochromatic and propose a hydrodynamic model capable of quantitatively capturing the interaction between bouncing drops and a variable topography. We show that our reduced model is able to reproduce some important experiments involving the drop-topography interaction, such as non-specular reflection and single-slit diffraction.


title: Noncommutative ergodic averages of balls and spheres over Euclidean spaces

abstract: In this paper, we establish a noncommutative analogue of Calder\'on's transference principle, which allows us to deduce noncommutative ergodic maximal inequalities from the special case---operator-valued maximal inequalities. As applications, we deduce dimension-free estimates of noncommutative Wiener's maximal ergodic inequality and noncommutative Stein-Calder\'on's maximal ergodic inequality over Euclidean spaces. We also show the corresponding individual ergodic theorems. To show Wiener's pointwise ergodic theorem, we construct a dense subset on which pointwise convergence holds following a somewhat standard way. To show Jones' pointwise ergodic theorem, we use again transference principle together with Littlewood-Paley method, which is different from Jones' original variational method that is still unavailable in the noncommutative setting.


title: Investigating the Application of Common-Sense Knowledge-Base for Identifying Term Obfuscation in Adversarial Communication

abstract: Word obfuscation or substitution means replacing one word with another word in a sentence to conceal the textual content or communication. Word obfuscation is used in adversarial communication by terrorist or criminals for conveying their messages without getting red-flagged by security and intelligence agencies intercepting or scanning messages (such as emails and telephone conversations). ConceptNet is a freely available semantic network represented as a directed graph consisting of nodes as concepts and edges as assertions of common sense about these concepts. We present a solution approach exploiting vast amount of semantic knowledge in ConceptNet for addressing the technically challenging problem of word substitution in adversarial communication. We frame the given problem as a textual reasoning and context inference task and utilize ConceptNet's natural-language-processing tool-kit for determining word substitution. We use ConceptNet to compute the conceptual similarity between any two given terms and define a Mean Average Conceptual Similarity (MACS) metric to identify out-of-context terms. The test-bed to evaluate our proposed approach consists of Enron email dataset (having over 600000 emails generated by 158 employees of Enron Corporation) and Brown corpus (totaling about a million words drawn from a wide variety of sources). We implement word substitution techniques used by previous researches to generate a test dataset. We conduct a series of experiments consisting of word substitution methods used in the past to evaluate our approach. Experimental results reveal that the proposed approach is effective.


title: Multiwavelength study of VHE emission from Markarian 501 using TACTIC observations during April-May, 2012

abstract: We have observed Markarian 501 in Very High Energy (VHE) gamma-ray wavelength band for 70.6 hours from 15 April to 30 May, 2012 using TACTIC telescope. Detailed analysis of $\sim$66.3 hours of clean data revealed the presence of a TeV $\gamma$-ray signal (686$\pm$77 $\gamma$-ray events) from the source direction with a statistical significance of 8.89$\sigma$ above 850 GeV. Further, a total of 375 $\pm$ 47 $\gamma$-ray like events were detected in 25.2 hours of observation from 22 - 27 May, 2012 with a statistical significance of 8.05$\sigma$ indicating that the source has possibly switched over to a relatively high gamma-ray emission state. We have derived time-averaged differential energy spectrum of the state in the energy range 850 GeV - 17.24 TeV which fits well with a power law function of the form $dF/dE=f_{0}E^{-\Gamma}$ with $f_{0}= (2.27 \pm 0.38) \times 10 ^{-11} $ photons cm$^{-2}$ s$^{-1}$ TeV$^{-1}$ and $\Gamma=2.57 \pm 0.15$. In order to investigate the source state, we have also used almost simultaneous multiwavelength observations viz: high energy data collected by $\it{Fermi}$-LAT, X-ray data collected by $\it{Swift}$-XRT and MAXI, optical and UV data collected by $\it{Swift}$-UVOT, and radio data collected by OVRO, and reconstructed broad-band Spectral Energy Distribution (SED). The obtained SED supports leptonic model (homogeneous single zone) for VHE gamma-ray emission involving synchrotron and synchrotron self Compton (SSC) processes.


title: Sharp endpoint estimates for some operators associated with the Laplacian with drift in Euclidean space

abstract: Let $v \ne 0$ be a vector in $\R^n$. Consider the Laplacian on $\R^n$ with drift $\Delta_{v} = \Delta + 2v\cdot \nabla$ and the measure $d\mu(x) = e^{2 \langle v, x \rangle} dx$, with respect to which $\Delta_{v}$ is self-adjoint. This measure has exponential growth with respect to the Euclidean distance. We study weak type $(1, 1)$ and other sharp endpoint estimates for the Riesz transforms of any order, and also for the vertical and horizontal Littlewood-Paley-Stein functions associated with the heat and the Poisson semigroups.


title: Effects of dust evolution on the abundances of CO and H$_2$

abstract: The CO-to-H$_2$ conversion factor ($X_\mathrm{CO}$) is known to correlate with the metallicity ($Z$). The dust abundance, which is related to the metallicity, is responsible for this correlation through dust shielding of dissociating photons and H$_2$ formation on dust surfaces. In this paper, we investigate how the relation between dust-to-gas ratio and metallicity ($\mathcal{D}$--$Z$ relation) affects the H$_2$ and CO abundances (and $X_\mathrm{CO}$) of a `molecular' cloud. For the $\mathcal{D}$--$Z$ relation, we adopt a dust evolution model developed in our previous work, which treats the evolution of not only dust abundance but also grain sizes in a galaxy. Shielding of dissociating photons and H$_2$ formation on dust are solved consistently with the dust abundance and grain sizes. As a consequence, our models {predict consistent metallicity dependence of $X_\mathrm{CO}$ with observational data}. Among various processes driving dust evolution, grain growth by accretion has the largest impact on the $X_\mathrm{CO}$--$Z$ relation. The other processes also have some impacts on the $X_\mathrm{CO}$--$Z$ relation, but their effects are minor compared with the scatter of the observational data at the metallicity range ($Z\gtrsim 0.1$ Z$_\odot$) where CO could be detected. We also find that dust condensation in stellar ejecta has a dramatic impact on the H$_2$ abundance at low metallicities ($\lesssim 0.1$ Z$_\odot$), relevant for damped Lyman $\alpha$ systems and nearby dwarf galaxies, and that the grain size dependence of H$_2$ formation rate is also important.


title: Ideal magnetic dipole scattering

abstract: We introduce the concept of tunable ideal magnetic dipole scattering, where a nonmagnetic nanoparticle scatters lights as a pure magnetic dipole. High refractive index subwavelength nanoparticles usually support both electric and magnetic dipole responses. Thus, to achieve ideal magnetic dipole scattering one has to suppress the electric dipole response. Such a possibility was recently demonstrated for the so-called anapole mode, which is associated with zero electric dipole scattering. By overlapping magnetic dipole resonance with the anapole mode we achieve ideal magnetic dipole scattering in the far-field with tunable high scattering resonances in near infrared spectrum. We demonstrate that such condition can be realized for two subwavelength geometries. One of them is core-shell nanosphere consisting of Au core and silicon shell. It can be also achieved in other geometries, including nanodisks, which are compatible with current nanofabrication technology.


title: Ensemble of Thermostatically Controlled Loads: Statistical Physics Approach

abstract: Thermostatically Controlled Loads (TCL), e.g. air-conditioners and heaters, are by far the most wide-spread consumers of electricity. Normally the devices are calibrated to provide the so-called bang-bang control of temperature -- changing from on to off, and vice versa, depending on temperature. Aggregation of a large group of similar devices into a statistical ensemble is considered, where the devices operate following the same dynamics subject to stochastic perturbations and randomized, Poisson on/off switching policy. We analyze, using theoretical and computational tools of statistical physics, how the ensemble relaxes to a stationary distribution and establish relation between the relaxation and statistics of the probability flux, associated with devices' cycling in the mixed (discrete, switch on/off, and continuous, temperature) phase space. This allowed us to derive and analyze spectrum of the non-equilibrium (detailed balance broken) statistical system and uncover how switching policy affects oscillatory trend and speed of the relaxation. Relaxation of the ensemble is of a practical interest because it describes how the ensemble recovers from significant perturbations, e.g. forceful temporary switching off aimed at utilizing flexibility of the ensemble in providing "demand response" services relieving consumption temporarily to balance larger power grid. We discuss how the statistical analysis can guide further development of the emerging demand response technology.


title: Breaking the Target: An Analysis of Target Data Breach and Lessons Learned

abstract: This paper investigates and examines the events leading up to the second most devastating data breach in history: the attack on the Target Corporation. It includes a thorough step-by-step analysis of this attack and a comprehensive anatomy of the malware named BlackPOS. Also, this paper provides insight into the legal aspect of cybercrimes, along with a prosecution and sentence example of the well-known TJX case. Furthermore, we point out an urgent need for improving security mechanisms in existing systems of merchants and propose three security guidelines and defenses. Credit card security is discussed at the end of the paper with several best practices given to customers to hide their card information in purchase transactions.


title: Ensemble Control of Cycling Energy Loads: Markov Decision Approach

abstract: A Markov decision process (MDP) framework is adopted to represent ensemble control of devices with cyclic energy consumption patterns, e.g., thermostatically controlled loads. Specifically we utilize and develop the class of MDP models previously coined linearly solvable MDPs, that describe optimal dynamics of the probability distribution of an ensemble of many cycling devices. Two principally different settings are discussed. First, we consider optimal strategy of the ensemble aggregator balancing between minimization of the cost of operations and minimization of the ensemble welfare penalty, where the latter is represented as a KL-divergence between actual and normal probability distributions of the ensemble. Then, second, we shift to the demand response setting modeling the aggregator's task to minimize the welfare penalty under the condition that the aggregated consumption matches the targeted time-varying consumption requested by the system operator. We discuss a modification of both settings aimed at encouraging or constraining the transitions between different states. The dynamic programming feature of the resulting modified MDPs is always preserved; however, `linear solvability' is lost fully or partially, depending on the type of modification. We also conducted some (limited in scope) numerical experimentation using the formulations of the first setting. We conclude by discussing future generalizations and applications.


title: Exponential Bounds for the Erd\H{o}s-Ginzburg-Ziv Constant

abstract: The Erd\H{o}s-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n}\right)\leq(p-1)2^{p}\left(J(p)\cdot p\right)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}\right)\leq(k-1)4^{n}+k. \]


title: Step Stone Effect: A sp anti-bonding Mediated Long-Range Ferromagnetism in Cr-doped Carrier-Free Bi2Te3

abstract: Despite the recent success in the realization of the quantum anomalous Hall effect, the underlying physical mechanism of the long range Ferromagnetism is still unclear. Based on our density functional theory calculations, we discovered an intriguing long-range ferromagnetic order in Cr-doped, carrier-free Bi2Te3, with the separation between dopants more than 8 {\AA}. We found that this magnetic coupling is facilitated by an anti-bonding state originated from the lone pair of a Te 5p state and a Bi 6s state, despite this anti-bonding state lies below the valence band maximum. Such a state serves as a hidden step stone merged in the electron sea and mediates the long-range magnetic order. An effective electron hopping model is proposed to explain this mechanism. This novel mechanism sheds light on the understanding of long-range ferromagnetism in insulators and may lead to the realization of the long-range magnetic order in dilute magnetic semiconductors.


title: A Machine Learning Alternative to P-values

abstract: This paper presents an alternative approach to p-values in regression settings. This approach, whose origins can be traced to machine learning, is based on the leave-one-out bootstrap for prediction error. In machine learning this is called the out-of-bag (OOB) error. To obtain the OOB error for a model, one draws a bootstrap sample and fits the model to the in-sample data. The out-of-sample prediction error for the model is obtained by calculating the prediction error for the model using the out-of-sample data. Repeating and averaging yields the OOB error, which represents a robust cross-validated estimate of the accuracy of the underlying model. By a simple modification to the bootstrap data involving "noising up" a variable, the OOB method yields a variable importance (VIMP) index, which directly measures how much a specific variable contributes to the prediction precision of a model. VIMP provides a scientifically interpretable measure of the effect size of a variable, we call the "predictive effect size", that holds whether the researcher's model is correct or not, unlike the p-value whose calculation is based on the assumed correctness of the model. We also discuss a marginal VIMP index, also easily calculated, which measures the marginal effect of a variable, or what we call "the discovery effect". The OOB procedure can be applied to both parametric and nonparametric regression models and requires only that the researcher can repeatedly fit their model to bootstrap and modified bootstrap data. We illustrate this approach on a survival data set involving patients with systolic heart failure and to a simulated survival data set where the model is incorrectly specified to illustrate its robustness to model misspecification.


title: Strange quark-antiquark asymmetry of nucleon sea from $\Lambda/\bar\Lambda$ polarization

abstract: Distinctions between quark to $\Lambda$ and $\bar\Lambda$ longitudinal spin transfers in the semi-inclusive deep inelastic scattering process were observed by the E665 and COMPASS Collaborations. There are suggestions that the difference between $\Lambda$ and $\bar\Lambda$ production is related to the asymmetric strange-antistrange distribution inside the nucleon. However, previous calculations are still too small to explain the experimental data. From a realistic consideration of quark to $\Lambda$ fragmentation due to different flavors, we investigate the strange quark contribution for $\Lambda$ production and polarization. We find that the strange quark-antiquark asymmetry of the nucleon sea can be amplified into an observable quantity from the difference between $\Lambda$ and $\bar\Lambda$ polarizations after taking into account the larger probability of the $\Lambda$ produced from the $s$ quark fragmentation process compared to that from the $u$ or $d$ quark. The qualitative agreement between our calculation and the experimental data supports the existence of the intrinsic strange sea and the strange-antistrange asymmetry. Thus the polarization of $\Lambda/\bar\Lambda$ does open a new window to probe the nucleon sea properties, especially the strange content and its quark-antiquark asymmetry.


title: Pair production of heavy neutrinos in next-to-leading order QCD at the hadron colliders in the inverse seesaw framework

abstract: The explanation of the small neutrino mass can be depicted using some handsome models like type-I and inverse seesaw where the Standard Model gauge singlet heavy right handed neutrinos are deployed. The common thing in these two models is a lepton number violating parameter, however, its order of magnitude creates a striking difference between them making the nature of the right handed heavy neutrinos a major play factor. In the type-I seesaw a large lepton number violating parameter involves the heavy right handed neutrinos in the form of Majorana fermions while a small lepton number violating parameter being involved in the inverse seesaw demands the pseudo-Dirac nature of the heavy right handed neutrinos. Such heavy neutrinos are accommodated in these models through the sizable mixings with the Standard Model light neutrinos. In this paper we consider the purely inverse seesaw scenario to study the pair production of the pseudo-Dirac heavy neutrinos followed by their various multilepton decay modes through the leading branching fraction at the Leading Order and Next-to-Leading Order QCD at the LHC with a center of mass energy of 13 TeV and a luminosity of 3000 fb$^{-1}$. We also consider a prospective 100 TeV hadron collider with luminosities of 3000 fb$^{-1}$ and 30000 fb$^{-1}$ respectively to study the process. Using anomalous multilepton search performed by the CMS at the 8 TeV with 19.5 fb$^{-1}$ luminosity we show prospective search reaches of the mixing angles for the three lepton and four lepton events at the 13 TeV LHC and 100 TeV hadron collider.


title: Ion beam test results of the Plastic Scintillator Detector of DAMPE

abstract: The DArk Matter Particle Explorer (DAMPE) is one of the four satellites within Strategic Pioneer Research Program in Space Science of the Chinese Academy of Science (CAS). DAMPE can detect electrons, photons and ions in a wide energy range (5 GeV to 10 TeV) and ions up to iron (100GeV to 100 TeV). Plastic Scintillator Detector (PSD) is one of the four payloads in DAMPE, providing e/{\gamma} separation and charge identification up to Iron. An ion beam test was carried out for the Qualification Model of PSD in CERN with 40GeV/u Argon primary beams. The Birk's saturation and charge resolution of PSD were investigated.


title: Improved magneto-optical trapping of Ca

abstract: We investigate the limiting factors in the standard implementation of the Ca magneto-optical trap. We find that intercombination transitions from the 4s5p 1P1 state used to repump electronic population from the 3d4s 1D2 state severely reduce the trap lifetime. We explore seven alternative repumping schemes theoretically and investigate five of them experimentally. We find all five of these schemes yield a significant increase in trap lifetime and consequently improve the number of atoms and peak atom density by as much as ~20x and ~6x, respectively. One of these transitions, at 453 nm, is shown to approach the fundamental limit for a Ca magneto-optical trap with repumping only from the 3d4s 1D2 state, yielding a trap lifetime of ~5 s.


title: A Deep Convolutional Auto-Encoder with Pooling - Unpooling Layers in Caffe

abstract: This paper presents the development of several models of a deep convolutional auto-encoder in the Caffe deep learning framework and their experimental evaluation on the example of MNIST dataset. We have created five models of a convolutional auto-encoder which differ architecturally by the presence or absence of pooling and unpooling layers in the auto-encoder's encoder and decoder parts. Our results show that the developed models provide very good results in dimensionality reduction and unsupervised clustering tasks, and small classification errors when we used the learned internal code as an input of a supervised linear classifier and multi-layer perceptron. The best results were provided by a model where the encoder part contains convolutional and pooling layers, followed by an analogous decoder part with deconvolution and unpooling layers without the use of switch variables in the decoder part. The paper also discusses practical details of the creation of a deep convolutional auto-encoder in the very popular Caffe deep learning framework. We believe that our approach and results presented in this paper could help other researchers to build efficient deep neural network architectures in the future.


title: On the error probability of stochastic decision and stochastic decoding

abstract: This paper investigates the error probability of a stochastic decision and the way in which it differs from the error probability of an optimal decision, i.e., the maximum a posteriori decision. This paper calls attention to the fact that the error probability of a stochastic decision with the a posteriori distribution is at most twice the error probability of the maximum a posteriori decision. It is shown that, by generating an independent identically distributed random sequence subject to the a posteriori distribution and making a decision that maximizes the a posteriori probability over the sequence, the error probability approaches exponentially the error probability of the maximum a posteriori decision as the sequence length increases. Using these ideas as a basis, we can construct stochastic decoders for source/channel codes.


title: Weak multiplier Hopf algebras III. Integrals and duality

abstract: Let $(A,\Delta)$ be a weak multiplier Hopf algebra. It is a pair of a non-degenerate algebra $A$, with or without identity, and a coproduct $\Delta$ on $A$, satisfying certain properties. The main difference with multiplier Hopf algebras is that now, the canonical maps $T_1$ and $T_2$ on $A\otimes A$, defined by $$T_1(a\otimes b)=\Delta(a)(1\otimes b) \qquad\quad\text{and}\qquad\quad T_2(c\otimes a)=(c\otimes 1)\Delta(a),$$ are no longer assumed to be bijective. Also recall that a weak multiplier Hopf algebra is called regular if its antipode is a bijective map from $A$ to itself. In this paper, we introduce and study the notion of integrals on such regular weak multiplier Hopf algebras. A left integral is a non-zero linear functional on $A$ that is left invariant (in an appropriate sense). Similarly for a right integral. For a regular weak multiplier Hopf algebra $(A,\Delta)$ with (sufficiently many) integrals, we construct the dual $(\widehat A,\widehat\Delta)$. It is again a regular weak multiplier Hopf algebra with (sufficiently many) integrals. This duality extends the known duality of finite-dimensional weak Hopf algebras to this more general case. It also extends the duality of multiplier Hopf algebras with integrals, the so-called algebraic quantum groups. For this reason, we will sometimes call a regular weak multiplier Hopf algebra with enough integrals an algebraic quantum groupoid. We discuss the relation of our work with the work on duality for algebraic quantum groupoids by Timmermann. We also illustrate this duality with a particular example in a separate paper. In this paper, we only mention the main definitions and results for this example. However, we do consider the two natural weak multiplier Hopf algebras associated with a groupoid in detail and show that they are dual to each other in the sense of the above duality.


title: Heavy neutral scalar decays into electroweak gauge bosons in the Littlest Higgs Model

abstract: We study the heavy neutral scalar decays into standard model electroweak gauge bosons in the context of the Littlest Higgs model. We focus our attention on the $\Phi^0 \to WW, \gamma V$ processes induced at the one-loop level, with $V=\gamma, Z$. Since the branching ratios of the $\Phi^0 \to \gamma V$ decays result very suppressed, only the $\Phi^0 \to WW$ process is analyzed in the framework of possible experimental scenarios by using heavy scalar masses between 1.6 TeV until 3.3 TeV. The branching ratio for the $\Phi^0 \to WW$ decay is of the order of $10^{-3}$ throughout the interval 2 TeV $< f <$ 4 TeV, which represent the global symmetry breaking scale of the theory. Thus, it is estimated the associated production cross section for the $pp\to \Phi^0 X\to WW$, finding around ten events for $m_{\Phi^0}\approx 1.6$ TeV at best.


title: Topological deconfinement transition in QCD at finite isospin density

abstract: The confinement-deconfinement transition is discussed from topological viewpoints. The topological change of the system is achieved by introducing the dimensionless imaginary chemical potential ($\theta$). Then, the non-trivial free-energy degeneracy becomes the signal of the deconfinement transition and it can be visualized by using the map of the thermodynamic quantities to the circle $S^1$ along $\theta$. To understand this "topological" deconfinement transition at finite real quark chemical potential ($\mu_\mathrm{R}$), we consider the isospin chemical potential ($\mu_\mathrm{iso}$) in the effective model of QCD. The phase diagram at finite $\mu_\mathrm{iso}$ is identical with that at finite $\mu_\mathrm{R}$ outside of the pion-condensed phase at least in the large-$N_\mathrm{c}$ limit via the well-known orbifold equivalence. In the present effective model, the topological deconfinement transition does not show a significant dependence on $\mu_\mathrm{iso}$ and then we can expect that this tendency also appears at small $\mu_\mathrm{R}$. Also, the chiral transition and the topological deconfinement transition seems to be weakly correlated. If we will access lattice QCD data for the temperature dependence of the quark number density at finite $\mu_\mathrm{iso}$ with $\theta=\pi/3$, our surmise can be judged.


title: Bounds on the Size and Asymptotic Rate of Subblock-Constrained Codes

abstract: The study of subblock-constrained codes has recently gained attention due to their application in diverse fields. We present bounds on the size and asymptotic rate for two classes of subblock-constrained codes. The first class is binary constant subblock-composition codes (CSCCs), where each codeword is partitioned into equal sized subblocks, and every subblock has the same fixed weight. The second class is binary subblock energy-constrained codes (SECCs), where the weight of every subblock exceeds a given threshold. We present novel upper and lower bounds on the code sizes and asymptotic rates for binary CSCCs and SECCs. For a fixed subblock length and small relative distance, we show that the asymptotic rate for CSCCs (resp. SECCs) is strictly lower than the corresponding rate for constant weight codes (CWCs) (resp. heavy weight codes (HWCs)). Further, for codes with high weight and low relative distance, we show that the asymptotic rates for CSCCs is strictly lower than that of SECCs, which contrasts that the asymptotic rate for CWCs is equal to that of HWCs. We also provide a correction to an earlier result by Chee et al. (2014) on the asymptotic CSCC rate. Additionally, we present several numerical examples comparing the rates for CSCCs and SECCs with those for constant weight codes and heavy weight codes.


title: Fair division and generalizations of Sperner- and KKM-type results

abstract: We treat problems of fair division, their various interconnections, and their relations to Sperner's lemma and the KKM theorem as well as their variants. We prove extensions of Alon's necklace splitting result in certain regimes and relate it to hyperplane mass partitions. We show the existence of fair cake division and rental harmony in the sense of Su even in the absence of full information. Furthermore, we extend Sperner's lemma and the KKM theorem to (colorful) quantitative versions for polytopes and pseudomanifolds. For simplicial polytopes our results turn out to be improvements over the earlier work of De Loera, Peterson, and Su on a polytopal version of Sperner's lemma. Moreover, our results extend the work of Musin on quantitative Sperner-type results for PL manifolds.


title: Toggling independent sets of a path graph

abstract: This paper explores the orbit structure and homomesy (constant averages over orbits) properties of certain actions of toggle groups on the collection of independent sets of a path graph. In particular we prove a generalization of a homomesy conjecture of Propp that for the action of a "Coxeter element" of vertex toggles, the difference of indicator functions of symmetrically-located vertices is 0-mesic. Then we use our analysis to show facts about orbit sizes that are easy to conjecture but nontrivial to prove. Besides its intrinsic interest, this particular combinatorial dynamical system is valuable in providing an interesting example of (a) homomesy in a context where large orbit sizes make a cyclic sieving phenomenon unlikely to exist, (b) the use of Coxeter theory to greatly generalize the set of actions for which results hold, and (c) the usefulness of Striker's notion of generalized toggle groups.


title: Localization and mass spectra of various matter fields on Weyl thin brane

abstract: It has been shown that the thin brane model in a five-dimensional Weyl gravity can deal with the wrong-signed Friedmann-like equation in the Randall--Sundrum-1 (RS1) model. In the Weyl brane model, there are also two branes with opposite brane tensions, but the four-dimensional graviton (the gravity zero mode) is localized near the negative tension brane, while our four-dimensional universe is localized on the positive tension brane. In this paper, we consider the mass spectra of various bulk matter fields (i.e., scalar, vector, and fermion fields) on the Weyl brane. It is shown that the zero modes of those matter fields can be localized on the positive tension brane under some conditions. The mass spectra of the bulk matter fields are equidistant for the higher excited states, and relatively sparse for the lower excited states. The size of the extra dimension determines the gap of the mass spectra. We also consider the correction to the Newtonian potential in this model and it is proportional to $1/r^{3}$.


title: Private Broadcasting: an Index Coding Approach

abstract: Using a broadcast channel to transmit clients' data requests may impose privacy risks. In this paper, we address such privacy concerns in the index coding framework. We show how a malicious client can infer some information about the requests and side information of other clients by learning the encoding matrix used by the server. We propose an information-theoretic metric to measure the level of privacy and show how encoding matrices can be designed to achieve specific privacy guarantees. We then consider a special scenario for which we design a transmission scheme and derive the achieved levels of privacy in closed-form. We also derive upper bounds and we compare them to the levels of privacy achieved by our scheme, highlighting that an inherent trade-off exists between protecting privacy of the request and of the side information of the clients.


title: An Adiabatic Invariant Approach to Transverse Instability: Landau Dynamics of Soliton Filaments

abstract: Assume a lower-dimensional solitonic structure embedded in a higher dimensional space, e.g., a 1D dark soliton embedded in 2D space, a ring dark soliton in 2D space, a spherical shell soliton in 3D space etc. By extending the Landau dynamics approach [Phys. Rev. Lett. {\bf 93}, 240403 (2004)], we show that it is possible to capture the transverse dynamical modes (the "Kelvin modes") of the undulation of this "soliton filament" within the higher dimensional space. These are the transverse stability/instability modes and are the ones potentially responsible for the breakup of the soliton into structures such as vortices, vortex rings etc. We present the theory and case examples in 2D and 3D, corroborating the results by numerical stability and dynamical computations.


title: MIMO Beamforming for Secure and Energy-Efficient Wireless Communication

abstract: Considering a multiple-user multiple-input multiple-output (MIMO) channel with an eavesdropper, this letter develops a beamformer design to optimize the energy efficiency in terms of secrecy bits per Joule under secrecy quality-of-service constraints. This is a very difficult design problem with no available exact solution techniques. A path-following procedure, which iteratively improves its feasible points by using a simple quadratic program of moderate dimension, is proposed. Under any fixed computational tolerance the procedure terminates after finitely many iterations, yielding at least a locally optimal solution. Simulation results show the superior performance of the obtained algorithm over other existing methods.


title: Complete Coherent Control of Silicon-Vacancies in Diamond Nanopillars Containing Single Defect Centers

abstract: Arrays of identical and individually addressable qubits lay the foundation for the creation of scalable quantum hardware such as quantum processors and repeaters. Silicon vacancy centers in diamond (SiV) offer excellent physical properties such as low inhomogeneous broadening, fast photon emission, and a large Debye-Waller factor, while the possibility for all-optical ultrafast manipulation and techniques to extend the spin coherence times make them very promising candidates for qubits. Here, we have developed arrays of nanopillars containing single SiV centers with high yield, and we demonstrate ultrafast all-optical complete coherent control of the state of a single SiV center. The high quality of the chemical vapor deposition (CVD) grown SiV centers provides excellent spectral stability, which allows us to coherently manipulate and quasi-resonantly read out the state of individual SiV centers on picosecond timescales using ultrafast optical pulses. This work opens new opportunities towards the creation of a scalable on-chip diamond platform for quantum information processing and scalable nanophotonics applications.


title: Theoretical studies on the impact of point defect on the structures of different uranium silicides

abstract: The structures, point defects and impacts of fission products for U3Si (\b{eta}-U3Si and {\gamma}-U3Si) and USi2 ({\alpha}-USi2 and \b{eta}-USi2) are studied by first-principles calculations. The lattice parameters of U3Si and USi2 are calculated and the stability of different types of point defects is predicted by their formation energies. The results show that silicon vacancies are more prone to be produced than uranium vacancies in \b{eta}-USi2 matrix, while uranium vacancies are the most stable defects of other three types of crystallographic structures. The most favorable sites of fission products (strontium, barium, cerium and neodymium) are determined in this work as well. By calculating incorporation energies of fission products, we demonstrate that the uranium site is the most favored for all the fissions products. Comparing the structural changes influenced by different fission products, it is also found that the highest volume change is caused by barium interstitials. According to the current data, rare earth elements cerium and neodymium are found to be more stable than alkaline earth metals strontium and barium in a given nuclear matrix. Finally, it is also determined that in USi2 crystal lattice fission products tend to be stabilized in uranium substitution sites, while they are likely to form precipitates from the U3Si matrix. It is expected that this work may provide new insight into the mechanism for structural evolutions of silicide nuclear fuels in a reactor.


title: On the Existence of Tableaux with Given Modular Major Index

abstract: We provide simple necessary and sufficient conditions for the existence of a standard Young tableau of a given shape and major index $r$ mod $n$, for all $r$. Our result generalizes the $r=1$ case due essentially to (1974) and proves a recent conjecture due to Sundaram (2016) for the $r=0$ case. A byproduct of the proof is an asymptotic equidistribution result for "almost all" shapes. The proof uses a representation-theoretic formula involving Ramanujan sums and normalized symmetric group character estimates. Further estimates involving "opposite" hook lengths are given which are well-adapted to classifying which partitions $\lambda \vdash n$ have $f^\lambda \leq n^d$ for fixed $d$. We also give a new proof of a generalization of the hook length formula due to Fomin-Lulov (1995) for symmetric group characters at rectangles. We conclude with some remarks on unimodality of symmetric group characters.


title: On the Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space

abstract: Using the weak solution of Inverse mean curvature flow, we prove the sharp Minkowski-type inequality for outward minimizing hypersurfaces in Schwarzschild space.


title: Weak Solutions of the Chern-Ricci flow on compact complex surfaces

abstract: In this note, we prove the existence of weak solutions of the Chern-Ricci flow through blow downs of exceptional curves, as well as backwards smooth convergence away from the exceptional curves on compact complex surfaces. The smoothing property for the Chern-Ricci flow is also obtained on compact Hermitian manifolds of dimension n under a mild assumption.


title: A uniqueness problem for entire functions related to Bruck's conjecture

abstract: In this paper, we prove a normal criteria for family of meromorphic functions. As an application of that result, we establish a uniqueness theorem for entire function concerning a conjecture of R. Bruck. The above uniqueness theorem is an improvement of a problem studied by L. Z. Yang et. al [14]. However, our method differs the method of L. Z. Yang et. al [14]. We mainly use normal family theory and combine it with Nevanlinna theory instead of using only the Nevanlinna theory as in [14].


title: Structural Effects and Competition Mechanisms Targeting the Interactions between p53 and Mdm2 for Cancer Therapy

abstract: About half of human cancers show normal TP53 gene and aberrant overexpression of Mdm2 and/or MdmX. This fact promotes a promising cancer therapeutic strategy which targeting the interactions between p53 and Mdm2/MdmX. For developing the inhibitors to disrupt the p53-Mdm2/MdmX interactions, we systematically investigate structural and interaction characteristics of p53 and inhibitors with Mdm2 and MdmX from atomistic level by exploiting stochastic molecular dynamics simulations. We find that some specific $\alpha$ helices in Mdm2 and MdmX structure play key role in their bindings with inhibitors and the hydrogen bond formed by residue Trp23 of p53 with its counterpart in Mdm2/MdmX determines dynamical competition processes of the disruption of Mdm2-p53 interaction and replacement of p53 from Mdm2-p53 complex {\it in vivo}. We hope that the results reported in this paper provide basic information for designing functional inhibitors and realizing cancer gene therapy.


title: Multilayer Perceptron Algebra

abstract: Artificial Neural Networks(ANN) has been phenomenally successful on various pattern recognition tasks. However, the design of neural networks rely heavily on the experience and intuitions of individual developers. In this article, the author introduces a mathematical structure called MLP algebra on the set of all Multilayer Perceptron Neural Networks(MLP), which can serve as a guiding principle to build MLPs accommodating to the particular data sets, and to build complex MLPs from simpler ones.


title: A Generalized Short Circuit Ratio for Multi-Infeed LCC-HVDC System

abstract: The relationship between the short circuit ratio (SCR) and static voltage stability is analyzed in this paper. According to eigenvalue decomposition method, a novel concept named generalized short circuit ratio (gSCR) has been proposed for multi-infeed LCC-HVDC (MIDC) systems to mathematically measure the connect-ed AC strength from the point view of voltage stability, which can overcome the rule-of-thumb basis of existing multi-infeed short circuit ratio (MISCR) concept. In gSCR, two indices, the critical gSCR (CgSCR) and the boundary gSCR (BgSCR) are developed to quantitatively evaluate if the connected AC system is strong or weak, in which CgSCR=2 and BgSCR=3 are two critical values for strength evaluation. Finally, numerical simulations are conducted to validate the effectiveness of the proposed gSCR concept.


title: Risk Estimators for Choosing Regularization Parameters in Ill-Posed Problems - Properties and Limitations

abstract: This paper discusses the properties of certain risk estimators recently proposed to choose regularization parameters in ill-posed problems. A simple approach is Stein's unbiased risk estimator (SURE), which estimates the risk in the data space, while a recent modification (GSURE) estimates the risk in the space of the unknown variable. It seems intuitive that the latter is more appropriate for ill-posed problems, since the properties in the data space do not tell much about the quality of the reconstruction. We provide theoretical studies of both estimators for linear Tikhonov regularization in a finite dimensional setting and estimate the quality of the risk estimators, which also leads to asymptotic convergence results as the dimension of the problem tends to infinity. Unlike previous papers, who studied image processing problems with a very low degree of ill-posedness, we are interested in the behavior of the risk estimators for increasing ill-posedness. Interestingly, our theoretical results indicate that the quality of the GSURE risk can deteriorate asymptotically for ill-posed problems, which is confirmed by a detailed numerical study. The latter shows that in many cases the GSURE estimator leads to extremely small regularization parameters, which obviously cannot stabilize the reconstruction. Similar but less severe issues with respect to robustness also appear for the SURE estimator, which in comparison to the rather conservative discrepancy principle leads to the conclusion that regularization parameter choice based on unbiased risk estimation is not a reliable procedure for ill-posed problems. A similar numerical study for sparsity regularization demonstrates that the same issue appears in nonlinear variational regularization approaches.


title: On the Sum Capacity of Many-to-one and One-to-many Gaussian Interference Channels

abstract: We obtain new sum capacity results for the Gaussian many-to-one and one-to-many interference channels in channel parameter regimes where the sum capacity was known only up to a constant gap. Simple Han-Kobayashi (HK) schemes, i.e., HK schemes with Gaussian signaling, no time-sharing, and no common-private power splitting, achieve sum capacity under the channel conditions for which the new results are obtained. To obtain sum capacity results, we show that genie-aided upper bounds match the achievable sum rate of simple HK schemes under certain channel conditions.


title: UV/EUV High-Throughput Spectroscopic Telescope: A Next Generation Solar Physics Mission white paper

abstract: The origin of the activity in the solar corona is a long-standing problem in solar physics. Recent satellite observations, such as Hinode, Solar Dynamics Observatory (SDO), Interface Region Imaging Spectrograph (IRIS), show the detail characteristics of the solar atmosphere and try to reveal the energy transfer from the photosphere to the corona through the magnetic fields and its energy conversion by various processes. However, quantitative estimation of energy transfer along the magnetic field is not enough. There are mainly two reason why it is difficult to observe the energy transfer from photosphere to corona; 1) spatial resolution gap between photosphere (a few 0.1 arcsec) and corona (a few arcsec), 2) lack in temperature coverage. Furthermore, there is not enough observational knowledge of the physical parameters in the energy dissipation region. There are mainly three reason why it is difficult to observe in the vicinity of the energy dissipation region; 1) small spatial scale, 2) short time scale, 3) low emission. It is generally believed that the energy dissipation occurs in the very small scale and its duration is very short (10 second). Further, the density in the dissipation region might be very low. Therefore, the high spatial and temporal resolution UV/EUV spectroscopic observation with wide temperature coverage is crucial to estimate the energy transport from photosphere to corona quantitatively and diagnose the plasma dynamics in the vicinity of the energy dissipation region. Main Science Target for the telescope is quantitative estimation for the energy transfer from the photosphere to the corona, and clarification of the plasma dynamics in the vicinity of the energy dissipation region, where is the key region for coronal heating, solar wind acceleration, and/or solar flare, by the high spatial and temporal resolution UV/EUV spectroscopy.


title: Physical condition for the slowing down of cosmic acceleration

abstract: The possible slowing down of cosmic acceleration was widely studied. However, the imposition of dark energy parametrization brought some tensions. In our recent paper, we test this possibility using a model-independent method, Gaussian processes. However, the reason of generating these tensions is still closed. In the present paper, we analyse the derivative of deceleration parameter to solve the problems. The reconstruction of the derivative again suggests that no slowing down of acceleration is presented within 95\% C.L. from current observational data. We then deduce its constraint on dark energy. The corresponding constraint clearly reveals the reason of tension between different models in previous work. We also study the essential reason of why current data cannot convincingly measure the slowing down of acceleration. The constraints indicate that most of current data are not in the allowed region.


title: Mitigating Congestion in Complex Transportation Networks via Maximum Entropy

abstract: In this paper, we reveal the relationship between entropy rate and the congestion in complex network and solve it analytically for special cases. Finding maximizing entropy rate will lead to an improvement of traffic efficiency, we propose a method to mitigate congestion by allocating limited traffic capacity to the nodes in network rationally. Different from former strategies, our method only requires local and observable information of network, and is low-cost and widely applicable in practice. In the simulation of the phase transition for various network models, our method performs well in mitigating congestion both locally and globally. By comparison, we also uncover the deficiency of former degree-biased approaches. Owing to the rapid development of transportation networks, our method may be helpful for modern society.


title: Fast phonon dynamics of a nanomechanical oscillator due to cooperative effects

abstract: We investigate the coupled-system dynamics of two-level quantum dots placed on a vibrating nanomechanical resonator. The ensemble of quantum dots exhibits superradiance features which are transferred to the mechanical degrees of freedom representing fast quantum dynamics and enhanced phonon emission in a nanomechanical setup, resembling of the superradiance effect.


title: Landau Potential for Multiferroic Mn_2GeO_4

abstract: A high-order Landau potential for Mn_2GeO_4 is developed.


title: On the rate of equidistribution of expanding translates of horospheres in $\Gamma\backslash G$

abstract: Let $G$ be a semisimple Lie group and $\Gamma$ a lattice in $G$. We generalize a method of Burger to prove precise effective equidistribution results for translates of pieces of horospheres in the homogeneous space $\Gamma\backslash G$.


title: Note on the resonance method for the Riemann zeta function

abstract: We improve Montgomery's $\Omega$-results for $|\zeta(\sigma+it)|$ in the strip $1/2<\sigma<1$ and give in particular lower bounds for the maximum of $|\zeta(\sigma+it)|$ on $\sqrt{T}\le t \le T$ that are uniform in $\sigma$. We give similar lower bounds for the maximum of $|\sum_{n\le x} n^{-1/2-it}|$ on intervals of length much larger than $x$. We rely on our recent work on lower bounds for maxima of $|\zeta(1/2+it)|$ on long intervals, as well as work of Soundararajan, G\'{a}l, and others. The paper aims at displaying and clarifying the conceptually different combinatorial arguments that show up in various parts of the proofs.


title: Phase Diagram of the Shastry-Sutherland Kondo Lattice Model with Classical Localized Spins: A Variational Calculation Study

abstract: We study the Kondo lattice Shastry-Sutherland model with additional Dzyaloshinskii-Moriya(DM) interactions, exploring the possible magnetic phases in its multi-dimensional parameter space. Treating the local moments as classical spins and using a variational ansatz, we identify the parameter ranges over which various common magnetic orderings are potentially stabilized. Our results reveal that the competing interactions result in a heightened susceptibility towards a wide range of spin configurations including longitudinal ferromagnetic and antiferromagnetic order, coplanar flux configurations and most interestingly, multiple non-coplanar configurations including a novel canted-Flux state as the different Hamiltonian parameters like electron density, interaction strengths and degree of frustration are varied.


title: Control of chemical reactions using electric field gradients

abstract: We examine theoretically a new idea for spatial and temporal control of chemical reactions. When chemical reactions take place in a mixture of solvents, an external electric field can alter the local mixture composition thereby accelerating or decelerating the rate of reaction. The spatial distribution of electric field strength can be non-trivial and depends on the arrangement of the electrodes producing it. In the absence of electric field, the mixture is homogeneous and the reaction takes place uniformly in the reactor volume. When an electric field is applied the solvents separate and reactants are concentrated in the same phase or separate to different phases, depending on their relative miscibility in the solvents, and this can have a large effect on the kinetics of the reaction. This method could provide an alternative way to control runaway reactions and to increase the reaction rate without using catalysts.


title: A gap theorem for free boundary minimal surfaces in geodesic balls of hyperbolic space and hemisphere

abstract: In this paper we provide a pinching condition for the characterization of the totally geodesic disk and the rotational annulus among minimal surfaces with free boundary in geodesic balls of three-dimensional hyperbolic space and hemisphere. The pinching condition involves the length of the second fundamental form, the support function of the surface, and a natural potential function in hyperbolic space and hemisphere.


title: Capacity of Discrete-Time Wiener Phase Noise Channels to Within a Constant Gap

abstract: The capacity of the discrete-time channel affected by both additive Gaussian noise and Wiener phase noise is studied. Novel inner and outer bounds are presented, which differ of at most $6.65$ bits per channel use for all channel parameters. The capacity of this model can be subdivided in three regimes: (i) for large values of the frequency noise variance, the channel behaves similarly to a channel with circularly uniform iid phase noise; (ii) when the frequency noise variance is small, the effects of the additive noise dominate over those of the phase noise, while (iii) for intermediate values of the frequency noise variance, the transmission rate over the phase modulation channel has to be reduced due to the presence of phase noise.


title: Topological transport in Dirac electronic systems: A concise review

abstract: Various novel physical properties have emerged in Dirac electronic systems, especially the topological characters protected by symmetry. Current studies on these systems have been greatly promoted by the intuitive concepts of Berry phase and Berry curvature, which provide precise definitions of the topological orders. In this topical review, transport properties of topological insulator (Bi2Se3), topological Dirac semimetal (Cd3As2) and topological insulator-graphene heterojunction are presented and discussed. Perspectives about transport properties of two-dimensional topological nontrivial systems, including topological edge transport, topological valley transport and topological Weyl semimetals, are provided.


title: Control Capacity of Partially Observable Dynamic Systems in Continuous Time

abstract: Stochastic dynamic control systems relate in a prob- abilistic fashion the space of control signals to the space of corresponding future states. Consequently, stochastic dynamic systems can be interpreted as an information channel between the control space and the state space. In this work we study this control-to-state informartion capacity of stochastic dynamic systems in continuous-time, when the states are observed only partially. The control-to-state capacity, known as empowerment, was shown in the past to be useful in solving various Artificial Intelligence & Control benchmarks, and was used to replace problem-specific utilities. The higher the value of empowerment is, the more optional future states an agent may reach by using its controls inside a given time horizon. The contribution of this work is that we derive an efficient solution for computing the control-to-state information capacity for a linear, partially-observed Gaussian dynamic control system in continuous time, and discover new relationships between control-theoretic and information-theoretic properties of dynamic systems. Particularly, using the derived method, we demonstrate that the capacity between the control signal and the system output does not grow without limits with the length of the control signal. This means that only the near-past window of the control signal contributes effectively to the control-to-state capacity, while most of the information beyond this window is irrelevant for the future state of the dynamic system. We show that empowerment depends on a time constant of a dynamic system.


title: Twenty years after the discovery of $\mu-\tau$ symmetry

abstract: It has passed 20 years after we proposed $\mu-\tau$ symmetry in light neutrino mass matrix. This model is simple but reproduced the characterestic properties of lepton sector. After that, during the experimental developments, there have appeared so many extensions but most of those phenomenological models are lacking systematic outlooks towards more fundamental theories. In this paper, we try to consider rather systematic model extensions and application to GUT model.


title: Photon-phonon-photon transfer in optomechanics

abstract: We consider transfer of a highly nonclassical quantum state through an optomechanical system. That is we investigate a protocol consisting of sequential upload, storage and reading out of the quantum state from a mechanical mode of an optomechanical system. We show that provided the input state is in a test-bed single-photon Fock state, the Wigner function of the recovered state can have negative values at the origin, which is a manifest of nonclassicality of the quantum state of the macroscopic mechanical mode and the overall transfer protocol itself. Moreover, we prove that the recovered state is quantum non-Gaussian for wide range of setup parameters. We verify that current electromechanical and optomechanical experiments can test this complete transfer of single photon.


title: Self-adjointness and spectral properties of Dirac operators with magnetic links

abstract: We define Dirac operators on $\mathbb{S}^3$ (and $\mathbb{R}^3$) with magnetic fields supported on smooth, oriented links and prove self-adjointness of certain (natural) extensions. We then analyze their spectral properties and show, among other things, that these operators have discrete spectrum. Certain examples, such as circles in $\mathbb{S}^3$, are investigated in detail and we compute the dimension of the zero-energy eigenspace.


title: Diffeological Levi-Civita connections

abstract: A diffeological connection on a diffeological vector pseudo-bundle is defined just the usual one on a smooth vector bundle; this is possible to do, because there is a standard diffeological counterpart of the cotangent bundle. On the other hand, there is not yet a standard theory of tangent bundles, although there are many suggested and promising versions, such as that of the internal tangent bundle, so the abstract notion of a connection on a diffeological vector pseudo-bundle does not automatically provide a counterpart notion for Levi-Civita connections. In this paper we consider the dual of the just-mentioned counterpart of the cotangent bundle in place of the tangent bundle (without making any claim about its geometrical meaning). To it, the notions of compatibility with a pseudo-metric and symmetricity can be easily extended, and therefore the notion of a Levi-Civita connection makes sense as well. In the case when $\Lambda^1(X)$, the counterpart of the cotangent bundle, is finite-dimensional, there is an equivalent Levi-Civita connection on it as well.


title: Mathematical modelling of variable porosity coatings for controlled drug release

abstract: In this paper we investigate the extent to which variable porosity drug-eluting coatings can provide better control over drug release than coatings where the porosity is constant throughout. In particular, we aim to establish the potential benefits of replacing a single-layer with a two-layer coating of identical total thickness and initial drug mass. In our study, what distinguishes the layers (other than their individual thickness and initial drug loading) is the underlying microstructure, and in particular the effective porosity and the tortuosity of the material. We consider the effect on the drug release profile of varying the initial distribution of drug, the relative thickness of the layers and the relative resistance to diffusion offered by each layer's composition. Our results indicate that the contrast in properties of the two layers can be used as a means of better controlling the release, and that the quantity of drug delivered in the early stages can be modulated by varying the distribution of drug across the layers. We conclude that microstructural and loading differences between multi-layer variable porosity coatings can be used to tune the properties of the coating materials to obtain the desired drug release profile for a given application.


title: On a question of Buchweitz about ranks of syzygies of modules of finite length

abstract: Let R be a local ring of dimension d. Buchweitz asks if the rank of the d-th syzygy of a module of finite lengh is greater than or equal to the rank of the d-th syzygy of the residue field, unless the module has finite projective dimension. Assuming that R is Gorenstein, we prove that if the question is affrmative, then R is a hypersurface. If moreover R has dimension two, then we show that the converse also holds true.


title: Small-amplitude steady water waves with critical layers: non-symmetric waves

abstract: The problem for two-dimensional steady water waves with vorticity is considered. Using methods of spatial dynamics, we reduce the problem to a finite dimensional Hamiltonian system. As an application, we prove the existence of non-symmetric steady water waves when the number of roots of the dispersion equation is greater than 1.


title: An improved derivation of the Smarr Formula for Lorentz-breaking gravity

abstract: Thermodynamical properties of black holes in gravitational theories without Local Lorentz invariance have been subject to intense investigation in the past years due to the presence of universal horizons, which are strong causal barriers even for superluminal signals. Here we present a novel general method for deriving the Smarr formula for this class of theories: in particular we show that the Smarr formulae for Einstein-Aether theory and infrared Horava gravity follow from scale invariance. We not only reproduce straightforwardly previous findings for static black hole solutions, but we are also able to generalise them to the case of stationary rotating black holes. Finally, we apply our results to the rotating black holes with universal horizon as found in three dimensions, from which we shall draw some lessons on the viability of black hole thermodynamics for black hole solutions endowed with universal horizons.


title: The product rule in $\kappa^*(\mathcal{M}_{g,n}^{ct})$

abstract: We describe explicit formulas for the product rule in $\kappa^*(\mathcal{M}_{g,n}^{ct})$.


title: A global study of Type B quasi-periodic oscillation in black hole X-ray binaries

abstract: We performed a global study on the timing and spectral properties of type-B quasi-periodic oscillations (QPOs) in the outbursts of black hole X-ray binaries. The sample is built based on the observations of {\it Rossi X-ray Timing Explorer}, via searching in the literature in RXTE era for all the identified type-B QPOs. To enlarge the sample, we also investigated some type-B QPOs that are reported but not yet fully identified. Regarding to the time lag and hard/soft flux ratio, we found that the sources with type-B QPOs behave in two subgroups. In one subgroup, type-B QPO shows a hard time lag that firstly decreases and then reverse into a soft time lag along with softening of the energy spectrum. In the other subgroup, type-B QPOs distribute only in a small region with hard time lag and relatively soft hardness. These findings may be understood with a diversity of the homogeneity showing up for the hot inner flow of different sources. We confirm the universality of a positive relation between the type-B QPO frequency and the hard component luminosity in different sources. We explain the results by considering that the type-B QPO photons are produced in the inner accretion flow around the central black hole, under a local Eddington limit. Using this relationship, we derived an mass estimation of $9.3-27.1$ $\rm{M_{\odot}}$ for the black hole in H 1743-322.


title: Christoffel formula for kernel polynomials on the unit circle

abstract: Given a nontrivial positive measure $\mu$ on the unit circle, the associated Christoffel-Darboux kernels are $K_n(z, w;\mu) = \sum_{k=0}^{n}\overline{\varphi_{k}(w;\mu)}\,\varphi_{k}(z;\mu)$, $n \geq 0$, where $\varphi_{k}(\cdot; \mu)$ are the orthonormal polynomials with respect to the measure $\mu$. Let the positive measure $\nu$ on the unit circle be given by $d \nu(z) = |G_{2m}(z)|\, d \mu(z)$, where $G_{2m}$ is a conjugate reciprocal polynomial of exact degree $2m$. We establish a determinantal formula expressing $\{K_n(z,w;\nu)\}_{n \geq 0}$ directly in terms of $\{K_n(z,w;\mu)\}_{n \geq 0}$. Furthermore, we consider the special case of $w=1$; it is known that appropriately normalized polynomials $K_n(z,1;\mu) $ satisfy a recurrence relation whose coefficients are given in terms of two sets of real parameters $ \{c_n(\mu)\}_{n=1}^{\infty}$ and $ \{g_{n}(\mu)\}_{n=1}^{\infty}$, with $0<g_n<1 $ for $n\geq 1$. The double sequence $\{(c_n(\mu), g_{n}(\mu))\}_{n=1}^{\infty}$ characterizes the measure $\mu$. A natural question about the relation between the parameters $c_n(\mu)$, $g_n(\mu)$, associated with $\mu$, and the sequences $c_n(\nu)$, $g_n(\nu)$, corresponding to $\nu$, is also addressed. Finally, examples are considered, such as the Geronimus weight (a measure supported on an arc of the unit circle), a class of measures given by basic hypergeometric functions, and a class of measures with hypergeometric orthogonal polynomials.


title: Certain Almost Kenmotsu Metrics Satisfying the Miao-Tam Equation

abstract: In this paper we characterize certain class of almost Kenmotsu metrics satisfying the Miao-Tam equation.


title: New metallicity calibration for Seyfert 2 galaxies based on the N2O2 index

abstract: We derive a new relation between the metallicity of Seyfert 2 Active Galactic Nuclei (AGNs) and the intensity of the narrow emission-lines ratio $N2O2$=log([N II]$\lambda$6584/[O II]$\lambda$3727). The calibration of this relation was performed determining the metallicity ($Z$) of a sample of 58 AGNs through a diagram containing the observational data and the results of a grid of photoionization models obtained with the Cloudy code. We find the new $Z/Z_\odot$-$N2O2$ relation using the obtained metallicity values and the corresponding observational emission line intensities for each object of the sample. Estimations derived through the use of this new calibration indicate that narrow line regions of Seyfert 2 galaxies exhibit a large range of metallicities ($0.3 \: < \: Z/Z_{\odot} \: < \:2.0$), with a median value $Z \approx Z_{\odot}$. Regarding the possible existence of correlations between the luminosity $L(\rm H\beta$), the electron density, and the color excess E(B$-$V) with the metallicity in this kind of objects, we do not find correlations between them.


title: On the geometry of semiclassical limits on Dirichlet spaces

abstract: This paper is a contribution to semiclassical analysis for abstract Schr\"odinger type operators on locally compact spaces: Let $X$ be a metrizable seperable locally compact space, let $\mu$ be a Radon measure on $X$ with a full support. Let $(t,x,y)\mapsto p(t,x,y)$ be a strictly positive pointwise consistent $\mu$-heat kernel, and assume that the generator $H_p\geq 0$ of the corresponding self-adjoint contraction semigroup in $L^2(X,\mu)$ induces a regular Dirichlet form. Then, given a function $\Psi : (0,1)\to (0,\infty)$ such that the limit $\lim_{t\to 0+}p(t,x,x)\Psi (t)$ exists for all $x\in X$, we prove that for every potential $w:X\to \mathbb{R}$ one has $$ \lim_{t \to 0+} \Psi (t)\mathrm{tr}\big(\mathrm{e}^{ -t H_p + w}\big)= \int \mathrm{e}^{-w(x) }\lim_{t \to 0+}p(t,x,x) \Psi (t) d\mu(x)<\infty $$ for the Schr\"odinger type operator $H_p + w$, provided $w$ satisfies very mild conditions at $\infty$, that are essentially only made to guarantee that the sum of quadratic forms $ H_p + w/t$ is self-adjoint and bounded from below for small $t$, and to guarantee that $$ \int \mathrm{e}^{-w(x) }\lim_{t\to 0+}p(t,x,x) \Psi (t) d\mu(x)<\infty. $$ The proof is probabilistic and relies on a principle of not feeling the boundary for $p(t,x,x)$. In particular, this result implies a new semiclassical limit result for partition functions valid on arbitrary connected geodesically complete Riemannian manifolds, and one also recovers a previously established semiclassical limit result for possibly locally infinite connected weighted graphs.


title: A spectral decomposition of orbital integrals for $PGL(2,F)$

abstract: Let $F$ be a local non-archimedian field, $G$ a semisimple $F$-group, $dg$ a Haar measure on $G$ and $\mathcal S(G)$ be the space of locally constant complex valued functions $f$ on $G$ with compact support. For any regular elliptic congugacy class $\Omega =h^G\subset G$ we denote by $I_\Omega$ the $G$-invariant functional on $\mathcal S (G)$ given by $$I_\Omega (f)=\int_G f(g^{-1}hg)dg$$ This paper provides the spectral decomposition of functionals $I_\Omega$ in the case $G=PGL(2,F)$ and in the last section first steps of such an analysis for the general case.


title: Angles between curves in metric measure spaces

abstract: The goal of the paper is to study the angle between two curves in the framework of metric (and metric measure) spaces. More precisely, we give a new notion of angle between two curves in a metric space. Such a notion has a natural interplay with optimal transportation and is particularly well suited for metric measure spaces satisfying the curvature-dimension condition. Indeed one of the main results is the validity of the cosine formula on $RCD^{*}(K,N)$ metric measure spaces. As a consequence, the new introduced notions are compatible with the corresponding classical ones for Riemannian manifolds, Ricci limit spaces and Alexandrov spaces.


title: Up-To Techniques for Weighted Systems (Extended Version)

abstract: We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the threshold problem (also known as universality problem) for weighted automata. We build a bisimulation relation on the fly and work up-to congruence and up-to similarity. This requires to determine whether a pair of vectors (over a semiring) is in the congruence closure of a given relation of vectors. This problem is considered for rings and l-monoids, for the latter we provide a rewriting algorithm and show its confluence and termination. We then explain how to apply these up-to techniques to weighted automata and provide runtime results.


title: Finite Temperature Phases of Two Dimensional Spin-Orbit Coupled Bosons

abstract: We determine the finite temperature phase diagram of two dimensional bosons with two hyperfine (pseudo-spin) states coupled via Rashba-Dresselhaus spin-orbit interaction using classical field Monte Carlo calculations. For anisotropic spin-orbit coupling, we find a transition to a Berenzinskii-Kosterlitz-Thouless superfluid phase with quasi-long range order. We show that the spin-order of the quasi-condensate is driven by the anisotropy of interparticle interaction, favoring either a homogeneous plane wave state or stripe phase with broken translational symmetry. Both phases show characteristic behavior in the algebraically decaying spin density correlation function. For fully isotropic interparticle interaction, our calculations indicate a fractionalized quasi-condensate where the mean-field degeneracy of plane wave and stripe phase remains robust against critical fluctuations. In the case of fully isotropic spin-orbit coupling, the circular degeneracy of the single particle ground state destroys the algebraic ordered phase in the thermodynamic limit, but a cross-over remains for finite size systems.