title: Integral Equation Approach to Stationary Stochastic Counting Process with Independent Increments

abstract: Stationary stochastic processes with independent increments, of which the Poisson process is a prominent example, are widely used to describe real world events. With the basic assumption that a counting process is stationary and has independent increments, here I derive two integral equations to capture the time evolution of any such process. In order to solve these two integral equations explicitly, I need to introduce one more restriction condition. For sake of simplicity, I have imposed the Poisson condition on the two equations and successfully reproduced the renown Poisson results. The methods proposed here may also be applicable for investigating other stationary processes with independent increments.


title: In situ high-cycle fatigue reveals the importance of grain boundary structure in nanocrystalline Cu-Zr

abstract: Nanocrystalline metals typically have high fatigue strengths, but low resistance to crack propagation. Amorphous intergranular films are disordered grain boundary complexions that have been shown to delay crack nucleation and slow crack propagation during monotonic loading by diffusing grain boundary strain concentrations, suggesting they may also be beneficial for fatigue properties. To probe this hypothesis, in situ transmission electron microscopy fatigue cycling is performed on Cu-1 at.% Zr thin films thermally treated to have either only ordered grain boundaries or to contain amorphous intergranular films. The sample with only ordered grain boundaries experienced grain coarsening at crack initiation followed by unsteady crack propagation and extensive nanocracking, whereas the sample containing amorphous intergranular films had no grain coarsening at crack initiation followed by steady crack propagation and distributed plastic activity. Microstructural design for control of these behaviors through simple thermal treatments can allow for the improvement of nanocrystalline metal fatigue toughness.


title: Global mixed \L ojasiewicz inequalities and asymptotic critical values

abstract: In this paper, we prove a version of global \L ojasiewicz inequality for $C^1$ semialgebraic functions and relate its existence to the set of asymptotic critical values.


title: A diagrammatic analysis of two-body charmed baryon decays with flavor symmetry

abstract: We study the two-body anti-triplet charmed baryon decays based on the diagrammatic approach with $SU(3)$ flavor symmetry. We extract the two $W$-exchange effects as $E_{\bf B}$ and $E^\prime$ that contribute to the $\Lambda_c^+ \to \Xi^0 K^+$ decay, together with the relative phases, where $E_{\bf B}$ gives the main contribution. Besides, we find that ${\cal B}(\Lambda_c^+\to p\pi^0)=(0.8 ^{+0.9}_{-0.8})\times 10^{-4}$, which is within the experimental upper bound. Particularly, we obtain ${\cal B}(\Xi_c^+\to\Xi^{0} \pi^{+})=(9.3 \pm 3.6)\times 10^{-3}$, ${\cal B}(\Xi_c^0\to \Xi^-\pi^+,\Lambda^0\bar K^0)=(19.3 \pm 2.8,8.3 \pm 5.0)\times 10^{-2}$ and ${\cal B}(\Xi_c^0\to \Xi^- K^+)=(5.6 \pm 0.8)\times 10^{-4}$, which all agree with the data. For the singly Cabibbo suppressed $\Lambda_c^+$ decays, we predict that ${\cal B}(\Lambda_c^+ \to n \pi^{+},p \eta^\prime,\Sigma^{+} K^{0}) =(7.7\pm 2.0,7.1 \pm 1.4,19.1 \pm 4.8)\times 10^{-4}$, which are accessible to the experiments at BESIII, BELLEII and LHCb.


title: DeepConsensus: using the consensus of features from multiple layers to attain robust image classification

abstract: We consider a classifier whose test set is exposed to various perturbations that are not present in the training set. These test samples still contain enough features to map them to the same class as their unperturbed counterpart. Current architectures exhibit rapid degradation of accuracy when trained on standard datasets but then used to classify perturbed samples of that data. To address this, we present a novel architecture named DeepConsensus that significantly improves generalization to these test-time perturbations. Our key insight is that deep neural networks should directly consider summaries of low and high level features when making classifications. Existing convolutional neural networks can be augmented with DeepConsensus, leading to improved resistance against large and small perturbations on MNIST, EMNIST, FashionMNIST, CIFAR10 and SVHN datasets.


title: Probabilistic Graphs for Sensor Data-driven Modelling of Power Systems at Scale

abstract: The growing complexity of the power grid, driven by increasing share of distributed energy resources and by massive deployment of intelligent internet-connected devices, requires new modelling tools for planning and operation. Physics-based state estimation models currently used for data filtering, prediction and anomaly detection are hard to maintain and adapt to the ever-changing complex dynamics of the power system. A data-driven approach based on probabilistic graphs is proposed, where custom non-linear, localised models of the joint density of subset of system variables can be combined to model arbitrarily large and complex systems. The graphical model allows to naturally embed domain knowledge in the form of variables dependency structure or local quantitative relationships. A specific instance where neural-network models are used to represent the local joint densities is proposed, although the methodology generalises to other model classes. Accuracy and scalability are evaluated on a large-scale data set representative of the European transmission grid.


title: Deep Learning with Inaccurate Training Data for Image Restoration

abstract: In many applications of deep learning, particularly those in image restoration, it is either very difficult, prohibitively expensive, or outright impossible to obtain paired training data precisely as in the real world. In such cases, one is forced to use synthesized paired data to train the deep convolutional neural network (DCNN). However, due to the unavoidable generalization error in statistical learning, the synthetically trained DCNN often performs poorly on real world data. To overcome this problem, we propose a new general training method that can compensate for, to a large extent, the generalization errors of synthetically trained DCNNs.


title: Prediction of Signal Sequences in Abiotic Stress Inducible Genes from Main Crops by Association Rule Mining

abstract: It is important to study on genes affecting to growing environment of main crops. Especially the recognition problem of promoter region, which is the problem to predict whether DNA sequences contain promoter regions or not, is prior to find abiotic stress-inducible genes. Studies on predicting promoter sequences in DNA sequences have been studied by traditional pattern matching methods and machine learning methods in biology and computer science.


title: CIFAR10 to Compare Visual Recognition Performance between Deep Neural Networks and Humans

abstract: Visual object recognition plays an essential role in human daily life. This ability is so efficient that we can recognize a face or an object seemingly without effort, though they may vary in position, scale, pose, and illumination. In the field of computer vision, a large number of studies have been carried out to build a human-like object recognition system. Recently, deep neural networks have shown impressive progress in object classification performance, and have been reported to surpass humans. Yet there is still lack of thorough and fair comparison between humans and artificial recognition systems. While some studies consider artificially degraded images, human recognition performance on dataset widely used for deep neural networks has not been fully evaluated. The present paper carries out an extensive experiment to evaluate human classification accuracy on CIFAR10, a well-known dataset of natural images. This then allows for a fair comparison with the state-of-the-art deep neural networks. Our CIFAR10-based evaluations show very efficient object recognition of recent CNNs but, at the same time, prove that they are still far from human-level capability of generalization. Moreover, a detailed investigation using multiple levels of difficulty reveals that easy images for humans may not be easy for deep neural networks. Such images form a subset of CIFAR10 that can be employed to evaluate and improve future neural networks.


title: Ethical Dimensions of Visualization Research

abstract: Visualizations have a potentially enormous influence on how data are used to make decisions across all areas of human endeavor. However, it is not clear how this power connects to ethical duties: what obligations do we have when it comes to visualizations and visual analytics systems, beyond our duties as scientists and engineers? Drawing on historical and contemporary examples, I address the moral components of the design and use of visualizations, identify some ongoing areas of visualization research with ethical dilemmas, and propose a set of additional moral obligations that we have as designers, builders, and researchers of visualizations.


title: Unconventional color superfluidity in ultra-cold fermions: Quintuplet pairing, quintuple point and pentacriticality

abstract: We describe the emergence of color superfluidity in ultra-cold fermions induced by color-orbit and color-flip fields that transform a conventional singlet-pairing s-wave system into an unconventional non-s-wave superfluid with quintuplet pairing. We show that the tuning of interactions, color-orbit and color-flip fields transforms a momentum-independent scalar order parameter into an explicitly momentum-dependent tensor order parameter. We classify all unconventional superfluid phases in terms of the {\it loci} of zeros of their quasi-particle excitation spectrum in momentum space and we identify several Lifshitz-type topological transitions. Furthermore, when boundaries between phases are crossed, non-analyticities in the compressibility arise. We find a quintuple point, which is also pentacritical, where four gapless superfluid phases converge into a fully gapped superfluid phase.


title: Design and Assessment for Hybrid Courses: Insights and Overviews

abstract: Technology is influencing education, providing new delivery and assessment models. A combination between online and traditional course, the hybrid (blended) course, may present a solution with many benefits as it provides a gradual transition towards technology enabled education. This research work provides a set of definitions for several course delivery approaches, and evaluates five years of data from a course that has been converted from traditional face-to-face delivery, to hybrid delivery. The collected experimental data proves that the revised course, in the hybrid delivery mode, is at least as good, if not better, than it previously was and it provides some benefits in terms of student retention.


title: Fluctuation Theory of Mixtures (A Statistical Mechanical Background)

abstract: The statistical mechanical basis of the fluctuation theory of mixtures is reviewed. An overview of the statistical mechanical relations between the microscopic properties of a system and its macroscopic properties is presented. The distribution functions in equilibrium systems are defined and relations between the distribution functions and thermodynamic properties for pure fluids and fluid mixtures are reported. The available approximations to distribution functions are presented. Definitions of direct correlation functions, direct correlation function integrals, and their relations with fluctuation integrals are reported.


title: RePr: Improved Training of Convolutional Filters

abstract: A well-trained Convolutional Neural Network can easily be pruned without significant loss of performance. This is because of unnecessary overlap in the features captured by the network's filters. Innovations in network architecture such as skip/dense connections and Inception units have mitigated this problem to some extent, but these improvements come with increased computation and memory requirements at run-time. We attempt to address this problem from another angle - not by changing the network structure but by altering the training method. We show that by temporarily pruning and then restoring a subset of the model's filters, and repeating this process cyclically, overlap in the learned features is reduced, producing improved generalization. We show that the existing model-pruning criteria are not optimal for selecting filters to prune in this context and introduce inter-filter orthogonality as the ranking criteria to determine under-expressive filters. Our method is applicable both to vanilla convolutional networks and more complex modern architectures, and improves the performance across a variety of tasks, especially when applied to smaller networks.


title: libmpk: Software Abstraction for Intel Memory Protection Keys

abstract: Intel memory protection keys (MPK) is a new hardware feature to support thread-local permission control on groups of pages without requiring modification of page tables. Unfortunately, its current hardware implementation and software supports suffer from security, scalability, and semantic-gap problems: (1) MPK is vulnerable to protection-key-use-after-free and protection-key corruption; (2) MPK does not scale due to hardware limitations; and (3) MPK is not perfectly compatible with mprotect() because it does not support permission synchronization across threads. In this paper, we propose libmpk, a software abstraction for MPK. libmpk virtualizes protection keys to eliminate the protection-key-use-after-free and protection-key corruption problems while supporting a tremendous number of memory page groups. libmpk also prevents unauthorized writes to its metadata and supports inter-thread key synchronization. We apply libmpk to three real-world applications: OpenSSL, JavaScript JIT compiler, and Memcached for memory protection and isolation. An evaluation shows that libmpk introduces negligible performance overhead (<1%) compared with insecure versions, and improves their performance by 8.1x over secure equivalents using mprotect(). The source code of libmpk will be publicly available and maintained as an open source project.


title: Some new Karamata type inequalities and their applications to some entropies

abstract: Some new inequalities of Karamata type are established with a convex function in this paper. The methods of our proof allow us to obtain an extended version of the reverse of Jensen inequality given by Pe{\v} cari\'c and Mi\'ci\'c. Applying the obtained results, we give reverses for information inequality (Shannon inequality) in different types, namely ratio type and difference type, under some conditions. Also, we provide interesting inequalities for von Neumann entropy and quantum Tsallis entropy which is a parametric extension of von Neumann entropy. The inequality for von Neumann entropy recovers the non-negativity and gives a refinement for the weaker version of Fannes's inequality for only special cases. Finally, we estimate bounds for the Tsallis relative operator entropy.


title: Evolution of interfaces for the non-linear parabolic p-Laplacian type reaction-diffusion equations. II. Fast diffusion vs. absorption

abstract: We present a full classification of the short-time behaviour of the interfaces and local solutions to the nonlinear parabolic $p$-Laplacian type reaction-diffusion equation of non-Newtonian elastic filtration \[ u_t-\Big(|u_x|^{p-2}u_x\Big)_x+bu^{\beta}=0, \ 1<p<2, \beta >0 \] If the interface is finite, it may expand, shrink, or remain stationary as a result of the competition of the diffusion and reaction terms near the interface, expressed in terms of the parameters $p,\beta, sign~b$, and asymptotics of the initial function near its support. In some range of parameters, strong domination of the diffusion causes infinite speed of propagation and interfaces are absent. In all cases with finite interfaces we prove the explicit formula for the interface and the local solution with accuracy up to constant coefficients. We prove explicit asymptotics of the local solution at infinity in all cases with infinite speed of propagation. The methods of the proof are based on nonlinear scaling laws, and a barrier technique using special comparison theorems in irregular domains with characteristic boundary curves. A full description of small-time behaviour of the interfaces and local solutions near the interfaces for slow diffusion case when $p>2$ is presented in a recent paper {\it Abdulla \& Jeli, Europ. J. Appl. Math. 28, 5(2017), 827-853.}


title: Understanding Learned Models by Identifying Important Features at the Right Resolution

abstract: In many application domains, it is important to characterize how complex learned models make their decisions across the distribution of instances. One way to do this is to identify the features and interactions among them that contribute to a model's predictive accuracy. We present a model-agnostic approach to this task that makes the following specific contributions. Our approach (i) tests feature groups, in addition to base features, and tries to determine the level of resolution at which important features can be determined, (ii) uses hypothesis testing to rigorously assess the effect of each feature on the model's loss, (iii) employs a hierarchical approach to control the false discovery rate when testing feature groups and individual base features for importance, and (iv) uses hypothesis testing to identify important interactions among features and feature groups. We evaluate our approach by analyzing random forest and LSTM neural network models learned in two challenging biomedical applications.


title: Alternative Approach to the Excluded Volume Problem The Critical Behavior of the Exponent $\nu$

abstract: We present the alternative derivation of the excluded volume equation. The resulting equation is mathematically identical to the one proposed in the preceding paper. As a result, the theory reproduces well the observed points by SANS (small angle neutron scattering) experiments. The equation is applied to the coil-globule transition of branched molecules. It is found that in the entire region of poor solvent regimes ($T<\Theta$), the exponent $\kappa=d\log\alpha\,/\,d\log N\, (N\rightarrow\infty)$ takes the value $\frac{1}{12}$, showing that contrary to the case of linear molecules ($\kappa=-\frac{1}{6}$), the expansion factor increases indefinitely as $N$ increases. The theory is then applied to concentrated systems in good solvents. It is found that for the entire region of $0<\bar{\phi}\le 1$, the gradients $\kappa$ seem to converge on a common value lying somewhere from $\kappa=\frac{1}{12}$ to $0.1$. Since $\nu_{dilute}=\tfrac{1}{2}$, $\nu_{melt}=\tfrac{1}{3}$, and $0.33\cdots\le\nu_{conc}\,(=\nu_{0}+\kappa) <0.35$ for $0<\bar{\phi}\le 1$, the simulation results suggest that the exponents $\kappa$ and $\nu$ change abruptly from phases to phases; there are no intermediate values between them, for instance between $\nu_{dilute}$ and $\nu_{melt}$.


title: Convolutional-Sparse-Coded Dynamic Mode Decomposition and Its Application to River State Estimation

abstract: This work proposes convolutional-sparse-coded dynamic mode decomposition (CSC-DMD) by unifying extended dynamic mode decomposition (EDMD) and convolutional sparse coding. EDMD is a data driven analysis method for describing a nonlinear dynamical system with a linear time-evolution equation. Compared with existing EDMD methods, CSC-DMD has an advantage of reflecting spatial structure of the target. As an example, the proposed method is applied to river bed shape estimation from the water surface observation. The estimation problem is reduced to sparsity-aware restoration with a hard constraint, which is given by the CSC-DMD prediction, where the algorithm is derived by the primal-dual splitting method. A time series set of water surface and bed shape measured through an experimental river setup is used to train and test the system. From the result, the significance of the proposed method is verified.


title: The intercept/resend and translucent attacks on the quantum key distribution protocol based on the pre- and post-selection effect

abstract: We investigate the security against the intercept/resend and translucent attacks on the quantum key distribution protocol based on the pre- and post-selection effect. In 2001, Bub proposed the quantum cryptography scheme, which was an application of the so-called mean king's problem. We evaluate a probability that legitimate users cannot detect eavesdropper's malicious acts for Bub's protocol. We also estimate a probability that the eavesdropper guesses right at the random secret key one of the legitimate users tries to share with the other one. From rigorous mathematical and numerical analyses, we conclude that Bub's protocol is weaker than the Bennett-Brassard protocol of 1984 (BB84) against both the intercept/resend and translucent attacks. Because Bub's protocol uses a two-way quantum channel, the analyses of its security are tough to accomplish. We refer to their technical points accurately in the current paper. For example, we impose some constraints upon the eavesdropper's strategies in order to let their degrees of freedom be small.


title: The Hipparcos-Gaia Catalog of Accelerations

abstract: This paper presents a cross-calibrated catalog of Hipparcos and Gaia astrometry to enable their use in measuring changes in proper motion, i.e., accelerations in the plane of the sky. The final catalog adopts the reference frame of the second Gaia data release (DR2) and locally cross-calibrates both the scaled Hipparcos-Gaia DR2 positional differences and the Hipparcos proper motions themselves to this frame. This gives three nearly independent proper motion measurements per star, with the scaled positional difference usually being the most precise. We find that a linear combination of the two Hipparcos reductions is superior to either reduction on its own, and address error inflation for both Hipparcos and Gaia DR2. Our adopted error inflation is additive (in quadrature) for Hipparcos and multiplicative for Gaia. We provide the covariance matrices along with the central epochs of all measurements. Our final proper motion differences are accurately Gaussian with the appropriate variances, and are suitable for acceleration measurements and orbit fitting. The catalog is constructed with an eye toward completeness; it contains nearly 98\% of the Hipparcos stars. It also includes a handful of spurious entries and a few stars with poor Hipparcos reductions that the user must vet by hand. Statistical distributions of accelerations derived from this catalog should be interpreted with caution.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: Four stages of droplet spreading on a spherical substrate and in a spherical cavity -Surface tension vs line tension and viscous dissipation vs frictional dissipation-

abstract: The spreading of a cap-shaped spherical droplet of non-Newtonian power-law liquids on a completely wettable spherical substrate is theoretically studied. Both convex spherical substrates and concave spherical cavities with smooth or rough surfaces are considered. The droplet on a rough substrate is modeled by either the Wenzel or the Cassie-Baxter model. The two sources of driving force of spreading by the surface-tension and the line tension are considered. Also, the two channels of energy dissipation by the viscous dissipation within the bulk and the frictional dissipation at the contact line are considered. A combined theory of spreading on a spherical substrate is constructed by including those four factors. The spreading process is divided into four stages, each of which is governed by one of two driving forces and one of two dissipations. It is found that the dynamic contact angle $\theta$ has a characteristic time ($t$) dependence at each stage. It does not necessarily follow the standard power law $\theta \sim t^{-\alpha}$. Instead, the relaxation can be a power-law with the exponent $\alpha$ different from that on a flat substrate, or it can be exponential or it can finish within a finite time. Therefore, various spreading scenarios on a spherical substrate and in a spherical cavity are predicted.


title: Precise Dynamical Masses of Directly Imaged Companions from Relative Astrometry, Radial Velocities, and Hipparcos-Gaia DR2 Accelerations

abstract: We measure dynamical masses for five objects--three ultracool dwarfs, one low-mass star, and one white dwarf--by fitting orbits to a combination of the Hipparcos-Gaia Catalog of Accelerations, literature radial velocities, and relative astrometry. Our approach provides precise masses without any assumptions about the primary star, even though the observations typically cover only a small fraction of an orbit. We also perform a uniform re-analysis of the host stars' ages. Two of our objects, HD 4747B and HR 7672B, already have precise dynamical masses near the stellar/substellar boundary and are used to validate our approach. For Gl 758B, we obtain a mass of $m=38.1_{-1.5}^{+1.7}$ $M_{Jup}$, the most precise mass measurement of this companion to date. Gl 758B is the coldest brown dwarf with a dynamical mass, and the combination of our low mass and slightly older host-star age resolves its previously noted discrepancy with substellar evolutionary models. HD 68017B, a late-M dwarf, has a mass of $m=0.147\pm 0.003$ $M_\odot$, consistent with stellar theory and previous empirical estimates based on its absolute magnitude. The progenitor of the white dwarf Gl 86B has been debated in the literature, and our dynamical measurement of $m=0.595 \pm 0.010$ $M_\odot$ is consistent with a higher progenitor mass and younger age for this planet-hosting binary system. Overall, these case studies represent only five of the thousands of accelerating systems identified by combining Hipparcos and Gaia. Our analysis could be repeated for many of them to build a large sample of companions with dynamical masses.


title: Fate of the charm baryon $\Lambda_{c}$ in cold and hot nuclear matter

abstract: I discuss the properties of the $\Lambda_{c}$ baryon in nuclear matter at zero or finite temperature. Starting from the Lagrangian based on the heavy-quark effective theory, I derive the effective Lagrangian for the $\Lambda_{c}$ baryon existing as an impurity particle. Adopting the one-loop calculation for nucleons, I derive the effective potential as the quantity for measuring the stability of the $\Lambda_{c}$ baryon in nuclear matter. The parameters in the Lagrangian are fitted to reproduce the scattering length of the nucleon and the $\Lambda_{c}$ baryon estimated in the lattice QCD simulations and the chiral extrapolations. I present that the $\Lambda_{c}$ baryon is bound in nuclei with the binding energy of about 20 MeV at normal nuclear-matter density. I discuss the case that the $\Lambda_{c}$ baryon moves with a constant velocity. I also discuss an increase of the nucleon number density near the $\Lambda_{c}$ baryon in nuclear matter, and show that the $\Lambda_{c}$ baryon is a useful probe to research the nuclear systems at high density.


title: A Wearable IoT Aldehyde Sensor for Pediatric Asthma Research and Management

abstract: Mechanistic studies of pediatric asthma require objective measures of environmental exposure metrics correlated with physiological responses. Here we report a cloud-based wearable IoT sensor system which can measure an asthma patient's exposure to aldehydes, a known class of airway irritants, in real-life settings. The wrist-watch form sensor measures formaldehyde levels in air using fuel cell technology, and continuously operate over 7 days without recharging. Sensor data can be retrieved via Bluetooth Low Energy (BLE) communication. A smartphone app was developed as a gateway to transmit data to an informatics system deployed on Amazon Web Services (AWS) for data storage, management and analytics. Potential applications of this IoT sensor system include epidemiological studies of asthma development and exacerbation, personalized asthma management and environmental monitoring.


title: Image-to-GPS Verification Through A Bottom-Up Pattern Matching Network

abstract: The image-to-GPS verification problem asks whether a given image is taken at a claimed GPS location. In this paper, we treat it as an image verification problem -- whether a query image is taken at the same place as a reference image retrieved at the claimed GPS location. We make three major contributions: 1) we propose a novel custom bottom-up pattern matching (BUPM) deep neural network solution; 2) we demonstrate that the verification can be directly done by cross-checking a perspective-looking query image and a panorama reference image, and 3) we collect and clean a dataset of 30K pairs query and reference. Our experimental results show that the proposed BUPM solution outperforms the state-of-the-art solutions in terms of both verification and localization.


title: Dissipation and quantum noise in chiral circuitry

abstract: We obtain an empirical relation between the zero temperature, zero frequency quantum noise ${\small{(}}S{\small{(}}\omega=0{\small{)}}{\small{)}}$ and the related power dissipation ${\small{(}}D{\small{)}}$ for chiral circuitry. We consider the case of single quantum point contact (QPC) which induces inter-edge scattering of electrons among $"n"$ number of chiral edges of $\nu=1$ quantum Hall state. The ratio of total maximum power dissipation generated at the QPC ($D_{total}$) to the sum of auto-correlated noise generated in the chiral edge channels emanating out of the QPC region ($S_{total}$) is shown to be, $D_{total}/S_{total}{\small{(}}\omega=0{\small{)}} = V/{\small{}}4 e{\small{}}$ where $e$ is the electronic charge and $V$ is the voltage imposed on any one of the "$n$" incoming edge channels while keeping remaining "$n-1$" edge channels grounded. This implies that this ratio is universal except for a linear voltage bias dependence, i.e., it is independent of details of the scattering matrix ($S$-matrix) of the QPC region. Here the maximum power dissipation in each chiral edge is defined as the rate at which energy would be lost if the non-equilibrium distribution of electrons generated by the QPC region in each chiral edge is equilibrated to the corresponding zero temperature Fermi distribution. Further, for ${\cal Z}_n$ symmetric $S$-matrix, we show that the universal behaviour persists even when all the bias voltages imposed on the incoming edge channels are kept finite and distinct.


title: Finite-temperature Auxiliary-Field Quantum Monte Carlo: Self-Consistent Constraint and Systematic Approach to Low Temperatures

abstract: We describe an approach for many-body calculations with a finite-temperature, grand canonical ensemble formalism using auxiliary-field quantum Monte Carlo (AFQMC) with a self-consistent constraint to control the sign problem. The usual AFQMC formalism of Blankenbecler, Scalapino, and Sugar suffers from the sign problem with most physical Hamiltonians, as is well known. Building on earlier ideas to constrain the paths in auxiliary-field space [Phys. Rev. Lett. \textbf{83}, 2777 (1999)] and incorporating recent developments in zero-temperature, canonical-ensemble methods, we discuss how a self-consistent constraint can be introduced in the finite-temperature, grand-canonical-ensemble framework. This together with several other algorithmic improvements discussed here leads to a more accurate, more efficient, and numerically more stable approach for finite-temperature calculations. We carry out a systematic benchmark study in the two-dimensional repulsive Hubbard model at $1/8$ doping. Temperatures as low as $T=1/80$ (in units of hopping) are reached. The finite-temperature method is exact at very high temperatures, and approaches the result of the zero-temperature constrained-path AFQMC as temperature is lowered. The benchmark shows that systematically accurate results are obtained for thermodynamic properties.


title: Experimental verification of quantum heat exchange fluctuation relation

abstract: We experimentally verify the Jarzynski and W\"ojcik quantum heat exchange fluctuation relation by implementing the interferometric technique in liquid-state Nuclear Magnetic Resonance setup and study the exchange heat statistics between two weakly coupled spin-1/2 quantum systems. In presence of uncorrelated initial state with individual spins prepared in local Gibbs thermal states at different temperatures, the exchange fluctuation symmetry is verified for arbitrary transient time. In contrast, when the initial preparation includes correlation, the fluctuation symmetry breaks down and further leads to an apparent spontaneous flow of heat from cold to hot. Our experimental approach is general and can be systematically extended to study heat statistics for more complex out-of-equilibrium many-body quantum systems.


title: Nucleon form factors and root-mean-square radii on a (10.8 fm$)^4$ lattice at the physical point

abstract: We present the nucleon form factors and root-mean-square (RMS) radii measured on a (10.8 fm$)^4$ lattice at the physical point. We compute the form factors at small momentum transfer region in $q^2\le 0.102$ GeV$^2$ with the standard plateau method choosing four source-sink separation times $t_{\rm sep}$ from 0.84 to 1.35 fm to examine the possible excited state contamination. We obtain the electric and magnetic form factors and their RMS radii for not only the isovector channel but also the proton and neutron ones without the disconnected diagram. We also obtain the axial-vector coupling and the axial radius from the axial-vector form factor. We find that these three form factors do not show large $t_{\rm sep}$ dependence in our lattice setup. On the other hand, the induced pseudoscalar and pseudoscalar form factors show the clear effects of the excited state contamination, which affect the generalized Goldberger-Treiman relation.


title: Tamm Plasmon in a Structure with the Nanocomposite Containing Spheroidal Core-Shell Particles

abstract: Spectral peculiarities of the structure consisting of a photonic crystal coated with a nanocomposite have been investigated. The nanocomposite used contains spheroidal nanoparticles with a dielectric core and a metallic shell, which are uniformly dispersed in a transparent matrix. The spectral manifestation of the observed Tamm plasmon polariton and Fabry--Perot mode has been examined. A significant polarization sensitivity of the spectra upon variation in the nanoparticle shape has been demonstrated. The dispersion curves presented for the Tamm plasmon polariton and Fabry--Perot mode are shown to be in good agreement with the spectra obtained by the transfer matrix method.


title: CVA and vulnerable options pricing by correlation expansions

abstract: We consider the problem of computing the Credit Value Adjustment ({CVA}) of a European option in presence of the Wrong Way Risk ({WWR}) in a default intensity setting. Namely we model the asset price evolution as solution to a linear equation that might depend on different stochastic factors and we provide an approximate evaluation of the option's price, by exploiting a correlation expansion approach, introduced in \cite{AS}. We compare the numerical performance of such a method with that recently proposed by Brigo et al. (\cite{BR18}, \cite{BRH18}) in the case of a call option driven by a GBM correlated with the CIR default intensity. We additionally report some numerical evaluations obtained by other methods.


title: Stabilization of vortex-liquid state by strong pairing interaction

abstract: We theoretically investigate qualitative features of the field-temperature ($H$-$T$) phase diagram of superconductors with strong attractive interaction lying in the BCS-BEC crossover regime. Starting with a simple attractive Hubbard model, we estimate three kinds of characteristic fields, i.e., the pair-formation field $H^*$, the vortex-liquid-formation field $H_\mathrm{c2}$, and the vortex-lattice-formation field $H_\mathrm{melt}$. The region between $H_\mathrm{c2}$ and $H_\mathrm{melt}$, as well as that between $H_\mathrm{c2}$ and $H^*$, is found to be enlarged as the interaction is stronger. In other words, a strong attractive interaction can stabilize both the vortex-liquid and preformed-pair regions. We also point out the expected particle-density dependence of the $H$-$T$ phase diagram.


title: GAN-QP: A Novel GAN Framework without Gradient Vanishing and Lipschitz Constraint

abstract: We know SGAN may have a risk of gradient vanishing. A significant improvement is WGAN, with the help of 1-Lipschitz constraint on discriminator to prevent from gradient vanishing. Is there any GAN having no gradient vanishing and no 1-Lipschitz constraint on discriminator? We do find one, called GAN-QP. To construct a new framework of Generative Adversarial Network (GAN) usually includes three steps: 1. choose a probability divergence; 2. convert it into a dual form; 3. play a min-max game. In this articles, we demonstrate that the first step is not necessary. We can analyse the property of divergence and even construct new divergence in dual space directly. As a reward, we obtain a simpler alternative of WGAN: GAN-QP. We demonstrate that GAN-QP have a better performance than WGAN in theory and practice.


title: Electron-phonon coupling in single-layer MoS2

abstract: The electron-phonon coupling strength in the spin-split valence band maximum of single-layer MoS$_2$ is studied using angle-resolved photoemission spectroscopy and density functional theory-based calculations. Values of the electron-phonon coupling parameter $\lambda$ are obtained by measuring the linewidth of the spin-split bands as a function of temperature and fitting the data points using a Debye model. The experimental values of $\lambda$ for the upper and lower spin-split bands at K are found to be 0.05 and 0.32, respectively, in excellent agreement with the calculated values for a free-standing single-layer MoS$_2$. The results are discussed in the context of spin and phase-space restricted scattering channels, as reported earlier for single-layer WS$_2$ on Au(111). The fact that the absolute valence band maximum in single-layer MoS$_2$ at K is almost degenerate with the local valence band maximum at $\Gamma$ can potentially be used to tune the strength of the electron-phonon interaction in this material.


title: Tensilely Strained Ge Films on Si Substrates Created by Physical Vapor Deposition of Solid Sources

abstract: The development of Si-compatible active photonic devices is a high priority in computer and modern electronics industry. Ge is compatible with Si and is a promising light emission material. Nearly all Ge-on-Si materials reported so far were grown using toxic precursor gases. Here we demonstrate the creation of Ge films on Si substrates through physical vapor deposition of toxin-free solid Ge sources. Structural characterization indicates that a high tensile strain is introduced in the Ge film during the deposition process. We attribute the presence of such a tensile strain to the difference in thermal expansion coefficient between Si and Ge. A Ge peak, centered at ~2100 nm, is evident in the photoluminescence spectra of these materials, which might result from direct band gap photoluminescence alone, or from superposition of direct band gap and indirect band gap photoluminescence. These Ge-on-Si materials are therefore promising in light emission applications.


title: Entanglement String and Spin Liquid with Holographic Duality

abstract: We show that the quantum entanglement can be transmuted to a force using the holographic duality. First, we prove that there is an open string in the spectrum of the holographic fermion coupled with scalar. The string ends at two fermions and its tension vanishes in the limit of zero scalar condensation. We associate such string with a dimer and identify the scalar condensation as the degree of the dimerization. Together with divergently large entanglement entropy, the model is expected to describe the Spin Liquid. As a consistency check, we show that there is a Mott transition as the dimerization proceeds. We suggest that the string may be observed in an ARPES experiment of spin liquid or clean Dirac material as a tower of bands.


title: Large sieve with sparse sets of moduli for $\mathbb{Z}[i]$

abstract: We establish a general large sieve inequality with sparse sets $\mathcal{S}$ of moduli in the Gaussian integers which are in a sense well-distributed in arithmetic progressions. This extends earlier work of S. Baier on the large sieve with sparse sets of moduli. We then use this result to obtain large sieve bounds for the cases when $\mathcal{S}$ consists of squares of Gaussian integers and of Gaussian primes. Our bound for the case of square moduli improves a recent result by the authors.


title: A conditional limit theorem for independent random variables

abstract: In this paper, we prove a conditional limit theorem for independent not necessarily identically distributed random variables. Namely, we obtain the asymptotic distribution of a large number of them given the sum.


title: The inverse problem of two-state quantum systems with non-adiabatic static linear coupling

abstract: We consider the inverse problem of determining the coupling coefficients in a two-state Schr\"odinger system. We prove a Lipschitz stability inequality for the zeroth and first order coupling terms by finitely many partial lateral measurements of the solution to the coupled Schr\"odinger equations.


title: Gravitation and General Relativity at King's College London

abstract: This essay concerns the study of gravitation and general relativity at King's College London (KCL). It covers developments since the nineteenth century but its main focus is on the quarter of a century beginning in 1955. At King's research in the twenty-five years from 1955 was dominated initially by the study of gravitational waves and then by the investigation of the classical and quantum aspects of black holes. While general relativity has been studied extensively by both physicists and mathematicians, most of the work at King's described here was undertaken in the mathematics department.


title: The role of the thermal $f_0(500)$ in chiral symmetry restoration

abstract: We show that the $\sigma/f_0(500)$ state with finite-temperature $T$ corrections to its spectral properties included, plays an essential role for the description of the scalar susceptibility $\chi_S$, signaling chiral symmetry restoration. First, we use the $O(4)$ Linear Sigma Model as a testbed to derive the connection between $\chi_S$ and the $\sigma$ propagator and to check the validity and reliability of the approach where $\chi_S$ is saturated by the $\sigma/f_0(500)$ inverse self-energy, which we calculate at finite $T$ to one loop. A more accurate phenomenological description is achieved by considering the saturation approach as given by the thermal $f_0(500)$ state generated in Unitarized Chiral Perturbation Theory. Such approach allows to describe fairly well recent lattice data within the uncertainty range given by the UChPT parameters. Finally, we compare the UChPT saturated description with one based on the Hadron Resonance Gas, for which the hadron mass dependences are extracted from recent theoretical analysis. Several fits to lattice data are performed, which confirm the validity of the thermal $f_0(500)$ saturated approach and hence the importance of that thermal state for chiral symmetry restoration.


title: Representation of signals as series of orthogonal functions

abstract: This paper gives an introduction to the theory of orthogonal projection of functions or signals. Several kinds of decomposition are explored: Fourier, Fourier-Legendre, Fourier-Bessel series for 1D signals, and Spherical Harmonic series for 2D signals. We show how physical conditions and/or geometry can guide the choice of the base of functions for the decomposition. The paper is illustrated with several numerical examples.


title: On the geometric median of triangular domains and other median type points

abstract: The geometric median of a domain is the point that minimises the average distance from itself to the points of the domain. We will give a gradient system of equations that defines the geometric median of a triangular domain and will prove a simple geometric property of the median. This property states that all three average distances from the median to the sides of the triangle are equal. Further we generalise these results to other types of domains and to other types of median like points.


title: Information Theoretic Bounds on Optimal Worst-case Error in Binary Mixture Identification

abstract: Identification of latent binary sequences from a pool of noisy observations has a wide range of applications in both statistical learning and population genetics. Each observed sequence is the result of passing one of the latent mother-sequences through a binary symmetric channel, which makes this configuration analogous to a special case of Bernoulli Mixture Models. This paper aims to attain an asymptotically tight upper-bound on the error of Maximum Likelihood mixture identification in such problems. The obtained results demonstrate fundamental guarantees on the inference accuracy of the optimal estimator. To this end, we set out to find the closest pair of discrete distributions with respect to the Chernoff Information measure. We provide a novel technique to lower bound the Chernoff Information in an efficient way. We also show that a drastic phase transition occurs at noise level 0.25. Our findings reveal that the identification problem becomes much harder as the noise probability exceeds this threshold.


title: A Variational Dirichlet Framework for Out-of-Distribution Detection

abstract: With the recently rapid development in deep learning, deep neural networks have been widely adopted in many real-life applications. However, deep neural networks are also known to have very little control over its uncertainty for unseen examples, which potentially causes very harmful and annoying consequences in practical scenarios. In this paper, we are particularly interested in designing a higher-order uncertainty metric for deep neural networks and investigate its effectiveness under the out-of-distribution detection task proposed by~\cite{hendrycks2016baseline}. Our method first assumes there exists an underlying higher-order distribution $\mathbb{P}(z)$, which controls label-wise categorical distribution $\mathbb{P}(y)$ over classes on the K-dimension simplex, and then approximate such higher-order distribution via parameterized posterior function $p_{\theta}(z|x)$ under variational inference framework, finally we use the entropy of learned posterior distribution $p_{\theta}(z|x)$ as uncertainty measure to detect out-of-distribution examples. Further, we propose an auxiliary objective function to discriminate against synthesized adversarial examples to further increase the robustness of the proposed uncertainty measure. Through comprehensive experiments on various datasets, our proposed framework is demonstrated to consistently outperform competing algorithms.


title: Black hole evaporation in Conformal (Weyl) gravity

abstract: In this work, we explore all possible scenarios in the evaporation process of a spherical neutral AdS black hole in four-dimensional conformal gravity, where the equations of states are branched. In one branch, the final states correspond to the extremal black hole where the total decay time is divergent given any initial mass. In the other branch, the black holes always evaporate completely with in a finite time; the total decay time depends linearly on the AdS radius, when the mass is taken to be infinity.


title: Turbulence monitoring at the Plateau de Calern with the GDIMM instrument

abstract: We present some statistics of turbulence monitoring at the Plateau de Calern (France), with the Generalised Differential Image Motion Monitor (GDIMM). This instrument allows to measure integrated parameters of the atmospheric turbulence, i.e. seeing, isoplanatic angle, coherence time and outer scale, with 2 minutes time resolution. It is running routinely since November 2015 and is now fully automatic. A large dataset has been collected, leading to the first statistics of turbulence above the Plateau de Calern.


title: Regularized adversarial examples for model interpretability

abstract: As machine learning algorithms continue to improve, there is an increasing need for explaining why a model produces a certain prediction for a certain input. In recent years, several methods for model interpretability have been developed, aiming to provide explanation of which subset regions of the model input is the main reason for the model prediction. In parallel, a significant research community effort is occurring in recent years for developing adversarial example generation methods for fooling models, while not altering the true label of the input,as it would have been classified by a human annotator. In this paper, we bridge the gap between adversarial example generation and model interpretability, and introduce a modification to the adversarial example generation process which encourages better interpretability. We analyze the proposed method on a public medical imaging dataset, both quantitatively and qualitatively, and show that it significantly outperforms the leading known alternative method. Our suggested method is simple to implement, and can be easily plugged into most common adversarial example generation frameworks. Additionally, we propose an explanation quality metric - $APE$ - "Adversarial Perturbative Explanation", which measures how well an explanation describes model decisions.


title: Algorithmic complexity in computational biology: basics, challenges and limitations

abstract: Computational problems can be classified according to their algorithmic complexity, which is defined based on how the resources needed to solve the problem, e.g. the execution time, scale with the problem size. Many problems in computational biology are computationally infeasible in the sense that the exhaustive search for the optimal solution is prohibitive in practical terms. As a consequence, these problems are tackled through heuristics and approximations aiming to overcome the exceeding computational requirements at the cost of providing suboptimal solutions. The importance of defining the computational complexity of computational biology algorithms is a topic rarely surveyed for broad audiences of bioinformaticians and users of bioinformatics tools. However, recognizing the underlying complexity of any algorithm is essential for understanding their potential and limitations. Thus, the aim of this review is to survey the main algorithmic solutions to intractable problems in computational biology, highlighting the importance of High-Performance Computing in this area.


title: Weak partial $b$-metric space and Nadler's theorem

abstract: We study the notions of weak partial $b$-metric space and weak partial Hausdorff $b$-metric space. Moreover, we intend to generalize Nadler's theorem in weak partial $b$-metric space by using weak partial Hausdorff $b$-metric spaces. A non-trivial example to show the validity of our result is given.


title: On Mutually Unbiased Unitary Bases in prime dimensional Hilbert spaces

abstract: Akin to the idea of complete sets of Mutually Unbiased Bases for prime dimensional Hilbert spaces, $\mathcal{H}_d$, we study its analogue for a $d$ dimensional subspace of $M (d,\mathbb{C})$, i.e. Mutually Unbiased Unitary Bases (MUUBs) comprising of unitary operators. We note an obvious isomorphism between the vector spaces and beyond that, we define a relevant monoid structure for $\mathcal{H}_d$ isomorphic to one for the subspace of $M (d,\mathbb{C})$. This provides us not only with the maximal number of such MUUBs, but also a recipe for its construction.


title: Learning to infer: RL-based search for DNN primitive selection on Heterogeneous Embedded Systems

abstract: Deep Learning is increasingly being adopted by industry for computer vision applications running on embedded devices. While Convolutional Neural Networks' accuracy has achieved a mature and remarkable state, inference latency and throughput are a major concern especially when targeting low-cost and low-power embedded platforms. CNNs' inference latency may become a bottleneck for Deep Learning adoption by industry, as it is a crucial specification for many real-time processes. Furthermore, deployment of CNNs across heterogeneous platforms presents major compatibility issues due to vendor-specific technology and acceleration libraries. In this work, we present QS-DNN, a fully automatic search based on Reinforcement Learning which, combined with an inference engine optimizer, efficiently explores through the design space and empirically finds the optimal combinations of libraries and primitives to speed up the inference of CNNs on heterogeneous embedded devices. We show that, an optimized combination can achieve 45x speedup in inference latency on CPU compared to a dependency-free baseline and 2x on average on GPGPU compared to the best vendor library. Further, we demonstrate that, the quality of results and time "to-solution" is much better than with Random Search and achieves up to 15x better results for a short-time search.


title: Diameter Optimization for Highest Degree of Ballisticity of Carbon Nanotube Field Effect Transistors

abstract: Carbon Nanotube (CNT) is one of the most significant materials for the development of faster and improved performance of nano-scaled transistors. This paper aims at analyzing a trade-off between device performance and device size of CNT based transistor. Acoustic and Optical Phonon scattering along with the elastic scattering lead to the non-ballistic performances of those transistors. The main focus of this work is mainly on finding an optimum diameter to obtain the highest degree of ballisticity from both single-walled and double-walled Carbon Nanotube Field Effect Transistors (CNT-FETs). At first, an n-type single-walled Carbon Nanotube Field Effect Transistor has been considered and the diameter dependence on degree of ballisticity has been simulated. The effects of drain voltage, gate voltage and channel length have been investigated for such characteristics followed by a comparison with double-walled CNT-FET structure. First of all, it has been found that degree of ballisticity along with the optimum diameter increases with the increase of (VDS VGS). The increase of channel length, however, degrades the ballistic performance demanding a higher diameter to reach the optimum point. Finally, it can be concluded that optimum diameter for DWCNT-FET reaches earlier than SWCNT-FET but at lower degree of ballisticity.


title: Asymptotic behaviour of heavy-tailed branching processes in random environments

abstract: Consider a heavy-tailed branching process (denoted by $Z_{n}$) in random environments, under the condition which infers that $\mathbb{E}\log m(\xi_{0})=\infty$. We show that (1) there exists no proper $c_{n}$ such that $\{Z_{n}/c_{n}\}$ has a proper, non-degenerate limit, (2) normalized by a sequence of functions, a proper limit can be obtained, i.e., $y_{n}\left(\bar{\xi},Z_{n}(\bar{\xi})\right)$ converges almost surely to a random variable $Y(\bar{\xi})$, where $Y\in(0,1)~\eta$-a.s., (3) finally, we give a necessary and sufficient conditions for the almost sure convergence of $\left\{\frac{U(\bar{\xi},Z_{n}(\bar{\xi}))}{c_n(\bar{\xi})}\right\}$, where $U(\bar{\xi})$ is a slowly varying function that may depends on $\bar{\xi}$.


title: On Matching Faces with Alterations due to Plastic Surgery and Disguise

abstract: Plastic surgery and disguise variations are two of the most challenging co-variates of face recognition. The state-of-art deep learning models are not sufficiently successful due to the availability of limited training samples. In this paper, a novel framework is proposed which transfers fundamental visual features learnt from a generic image dataset to supplement a supervised face recognition model. The proposed algorithm combines off-the-shelf supervised classifier and a generic, task independent network which encodes information related to basic visual cues such as color, shape, and texture. Experiments are performed on IIITD plastic surgery face dataset and Disguised Faces in the Wild (DFW) dataset. Results showcase that the proposed algorithm achieves state of the art results on both the datasets. Specifically on the DFW database, the proposed algorithm yields over 87% verification accuracy at 1% false accept rate which is 53.8% better than baseline results computed using VGGFace.


title: Topological thermal Hall effect driven by fluctuation of spin chirality in frustrated antiferromagnets

abstract: By revealing an underlying relation between the Dzyaloshinskii-Moriya interaction (DMI) and the scalar spin chirality, we develop the theory of magnon thermal Hall effects in antiferromagnetic systems. The dynamic fluctuation of the scalar chirality is shown to directly respond to the nontrivial topology of magnon bands. In materials such as the jarosites compounds KFe$_3$(OH)$_6$(SO$_4$)$_2$ and veseignite BaCu$_3$V$_2$O$_8$(OH)$_2$ in the presence of in-plane DMI, the time-reversal symmetry can be broken by the fluctuations of scalar chirality even in the case of coplanar $\mathbf{q}=0$ magnetic configuration. The spin-wave Hamiltonian is influenced by a fictitious magnetic flux determined by the in-plane DMI. Topological magnon bands and corresponding nonzero Chern numbers are presented without the need of a canted non-coplanar magnetic ordering. The canting angle dependence of thermal Hall conductivity is discussed in detail as well. These results offer a clear principle of chirality-driven topological effects in antiferromagnetically coupled systems.


title: Light pseudoscalar meson and doubly charmed baryon scattering lengths with heavy diquark-antiquark symmetry

abstract: We adopt the heavy baryon chiral perturbation theory (HBChPT) to calculate the scattering lengths of $\phi B_{cc}^{(*)}$ up to $\mathcal{O}(p^3)$, where $\phi$ is the pseudoscalar mesons. The recoil effect and the mass splitting between the spin-$1\over 2$ and spin-$3\over 2$ doubly charmed baryons are included. In order to give the numerical results, we construct the chiral Lagrangians with heavy diquark-antiquark (HDA) symmetry in a formally covariant approach. Then, we relate the low energy constants (LECs) of the doubly charmed baryons to those of $D^{(*)}$ mesons. The LECs for the $\phi D^{(*)}$ scattering are estimated in two scenarios, fitting lattice QCD results and using the resonance saturation model. The chiral convergence of the first scenario is not good enough due to the the large strange quark mass and the presence of the possible bound states, virtual states and resonance. The final results for two scenarios are consistent with each other. The interaction for the $[\pi\Xi^{(*)}_{cc}]^{(1/2)}$, $[K\Xi^{(*)}_{cc}]^{(0)}$, $[K\Omega^{(*)}_{cc}]^{(1/2)}$, $[\eta\Xi^{(*)}_{cc}]^{(1/2)}$, $[\eta\Omega^{(*)}_{cc}]^{(0)}$ and $[\bar{K}\Xi^{(*)}_{cc}]^{(0)}$ channels are attractive. The most attractive channel $[\bar{K}\Xi^{(*)}_{cc}]^{(0)}$ may help to form the partner states of the $D_{s0}^*(2317)$ ($D_{s1}(2460)$) in the doubly heavy sector.


title: Unimodality of the Andrews-Garvan-Dyson cranks of partitions

abstract: The main objective of this paper is to investigate the distribution of the Andrews-Garvan-Dyson crank of a partition. Let $M(m,n)$ denote the number of partitions of $n$ with the Andrews-Garvan-Dyson crank $m$, we show that the sequence \break $\{M(m,n)\}_{|m|\leq n-1}$ is unimodal for $n\geq 44$. It turns out that the unimodality of \break $\{M(m,n)\}_{|m|\leq n-1}$ is related to the monotonicity properties of two partition \break functions $p_k(n)$ and $pp_k(n)$. Let $p_k(n)$ denote the number of partitions of $n$ with at most $k$ parts such that the largest part appears at least twice and let $pp_k(n)$ denote the number of pairs $(\alpha,\beta)$ of partitions of $n$, where $\alpha$ is a partition counted by $p_k(i)$ and $\beta$ is a partition counted by $p_{k+1}(n-i)$ for $0\leq i\leq n$. We show that $p_k(n)\geq p_k(n-1)$ for $k\geq 5$ and $n\geq 14$ and $pp_k(n)\geq pp_k(n-1)$ for $k\geq 3$ and $n\geq 2$. With the aid of the monotonicity properties on $p_k(n)$ and $pp_k(n)$, we show that $M(m,n)\geq M(m,n-1)$ for $n\geq 14$ and $ 0\leq m \leq n-2$ and $M(m-1,n)\geq M(m,n)$ for $n\geq 44$ and $1\leq m\leq n-1$. By means of the symmetry $M(m,n)=M(-m,n)$, we find that $M(m-1,n)\geq M(m,n)$ for $n\geq 44$ and $1\leq m\leq n-1$ implies that the sequence $\{M(m,n)\}_{|m|\leq n-1}$ is unimodal for $n\geq 44$. We also give a proof of an upper bound for ospt(n) conjectured by Chan and Mao in light of the inequality $M(m-1,n)\geq M(m,n)$ for $n\geq 44$ and $0\leq m\leq n-1$.


title: Quantum-metrology estimation of spacetime parameters of the Earth outperforming classical precision

abstract: We consider quantum communication schemes where quantum optical signals are exchanged between a source on Earth and a satellite. The background curved spacetime affects the quantum state of the propagating photons. We employ quantum-metrology techniques to obtain optimal bounds for the precision of quantum measurements of relevant physical parameters encoded in the final state. We focus on satellites in low Earth orbits and we find that our scheme improves the precision of the measurement of the Schwarzschild radius obtained within previous studies. Therefore, our techniques can provide the theoretical tools for novel developments that can potentially outperform the state-of-the-art obtained through classical means. We also review the impact of the relativistic effects on a simple quantum key distribution protocol within satellite schemes and find that such effects can be greatly damaging if they are not properly accounted for.


title: Nonlinear control of a swinging pendulum on a wheeled mobile robot with nonholonomic constraints

abstract: In this paper, we propose a nonlinear control strategy for swinging up a pendulum to its upright equilibrium position by shaping its swinging energy along with regulating the cart to a desired location. While the base of a usual cart-pole system is restricted to move in a straight line, the present system is allowed to move in the x-y plane with a nonholonomic consraint that its allowable velocity is only along its orientation. A simple time invariant control law has been presented and its effectiveness has been demonstrated using numerical experiments.


title: Broadband quasi-PT Symmetry Sustained by Inhomogeneous Broadening of the Spectral Line

abstract: It is shown that inhomogeneous broadening of the spectral line of active impurities may sustain simultaneously parity (P) and time (T) symmetries of a medium, in a finite range of field frequencies, what is forbidden by the causality principle in media without broadening. If a spectral width of a propagating pulse is less than the inhomogeneous broadening, the medium for such a pulse becomes quasi-PT symmetric. The effect of the broadband quasi-PT symmetry in a finite frequency domain, is illustrated on examples of unidirectional diffraction of pulses in Bragg and Laue geometries, propagating in photonic crystals.


title: Stark: Fast and Scalable Strassen's Matrix Multiplication using Apache Spark

abstract: This paper presents a new fast, highly scalable distributed matrix multiplication algorithm on Apache Spark, called Stark, based on Strassen's matrix multiplication algorithm. Stark preserves Strassen's 7 multiplications scheme in a distributed environment and thus achieves faster execution. It is based on two new ideas; it creates a recursion tree of computation where each level of such tree corresponds to division and combination of distributed matrix blocks in the form of Resilient Distributed Datasets(RDDs); It processes each divide and combine step in parallel and memorize the sub-matrices by intelligently tagging matrix blocks in it. To the best of our knowledge, Stark is the first Strassen's implementation in Spark platform. We show experimentally that Stark has a strong scalability with increasing matrix size enabling us to multiply two (16384 x 16384) matrices with 28% and 36% less wall clock time than Marlin and MLLib respectively, state-of-the-art matrix multiplication approaches based on Spark.


title: On weighted conditions for the absolute convergence of Fourier integrals

abstract: In this paper we obtain new sufficient conditions for representation of a function as an absolutely convergent Fourier integral. Unlike those known earlier, these conditions are given in terms of belonging to weighted spaces. Adding weights allows one to extend the range of application of such results to Fourier multipliers with unbounded derivatives.


title: How many matchings cover the nodes of a graph?

abstract: Given an undirected graph, are there $k$ matchings whose union covers all of its nodes, that is, a matching-$k$-cover? A first, easy polynomial solution from matroid union is possible, as already observed by Wang, Song and Yuan (Mathematical Programming, 2014). However, it was not satisfactory neither from the algorithmic viewpoint nor for proving graphic theorems, since the corresponding matroid ignores the edges of the graph. We prove here, simply and algorithmically: all nodes of a graph can be covered with $k\ge 2$ matchings if and only if for every stable set $S$ we have $|S|\le k\cdot|N(S)|$. When $k=1$, an exception occurs: this condition is not enough to guarantee the existence of a matching-$1$-cover, that is, the existence of a perfect matching, in this case Tutte's famous matching theorem (J. London Math. Soc., 1947) provides the right `good' characterization. The condition above then guarantees only that a perfect $2$-matching exists, as known from another theorem of Tutte (Proc. Amer. Math. Soc., 1953). Some results are then deduced as consequences with surprisingly simple proofs, using only the level of difficulty of bipartite matchings. We give some generalizations, as well as a solution for minimization if the edge-weights are non-negative, while the edge-cardinality maximization of matching-$2$-covers turns out to be already NP-hard. We have arrived at this problem as the line graph special case of a model arising for manufacturing integrated circuits with the technology called `Directed Self Assembly'.


title: Generalization of Wolf Effect of light on Arbitrary Two-Dimensional Surface of Revolution

abstract: Investigation of physics on two-dimensional curved surface has significant meaning in study of general relativity, inasmuch as its realizability in experimental analogy and verification of faint gravitational effects in laboratory. Several phenomena about dynamics of particles and electromagnetic waves have been explored on curved surfaces. Here we consider Wolf effect, a phenomenon of spectral shift due to the fluctuating nature of light fields, on an arbitrary surface of revolution (SOR). The general expression of the propagation of partially coherent beams propagating on arbitrary SOR is derived and the corresponding evolution of light spectrum is also obtained. We investigate the extra influence of surface topology on spectral shift by defining two quantities, effective propagation distance and effective transverse distance, and compare them with longitudinal and transverse proper lengths. Spectral shift is accelerated when the defined effective quantities are greater than real proper lengths, and vice versa. We also employ some typical SORs, cylindrical surfaces, conical surfaces, SORs generated by power function and periodic peanut-shell shapes, as examples to provide concrete analyses. This work generalizes the research of Wolf effect to arbitrary SORs, and provides a universal method for analyzing properties of propagation compared with that in flat space for any SOR whose topology is known.


title: Approximation by multivariate Kantorovich-Kotelnikov operators

abstract: Approximation properties of multivariate Kantorovich-Kotelnikov type operators generated by different band-limited functions are studied. In particular, a wide class of functions with discontinuous Fourier transform is considered. The $L_p$-rate of convergence for these operators is given in terms of the classical moduli of smoothness. Several examples of the Kantorovich-Kotelnikov operators generated by the ${\rm sinc}$-function and its linear combinations are provided.


title: ApproxCS: Near-Sensor Approximate Compressed Sensing for IoT-Healthcare Systems

abstract: Internet of Things (IoTs) is an emerging trend that has enabled an upgrade in the design of wearable healthcare monitoring systems through the (integrated) edge, fog, and cloud computing paradigm. Energy efficiency is one of the most important design metrics in such IoT-healthcare systems especially, for the edge and fog nodes. Due to the sensing noise and inherent redundancy in the input data, even the most safety-critical biomedical applications can sometimes afford a slight degradation in the output quality. Hence, such inherent error tolerance in the bio-signals can be exploited to achieve high energy savings through the emerging trends like, the Approximate Computing which is applicable at both software and hardware levels. In this paper, we propose to leverage the approximate computing in digital Compressed Sensing (CS), through low-power approximate adders (LPAA) in an accurate Bernoulli sensing-based CS acquisition (BCS). We demonstrate that approximations can indeed be safely employed in IoT healthcare without affecting the detection of critical events in the biomedical signals. Towards this, we explored the trade-of between energy efficiency and output quality using the state-of-the-art lp2d RLS reconstruction algorithm. The proposed framework is validated with the MIT-BIH Arrhythmia database. Our results demonstrated approximately 59% energy savings as compared to the accurate design.


title: Dual relations between line congruences in $\mathbb{R}^3$ and surfaces in $\mathbb{R}^4$

abstract: There is a natural duality between line congruences in $\mathbb{R}^3$ and surfaces in $\mathbb{R}^4$ that sends principal lines into asymptotic lines. The same correspondence takes the discriminant curve of a line congruence into the parabolic curve of the dual surface. Moreover, it takes the ridge curves to the flat ridge curves, while the subparabolic curves of a line congruence are taken to certain curves on the surface that we call flat subparabolic curves. In this paper, we discuss these relations and describe the generic behavior of the subparabolic curves at the discriminant curve of the line congruence, or equivalently, the parabolic curve of the dual surface. We also discuss Loewner's conjectures under the duality viewpoint.


title: Handling polymorphic algebraic effects

abstract: Algebraic effects and handlers are a powerful abstraction mechanism to represent and implement control effects. In this work, we study their extension with parametric polymorphism that allows abstracting not only expressions but also effects and handlers. Although polymorphism makes it possible to reuse and reason about effect implementations more effectively, it has long been known that a naive combination of polymorphic effects and let-polymorphism breaks type safety. Although type safety can often be gained by restricting let-bound expressions---e.g., by adopting value restriction or weak polymorphism---we propose a complementary approach that restricts handlers instead of let-bound expressions. Our key observation is that, informally speaking, a handler is safe if resumptions from the handler do not interfere with each other. To formalize our idea, we define a call-by-value lambda calculus that supports let-polymorphism and polymorphic algebraic effects and handlers, design a type system that rejects interfering handlers, and prove type safety of our calculus.


title: On open book embedding of contact manifolds in the standard contact sphere

abstract: We prove some open book embedding results in the contact category. For example, we show that a large class of contact 3-manifolds admit contact open book embedding in the standard contact 5- sphere. We also prove that all the Ustilovsky (4m + 1)-spheres contact open book embed in the standard contact (4m + 3)-sphere.


title: Radio-wave communication with chaos

abstract: The invariance of the Lyapunov exponent of a chaotic signal as it propagates along a wireless transmission channel provides a theoretical base for the application of chaos in wireless communication. In additive Gaussian channel, the chaotic signal is proved to be the optimal coherent communication waveform in the sense of using the very simple matched filter to obtain the maximum signal-to-noise ratio. The properties of chaos can be used to reduce simply and effectively the Inter-Symbol Interference (ISI) and to achieve low bit error rate in the wireless communication system. However, chaotic signals need very wide bandwidth to be transmitted in the practical channel, which is difficult for the practical transducer or antenna to convert such a broad band signal. To solve this problem, in this work, the chaotic signal is applied to a radio-wave communication system, and the corresponding coding and decoding algorithms are proposed. A hybrid chaotic system is used as the pulse-shaping filter to obtain the baseband signal, and the corresponding matched filter is used at the receiver, instead of the conventional low-pass filter, to maximize the signal-to-noise ratio. At the same time, the symbol judgment threshold determined by the chaos property is used to reduce the Inter-Symbol Interference (ISI) effect. Simulations and virtual channel experiments show that the radio-wave communication system using chaos obtains lower bit error rate in the multi-path transmission channel compared with the traditional radio-wave communication system using Binary Phase Shift Keying (BPSK) modulation technology and channel equalization.


title: Distribution Discrepancy Maximization for Image Privacy Preserving

abstract: With the rapid increase in online photo sharing activities, image obfuscation algorithms become particularly important for protecting the sensitive information in the shared photos. However, existing image obfuscation methods based on hand-crafted principles are challenged by the dramatic development of deep learning techniques. To address this problem, we propose to maximize the distribution discrepancy between the original image domain and the encrypted image domain. Accordingly, we introduce a collaborative training scheme: a discriminator $D$ is trained to discriminate the reconstructed image from the encrypted image, and an encryption model $G_e$ is required to generate these two kinds of images to maximize the recognition rate of $D$, leading to the same training objective for both $D$ and $G_e$. We theoretically prove that such a training scheme maximizes two distributions' discrepancy. Compared with commonly-used image obfuscation methods, our model can produce satisfactory defense against the attack of deep recognition models indicated by significant accuracy decreases on FaceScrub, Casia-WebFace and LFW datasets.


title: Thermal Transport in MoS$_2$ from Molecular Dynamics using Different Empirical Potentials

abstract: Thermal properties of molybdenum disulfide (MoS$_2$) have recently attracted attention related to fundamentals of heat propagation in strongly anisotropic materials, and in the context of potential applications to optoelectronics and thermoelectrics. Multiple empirical potentials have been developed for classical molecular dynamics (MD) simulations of this material, but it has been unclear which provides the most realistic results. Here, we calculate lattice thermal conductivity of single- and multi-layer pristine MoS$_2$ by employing three different thermal transport MD methods: equilibrium, nonequilibrium, and homogeneous nonequilibrium ones. These methods allow us to verify the consistency of our results and also facilitate comparisons with previous works, where different schemes have been adopted. Our results using variants of the Stillinger-Weber potential are at odds with some previous ones and we analyze the possible origins of the discrepancies in detail. We show that, among the potentials considered here, the reactive empirical bond order (REBO) potential gives the most reasonable predictions of thermal transport properties as compared to experimental data. With the REBO potential, we further find that isotope scattering has only a small effect on thermal conduction in MoS$_2$ and the in-plane thermal conductivity decreases with increasing layer number and saturates beyond about three layers. We identify the REBO potential as a transferable empirical potential for MD simulations of MoS$_2$ which can be used to study thermal transport properties in more complicated situations such as in systems containing defects or engineered nanoscale features. This work establishes a firm foundation for understanding heat transport properties of MoS$_2$ using MD simulations.


title: Second Order Optimality Conditions for Optimal Control Problems of Stochastic Evolution Equations

abstract: In this paper, we establish some second order necessary/sufficient optimality conditions for optimal control problems of stochastic evolution equations in infinite dimensions. The control acts on both the drift and diffusion terms and the control region is convex. The concepts of relaxed and $V$-transposition solutions (introduced in our previous works) to operator-valued backward stochastic evolution equations are employed to derive these optimality conditions. The correction part of the second order adjoint equation, which does not appear in the (first order) Pontryagin-type stochastic maximum principle, plays a fundamental role in our second order optimality conditions.


title: Well-posedness of Stochastic Riccati Equations and Closed-Loop Solvability for Stochastic Linear Quadratic Optimal Control Problems

abstract: We study the closed-loop solvability of a stochastic linear quadratic optimal control problem for systems governed by stochastic evolution equations. This solvability is established by means of solvability of the corresponding Riccati equation, which is implied by the uniform convexity of the quadratic cost functional. At last, conditions ensuring the uniform convexity of the cost functional are discussed.


title: Implementation of Robust Face Recognition System Using Live Video Feed Based on CNN

abstract: The way to accurately and effectively identify people has always been an interesting topic in research and industry. With the rapid development of artificial intelligence in recent years, facial recognition gains lots of attention due to prompting the development of emerging identification methods. Compared to traditional card recognition, fingerprint recognition and iris recognition, face recognition has many advantages including non-contact interface, high concurrency, and user-friendly usage. It has high potential to be used in government, public facilities, security, e-commerce, retailing, education and many other fields. With the development of deep learning and the introduction of deep convolutional neural networks, the accuracy and speed of face recognition have made great strides. However, the results from different networks and models are very different with different system architecture. Furthermore, it could take significant amount of data storage space and data processing time for the face recognition system with video feed, if the system stores images and features of human faces. In this paper, facial features are extracted by merging and comparing multiple models, and then a deep neural network is constructed to train and construct the combined features. In this way, the advantages of multiple models can be combined to mention the recognition accuracy. After getting a model with high accuracy, we build a product model. The model will take a human face image and extract it into a vector. Then the distance between vectors are compared to determine if two faces on different picture belongs to the same person. The proposed approach reduces data storage space and data processing time for the face recognition system with video feed scientifically with our proposed system architecture.


title: Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets

abstract: Multiphase ranking functions (M$\Phi$RFs) are tuples $\langle f_1,\ldots,f_d \rangle$ of linear functions that are often used to prove termination of loops in which the computation progresses through a number of "phases". Our work provides new insights regarding such functions for loops described by a conjunction of linear constraints (Single-Path Constraint loops). The decision problem existence of a M$\Phi$RF asks to determine whether a given SLC loop admits a M$\Phi$RF, and the corresponding bounded decision problem restricts the search to M$\Phi$RFs of depth $d$, where the parameter $d$ is part of the input. The algorithmic and complexity aspects of the bounded problem have been completely settled in a recent work. In this paper we make progress regarding the existence problem, without a given depth bound. In particular, we present an approach that reveals some important insights into the structure of these functions. Interestingly, it relates the problem of seeking M$\Phi$RFs to that of seeking recurrent sets (used to prove non-termination). It also helps in identifying classes of loops for which M$\Phi$RFs are sufficient. Our research has led to a new representation for single-path loops, the difference polyhedron replacing the customary transition polyhedron. This representation yields new insights on M$\Phi$RFs and SLC loops in general. For example, a result on bounded SLC loops becomes straightforward.


title: Noise in gene expression may be a choice of cellular system

abstract: Gene expression and its regulation is a nonequilibrium stochastic process. Different molecules are involved in several biochemical steps in this process with low copies. It is observed that the stochasticity in biochemical processes is mainly due to the low copy number of the molecules present in the system. Several studies also show that the nonequilibrium biochemical processes require energy cost. But cellular system has developed itself through natural evolution by minimizing energy cost for optimum output. Here we study the role of stochasticity qualitatively in a network of two genes using stochastic simulation method and approximately measure the energy consumption for the gene expression process. We find that the noise in gene expression process reduces the energy cost of protein synthesis. Therefore, we argued that the stochasticity in gene expression may be a choice of cellular system for protein synthesis with minimum energy cost.


title: Transform-Based Multilinear Dynamical System for Tensor Time Series Analysis

abstract: We propose a novel multilinear dynamical system (MLDS) in a transform domain, named $\mathcal{L}$-MLDS, to model tensor time series. With transformations applied to a tensor data, the latent multidimensional correlations among the frontal slices are built, and thus resulting in the computational independence in the transform domain. This allows the exact separability of the multi-dimensional problem into multiple smaller LDS problems. To estimate the system parameters, we utilize the expectation-maximization (EM) algorithm to determine the parameters of each LDS. Further, $\mathcal{L}$-MLDSs significantly reduce the model parameters and allows parallel processing. Our general $\mathcal{L}$-MLDS model is implemented based on different transforms: discrete Fourier transform, discrete cosine transform and discrete wavelet transform. Due to the nonlinearity of these transformations, $\mathcal{L}$-MLDS is able to capture the nonlinear correlations within the data unlike the MLDS \cite{rogers2013multilinear} which assumes multi-way linear correlations. Using four real datasets, the proposed $\mathcal{L}$-MLDS is shown to achieve much higher prediction accuracy than the state-of-the-art MLDS and LDS with an equal number of parameters under different noise models. In particular, the relative errors are reduced by $50\% \sim 99\%$. Simultaneously, $\mathcal{L}$-MLDS achieves an exponential improvement in the model's training time than MLDS.


title: Spiral magnetic ordering of the Eu moments in EuNi$_{2}$As$_{2}$

abstract: The ground-state magnetic structure of EuNi$_{2}$As$_{2}$ was investigated by single-crystal neutron diffraction. At base temperature, the Eu$^{2+}$ moments are found to form an incommensurate antiferromagnetic spiral-like structure with a magnetic propagation vector of $\mathit{k}$ = (0, 0, 0.92). They align ferromagnetically in the $\mathit{ab}$ plane with the moment size of 6.75(6) $\mu_{B}$, but rotate spirally by 165.6(1){\deg} around the $\mathit{c}$ axis from layer to layer. The magnetic order parameter in the critical region close to the ordering temperature, $\mathit{T_{N}}$ = 15 K, shows critical behavior with a critical exponent of $\beta_{Eu}$ = 0.34(1), consistent with the three-dimensional Heisenberg model. Moreover, within the experimental uncertainty, our neutron data is consistent with a model in which the Ni sublattice is not magnetically ordered.


title: Transfer Learning with Deep CNNs for Gender Recognition and Age Estimation

abstract: In this project, competition-winning deep neural networks with pretrained weights are used for image-based gender recognition and age estimation. Transfer learning is explored using both VGG19 and VGGFace pretrained models by testing the effects of changes in various design schemes and training parameters in order to improve prediction accuracy. Training techniques such as input standardization, data augmentation, and label distribution age encoding are compared. Finally, a hierarchy of deep CNNs is tested that first classifies subjects by gender, and then uses separate male and female age models to predict age. A gender recognition accuracy of 98.7% and an MAE of 4.1 years is achieved. This paper shows that, with proper training techniques, good results can be obtained by retasking existing convolutional filters towards a new purpose.


title: Optimization on the symplectic group

abstract: We regard the real symplectic group $Sp(2n,\mathbb{R})$ as a constraint submanifold of the $2n\times 2n$ real matrices $\mathcal{M}_{2n}(\mathbb{R})$ endowed with the Euclidean (Frobenius) metric, respectively as a submanifold of the general linear group $Gl(2n,\mathbb{R})$ endowed with the (left) invariant metric. For a cost function that defines an optimization problem on the real symplectic group we give a necessary and sufficient condition for critical points and we apply this condition to the particular case of a least square cost function. In order to characterize the critical points we give a formula for the Hessian of a cost function defined on the real symplectic group, with respect to both considered metrics. For a generalized Brockett cost function we present a necessary condition and a sufficient condition for local minimum. We construct a retraction map that allows us to detail the steepest descent and embedded Newton algorithms for solving an optimization problem on the real symplectic group.


title: Propagation of Cyclonic Vortices and Intense Rainfall over Indian Peninsula: Case Studies from Northeast Monsoon Season

abstract: Four case studies of cyclonic vortices over the Indian peninsular region during northeast monsoon season are presented. It was observed that the propagation of vortices over the peninsular orography was controlled by the vortex Froude number, Frv = Vmax/(NH), where, Vmax is the maximum tangential velocity of winds in the vortex, H is the height of the orography, and N is the Brunt-Vaisala frequency of atmosphere along the orography. Strong vortices with Frv > 1 overcame the orographic barrier and crossed the peninsula. While, those with Frv < 1 were blocked by the orography. The blocked vortices remained stationary along the east coast for two to three days. In these cases, clouds formed continuously along the coast for three consecutive days. Therefore, there was intense rainfall over the coast and little rainfall over orography during this time. In unblocked vortices, the rainfall intensity showed a systematic shift from coastal to the higher orographic region within a day or two. However, significant weakening of the vortices, as well as convection, was seen as the vortex arrived over the higher plateau. These case studies will be helpful for forecasting heavy rainfall events over the Indian peninsula during northeast monsoon season.


title: Holographic complexity in charged Vaidya black hole

abstract: In this paper, we use the "complexity equals action" (CA) conjecture to discuss growth rate of the complexity in a charged AdS-Vaidya black hole formed by collapsing an uncharged spherically symmetric thin shell of null fluid. Using the approach proposed by Lehner $et\, al.$, we evaluate the action growth rate and the slope of the complexity of formation. Then, we demonstrate that the behaviors of them are in agreement with the switchback effect for the light shock wave case. Moreover, we show that to obtain an expected property of the complexity, it is also necessary for the CA conjecture to add the particular counterterm on the null boundaries.


title: An introduction to knot Floer homology and curved bordered algebras

abstract: We survey Ozsv\'ath-Szab\'o's bordered approach to knot Floer homology. After a quick introduction to knot Floer homology, we introduce the relevant algebraic concepts ($\mathcal{A}_\infty$-modules, type $D$-structures, box tensor, etc.), we discuss partial Kauffman states, the construction of the boundary algebra, and sketch Ozsv\'ath and Szab\'o's analytic construction of the type $D$-structure associated to an upper diagram. Finally we give an explicit description of the structure maps of the $DA$-bimodules of some elementary partial diagrams. These can be used to perform explicit computations of the knot Floer differential of any knot in $S^3$. The boundary DGAs $\mathcal{B}(n,k)$ and $\mathcal{A}(n,k)$ of [7] are replaced here by an associative algebra $\mathcal{C}(n)$. These are the notes of two lecture series delivered by Peter Ozsv\'ath and Zolt\'an Szab\'o at Princeton University during the summer of 2018.


title: Ising-PageRank model of opinion formation on social networks

abstract: We propose a new Ising-PageRank model of opinion formation on a social network by introducing an Ising- or spin-like structure of the corresponding Google matrix. Each elector or node of the network has two components corresponding to a red or blue opinion in the society. Also each elector propagates either the red or the blue opinion on the network so that the links between electors are described by two by two matrices favoring one or the other of the two opinions. An elector votes for red or blue depending on the dominance of its red or blue PageRank vector components. We determine the dependence of the final society vote on the fraction of nodes with red (or blue) influence allowing to determine the transition for the election outcome border between the red or blue option. We show that this transition border is significantly affected by the opinion of society elite electors composed of the top PageRank, CheiRank or 2DRank nodes of the network even if the elite fraction is very small. The analytical and numerical studies are preformed for the networks of English Wikipedia 2017 and Oxford University 2006.


abstract: Model-free reinforcement learning methods such as the Proximal Policy Optimization algorithm (PPO) have successfully applied in complex decision-making problems such as Atari games. However, these methods suffer from high variances and high sample complexity. On the other hand, model-based reinforcement learning methods that learn the transition dynamics are more sample efficient, but they often suffer from the bias of the transition estimation. How to make use of both model-based and model-free learning is a central problem in reinforcement learning. In this paper, we present a new technique to address the trade-off between exploration and exploitation, which regards the difference between model-free and model-based estimations as a measure of exploration value. We apply this new technique to the PPO algorithm and arrive at a new policy optimization method, named Policy Optimization with Model-based Explorations (POME). POME uses two components to predict the actions' target values: a model-free one estimated by Monte-Carlo sampling and a model-based one which learns a transition model and predicts the value of the next state. POME adds the error of these two target estimations as the additional exploration value for each state-action pair, i.e, encourages the algorithm to explore the states with larger target errors which are hard to estimate. We compare POME with PPO on Atari 2600 games, and it shows that POME outperforms PPO on 33 games out of 49 games.


title: Neural Multi-Task Learning for Citation Function and Provenance

abstract: Citation function and provenance are two cornerstone tasks in citation analysis. Given a citation, the former task determines its rhetorical role, while the latter locates the text in the cited paper that contains the relevant cited information. We hypothesize that these two tasks are synergistically related, and build a model that validates this claim. For both tasks, we show that a single-layer convolutional neural network (CNN) outperforms existing state-of-the-art baselines. More importantly, we show that the two tasks are indeed synergistic: by jointly training both of the tasks in a multi-task learning setup, we demonstrate additional performance gains. Altogether, our models improve the current state-of-the-arts up to 2\%, with statistical significance for both citation function and provenance prediction tasks.


title: Estimating kinetic temperature from H I 21 cm absorption studies: correction for the turbulence broadening

abstract: Neutral hydrogen 21 cm transition is a useful tracer of the neutral interstellar medium. However, inferring physical condition from the observed 21 cm absorption and/or emission spectra is often not straightforward. One complication in estimating the temperature of the atomic gas is that the line width may have significant contribution from non-thermal broadening. We propose a formalism here to separate the thermal and non-thermal broadening using a self-consistent model of turbulence broadening of the HI 21 cm absorption components. Applying this novel method, we have estimated the spin and the kinetic temperature of diffuse Galactic neutral hydrogen, and found that a large fraction of gas has temperature in the unstable range. The turbulence is found to be subsonic or transonic in nature, and the clouds seem to have a bimodal size distribution. Assuming that the turbulence is magnetohydrodynamic in nature, the estimated magnetic field strength is of {\mu}G order, and is found to be uncorrelated with the HI number density.


title: Primitivity of the group of a cipher involving the action of the key-schedule

abstract: The algebraic structure of the group generated by the encryption functions of a block cipher depends on the key schedule algorithm used for generating the round keys. For such a reason, in general, studying this group does not appear to be an easy task. Previous works, focusing on the algebraic properties of groups associated to a cipher, have studied the group generated by the round functions of the cipher considering independent round keys. In this paper, we want to study the more realistic group generated by the encryption functions, where the key schedule satisfies certain requirements. In this contest, we are able to identify sufficient conditions that permit to guarantee the primitivity of this group and the security of the cipher with respect to the partition-based trapdoor. This type of trapdoor has been recently introduced by Bannier et al. (2016) and it is a generalization of that introduced by Paterson in 1999.


title: Recent results of the DANSS experiment

abstract: DANSS is a one cubic meter highly segmented plastic scintillator detector. Its 2500 one meter long scintillator strips have a Gd-loaded reflective cover. The DANSS detector is placed under an industrial 3.1GW reactor of the Kalinin Nuclear Power plant 350km NW from Moscow. The distance to the core ia varied on-line from 10.7m to 12.7m. Recent results on searches for a sterile neutrino are presented as well as measurements of the antineutrino spectrum dependence on the fuel composition. All results are preliminary. PACS: 14.60.Pq, 14.60.St


title: The $C_2$-equivariant cohomology of complex projective spaces

abstract: We compute the equivariant cohomology of complex projective spaces associated to finite-dimensional representations of $C_2$, using ordinary cohomology graded on representations of the fundamental groupoid, with coefficients in the Burnside ring Mackey functor. This extension of the $RO(C_2)$-graded theory allows for the definition of Euler classes, which are used as generators of the cohomology of the projective spaces. As an application, we give an equivariant version of Bezout's theorem.