title: On disjointness properties of some parabolic flows

abstract: The Ratner property, a quantitative form of divergence of nearby trajectories, is a central feature in the study of parabolic homogeneous flows. Discovered by Marina Ratner and used in her 1980th seminal works on horocycle flows, it pushed forward the disjointness theory of such systems. In this paper, exploiting a recent variation of the Ratner property, we prove new disjointness phenomena for smooth parabolic flows beyond the homogeneous world. In particular, we establish a general disjointness criterion based on the switchable Ratner property. We then apply this new criterion to study disjointness properties of smooth time changes of horocycle flows and smooth Arnol'd flows on the torus, focusing in particular on disjointness of distinct flow rescalings. As a consequence, we answer a question by Marina Ratner on the Moebius orthogonality of time-changes of horocycle flows. In fact, we prove Moebius orthogonality for all smooth time-changes of horocycle flows and uniquely ergodic realizations of Arnol'd flows considered.


title: Faber-Krahn type inequalities and uniqueness of positive solutions on metric measure spaces

abstract: We consider a general class of metric measure spaces equipped with a regular Dirichlet form and then provide a lower bound on the hitting time probabilities of the associated Hunt process. Using these estimates we establish (i) a generalization of the classical Lieb's inequality on metric measure spaces and (ii) uniqueness of nonnegative super-solutions on metric measure spaces. Finally, using heat-kernel estimates we generalize the local Faber-Krahn inequality recently obtained in [LS18].


title: Valley-Chern Effect with LC-Resonators: A Modular Platform

abstract: The valley Chern-effect is theoretically demonstrated with a novel alternating current circuitry, where closed-loop LC-resonators sitting at the nodes of a honeycomb lattice are inductively coupled along the bonds. This enables us to generate a dynamical matrix which copies identically the Hamiltonian driving the electrons in graphene. The valley-Chern effect is generated by splitting the inversion symmetry of the lattice. After a detailed study of the Berry curvature landscape and of the localization of the interface modes, we derive an optimal configuration of the circuit. Furthermore, we show that Q-factors as high as $10^4$ can be achieved with reasonable materials and configurations.


title: $A^2$-Nets: Double Attention Networks

abstract: Learning to capture long-range relations is fundamental to image/video recognition. Existing CNN models generally rely on increasing depth to model such relations which is highly inefficient. In this work, we propose the "double attention block", a novel component that aggregates and propagates informative global features from the entire spatio-temporal space of input images/videos, enabling subsequent convolution layers to access features from the entire space efficiently. The component is designed with a double attention mechanism in two steps, where the first step gathers features from the entire space into a compact set through second-order attention pooling and the second step adaptively selects and distributes features to each location via another attention. The proposed double attention block is easy to adopt and can be plugged into existing deep neural networks conveniently. We conduct extensive ablation studies and experiments on both image and video recognition tasks for evaluating its performance. On the image recognition task, a ResNet-50 equipped with our double attention blocks outperforms a much larger ResNet-152 architecture on ImageNet-1k dataset with over 40% less the number of parameters and less FLOPs. On the action recognition task, our proposed model achieves the state-of-the-art results on the Kinetics and UCF-101 datasets with significantly higher efficiency than recent works.


title: Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples

abstract: Adversarial sample attacks perturb benign inputs to induce DNN misbehaviors. Recent research has demonstrated the widespread presence and the devastating consequences of such attacks. Existing defense techniques either assume prior knowledge of specific attacks or may not work well on complex models due to their underlying assumptions. We argue that adversarial sample attacks are deeply entangled with interpretability of DNN models: while classification results on benign inputs can be reasoned based on the human perceptible features/attributes, results on adversarial samples can hardly be explained. Therefore, we propose a novel adversarial sample detection technique for face recognition models, based on interpretability. It features a novel bi-directional correspondence inference between attributes and internal neurons to identify neurons critical for individual attributes. The activation values of critical neurons are enhanced to amplify the reasoning part of the computation and the values of other neurons are weakened to suppress the uninterpretable part. The classification results after such transformation are compared with those of the original model to detect adversaries. Results show that our technique can achieve 94% detection accuracy for 7 different kinds of attacks with 9.91% false positives on benign inputs. In contrast, a state-of-the-art feature squeezing technique can only achieve 55% accuracy with 23.3% false positives.


title: Gradient-Free Learning Based on the Kernel and the Range Space

abstract: In this article, we show that solving the system of linear equations by manipulating the kernel and the range space is equivalent to solving the problem of least squares error approximation. This establishes the ground for a gradient-free learning search when the system can be expressed in the form of a linear matrix equation. When the nonlinear activation function is invertible, the learning problem of a fully-connected multilayer feedforward neural network can be easily adapted for this novel learning framework. By a series of kernel and range space manipulations, it turns out that such a network learning boils down to solving a set of cross-coupling equations. By having the weights randomly initialized, the equations can be decoupled and the network solution shows relatively good learning capability for real world data sets of small to moderate dimensions. Based on the structural information of the matrix equation, the network representation is found to be dependent on the number of data samples and the output dimension.


title: Applying Fourier Analysis to Judgment Aggregation

abstract: The classical Arrow's Theorem answers "how can $n$ voters obtain a collective preference on a set of outcomes, if they have to obey certain constraints?" We give an analogue in the judgment aggregation framework of List and Pettit, answering "how can $n$ judges obtain a collective judgment on a set of logical propositions, if they have to obey certain constraints?" We abstract this notion with the concept of "normal pairs" of functions on the Hamming cube, which we analyze with Fourier analysis and elementary combinatorics. We obtain judgment aggregation results in the special case of "symbol-complete" agendas and compare them with existing theorems in the literature. Amusingly, the non-dictatorial classes of functions that arise are precisely the classical logical functions OR, AND, and XOR.


title: Learning Abstract Options

abstract: Building systems that autonomously create temporal abstractions from data is a key challenge in scaling learning and planning in reinforcement learning. One popular approach for addressing this challenge is the options framework (Sutton et al., 1999). However, only recently in (Bacon et al., 2017) was a policy gradient theorem derived for online learning of general purpose options in an end to end fashion. In this work, we extend previous work on this topic that only focuses on learning a two-level hierarchy including options and primitive actions to enable learning simultaneously at multiple resolutions in time. We achieve this by considering an arbitrarily deep hierarchy of options where high level temporally extended options are composed of lower level options with finer resolutions in time. We extend results from (Bacon et al., 2017) and derive policy gradient theorems for a deep hierarchy of options. Our proposed hierarchical option-critic architecture is capable of learning internal policies, termination conditions, and hierarchical compositions over options without the need for any intrinsic rewards or subgoals. Our empirical results in both discrete and continuous environments demonstrate the efficiency of our framework.


title: Study of Joint Automatic Gain Control and MMSE Receiver Design Techniques for Quantized Multiuser Multiple-Antenna Systems

abstract: This paper presents the development of a joint optimization of an automatic gain control (AGC) algorithm and a linear \textit{minimum mean square error} (MMSE) receiver for multi-user multiple input multiple output (MU-MIMO) systems with coarsely quantized signals. The optimization of the AGC is based on the minimization of the \textit{mean square error} (MSE) and the proposed receive filter takes into account the presence of the AGC and the effects due to quantization. Moreover, we provide a lower bound on the capacity of the MU-MIMO system by deriving an expression for the achievable rate. The performance of the proposed Low-Resolution Aware MMSE (LRA-MMSE) receiver and AGC algorithm is evaluated by simulations, and compared with the conventional MMSE receive filter and Zero-Forcing (ZF) receiver using quantization resolution of 2, 3, 4 and 5 bits.


title: Coherent X-ray measurement of step-flow propagation during growth on polycrystalline thin film surfaces

abstract: The properties of artificially grown thin films are strongly affected by surface processes during growth. Coherent X-rays provide an approach to better understand such processes and fluctuations far from equilibrium. Here we report results for vacuum deposition of C$_{60}$ on a graphene-coated surface investigated with X-ray Photon Correlation Spectroscopy in surface-sensitive conditions. Step-flow is observed through measurement of the step-edge velocity in the late stages of growth after crystalline mounds have formed. We show that the step-edge velocity is coupled to the terrace length, and that there is a variation in the velocity from larger step spacing at the center of crystalline mounds to closely-spaced, more slowly propagating steps at their edges. The results extend theories of surface growth, since the behavior is consistent with surface evolution driven by processes that include surface diffusion, the motion of step-edges, and attachment at step edges with significant step-edge barriers.


title: Attended Temperature Scaling: A Practical Approach for Calibrating Deep Neural Networks

abstract: Recently, Deep Neural Networks (DNNs) have been achieving impressive results on wide range of tasks. However, they suffer from being well-calibrated. In decision-making applications, such as autonomous driving or medical diagnosing, the confidence of deep networks plays an important role to bring the trust and reliability to the system. To calibrate the deep networks' confidence, many probabilistic and measure-based approaches are proposed. Temperature Scaling (TS) is a state-of-the-art among measure-based calibration methods which has low time and memory complexity as well as effectiveness. In this paper, we study TS and show it does not work properly when the validation set that TS uses for calibration has small size or contains noisy-labeled samples. TS also cannot calibrate highly accurate networks as well as non-highly accurate ones. Accordingly, we propose Attended Temperature Scaling (ATS) which preserves the advantages of TS while improves calibration in aforementioned challenging situations. We provide theoretical justifications for ATS and assess its effectiveness on wide range of deep models and datasets. We also compare the calibration results of TS and ATS on skin lesion detection application as a practical problem where well-calibrated system can play important role in making a decision.


title: Wave Climate from Spectra and its Connections with Local and Remote Wind Climate

abstract: Because wind-generated waves can propagate over large distances, wave spectra from a fixed point can record information about air-sea interactions in distant areas. In this study, the spectral wave climate is computed for a specific location in the tropical Eastern Pacific Ocean. Several well-defined partitions independent of each other, referred to as wave-climate systems, are observed in the annual mean wave spectrum. Significant seasonal cycling, long-term trends, and correlations with climate indices are observed in the local wave spectra, showing the abundant climatic information they contain. The projections of the wind vector on the direction pointing to the target location are used to link the spectral wave climate and basin-scale wind climate. The origins of all the identified wave climate systems are clearly shown in the wind projection maps and some are thousands of kilometers away from the target point, demonstrating the validity of this connection. Comparisons are made between wave spectra and the corresponding local and remote wind fields with respect to seasonal and interannual variability, as well as the long-term trends. The results show that each frequency and direction of ocean wave spectra at a certain location can be linked to the wind field for a geographical area from a climatological point of view, implying that it is feasible to reconstruct a spectral wave climate from global observational wind field data and wind climate monitoring using observations of wave spectrum geographically far away.


title: On the Minimal Flavor Violating Leptoquark Explanation of the $R_{D^{(*)}}$ Anomaly

abstract: There has been persistent disagreement between the Standard Model (SM) prediction and experimental measurements of $R_{D^{(*)}}=\mathcal{B}(\bar B \rightarrow D^{(*)} \tau \bar\nu_\tau)/\mathcal{B}(\bar B \rightarrow D^{(*)} l \bar\nu_l)$ $(l=e,\mu)$. This anomaly may be addressed by introducing interactions beyond the Standard Model involving new states, such as leptoquarks. Since the processes involved are quark flavor changing, any new states would need to couple to at least two different generations of quarks, requiring a non-trivial flavor structure in the quark sector while avoiding stringent constraints from flavor-changing neutral current processes. In this work, we look at scalar leptoquarks as a possible solution for the $R_{D^{(*)}}$ anomaly under the assumption of $\it{minimal~flavor~violation}$ (MFV). We investigate all possible representations for the leptoquarks under the SM quark flavor symmetry group, consistent with asymptotic freedom. We consider constraints on their parameter space from self-consistency of the MFV scenario, perturbativity, the FCNC decay $b\to s\bar\nu\nu$ and precision electroweak observables. We find that none of the scalar leptoquarks can explain the $R_{D^{(*)}}$ anomaly while simultaneously avoiding all constraints within this scenario. Thus scalar leptoquarks with MFV-generated quark couplings do not work as a solution to the $R_{D^{(*)}}$ anomaly.


title: Estimating Differential Entropy under Gaussian Convolutions

abstract: This paper studies the problem of estimating the differential entropy $h(S+Z)$, where $S$ and $Z$ are independent $d$-dimensional random variables with $Z\sim\mathcal{N}(0,\sigma^2 \mathrm{I}_d)$. The distribution of $S$ is unknown, but $n$ independently and identically distributed (i.i.d) samples from it are available. The question is whether having access to samples of $S$ as opposed to samples of $S+Z$ can improve estimation performance. We show that the answer is positive. More concretely, we first show that despite the regularizing effect of noise, the number of required samples still needs to scale exponentially in $d$. This result is proven via a random-coding argument that reduces the question to estimating the Shannon entropy on a $2^{O(d)}$-sized alphabet. Next, for a fixed $d$ and $n$ large enough, it is shown that a simple plugin estimator, given by the differential entropy of the empirical distribution from $S$ convolved with the Gaussian density, achieves the loss of $O\left((\log n)^{d/4}/\sqrt{n}\right)$. Note that the plugin estimator amounts here to the differential entropy of a $d$-dimensional Gaussian mixture, for which we propose an efficient Monte Carlo computation algorithm. At the same time, estimating $h(S+Z)$ via popular differential entropy estimators (based on kernel density estimation (KDE) or k nearest neighbors (kNN) techniques) applied to samples from $S+Z$ would only attain much slower rates of order $O(n^{-1/d})$, despite the smoothness of $P_{S+Z}$. As an application, which was in fact our original motivation for the problem, we estimate information flows in deep neural networks and discuss Tishby's Information Bottleneck and the compression conjecture, among others.


title: Calculations of Neutron Reflectivity in the eV Energy Range from Mirrors made of Heavy Nuclei with Neutron-Nucleus Resonances

abstract: We evaluate the reflectivity of neutron mirrors composed of certain heavy nuclei which possess strong neutron-nucleus resonances in the eV energy range. We show that the reflectivity of such a mirror for some nuclei can in principle be high enough near energies corresponding to compound neutron-nucleus resonances to be of interest for certain scientific applications in non-destructive evaluation of subsurface material composition and in the theory of neutron optics beyond the kinematic limit.


title: Sensitivity indices for output on a Riemannian manifold

abstract: In the context of computer code experiments, sensitivity analysis of a complicated input-output system is often performed by ranking the so-called Sobol indices. One reason of the popularity of Sobol's approach relies on the simplicity of the statistical estimation of these indices using the so-called Pick and Freeze method. In this work we propose and study sensitivity indices for the case where the output lies on a Riemannian manifold. These indices are based on a Cram\'er von Mises like criterion that takes into account the geometry of the output support. We propose a Pick-Freeze like estimator of these indices based on an $U$--statistic. The asymptotic properties of these estimators are studied. Further, we provide and discuss some interesting numerical examples.


title: An event mixing method with invariant-mass/energy hierarchy correspondence cut for Bose-Einstein correlations in $\pi \pi X$ system

abstract: A new event mixing constraint, namely invariant-mass/energy hierarchy correspondence (IMEHC) cut, is introduced for the low-multiplicity event mixing technique for the purpose of measuring Bose-Einstein correlations (BEC) in exclusive reactions with $\pi \pi X$ final state particles.The mixing cut is relevant to the hierarchy of the invariant mass of $\pi X$ system and two bosons energy hierarchy. Numerical tests are performed to check the validity of the new mixing method. As long as the measurements of BEC parameters $r_0$ and $\lambda_2$ are considered, this new mixing method is effective to observe BEC effects and the systematic bias of $r_0$ and $\lambda_2$ are smaller than the previously proposed mixing cut.


title: Reagent: Converting Ordinary Webpages into Interactive Software Agents

abstract: We introduce Reagent, a technology that readily converts ordinary webpages containing structured data into software agents with which one can interact naturally, via a combination of speech and pointing. Previous efforts to make webpage content manipulable by third-party software components in browsers or desktop applications have generally relied upon specialized instrumentation included in the webpages -- a practice that neither scales well nor applies to pre-existing webpages. In contrast, Reagent automatically captures semantic details and semantically-meaningful mouse events from arbitrary webpages that contain no pre-existing special instrumentation. Reagent combines these events with text transcriptions of user speech to derive and execute parameterized commands representing human intent. Thus, users may request various visualization or analytic operations to be performed on data displayed on a page by speaking to it and/or pointing to elements within it. When unable to infer translations between event labels and human terminology, Reagent proactively asks users for definitions and adds them to its dictionary. We demonstrate Reagent in the context of a collection of pre-existing webpages that contain football team and player statistics.


title: Convolutional neural networks with extra-classical receptive fields

abstract: Convolutional neural networks (CNNs) have had great success in many real-world applications and have also been used to model visual processing in the brain. However, these networks are quite brittle - small changes in the input image can dramatically change a network's output prediction. In contrast to what is known from biology, these networks largely rely on feedforward connections, ignoring the influence of recurrent connections. They also focus on supervised rather than unsupervised learning. To address these issues, we combine traditional supervised learning via backpropagation with a specialized unsupervised learning rule to learn lateral connections between neurons within a convolutional neural network. These connections have been shown to optimally integrate information from the surround, generating extra-classical receptive fields for the neurons in our new proposed model (CNNEx). Models with optimal lateral connections are more robust to noise and achieve better performance on noisy versions of the MNIST and CIFAR-10 datasets. Resistance to noise can be further improved by combining our model with additional regularization techniques such as dropout and weight decay. Although the image statistics of MNIST and CIFAR-10 differ greatly, the same unsupervised learning rule generalized to both datasets. Our results demonstrate the potential usefulness of combining supervised and unsupervised learning techniques and suggest that the integration of lateral connections into convolutional neural networks is an important area of future research.


title: Palatini $f(\mathcal{R}, \mathcal{L}_m, \mathcal{R}_{\mu\nu}T^{\mu\nu})$ gravity and its Born-Infeld semblance

abstract: We investigate Palatini $f(\mathcal{R},\mathcal{L}_m, \mathcal{R}_{\mu\nu}T^{\mu\nu})$ modified theories of gravity wherein the metric and affine connection are treated as independent dynamical fields and the gravitational Lagrangian is made a function of the Ricci scalar $\mathcal{R}$, the matter Lagrangian density $\mathcal{L}_m,$ and a "matter-curvature scalar" $\mathcal{R}_{\mu\nu}T^{\mu\nu}$. The field equations and the equations of motion for massive test particles are derived, and we show that the independent connection can be expressed as the Levi-Civita connection of an auxiliary, energy-momentum dependent metric, related to the physical metric by a matrix transformation. Similar to metric $f(\mathcal{R}, T, \mathcal{R}_{\mu\nu}T^{\mu\nu})$ gravity, the field equations impose the non-conservation of the energy-momentum tensor, leading to an appearance of an extra force on massive test particles. We obtain the explicit form of the field equations for massive test particles in the case of a perfect fluid, and an expression for the extra force. The nontrivial modifications to scalar fields and both linear and nonlinear electrodynamics are also considered. Finally, we detail the conditions under which the present theory is equivalent to the Eddington-inspired Born-Infeld (EiBI) model.


title: Nonlocal flocking dynamics: Learning the fractional order of PDEs from particle simulations

abstract: Flocking refers to collective behavior of a large number of interacting entities, where the interactions between discrete individuals produce collective motion on the large scale. We employ an agent-based model to describe the microscopic dynamics of each individual in a flock, and use a fractional PDE to model the evolution of macroscopic quantities of interest. The macroscopic models with phenomenological interaction functions are derived by applying the continuum hypothesis to the microscopic model. Instead of specifying the fPDEs with an ad hoc fractional order for nonlocal flocking dynamics, we learn the effective nonlocal influence function in fPDEs directly from particle trajectories generated by the agent-based simulations. We demonstrate how the learning framework is used to connect the discrete agent-based model to the continuum fPDEs in 1D and 2D nonlocal flocking dynamics. In particular, a Cucker-Smale particle model is employed to describe the microscale dynamics of each individual, while Euler equations with nonlocal interaction terms are used to compute the evolution of macroscale quantities. The trajectories generated by the particle simulations mimic the field data of tracking logs that can be obtained experimentally. They can be used to learn the fractional order of the influence function using a Gaussian process regression model implemented with the Bayesian optimization. We show that the numerical solution of the learned Euler equations solved by the finite volume scheme can yield correct density distributions consistent with the collective behavior of the agent-based system. The proposed method offers new insights on how to scale the discrete agent-based models to the continuum-based PDE models, and could serve as a paradigm on extracting effective governing equations for nonlocal flocking dynamics directly from particle trajectories.

categories: math.NA physics.bio-ph physics.comp-ph stat.ML


title: Groupcast Index Coding Problem: Joint Extensions

abstract: The groupcast index coding problem is the most general version of the classical index coding problem, where any receiver can demand messages that are also demanded by other receivers. Any groupcast index coding problem is described by its \emph{fitting matrix} which contains unknown entries along with $1$'s and $0$'s. The problem of finding an optimal scalar linear code is equivalent to completing this matrix with known entries such that the rank of the resulting matrix is minimized. Any row basis of such a completion gives an optimal \emph{scalar linear} code. An index coding problem is said to be a joint extension of a finite number of index coding problems, if the fitting matrices of these problems are disjoint submatrices of the fitting matrix of the jointly extended problem. In this paper, a class of joint extensions of any finite number of groupcast index coding problems is identified, where the relation between the fitting matrices of the sub-problems present in the fitting matrix of the jointly extended problem is defined by a base problem. A lower bound on the \emph{minrank} (optimal scalar linear codelength) of the jointly extended problem is given in terms of those of the sub-problems. This lower bound also has a dependence on the base problem and is operationally useful in finding lower bounds of the jointly extended problems when the minranks of all the sub-problems are known. We provide an algorithm to construct scalar linear codes (not optimal in general), for any groupcast problem belonging to the class of jointly extended problems identified in this paper. The algorithm uses scalar linear codes of all the sub-problems and the base problem. We also identify some subclasses, where the constructed codes are scalar linear optimal.


title: Self-Supervised GAN to Counter Forgetting

abstract: GANs involve training two networks in an adversarial game, where each network's task depends on its adversary. Recently, several works have framed GAN training as an online or continual learning problem. We focus on the discriminator, which must perform classification under an (adversarially) shifting data distribution. When trained on sequential tasks, neural networks exhibit \emph{forgetting}. For GANs, discriminator forgetting leads to training instability. To counter forgetting, we encourage the discriminator to maintain useful representations by adding a self-supervision. Conditional GANs have a similar effect using labels. However, our self-supervised GAN does not require labels, and closes the performance gap between conditional and unconditional models. We show that, in doing so, the self-supervised discriminator learns better representations than regular GANs.


title: Anomalous Hall Effect in Thin Film of the Weyl Antiferromagnet Mn$_3$Sn

abstract: The Weyl antiferromagnet Mn$_3$Sn has recently attracted significant attention as it exhibits various useful functions such as large anomalous Hall effect that are normally absent in antiferromagnets. Here we report the thin film fabrication of the single phase of Mn$_3$Sn and the observation of the large anomalous Hall effect at room temperature despite its vanishingly small magnetization. Our work on the high-quality thin film growth of the Weyl antiferromagnet paves the path for developing the antiferromagnetic spintronics.


title: Graphene-based Tunable Dual-Band Absorbers by Ribbon/Disk Array

abstract: This article presents two dual-band absorbers based on graphene one dimensional (1D) / two dimensional (2D) patterned arrays in the THz frequencies. In comparison to the previous work, the structure of the proposed device is very simple. Most dual-band absorbers are based on mixing resonances of resonators with different sizes inside the structure. In this paper, the proposed absorber is based on the arrays of one element. Dual capacitive-inductive nature of the graphene patterned array and the impedance matching condition are used to achieve two resonance bands with perfect absorption by adjusting the graphene properties.


title: Reduced-order Aggregate Dynamical Model for Wind Farms

abstract: This paper presents an aggregate reduced-order model for a wind farm composed of identical parallel-connected Type-3 wind turbines. The model for individual turbines includes mechanical dynamics (arising from the turbine and doubly fed induction generator) and electrical dynamics (arising from the rotor-side and grid-side converters and associated filters). The proposed aggregate wind-farm model is structure preserving, in the sense that the parameters of the model are derived by scaling corresponding ones from the individual turbines. The aggregate model hence maps to an equivalent--albeit fictitious--wind turbine that captures the dynamics corresponding to the entire wind farm. The reduced-order model has obvious computational advantages, but more importantly, the presented analysis rigorously formalizes parametric scalings for aggregate wind-turbine models that have been applied with limited justification in prior works. Exhaustive numerical simulations validate the accuracy and computational benefits of the proposed reduced-order model.


title: Revising measurement process in the variational quantum eigensolver: Is it possible to reduce the number of separately measured operators?

abstract: Current implementations of the Variational Quantum Eigensolver (VQE) technique for solving the electronic structure problem involve splitting the system qubit Hamiltonian into parts whose elements commute within their single qubit subspaces. The number of such parts rapidly grows with the size of the molecule, this increases the uncertainty in the measurement of the energy expectation value because elements from different parts need to be measured independently. To address this problem we introduce a more efficient partitioning of the qubit Hamiltonian using fewer parts that need to be measured separately. The new partitioning scheme is based on two ideas: 1) grouping terms into parts whose eigenstates have a single-qubit product structure, and 2) devising multi-qubit unitary transformations for the Hamiltonian or its parts to produce less entangled operators. The first condition allows the new parts to be measured in the number of involved qubit consequential one-particle measurements. Advantages of the new partitioning scheme resulting in several-fold reduction of separately measured terms are illustrated on the H2 and LiH problems.


title: A Miniaturized Semantic Segmentation Method for Remote Sensing Image

abstract: In order to save the memory, we propose a miniaturization method for neural network to reduce the parameter quantity existed in remote sensing (RS) image semantic segmentation model. The compact convolution optimization method is first used for standard U-Net to reduce the weights quantity. With the purpose of decreasing model performance loss caused by miniaturization and based on the characteristics of remote sensing image, fewer down-samplings and improved cascade atrous convolution are then used to improve the performance of the miniaturized U-Net. Compared with U-Net, our proposed Micro-Net not only achieves 29.26 times model compression, but also basically maintains the performance unchanged on the public dataset. We provide a Keras and Tensorflow hybrid programming implementation for our model: https://github.com/Isnot2bad/Micro-Net


title: Poset-stratified space structures of homotopy sets

abstract: A poset-stratified space is a pair $(S, S \xrightarrow \pi P)$ of a topological space $S$ and a continuous map $\pi: S \to P$ with a poset $P$ considered as a topological space with its associated Alexandroff topology. In this paper we show that one can impose such a poset-stratified space structure on the homotopy set $[X, Y]$ of homotopy classes of continuous maps by considering a canonical but non-trivial order (preorder) on it, namely we can capture the homotopy set $[X, Y]$ as an object of the category of poset-stratified spaces. The order we consider is related to the notion of \emph{dependence of maps} (by Karol Borsuk). Furthermore via homology and cohomology the homotopy set $[X,Y]$ can have other poset-stratified space structures. In the cohomology case, we get some results which are equivalent to the notion of \emph{dependence of cohomology classes} (by Ren\'e Thom) and we can show that the set of isomorphism classes of complex vector bundles can be captured as a poset-stratified space via the poset of the subrings consisting of all the characteristic classes. We also show that some invariants such as Gottlieb groups and Lusternik--Schnirelmann category of a map give poset-stratified space structures to the homotopy set $[X,Y]$


title: Exploiting The Laws of Order in Smart Contracts

abstract: We investigate a family of bugs in blockchain-based smart contracts, which we call event-ordering (or EO) bugs. These bugs are intimately related to the dynamic ordering of contract events, i.e., calls of its functions on the blockchain, and enable potential exploits of millions of USD worth of Ether. Known examples of such bugs and prior techniques to detect them have been restricted to a small number of event orderings, typicall 1 or 2. Our work provides a new formulation of this general class of EO bugs as finding concurrency properties arising in long permutations of such events. The technical challenge in detecting our formulation of EO bugs is the inherent combinatorial blowup in path and state space analysis, even for simple contracts. We propose the first use of partial-order reduction techniques, using happen-before relations extracted automatically for contracts, along with several other optimizations built on a dynamic symbolic execution technique. We build an automatic tool called ETHRACER that requires no hints from users and runs directly on Ethereum bytecode. It flags 7-11% of over ten thousand contracts analyzed in roughly 18.5 minutes per contract, providing compact event traces that human analysts can run as witnesses. These witnesses are so compact that confirmations require only a few minutes of human effort. Half of the flagged contracts have subtle EO bugs, including in ERC-20 contracts that carry hundreds of millions of dollars worth of Ether. Thus, ETHRACER is effective at detecting a subtle yet dangerous class of bugs which existing tools miss.


title: Langevin dynamics for L\'evy walk with memory

abstract: Memory effects, sometimes, can not be neglected. In the framework of continuous time random walk, memory effect is modeled by the correlated waiting times. In this paper, we derive the two-point probability distribution of the stochastic process with correlated increments as well as the one of its inverse process, and present the Langevin description of L\'evy walk with memory, i.e., correlated waiting times. Based on the built Langevin picture, the properties of aging and nonstationary are discussed. The Langevin system exhibits sub-ballistic superdiffusion if the friction force is involved, while it displays super-ballistic diffusion or hyperdiffusion if there is no friction. It is discovered that the correlation of waiting times suppresses the diffusion behavior whether there is friction or not, and the stronger the correlation of waiting times becomes, the slower the diffusion is. In particular, the correlation function, correlation coefficient, ergodicity, and scaling property of the corresponding stochastic process are also investigated.


title: Quadrupole Interaction of Non-diffracting Beams with Two-Level Atoms

abstract: Recently it has been shown that the quadrupole interactions can be improved significantly as the atom interacts at near resonance with the Laguerre-Gaussian (LG) mode. In this paper, we illustrate that other kinds of optical vortex can be also led to a considerable enhancement of quadrupole interaction when the atom interacts with optical modes at near resonance. The calculations are performed on an interesting situation with Cs atom, where the process is concerned with dipole-forbidden and quadrupole-allowed transitions with a convenable choice of atomic and optical mode parameters. In this direction, we show that the quadrupole transitions can be significantly enhanced and therefore they can play an interesting role and lead to new features of atom-light interaction, which can have some constructive implications in experiments.


title: New solution of the compressible Navier-Stokes equation

abstract: We use the general exact solution of the Cauchy problem for the compressible Euler vortex equation in unbounded space which was obtained earlier (S.G.Chefranov, Sov. Phys. Dokl., 36, 286, 1991). This solution loses its smoothness in finite time and coincides with the exact solution of the Hopf equation, describing the inertial motion of the ideal fluid without pressure. On this base we obtain here the new smooth at all times solution to the compressible Navier-Stokes (NS) equation with the pressure field shows linear proportionality to the divergence of the velocity field, as it is known for an out-of-equilibrium systems with large second viscosity and small first viscosity. For example, directly from this solution of the NS equation for the case of two-dimensional (2D) compressible flow the exact representation of energy spectrum well known for 2D incompressible case (R.H.Kraichnan, Phys.Fluids,vol.10,1417,1967) is obtained.


title: On the linear static output feedback problem: the annihilating polynomial approach

abstract: One of the fundamental open problems in control theory is that of the stabilization of a linear time invariant dynamical system through static output feedback. We are given a linear dynamical system defined through \begin{align*} \mydot{w} &= Aw + Bu y &= Cw . \end{align*} The problem is to find, if it exists, a feedback $u=Ky$ such that the matrix $A+BKC$ has all its eigenvalues in the complex left half plane and, if such a feedback does not exist, to prove that it does not. Substantial progress has not been made on the computational aspect of the solution to this problem. In this paper we consider instead `which annihilating polynomials can a matrix of the form $A+BKC$ possess?'. We give a simple solution to this problem when the system has either a single input or a single output. For the multi input - multi output case, we use these ideas to characterize the annihilating polynomials when $K$ has rank one, and suggest possible computational solutions for general $K.$ We also present some numerical evidence for the plausibility of this approach for the general case as well as for the problem of shifting the eigenvalues of the system.


title: Soft-Gated Warping-GAN for Pose-Guided Person Image Synthesis

abstract: Despite remarkable advances in image synthesis research, existing works often fail in manipulating images under the context of large geometric transformations. Synthesizing person images conditioned on arbitrary poses is one of the most representative examples where the generation quality largely relies on the capability of identifying and modeling arbitrary transformations on different body parts. Current generative models are often built on local convolutions and overlook the key challenges (e.g. heavy occlusions, different views or dramatic appearance changes) when distinct geometric changes happen for each part, caused by arbitrary pose manipulations. This paper aims to resolve these challenges induced by geometric variability and spatial displacements via a new Soft-Gated Warping Generative Adversarial Network (Warping-GAN), which is composed of two stages: 1) it first synthesizes a target part segmentation map given a target pose, which depicts the region-level spatial layouts for guiding image synthesis with higher-level structure constraints; 2) the Warping-GAN equipped with a soft-gated warping-block learns feature-level mapping to render textures from the original image into the generated segmentation map. Warping-GAN is capable of controlling different transformation degrees given distinct target poses. Moreover, the proposed warping-block is light-weight and flexible enough to be injected into any networks. Human perceptual studies and quantitative evaluations demonstrate the superiority of our Warping-GAN that significantly outperforms all existing methods on two large datasets.


title: Direct band gap in gallium sulfide nanostructures

abstract: The monolayer Gallium sulfide (GaS) was demonstrated as a promising two-dimensional semiconductor material with considerable band gaps. The present work investigates the band gap modulation of GaS monolayer under biaxial or uniaxial strain by using Density functional theory calculation. We found that GaS monolayer shows an indirect band gap that limits its optical applications. The results show that GaS monolayer has a sizable band gap. The uniaxial strain shifts band gap from indirect to direct in Gallium monochalcogenides (GaS). This behavior, allowing applications such as electroluminescent devices and laser. The detailed reasons for the band gap modulation are also discussed by analyzing the projected density of states (PDOS). It indicates that due to the role of p$_y$ orbital through uniaxial strain become more significant than others near the Fermi level. The indirect to direct band gap transition happen at $\varepsilon$=-10y$\%$. Moreover, by investigating the strain energy and transverse response of structures under uniaxial strain, we show that the GaS monolayer has the Poisson's ratio of 0.23 and 0.24 in the zigzag (x) and armchair (y) directions, respectively. Thus, we conclude that the isotropic nature of mechanical properties under strain.


title: Handling Imbalanced Dataset in Multi-label Text Categorization using Bagging and Adaptive Boosting

abstract: Imbalanced dataset is occurred due to uneven distribution of data available in the real world such as disposition of complaints on government offices in Bandung. Consequently, multi-label text categorization algorithms may not produce the best performance because classifiers tend to be weighed down by the majority of the data and ignore the minority. In this paper, Bagging and Adaptive Boosting algorithms are employed to handle the issue and improve the performance of text categorization. The result is evaluated with four evaluation metrics such as hamming loss, subset accuracy, example-based accuracy and micro-averaged f-measure. Bagging ML-LP with SMO weak classifier is the best performer in terms of subset accuracy and example-based accuracy. Bagging ML-BR with SMO weak classifier has the best micro-averaged f-measure among all. In other hand, AdaBoost MH with J48 weak classifier has the lowest hamming loss value. Thus, both algorithms have high potential in boosting the performance of text categorization, but only for certain weak classifiers. However, bagging has more potential than adaptive boosting in increasing the accuracy of minority labels.


title: Learning and Management for Internet-of-Things: Accounting for Adaptivity and Scalability

abstract: Internet-of-Things (IoT) envisions an intelligent infrastructure of networked smart devices offering task-specific monitoring and control services. The unique features of IoT include extreme heterogeneity, massive number of devices, and unpredictable dynamics partially due to human interaction. These call for foundational innovations in network design and management. Ideally, it should allow efficient adaptation to changing environments, and low-cost implementation scalable to massive number of devices, subject to stringent latency constraints. To this end, the overarching goal of this paper is to outline a unified framework for online learning and management policies in IoT through joint advances in communication, networking, learning, and optimization. From the network architecture vantage point, the unified framework leverages a promising fog architecture that enables smart devices to have proximity access to cloud functionalities at the network edge, along the cloud-to-things continuum. From the algorithmic perspective, key innovations target online approaches adaptive to different degrees of nonstationarity in IoT dynamics, and their scalable model-free implementation under limited feedback that motivates blind or bandit approaches. The proposed framework aspires to offer a stepping stone that leads to systematic designs and analysis of task-specific learning and management schemes for IoT, along with a host of new research directions to build on.


title: Deep learning for denoising

abstract: Compared with traditional seismic noise attenuation algorithms that depend on signal models and their corresponding prior assumptions, removing noise with a deep neural network is trained based on a large training set, where the inputs are the raw datasets and the corresponding outputs are the desired clean data. After the completion of training, the deep learning method achieves adaptive denoising with no requirements of (i) accurate modelings of the signal and noise, or (ii) optimal parameters tuning. We call this intelligent denoising. We use a convolutional neural network as the basic tool for deep learning. In random and linear noise attenuation, the training set is generated with artificially added noise. In the multiple attenuation step, the training set is generated with acoustic wave equation. Stochastic gradient descent is used to solve the optimal parameters for the convolutional neural network. The runtime of deep learning on a graphics processing unit for denoising has the same order as the $f-x$ deconvolution method. Synthetic and field results show the potential applications of deep learning in automatic attenuation of random noise (with unknown variance), linear noise, and multiples.


title: Global smooth axisymmetric solutions to 2D compressible Euler equations of Chaplygin gases with non-zero vorticity

abstract: For 2D compressible isentropic Euler equations of polytropic gases, when the rotationally invariant data are a perturbation of size $\ve>0$ of a rest state, S.~Alinhac in \cite{Alinhac92} and \cite{Alinhac93} establishes that the smooth solution blows up in finite time and the lifespan $T_{\ve}$ satisfies $\ds\lim_{\ve\to 0}\ve^2 T_{\ve}=\tau_{0}^2>0$. In the present paper, for 2D compressible isentropic Euler equations of Chaplygin gases, we shall show that the small perturbed smooth solution exists globally when the rotationally invariant data are a perturbation of size $\ve>0$ of a rest state. Near the light cone, 2D Euler equations of Chaplygin gases can be transformed into a second order quasilinear wave equation of potential, which satisfies both the first and the second null conditions. This will lead to that the corresponding second order quasilinear wave equation admits a global smooth solution near the light cone (see \cite{Alinhac01}). However, away from the light cone, the hydrodynamical waves of 2D Chaplygin gases have no decay in time and strongly affect the related acoustical waves. Thanks to introducing a nonlinear ODE and taking some delicate observations, we can distinguish the fast decay part and non-decay part explicitly so that the global energy estimates with different weights can be derived by involved analysis.


title: A picone Identity for variable exponent operators and applications

abstract: In this work, we establish a new Picone identity for anisotropic quasilinear operators, such as the $p(x)$-Laplacian defined as $\mbox{div}(|\nabla u|^{p(x)-2} \nabla u).$ Our extension provides a new version of the Diaz-Saa inequality and new uniqueness results to some quasilinear elliptic equations with variable exponents. This new Picone identity can be also used to prove some accretivity property to a class of fast diffusion equations involving variable exponents. Using this, we prove for this class of parabolic equations a new weak comparison principle.


title: Metric regularity under G\^ateaux differentiability with applications to optimization and stochastic optimal control problems

abstract: The main objective of this work is to study the existence of Lagrange multipliers for infinite dimensional problems under G\^ateux differentiability assumptions on the data. Our investigation follows two main steps: the proof of the existence of Lagrange multipliers under a calmness assumption on the constraints and the study of sufficient conditions, which only use the G\^ateaux derivative of the function defining the constraint, that ensure this assumption.


title: Photoacoustics Modelling using Amplitude Mode Expansion Method in a Multiscale T-cell Resonator

abstract: The photoacoustic (PA) effect consisting of the generation of an acoustic signal based on the absorption of light has already demonstrated its potential for various spectroscopic applications for both gaseous and solid samples. The signal produced during photoacoustic spectroscopy (PAS) measurement is, however, usually weak and needs to be amplified. This is achieved by using a photoacoustic cell resonator where acoustic resonances are utilized to significantly boost the signal. Therefore, a PA resonator has a significant role in PAS measurement set-ups. When designing or optimizing a new PA resonator, numerical methods are generally used to simulate the photoacoustic signal generation. In this paper, the amplitude mode expansion (AME) method is presented as a quick and accurate simulation tool. The method is used to simulate the photoacoustic signal in a multi-scale T-cell resonator over a wide frequency range. The AME method is based on eigenmode expansion and introduction of losses by quality factors. The AME simulation results are compared and analyzed against the results from the viscothermal method. Reasonably good agreement is obtained between the two methods. However, small frequency shifts in the resonances of the AME method are noted. The shifts are attributed to the location of the dominant mode within the T-cell. The viscothermal method is considered the most accurate method for simulating the photoacoustic signal in small resonators. However, it is computationally very demanding. The AME method provides a much faster simulation alternative. This is particularly useful in the design and optimization of photoacoustic resonators where numerical methods are preferred over experimental measurements due to their speed and low cost.


title: Expected Utility Maximization and Conditional Value-at-Risk Deviation-based Sharpe Ratio in Dynamic Stochastic Portfolio Optimization

abstract: In this paper we investigate the expected terminal utility maximization approach for a dynamic stochastic portfolio optimization problem. We solve it numerically by solving an evolutionary Hamilton-Jacobi-Bellman equation which is transformed by means of the Riccati transformation. We examine the dependence of the results on the shape of a chosen utility function in regard to the associated risk aversion level. We define the Conditional value-at-risk deviation ($CVaRD$) based Sharpe ratio for measuring risk-adjusted performance of a dynamic portfolio. We compute optimal strategies for a portfolio investment problem motivated by the German DAX 30 Index and we evaluate and analyze the dependence of the $CVaRD$-based Sharpe ratio on the utility function and the associated risk aversion level.


title: On operations preserving semi-transitive orientability of graphs

abstract: We consider the class of semi-transitively orientable graphs, which is a much larger class of graphs compared to transitively orientable graphs, in other words, comparability graphs. Ever since the concept of a semi-transitive orientation was defined as a crucial ingredient of the characterization of alternation graphs, also knownas word-representable graphs, it has sparked independent interest. In this paper, we investigate graph operations and graph products that preserve semitransitive orientability of graphs. The main theme of this paper is to determine which graph operations satisfy the following statement: if a graph operation is possible on a semitransitively orientable graph, then the same graph operation can be executed on the graph while preserving the semi-transitive orientability. We were able to prove that this statement is true for edge-deletions, edge-additions, and edge-liftings. Moreover, for all three graph operations,we showthat the initial semi-transitive orientation can be extended to the new graph obtained by the graph operation. Also, Kitaev and Lozin explicitly asked if certain graph products preserve the semitransitive orientability. We answer their question in the negative for the tensor product, lexicographic product, and strong product.We also push the investigation further and initiate the study of sufficient conditions that guarantee a certain graph operation to preserve the semi-transitive orientability.


title: Hamiltonian formalism and gauge-fixing conditions for cosmological perturbation theory

abstract: We apply the Dirac procedure for constrained systems to the Arnowitt-Deser-Misner formalism linearized around the Friedmann-Lemaitre universe. We explain and employ some basic concepts such as Dirac observables, Dirac brackets, gauge-fixing conditions, reduced phase space, physical Hamiltonian and physical dynamics. In particular, we elaborate on the key concept which is the canonical isomorphism between different gauge-fixing surfaces. We apply our formalism to describe the reduced phase space of cosmological perturbations in some popular in the literature gauges. Our formalism is first developed for the universe with a single fluid and then extended to the multi-fluid case. The obtained results are a starting point for complete quantization of the cosmological perturbations and the cosmological background. Our approach may be used in future to derive the reduced phase space of higher order perturbations and in more generic cosmological spacetimes.


title: FRAMER: A Software-based Capability Model

abstract: Fine-grained memory protection for C and C++ programs must track individual objects (or pointers), and store bounds information per object (pointer). Its cost is dominated by metadata updates and lookups, making efficient metadata management the key for minimizing performance impact. Existing approaches reduce metadata management overheads by sacrificing precision, breaking binary compatibility by changing object memory layout, or wasting space by excessive alignment or large shadow memory spaces. We propose FRAMER, a software capability model for object-granularity memory protection. Its efficient per-object metadata management mechanism enables direct access to metadata by calculating their location from a tagged pointer to the object and, for large objects, a compact supplementary table. The number of bits in this tag and the size of the supplementary table are balanced to minimize both using a novel technique. FRAMER is a general proposal for object metadata management with potential applications in memory safety, type safety, thread safety and garbage collection that improves over previous solutions by (1) increasing locality of reference by having objects carry their metadata, (2) streamlining expensive metadata lookups, (3) saving space by avoiding superfluous alignment and padding, (4) avoiding internal object memory layout changes.


title: Efficient implementation of the Wang-Landau algorithm for systems with length-scalable potential energy functions

abstract: We consider a class of systems where $N$ identical particles with positions ${\bf q}_1,...,{\bf q}_N$ and momenta ${\bf p}_1,...,{\bf p}_N$ are enclosed in a box of size $L$, and exhibit the scaling $\mathcal{U}(L{\bf r}_1,...,L{\bf r}_N)=\alpha(L)\, \mathcal{U}({\bf r}_1,...,{\bf r}_N)$ for the associated potential energy function $\mathcal{U}({\bf q}_1,...,{\bf q}_N)$. For these systems, we propose an efficient implementation of the Wang-Landau algorithm for evaluating thermodynamic observables involving energy and volume fluctuations in the microcanonical description, and temperature and volume fluctuations in the canonical description. This requires performing the Wang-Landau simulation in a scaled box of unit size and evaluating the density of states corresponding to the potential energy part only. To demonstrate the efficacy of our approach, as example systems, we consider Padmanabhan's binary star model and an ideal gas trapped in a harmonic potential within the box.


title: Time series clustering based on the characterisation of segment typologies

abstract: Time series clustering is the process of grouping time series with respect to their similarity or characteristics. Previous approaches usually combine a specific distance measure for time series and a standard clustering method. However, these approaches do not take the similarity of the different subsequences of each time series into account, which can be used to better compare the time series objects of the dataset. In this paper, we propose a novel technique of time series clustering based on two clustering stages. In a first step, a least squares polynomial segmentation procedure is applied to each time series, which is based on a growing window technique that returns different-length segments. Then, all the segments are projected into same dimensional space, based on the coefficients of the model that approximates the segment and a set of statistical features. After mapping, a first hierarchical clustering phase is applied to all mapped segments, returning groups of segments for each time series. These clusters are used to represent all time series in the same dimensional space, after defining another specific mapping process. In a second and final clustering stage, all the time series objects are grouped. We consider internal clustering quality to automatically adjust the main parameter of the algorithm, which is an error threshold for the segmenta- tion. The results obtained on 84 datasets from the UCR Time Series Classification Archive have been compared against two state-of-the-art methods, showing that the performance of this methodology is very promising.


title: Combinatorial $p$-th Calabi flows on surfaces

abstract: For triangulated surfaces and any $p>1$, we introduce the combinatorial $p$-th Calabi flow which precisely equals the combinatorial Calabi flows first introduced in H. Ge's thesis when $p=2$. The difficulties for the generalizations come from the nonlinearity of the $p$-th flow equation when $p\neq 2$. Adopting different approaches, we show that the solution to the combinatorial $p$-th Calabi flow exists for all time and converges if and only if there exists a circle packing metric of constant (zero resp.) curvature in Euclidean (hyperbolic resp.) background geometry. Our results generalize the work of H. Ge, Ge-Xu and Ge-Hua on the combinatorial Calabi flow from $p=2$ to any $p>1$.


title: Analytic extensions of functions of Cayley-Dickson variables

abstract: Analytic approximations of functions of Cayley-Dickson variables are investigated. The case of functions of complexified Cayley-Dickson variables is also encompassed. Moreover, extensions of functions of Cayley-Dickson variables are studied.


title: An Algebraic Description of the Monodromy of Log Curves

abstract: Let $k$ be an algebraically closed field of characteristic $0$. For a log curve $X/k^{\times}$ over the standard log point, we define (algebraically) a combinatorial monodromy operator on its log-de Rham cohomology group. The invariant part of this action has a cohomological description, it is the Du Bois cohomology of $X$. This can be seen as an analogue of the invariant cycles exact sequence for a semistable family (as in the complex, \'etale and $p$-adic settings). In the specific case in which $k=\mathbb C$ and $X$ is the central fiber of a semistable degeneration over the complex disc, our construction recovers the topological monodromy and the classical local invariant cycles theorem. In particular, our description allows an explicit computation of the monodromy operator in this setting.


title: Better approximation algorithm for point-set diameter

abstract: We propose a new $(1+O(\varepsilon))$-approximation algorithm with $O(n+ 1/\varepsilon^{\frac{(d-1)}{2}})$ running time for computing the diameter of a set of $n$ points in the $d$-dimensional Euclidean space for a fixed dimension $d$, where $0 < \varepsilon\leqslant 1$. This result provides some improvements in the running time of this problem in comparison with previous algorithms.


title: Performance of Energy-Buffer Aided Incremental Relaying in Cooperative Networks

abstract: In this paper, we consider a two-hop cooperative network with a direct link based on an energy harvesting (EH) decode-and-forward relay. The energy-buffer equipped relay harvests energy from the ambience, and uses the harvest-store-use (HSU) architecture. Since it is known that using a discrete-state Markov chain to model the energy buffer is inaccurate even for moderate number of states, we use a discrete-time continuous-state space Markov chain instead. We derive the limiting distribution of energy for both incremental on-off policy (IOFP) and the incremental best-effort policy (IBEF), and use them to obtain expressions for outage probability and throughput. The corresponding expressions for non-incremental signalling follow as a special case. We show that stable buffers using IBEP harness a diversity of two as compared to those using IOFP, which attain a diversity of one. However, while buffers using IBEF are consequently more reliable than those with IOFP, their throughput performance is only marginally superior. Simulation results are presented to validate the derived analytical expressions.


title: Informative Features for Model Comparison

abstract: Given two candidate models, and a set of target observations, we address the problem of measuring the relative goodness of fit of the two models. We propose two new statistical tests which are nonparametric, computationally efficient (runtime complexity is linear in the sample size), and interpretable. As a unique advantage, our tests can produce a set of examples (informative features) indicating the regions in the data domain where one model fits significantly better than the other. In a real-world problem of comparing GAN models, the test power of our new test matches that of the state-of-the-art test of relative goodness of fit, while being one order of magnitude faster.


title: Extension of bounded Baire-one functions vs Extension of unbounded Baire-one functions

abstract: We compare possibilities of extension of bounded and unbounded Baire-one functions from subspaces of topological spaces.


title: Supercurrent Flow in Multi-Terminal Graphene Josephson Junctions

abstract: We investigate the electronic properties of ballistic planar Josephson junctions with multiple superconducting terminals. Our devices consist of monolayer graphene encapsulated in boron nitride with molybdenum-rhenium contacts. Resistance measurements yield multiple resonant features, which are attributed to supercurrent flow among adjacent and non-adjacent Josephson junctions. In particular, we find that superconducting and dissipative currents coexist within the same region of graphene. We show that the presence of dissipative currents primarily results in electron heating and estimate the associated temperature rise. We find that the electrons in encapsulated graphene are efficiently cooled through the electron-phonon coupling.


title: Bayesian 3D Reconstruction of Complex Scenes from Single-Photon Lidar Data

abstract: Light detection and ranging (Lidar) data can be used to capture the depth and intensity profile of a 3D scene. This modality relies on constructing, for each pixel, a histogram of time delays between emitted light pulses and detected photon arrivals. In a general setting, more than one surface can be observed in a single pixel. The problem of estimating the number of surfaces, their reflectivity and position becomes very challenging in the low-photon regime (which equates to short acquisition times) or relatively high background levels (i.e., strong ambient illumination). This paper presents a new approach to 3D reconstruction using single-photon, single-wavelength Lidar data, which is capable of identifying multiple surfaces in each pixel. Adopting a Bayesian approach, the 3D structure to be recovered is modelled as a marked point process and reversible jump Markov chain Monte Carlo (RJ-MCMC) moves are proposed to sample the posterior distribution of interest. In order to promote spatial correlation between points belonging to the same surface, we propose a prior that combines an area interaction process and a Strauss process. New RJ-MCMC dilation and erosion updates are presented to achieve an efficient exploration of the configuration space. To further reduce the computational load, we adopt a multiresolution approach, processing the data from a coarse to the finest scale. The experiments performed with synthetic and real data show that the algorithm obtains better reconstructions than other recently published optimization algorithms for lower execution times.


title: Agent-based models of collective intelligence

abstract: Collective or group intelligence is manifested in the fact that a team of cooperating agents can solve problems more efficiently than when those agents work in isolation. Although cooperation is, in general, a successful problem solving strategy, it is not clear whether it merely speeds up the time to find the solution, or whether it alters qualitatively the statistical signature of the search for the solution. Here we review and offer insights on two agent-based models of distributed cooperative problem-solving systems, whose task is to solve a cryptarithmetic puzzle. The first model is the imitative learning search in which the agents exchange information on the quality of their partial solutions to the puzzle and imitate the most successful agent in the group. This scenario predicts a very poor performance in the case imitation is too frequent or the group is too large, a phenomenon akin to Groupthink of social psychology. The second model is the blackboard organization in which agents read and post hints on a public blackboard. This brainstorming scenario performs the best when there is a stringent limit to the amount of information that is exhibited on the board. Both cooperative scenarios produce a substantial speed up of the time to solve the puzzle as compared with the situation where the agents work in isolation. The statistical signature of the search, however, is the same as that of the independent search.


title: Koszul modules and Green's conjecture

abstract: We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green's conjecture for every g-cuspidal rational curve over an algebraically closed field k with char(k) = 0 or char(k) >= (g+2)/2. As a consequence, we deduce that the general canonical curve of genus g satisfies Green's conjecture in this range. Our results are new in positive characteristic, whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Our strategy involves establishing two key results of independent interest: (1) we describe an explicit, characteristic-independent version of Hermite reciprocity for sl_2-representations; (2) we completely characterize, in arbitrary characteristics, the (non-)vanishing behavior of the syzygies of the tangential variety to a rational normal curve.


title: Newton method for finding a singularity of a special class of locally Lipschitz continuous vector fields on Riemannian manifolds

abstract: In this paper, we extend some results of nonsmooth analysis from Euclidean context to the Riemannian setting. In particular, we discuss the concept and some properties of locally Lipschitz continuous vector fields on Riemannian settings, such as Clarke generalized covariant derivative, upper semicontinuity and Rademacher theorem. We also present a version of Newton method for finding a singularity of a special class of locally Lipschitz continuous vector fields. Under mild conditions, we establish the well-definedness and local convergence of the sequence generated by the method in a neighborhood of a singularity. In particular, a local convergence result for semismooth vector fields is presented. Furthermore, under Kantorovich-type assumptions the convergence of the sequence generated by the Newton method to a solution is established, and its uniqueness in a suitable neighborhood of the starting point is verified.


title: Relatively divisible and relatively flat objects in exact categories

abstract: We introduce and study relatively divisible and relatively flat objects in exact categories in the sense of Quillen. For every relative cotorsion pair $(\mathcal{A},\mathcal{B})$ in an exact category $\mathcal{C}$, $\mathcal{A}$ coincides with the class of relatively flat objects of $\mathcal{C}$ for some relative projectively generated exact structure, while $\mathcal{B}$ coincides with the class of relatively divisible objects of $\mathcal{C}$ for some relative injectively generated exact structure. We exhibit Galois connections between relative cotorsion pairs, relative projectively generated exact structures and relative injectively generated exact structures in additive categories. We establish closure properties and characterizations in terms of approximation theory.


title: Relatively divisible and relatively flat objects in exact categories: Applications

abstract: We continue our study of relatively divisible and relatively flat objects in exact categories in the sense of Quillen with several applications to exact structures on finitely accessible additive categories and module categories. We derive consequences for exact structures generated by the simple modules and the modules with zero Jacobson radical.


title: Selection of a Hele-Shaw bubble via exponential asymptotics

abstract: The well-studied selection problems involving Saffman-Taylor fingers or Taylor-Saffman bubbles in a Hele-Shaw channel are prototype examples of pattern selection. Exact solutions to the corresponding zero-surface-tension problems exist for an arbitrary finger or bubble speed, but the addition of surface tension leads to a discrete set of solution branches, all of which approach a single solution in the limit the surface tension vanishes. In this sense, the surface tension selects a single physically meaningful solution from the continuum of zero-surface-tension solutions. Recently, we provided numerical evidence to suggest the selection problem for a bubble propagating in an unbounded Hele-Shaw cell behaves in an analogous way to other finger and bubble problems in a Hele-Shaw channel; however, the selection of the ratio of bubble speeds to background velocity appears to follow a very different surface tension scaling to the channel cases. Here we apply techniques in exponential asymptotics to solve the selection problem analytically, confirming the numerical results, including the predicted surface tension scaling laws. Further, our analysis sheds light on the multiple tips in the shape of the bubbles along solution branches, which appear to be caused by switching on and off exponentially small wavelike contributions across Stokes lines in a conformally mapped plane. These results have ramifications for exotic-shaped Saffman-Taylor fingers as well as for the time-dependent evolution of bubbles propagating in Hele-Shaw cells.


title: Inexact Newton method with feasible inexact projections for solving constrained smooth and nonsmooth equations

abstract: In this paper, we propose a new method that combines the inexact Newton method with a procedure to obtain a feasible inexact projection for solving constrained smooth and nonsmooth equations. The local convergence theorems are established under the assumption of smoothness or semismoothness of the function that defines the equation and its regularity at the solution. In particular, we show that a sequence generated by the method converges to a solution with linear, superlinear, or quadratic rate, under suitable conditions. Moreover, some numerical experiments are reported to illustrate the practical behavior of the proposed method.


title: Cross-Modal Distillation for RGB-Depth Person Re-Identification

abstract: Person re-identification is a key challenge for surveillance across multiple sensors. Prompted by the advent of powerful deep learning models for visual recognition, and inexpensive RGB-D cameras and sensor-rich mobile robotic platforms, e.g. self-driving vehicles, we investigate the relatively unexplored problem of cross-modal re-identification of persons between RGB (color) and depth images. The considerable divergence in data distributions across different sensor modalities introduces additional challenges to the typical difficulties like distinct viewpoints, occlusions, and pose and illumination variation. While some work has investigated re-identification across RGB and infrared, we take inspiration from successes in transfer learning from RGB to depth in object detection tasks. Our main contribution is a novel method for cross-modal distillation for robust person re-identification, which learns a shared feature representation space of person's appearance in both RGB and depth images. In addition, we propose a cross-modal attention mechanism where the gating signal from one modality can dynamically activate the most discriminant CNN filters of the other modality. The proposed distillation method is compared to conventional and deep learning approaches proposed for other cross-domain re-identification tasks. Results obtained on the public BIWI and RobotPKU datasets indicate that the proposed method can significantly outperform the state-of-the-art approaches by up to 16.1% in mean Average Precision (mAP), demonstrating the benefit of the distillation paradigm. The experimental results also indicate that using cross-modal attention allows to improve recognition accuracy considerably with respect to the proposed distillation method and relevant state-of-the-art approaches.


title: Some permutations over ${\mathbb F}_p$ concerning primitive roots

abstract: Let $p$ be an odd prime and let ${\mathbb F}_p$ denote the finite field with $p$ elements. Suppose that $g$ is a primitive root of ${\mathbb F}_p$. Define the permutation $\tau_g:\,{\mathcal H}_p\to{\mathcal H}_p$ by $$ \tau_g(b):=\begin{cases} g^b,&\text{if }g^b\in{\mathcal H}_p,\\ -g^b,&\text{if }g^b\not\in{\mathcal H}_p,\\ \end{cases} $$ for each $b\in{\mathcal H}_p$, where ${\mathcal H}_p=\{1,2,\ldots,(p-1)/2\}$ is viewed as a subset of ${\mathbb F}_p$. In this paper, we investigate the sign of $\tau_g$. For example, if $p\equiv 5\pmod{8}$, then $$ (-1)^{|\tau_g|}=(-1)^{\frac{1}{4}(h(-4p)+2)} $$ for every primitive root $g$, where $h(-4p)$ is the class number of the imaginary quadratic field ${\mathbb Q}(\sqrt{-4p})$.


title: Thermodynamic Limit of the Transition Rate of a Crystalline Defect

abstract: We consider an isolated point defect embedded in a homogeneous crystalline solid. We show that, in the harmonic approximation, a periodic supercell approximation of the formation free energy as well as of the transition rate between two stable configurations converge as the cell size tends to infinity. We characterise the limits and establish sharp convergence rates. Both cases can be reduced to a careful renormalisation analysis of the vibrational entropy difference, which is achieved by identifying an underlying spatial decomposition.


title: A New Cryptographic Approach: Iterated Random Encryption (IRE)

abstract: A new cryptographic approach -- Iterated Random Encryption (IRE) -- is presented here. Although it is very simple, and easy to implement, it provides a very high level of security. According to this approach, a sequence of operations applied to a message ($M$) yields the encrypted message ($M_E$). In that series of operations, the one with the most important role is operation 6, which involves a random binary sequence (RBS) generated by using the Hybrid Random Number Generator (HRNG) or the Mathematical Random Number Generator (MRNG). A sequence of anti-operations applied to $M_E$ makes it possible to recover $M$.


title: Features of $\omega$ photoproduction off proton target at backward angles : Role of nucleon Reggeon in $u$-channel with parton contributions

abstract: Backward photoproduction of $\omega$ off a proton target is investigated in a Reggeized model where the $u$-channel nucleon Reggeon is constructed from the nucleon Born terms in a gauge invariant way. The $t$-channel meson exchanges are considered as a background. While the $N_\alpha$ trajectory of the nucleon Reggeon reproduces the overall shape of NINA data measured at the Daresbury Laboratory in the range of $u$-channel momentum transfer squared $-1.7<u<0.02$ GeV$^2$ and energies at $E_\gamma=2.8$, 3.5 and 4.7 GeV, a possibility of parton contributions is searched for through the nucleon isoscalar form factor which is parameterized in terms of parton distributions at the $\omega NN$ vertex. Detailed analysis is presented for NINA data to understand the reaction mechanism that could fill up the deep dip from the nucleon Reggeon at momentum squared $u=-0.15$ GeV$^2$. The angle dependence of differential cross sections at the NINA energies above are reproduced in the overall range of $u$ including the CLAS data at forward angles in addition. The energy dependence of the differential cross section is investigated based on the NINA data and the recent LEPS data. A feature of the present approach that implicates parton contributions via nucleon form factor is illustrated in the total and differential cross sections provided by GRAAL and CB-ELSA Collaborations.


title: Removing Hidden Confounding by Experimental Grounding

abstract: Observational data is increasingly used as a means for making individual-level causal predictions and intervention recommendations. The foremost challenge of causal inference from observational data is hidden confounding, whose presence cannot be tested in data and can invalidate any causal conclusion. Experimental data does not suffer from confounding but is usually limited in both scope and scale. We introduce a novel method of using limited experimental data to correct the hidden confounding in causal effect models trained on larger observational data, even if the observational data does not fully overlap with the experimental data. Our method makes strictly weaker assumptions than existing approaches, and we prove conditions under which it yields a consistent estimator. We demonstrate our method's efficacy using real-world data from a large educational experiment.


title: On the definition of schemes for computing leading order isospin breaking corrections

abstract: We discuss an alternate scheme, or a 'line of constant physics', which can be used when computing isospin breaking corrections to hadronic quantities. We show that within a certain class of schemes one can separate the electromagnetic corrections from the strong isospin breaking corrections at leading order, meaning that within this class scheme-ambiguities are higher order effects.


title: Practical No-Signalling proof Randomness Amplification using Hardy paradoxes and its experimental implementation

abstract: Device-Independent (DI) security is the best form of quantum cryptography, providing information-theoretic security based on the very laws of nature. In its highest form, security is guaranteed against adversaries limited only by the no-superluminal signalling rule of relativity. The task of randomness amplification, to generate secure fully uniform bits starting from weakly random seeds, is of both cryptographic and foundational interest, being important for the generation of cryptographically secure random numbers as well as bringing deep connections to the existence of free-will. DI no-signalling proof protocols for this fundamental task have thus far relied on esoteric proofs of non-locality termed pseudo-telepathy games, complicated multi-party setups or high-dimensional quantum systems, and have remained out of reach of experimental implementation. In this paper, we construct the first practically relevant no-signalling proof DI protocols for randomness amplification based on the simplest proofs of Bell non-locality and illustrate them with an experimental implementation in a quantum optical setup using polarised photons. Technically, we relate the problem to the vast field of Hardy paradoxes, without which it would be impossible to achieve amplification of arbitrarily weak sources in the simplest Bell non-locality scenario consisting of two parties choosing between two binary inputs. Furthermore, we identify a deep connection between proofs of the celebrated Kochen-Specker theorem and Hardy paradoxes that enables us to construct Hardy paradoxes with the non-zero probability taking any value in $(0,1]$. Our methods enable us, under the fair-sampling assumption of the experiment, to realize up to $25$ bits of randomness in $20$ hours of experimental data collection from an initial private source of randomness $0.1$ away from uniform.


title: Fabrik: An Online Collaborative Neural Network Editor

abstract: We present Fabrik, an online neural network editor that provides tools to visualize, edit, and share neural networks from within a browser. Fabrik provides a simple and intuitive GUI to import neural networks written in popular deep learning frameworks such as Caffe, Keras, and TensorFlow, and allows users to interact with, build, and edit models via simple drag and drop. Fabrik is designed to be framework agnostic and support high interoperability, and can be used to export models back to any supported framework. Finally, it provides powerful collaborative features to enable users to iterate over model design remotely and at scale.


title: On the Equivalence of Convolutional and Hadamard Networks using DFT

abstract: In this paper we introduce activation functions that move the entire computation of Convolutional Networks into the frequency domain, where they are actually Hadamard Networks. To achieve this result we employ the properties of Discrete Fourier Transform. We present some implementation details and experimental results, as well as some insights into why convolutional networks perform well in learning use cases.


title: Fully numerical Hartree-Fock and density functional calculations. I. Atoms

abstract: Although many programs have been published for fully numerical Hartree--Fock (HF) or density functional (DF) calculations on atoms, we are not aware of any that support hybrid DFs, which are popular within the quantum chemistry community due to their better accuracy for many applications, or that can be used to calculate electric properties. Here, we present a variational atomic finite element solver in the HelFEM program suite that overcomes these limitations. A basis set of the type $\chi_{nlm}(r,\theta,\phi)=r^{-1}B_{n}(r)Y_{l}^{m}(\hat{\boldsymbol{r}})$ is used, where $B_{n}(r)$ are finite element shape functions and $Y_{l}^{m}$ are spherical harmonics, which allows for an arbitrary level of accuracy. HelFEM supports nonrelativistic HF and DF including hybrid functionals, which are not available in other commonly available program packages. Hundreds of functionals at the local spin density approximation (LDA), generalized gradient approximation (GGA), as well as the meta-GGA levels of theory are included through an interface with the Libxc library. Electric response properties are achievable via finite field calculations. We introduce an alternative grid that yields faster convergence to the complete basis set than commonly used alternatives. We also show that high-order Lagrange interpolating polynomials yield the best convergence, and that excellent agreement with literature HF limit values for electric properties, such as static dipole polarizabilities, can be achieved with the present approach. Dipole moments and dipole polarizabilities at finite field are reported with the PBE, PBEh, TPSS, and TPSSh functionals. Finally, we show that a recently published Gaussian basis set is able to reproduce absolute HF and DF energies of neutral atoms, cations, as well as anions within a few dozen microhartrees.


title: Fast determination of coarse grained cell anisotropy and size in epithelial tissue images using Fourier transform

abstract: Mechanical strain and stress play a major role in biological processes such as wound healing or morphogenesis. To assess this role quantitatively, fixed or live images of tissues are acquired at a cellular precision in large fields of views. To exploit these data, large numbers of cells have to be analyzed to extract cell shape anisotropy and cell size. Most frequently, this is performed through detailed individual cell contour determination, using so-called segmentation computer programs, complemented if necessary by manual detection and error corrections. However, a coarse grained and faster technique can be recommended in at least three situations. First, when detailed information on individual cell contours is not required, for instance in studies which require only coarse-grained average information on cell anisotropy. Second, as an exploratory step to determine whether full segmentation can be potentially useful. Third, when segmentation is too difficult, for instance due to poor image quality or too large a cell number. We developed a user-friendly, Fourier transform-based image analysis pipeline. It is fast (typically $10^4$ cells per minute with a current laptop computer) and suitable for time, space or ensemble averages. We validate it on one set of artificial images and on two sets of fully segmented images, one from a Drosophila pupa and the other from a chicken embryo; the pipeline results are robust. Perspectives include \textit{in vitro} tissues, non-biological cellular patterns such as foams, and $xyz$ stacks.


title: Fully numerical Hartree-Fock and density functional calculations. II. Diatomic molecules

abstract: We present the implementation of a variational finite element solver in the HelFEM program for benchmark calculations on diatomic systems. A basis set of the form $\chi_{nlm}(\mu,\nu,\phi)=B_{n}(\mu)Y_{l}^{m}(\nu,\phi)$ is used, where $(\mu,\nu,\phi)$ are transformed prolate spheroidal coordinates, $B_{n}(\mu)$ are finite element shape functions, and $Y_{l}^{m}$ are spherical harmonics. The basis set allows for an arbitrary level of accuracy in calculations on diatomic molecules, which can be performed at present with either nonrelativistic Hartree--Fock (HF) or density functional (DF) theory. Hundreds of DFs at the local spin-density approximation (LDA), generalized gradient approximation (GGA) and the meta-GGA level can be used through an interface with the Libxc library; meta-GGA and hybrid DFs aren't available in other fully numerical diatomic program packages. Finite electric fields are also supported in HelFEM, enabling access to electric properties. We introduce a powerful tool for adaptively choosing the basis set by using the core Hamiltonian as a proxy for its completeness. HelFEM and the novel basis set procedure are demonstrated by reproducing the restricted open-shell HF limit energies of 68 diatomic molecules from the $1^{\text{st}}$ to the $4^{\text{th}}$ period with excellent agreement with literature values, despite requiring \emph{orders of magnitude} fewer parameters for the wave function. Then, the electric properties of the BH and N2 molecules under finite field are studied, again yielding excellent agreement with previous HF limit values for energies, dipole moments, and dipole polarizabilities, again with much more compact wave functions than what were needed in the literature references. Finally, HF, LDA, GGA, and meta-GGA calculations of the atomization energy of N2 are performed, demonstrating the superb accuracy of the present approach.


title: 3D MRI brain tumor segmentation using autoencoder regularization

abstract: Automated segmentation of brain tumors from 3D magnetic resonance images (MRIs) is necessary for the diagnosis, monitoring, and treatment planning of the disease. Manual delineation practices require anatomical knowledge, are expensive, time consuming and can be inaccurate due to human error. Here, we describe a semantic segmentation network for tumor subregion segmentation from 3D MRIs based on encoder-decoder architecture. Due to a limited training dataset size, a variational auto-encoder branch is added to reconstruct the input image itself in order to regularize the shared decoder and impose additional constraints on its layers. The current approach won 1st place in the BraTS 2018 challenge.


title: A privacy-preserving system for data ownership using blockchain and distributed databases

abstract: Blockchain has the potential to revolutionize the way we store, use, and process data. Information on most blockchains can be viewed by every node hosting the blockchain, which means that most blockchains cannot handle private data. Decentralized databases exist that guarantee privacy by encrypting user data with the user's private key, but this prevents easy data sharing. However, in many real world applications, from student data to medical records, it is desirable that user data is anonymously searchable. In this paper we present a novel system that gives users ownership over their data while at the same time enabling them to make their data searchable within previously agreed upon limits. Our system implements a strong notion of ownership using a self-sovereign identity system and a weak notion of ownership using multiple centralized databases together with a blockchain and a tumbling process. We discuss applications of our methods to university's student records and medical data.


title: Minimizing Branching Vertices in Distance-preserving Subgraphs

abstract: It is $\mathsf{NP}$-hard to determine the minimum number of branching vertices needed in a single-source distance-preserving subgraph of an undirected graph. We show that this problem can be solved in polynomial time if the input graph is an interval graph. In earlier work, it was shown that every interval graph with $k$ terminal vertices admits an all-pairs distance-preserving subgraph with $O(k\log k)$ branching vertices. We consider graphs that can be expressed as the strong product of two interval graphs, and present a polynomial time algorithm that takes such a graph with $k$ terminals as input, and outputs an all-pairs distance-preserving subgraph of it with $O(k^2)$ branching vertices. This bound is tight.


title: Anomalous triple gauge boson couplings in $ZZ$ production at the LHC and the role of $Z$ boson polarizations

abstract: We study anomalous couplings among neutral gauge bosons in $ZZ$ production at the LHC for $\sqrt{s}=13$ TeV in $4$-lepton final state. We use the cross section and polarization asymmetries of the $Z$ boson to estimate simultaneous limits on anomalous coupling using Markov-Chain--Monte-Carlo (MCMC) method for luminosities $35.9$ fb$^{-1}$, $150$ fb$^{-1}$, $300$ fb$^{-1}$ and $1000$ fb$^{-1}$. The $CP$-even polarization asymmetry $A_{x^2-y^2}$ is sensitive mainly to the $CP$-odd couplings $f_4^{Z/\gamma}$ (quadratically) providing a probe to identify $CP$-odd nature of interaction at the LHC. We find that the polarization asymmetries significantly improve the estimation of anomalous couplings should a deviation from the Standard Model (SM) be observed.


title: Dark energy versus modified gravity: Impacts on measuring neutrino mass

abstract: In this paper, we make a comparison for the impacts of smooth dynamical dark energy, modified gravity, and interacting dark energy on the cosmological constraints on the total mass of active neutrinos. For definiteness, we consider the $\Lambda$CDM model, the $w$CDM model, the $f(R)$ model, and two typical interacting vacuum energy models, i.e., the I$\Lambda$CDM1 model with $Q=\beta H\rho_{\rm c}$ and the I$\Lambda$CDM2 model with $Q=\beta H\rho_{\Lambda}$. In the cosmological fits, we use the Planck 2015 temperature and polarization data, in combination with other low-redshift observations including the baryon acoustic oscillations, the type Ia supernovae, the Hubble constant measurement, and the large-scale structure observations, such as the weak lensing as well as the redshift-space distortion. Besides, the Planck lensing measurement is also employed in this work. We find that, the $w$CDM model favors a higher upper limit on the neutrino mass compared to the $\Lambda$CDM model, while the upper limit in the $f(R)$ model is similar with that of $\Lambda$CDM model. For the interacting vacuum energy models, the I$\Lambda$CDM1 model favors a higher upper limit on neutrino mass, while the I$\Lambda$CDM2 model favors an identical neutrino mass with the case of $\Lambda$CDM.


title: An assessment of initial guesses for self-consistent field calculations. Superposition of Atomic Potentials: simple yet efficient

abstract: Electronic structure calculations, such as in the Hartree-Fock or Kohn-Sham density functional approach, require an initial guess for the molecular orbitals. The quality of the initial guess has a significant impact on the speed of convergence of the self-consistent field (SCF) procedure. Popular choices for the initial guess include the one-electron guess from the core Hamiltonian, the extended H\"uckel method, and the superposition of atomic densities (SAD). Here, we discuss alternative guesses obtained from the superposition of atomic potentials (SAP), which is easily implementable even in real-space calculations. We also discuss a variant of SAD which produces guess orbitals by purification of the density matrix that could also be used in real-space calculations, as well as a parameter-free variant of the extended H\"uckel method, which resembles the SAP method and is easy to implement on top of existing SAD infrastructure. The performance of the core Hamiltonian, the SAD and the SAP guesses as well as the extended H\"uckel variant is assessed in non-relativistic calculations on a dataset of 259 molecules ranging from the first to the fourth periods by projecting the guess orbitals onto precomputed, converged SCF solutions in single- to triple-{\zeta} basis sets. It is shown that the proposed SAP guess is the best guess on average. The extended H\"uckel guess offers a good alternative, with less scatter in accuracy.


title: Pre-derivations and description of non-strongly nilpotent filiform Leibniz algebras

abstract: In this paper we investigate pre-derivations of filiform Leibniz algebras. Recall that the set of filiform Leibniz algebras of fixed dimension can be decomposed into three non-intersected families. We describe the pre-derivation of filiform Leibniz algebras for the first and second families. We found sufficient conditions under which filiform Leibniz algebras are strongly nilpotent. Moreover, for the first and second families, we give the description of characteristically nilpotent algebras which are non-strongly nilpotent.


title: A Biologically Motivated Asymmetric Exclusion Process: interplay of congestion in RNA polymerase traffic and slippage of nascent transcript

abstract: We develope a theoretical framework, based on exclusion process, that is motivated by a biological phenomenon called transcript slippage (TS). In this model a discrete lattice represents a DNA strand while each of the particles that hop on it unidirectionally, from site to site, represents a RNA polymerase (RNAP). While walking like a molecular motor along a DNA track in a step-by-step manner, a RNAP simultaneously synthesizes a RNA chain; in each forward step it elongates the nascent RNA molecule by one unit, using the DNA track also as the template. At some special "slippery" position on the DNA, which we represent as a defect on the lattice, a RNAP can lose its grip on the nascent RNA and the latter's consequent slippage results in a final product that is either longer or shorter than the corresponding DNA template. We develope an exclusion model for RNAP traffic where the kinetics of the system at the defect site captures key features of TS events. We demonstrate the interplay of the crowding of RNAPs and TS. A RNAP has to wait at the defect site for longer period in a more congested RNAP traffic, thereby increasing the likelihood of its suffering a larger number of TS events. The qualitative trends of some of our results for a simple special case of our model are consistent with experimental observations. The general theoretical framework presented here will be useful for guiding future experimental queries and for analysis of the experimental data with more detailed versions of the same model.

categories: cond-mat.stat-mech nlin.AO physics.bio-ph q-bio.SC