title: Resolution-Adaptive Hybrid MIMO Architectures for Millimeter Wave Communications

abstract: In this paper, we propose a hybrid analog-digital beamforming architecture with resolution-adaptive ADCs for millimeter wave (mmWave) receivers with large antenna arrays. We adopt array response vectors for the analog combiners and derive ADC bit-allocation (BA) solutions in closed form. The BA solutions reveal that the optimal number of ADC bits is logarithmically proportional to the RF chain's signal-to-noise ratio raised to the 1/3 power. Using the solutions, two proposed BA algorithms minimize the mean square quantization error of received analog signals under a total ADC power constraint. Contributions of this paper include 1) ADC bit-allocation algorithms to improve communication performance of a hybrid MIMO receiver, 2) approximation of the capacity with the BA algorithm as a function of channels, and 3) a worst-case analysis of the ergodic rate of the proposed MIMO receiver that quantifies system tradeoffs and serves as the lower bound. Simulation results demonstrate that the BA algorithms outperform a fixed-ADC approach in both spectral and energy efficiency, and validate the capacity and ergodic rate formula. For a power constraint equivalent to that of fixed 4-bit ADCs, the revised BA algorithm makes the quantization error negligible while achieving 22% better energy efficiency. Having negligible quantization error allows existing state-of-the-art digital beamformers to be readily applied to the proposed system.


title: Semantic Identification of Web Browsing Sessions

abstract: We introduce a semantic identification attack, in which an adversary uses semantic signals about the pages visited in one browsing session to identify other browsing sessions launched by the same user. Current user fingerprinting methods fail when a single machine is used by multiple users (e.g., in cybercafes or spaces with public computers) as these methods fingerprint devices, not individuals. We demonstrate how an adversary can employ a SIA to successfully fingerprint users on public or shared machines and identify them across browsing sessions. We additionally describe and evaluate possible countermeasures to prevent identification.


title: Enhanced spectral profile in the study of Doppler-broadened Rydberg atoms

abstract: Combination of the electromagnetically-induced-transparency (EIT) effect and Rydberg-state atoms has attracted great attention recently due to its potential application in the photon-photon interaction or qubit operation. In this work, we studied the Rydberg-EIT spectra with room-temperature $^{87}$Rb atoms. Spectroscopic data under various experimental parameters all showed that the contrast of EIT transparency as a function of the probe intensity is initially enhanced, reaches a maximum value and then decays gradually. The contrast of spectral profile at the optimum probe field intensity is enhanced by $2-4$ times as compared with that at weak intensity. Moreover, the signal-to-noise ratio of the spectrum can potentially be improved by 1 or 2 order of magnitude. We provided a theoretical model to explain this behavior and clarified its underlying mechanism. Our work overcomes the obstacle of weak signal in the Rydberg-EIT spectrum caused by an apparent relaxation rate of the Rydberg polariton and weak coupling transition strength, and provides the useful knowledge for the Rydberg-EIT study.


title: Restoration of Atmospheric Turbulence-distorted Images via RPCA and Quasiconformal Maps

abstract: We address the problem of restoring a high-quality image from an observed image sequence strongly distorted by atmospheric turbulence. A novel algorithm is proposed in this paper to reduce geometric distortion as well as space-and-time-varying blur due to strong turbulence. By considering a suitable energy functional, our algorithm first obtains a sharp reference image and a subsampled image sequence containing sharp and mildly distorted image frames with respect to the reference image. The subsampled image sequence is then stabilized by applying the Robust Principal Component Analysis (RPCA) on the deformation fields between image frames and warping the image frames by a quasiconformal map associated with the low-rank part of the deformation matrix. After image frames are registered to the reference image, the low-rank part of them are deblurred via a blind deconvolution, and the deblurred frames are then fused with the enhanced sparse part. Experiments have been carried out on both synthetic and real turbulence-distorted video. Results demonstrate that our method is effective in alleviating distortions and blur, restoring image details and enhancing visual quality.


title: Federated Tensor Factorization for Computational Phenotyping

abstract: Tensor factorization models offer an effective approach to convert massive electronic health records into meaningful clinical concepts (phenotypes) for data analysis. These models need a large amount of diverse samples to avoid population bias. An open challenge is how to derive phenotypes jointly across multiple hospitals, in which direct patient-level data sharing is not possible (e.g., due to institutional policies). In this paper, we developed a novel solution to enable federated tensor factorization for computational phenotyping without sharing patient-level data. We developed secure data harmonization and federated computation procedures based on alternating direction method of multipliers (ADMM). Using this method, the multiple hospitals iteratively update tensors and transfer secure summarized information to a central server, and the server aggregates the information to generate phenotypes. We demonstrated with real medical datasets that our method resembles the centralized training model (based on combined datasets) in terms of accuracy and phenotypes discovery while respecting privacy.


title: A few explicit examples of complex dynamics of inertia groups on surfaces - a question of Professor Igor Dolgachev

abstract: We give a few explicit examples which answer an open minded question of Professor Igor Dolgachev on complex dynamics of the inertia group of a smooth rational curve on a projective K3 surface and its variants for a rational surface and a non-projective K3 surface.


title: Testing physical models for dipolar asymmetry with CMB polarization

abstract: The cosmic microwave background (CMB) temperature anisotropies exhibit a large-scale dipolar power asymmetry. To determine whether this is due to a real, physical modulation or is simply a large statistical fluctuation requires the measurement of new modes. Here we forecast how well CMB polarization data from \Planck\ and future experiments will be able to confirm or constrain physical models for modulation. Fitting several such models to the \Planck\ temperature data allows us to provide predictions for polarization asymmetry. While for some models and parameters \Planck\ polarization will decrease error bars on the modulation amplitude by only a small percentage, we show, importantly, that cosmic-variance-limited (and in some cases even \Planck) polarization data can decrease the errors by considerably better than the expectation of $\sqrt 2$ based on simple $\ell$-space arguments. We project that if the primordial fluctuations are truly modulated (with parameters as indicated by \Planck\ temperature data) then \Planck\ will be able to make a 2$\sigma$ detection of the modulation model with 20--75\% probability, increasing to 45--99\% when cosmic-variance-limited polarization is considered. We stress that these results are quite model dependent. Cosmic variance in temperature is important: combining statistically isotropic polarization with temperature data will spuriously increase the significance of the temperature signal with 30\% probability for \Planck.


title: Parametric Gaussian Process Regression for Big Data

abstract: This work introduces the concept of parametric Gaussian processes (PGPs), which is built upon the seemingly self-contradictory idea of making Gaussian processes parametric. Parametric Gaussian processes, by construction, are designed to operate in "big data" regimes where one is interested in quantifying the uncertainty associated with noisy data. The proposed methodology circumvents the well-established need for stochastic variational inference, a scalable algorithm for approximating posterior distributions. The effectiveness of the proposed approach is demonstrated using an illustrative example with simulated data and a benchmark dataset in the airline industry with approximately 6 million records.


title: Real eigenvalues of a non-self-adjoint perturbation of the self-adjoint Zakharov-Shabat operator

abstract: We study the eigenvalues of the self-adjoint Zakharov-Shabat operator corresponding to the defocusing nonlinear Schrodinger equation in the inverse scattering method. Real eigenvalues exist when the square of the potential has a simple well. We derive two types of quantization condition for the eigenvalues by using the exact WKB method, and show that the eigenvalues stay real for a sufficiently small non-self-adjoint perturbation when the potential has some PT-like symmetry.


title: Resolved stellar streams around NGC4631 from a Subaru/Hyper Suprime-Cam survey

abstract: We present the first results of the Subaru/Hyper Suprime-Cam (HSC) survey of the interacting galaxy system, NGC4631 and NGC4656. From the maps of resolved stellar populations, we identify 11 dwarf galaxies (including already-known dwarfs) in the outer region of NGC4631 and the two tidal stellar streams around NGC4631, named Stream SE and Stream NW, respectively. This paper describes the fundamental properties of these tidal streams. Based on the tip of red giant branch method and the Bayesian statistics, we find that StreamSE (7.10 Mpc in Expected a posteriori, EAP, with the 90% credible intervals of [6.22, 7.29] Mpc) and StreamNW (7.91 Mpc in EAP with the 90% credible intervals of [6.44, 7.97] Mpc) are located in front of and behind NGC4631, respectively. We also calculate the metallicity distribution of stellar streams by comparing the member stars with theoretical isochrones on the color-magnitude diagram. We find that both streams have the same stellar population based on the Bayesian model selection method, suggesting that they originated from a tidal interaction between NGC4631 and a single dwarf satellite. The expected progenitor has a positively skewed metallicity distribution function with [M/H]_EAP=-0.92 with the 90% credible intervals of [-1.46, -0.51]. The stellar mass of the progenitor is estimated as 3.7 x 10e+8 Msun with the 90% credible intervals of [5.8 x 10e+6, 8.6 x 10e+9] Msun based on the mass-metallicity relation for Local group dwarf galaxies. This is in good agreement with an initial stellar mass of the progenitor presumed in the previous N-body simulation.


title: Parameterization of Stillinger-Weber Potential for Two-Dimensional Atomic Crystals

abstract: We parametrize the Stillinger-Weber potential for 156 two-dimensional atomic crystals. Parameters for the Stillinger-Weber potential are obtained from the valence force field model following the analytic approach (Nanotechnology 26, 315706 (2015)), in which the valence force constants are determined by the phonon spectrum. The Stillinger-Weber potential is an efficient nonlinear interaction, and is applicable for numerical simulations of nonlinear physical or mechanical processes. The supplemental resources for all simulations in the present work are available online in Ref. 1, including a fortran code to generate crystals' structures, files for molecular dynamics simulations using LAMMPS, files for phonon calculations with the Stillinger-Weber potential using GULP, and files for phonon calculations with the valence force field model using GULP.


title: Packing tree degree sequences

abstract: We consider packing tree degree sequences in this paper. We set up a conjecture that any arbitrary number of tree degree sequences without common leaves have edge disjoint tree realizations. This conjecture is known to be true for $2$ and $3$ tree degree sequences. In this paper, we give a proof for $4$ tree degree sequences and a computer aided proof for $5$ tree degree sequences. We also prove that for arbitrary $k$, $k$ tree degree sequences without common leaves and at least $2k-4$ vertices which are not leaves in any of the trees always have edge disjoint tree realizations. The main ingredient in all of the presented proofs is to find rainbow matchings in certain configurations.


title: Minimum polyhedron with $n$ vertices

abstract: We study a polyhedron with $n$ vertices of fixed volume having minimum surface area. Completing the proof of Fejes Toth, we show that all faces of a minimum polyhedron are triangles, and further prove that a minimum polyhedron does not allow deformation of a single vertex. We also present possible minimum shapes for $n\le 12$, some of them are quite unexpected, in particular $n=8$.


title: Stochastic Spike Synchronization in A Small-World Neural Network with Spike-Timing-Dependent Plasticity

abstract: We consider the Watts-Strogatz small-world network consisting of subthreshold neurons which exhibit noise-induced spikings. This neuronal network has adaptive dynamic synaptic strengths governed by the spike-timing-dependent plasticity (STDP). In previous works without STDP, stochastic spike synchronization (SSS) between noise-induced spikings of subthreshold neurons was found to occur in a range of intermediate noise intensities through competition between the constructive and the destructive roles of noise. Here, we investigate the effect of additive STDP on the SSS by varying the noise intensity. Occurrence of a "Matthew" effect in synaptic plasticity is found due to a positive feedback process. As a result, good synchronization gets better via long-term potentiation (LTP) of synaptic strengths, while bad synchronization gets worse via long-term depression (LTD). Emergence of LTP and LTD of synaptic strengths are intensively investigated via microscopic studies based on the pair-correlations between the pre- and the post-synaptic IISRs (instantaneous individual spike rates) as well as the distributions of time delays between the pre- and the post-synaptic spike times. Furthermore, the effects of multiplicative STDP (which depends on the states) on the SSS are also studied and discussed in comparison with the case of additive STDP.


title: Unified Gas-kinetic Scheme with Multigrid Convergence for Rarefied Flow Study

abstract: The unified gas kinetic scheme (UGKS) is a direct modeling method based on the gas dynamical model on the mesh size and time step scales. With the implementation of particle transport and collision in a time-dependent flux function, the UGKS can recover multiple flow physics from the kinetic particle transport to the hydrodynamic wave propagation. In comparison with direct simulation Monte Carlo (DSMC), the equations-based UGKS can use the implicit techniques in the updates of macroscopic conservative variables and microscopic distribution function. The implicit UGKS significantly increases the convergence speed for steady flow computations, especially in the highly rarefied and near continuum regime. In order to further improve the computational efficiency, for the first time a geometric multigrid technique is introduced into the implicit UGKS, where the prediction step for the equilibrium state and the evolution step for the distribution function are both treated with multigrid acceleration. The multigrid implicit UGKS (MIUGKS) is used in the non-equilibrium flow study, which includes microflow, such as lid-driven cavity flow and the flow passing through a finite-length flat plate, and high speed one, such as supersonic flow over a square cylinder. The MIUGKS shows 5 to 9 times efficiency increase over the previous implicit scheme. For the low speed microflow, the efficiency of MIUGKS is several orders of magnitude higher than the DSMC. Even for the hypersonic flow at Mach number 5 and Knudsen number 0.1, the MIUGKS is still more than 100 times faster than the DSMC method for a convergent steady state solution.


title: Deep Multimodal Representation Learning from Temporal Data

abstract: In recent years, Deep Learning has been successfully applied to multimodal learning problems, with the aim of learning useful joint representations in data fusion applications. When the available modalities consist of time series data such as video, audio and sensor signals, it becomes imperative to consider their temporal structure during the fusion process. In this paper, we propose the Correlational Recurrent Neural Network (CorrRNN), a novel temporal fusion model for fusing multiple input modalities that are inherently temporal in nature. Key features of our proposed model include: (i) simultaneous learning of the joint representation and temporal dependencies between modalities, (ii) use of multiple loss terms in the objective function, including a maximum correlation loss term to enhance learning of cross-modal information, and (iii) the use of an attention model to dynamically adjust the contribution of different input modalities to the joint representation. We validate our model via experimentation on two different tasks: video- and sensor-based activity classification, and audio-visual speech recognition. We empirically analyze the contributions of different components of the proposed CorrRNN model, and demonstrate its robustness, effectiveness and state-of-the-art performance on multiple datasets.


title: Synergetic effect of spin-orbit coupling and Zeeman splitting on the optical conductivity in the one-dimensional Hubbard model

abstract: We study how the synergetic effect of spin-orbit coupling (SOC) and Zeeman splitting (ZS) affects the optical conductivity in the one-dimensional Hubbard model using the Kubo formula. We focus on two phenomena: (1) the electric dipole spin resonance (EDSR) in the metallic regime and (2) the optical conductivity in the Mott-insulating phase above the optical gap. In both cases, we calculate qualitatively the effects of SOC and ZS and how they depend on the relative angle between the SOC vector and the magnetic field direction. First, we investigate the spin resonance without electron correlation (the Hubbard parameter $U=0$). Although, neither SOC nor ZS causes any resonance by itself in the optical conductivity, the EDSR becomes possible when both of them exist. The resulting contribution to the optical conductivity is analyzed analytically. The effect of $U$ on the spin resonance is also studied with a numerical method. It is found that at half-filling, the resonance is first enhanced for small $U$ and then suppressed when the optical gap is large enough. In the strong coupling limit $U \rightarrow \infty$ at half-filling, we also refer to the resonance between the lower and upper Hubbard bands appearing at $\omega \sim U$, above the optical gap. A large magnetic field tends to suppress the signal while it is recovered thanks to SOC depending on the relative angle of the magnetic field.


title: Tuning Interfacial Ferromagnetism in LaNiO$_3$/CaMnO$_3$ Superlattices by Stabilizing Non-Equilibrium Crystal Symmetry

abstract: Perovskite oxide heterostructures offer an important path forward for stabilizing and controlling low-dimensional magnetism. One of the guiding design principles for these materials systems is octahedral connectivity. In superlattices composed of perovskites with different crystal symmetries, variation of the relative ratio of the constituent layers as well as the individual layer thicknesses gives rise to non-equilibrium crystal symmetries that, in turn, lead to unprecedented control of interfacial ferromagnetism. We have found that in superlattices of CaMnO$_3$ (CMO) and LaNiO$_3$ (LNO), interfacial ferromagnetism can be modulated by a factor of three depending on LNO and CMO layer thicknesses as well as their relative ratio. Such an effect is only possible due to the non-equilibrium crystal symmetries at the interfaces and can be understood in terms of the anisotropy of the exchange interactions and modifications in the interfacial Ni-O-Mn and Mn-O-Mn bond angles and lengths with increasing LNO layer thickness. These results demonstrate the potential of engineering non-equilibrium crystal symmetries in designing ferromagnetism.


title: EAST: An Efficient and Accurate Scene Text Detector

abstract: Previous approaches for scene text detection have already achieved promising performances across various benchmarks. However, they usually fall short when dealing with challenging scenarios, even when equipped with deep neural network models, because the overall performance is determined by the interplay of multiple stages and components in the pipelines. In this work, we propose a simple yet powerful pipeline that yields fast and accurate text detection in natural scenes. The pipeline directly predicts words or text lines of arbitrary orientations and quadrilateral shapes in full images, eliminating unnecessary intermediate steps (e.g., candidate aggregation and word partitioning), with a single neural network. The simplicity of our pipeline allows concentrating efforts on designing loss functions and neural network architecture. Experiments on standard datasets including ICDAR 2015, COCO-Text and MSRA-TD500 demonstrate that the proposed algorithm significantly outperforms state-of-the-art methods in terms of both accuracy and efficiency. On the ICDAR 2015 dataset, the proposed algorithm achieves an F-score of 0.7820 at 13.2fps at 720p resolution.


title: Structural Properties of Finite and Infinite Nuclear Systems and Related Phenomena

abstract: In the present thesis, we have carried a thorough investigation of nuclear structure properties. We start our investigation from the study of the magic property of nucleus in the super -heavy region. We know the magic combination of proton and neutron in the light and medium heavy region. But in the super-heavy region, it is still unclear. We applied SEI (simple effective interaction ) and RMF (relativistic mean field ) formalism with a different parameter sets to predict the magic combinations and it turned out Z=114, 120, 126 with N=184. We have also studied theisoscalar giant monopole resonance energy of nucleus of Z=114, 120,126, with scaling and constrained method using RETF formalism. Isoscalar giant monopole resonance (ISGMR) is also known as the breathing mode. We have a developed a new constrained type calculation for the ISGMR and IVGDR. Effects of delta meson on the neutron system also discuses extensively.


title: The DRESDYN project: planned experiments and present status

abstract: The Dresden sodium facility for dynamo and thermohydraulic studies (DRESDYN) is a platform for large-scale liquid sodium experiments devoted to fundamental geo- and astrophysical questions as well as to various applied problems related to the conversion and storage of energy. Its most ambitious part is a precession driven dynamo experiment comprising 8 tons of liquid sodium supposed to rotate with up to 10 Hz and to precess with up to 1 Hz. Another large-scale set-up is a Tayler-Couette experiment with a gap width of 0.2 m and a height of 2 m, whose inner cylinder rotates with up to 20 Hz. Equipped with a coil system for the generation of an axial field of up to 120 mT and two different axial currents through the center and the liquid sodium, this experiment aims at studying various versions of the magnetorotational instability and their combinations with the Tayler instability. We discuss the physical background of these two experiments and delineate the present status of their technical realization. Other installations, such as a sodium loop and a test stand for In-Service-Inspection experiments will also be sketched.


title: Exponential stability of modified truncated EM method for stochastic differential equations

abstract: Exponential stability of modified truncated Euler-Maruyama method for stochastic differential equations are investigated in this paper. Sufficient conditions for the $p$-th moment and almost sure exponential stability of the given numerical method are presented. An example is provided to support our conclusions.


title: Elliptic hypergeometric sum/integral transformations and supersymmetric lens index

abstract: We prove a pair of transformation formulas for multivariate elliptic hypergeometric sum/integrals associated to the $A_n$ and $BC_n$ root systems, generalising the formulas previously obtained by Rains. The sum/integrals are expressed in terms of the lens elliptic gamma function, a generalisation of the elliptic gamma function that depends on an additional integer variable, as well as a complex variable and two elliptic nomes. As an application of our results, we prove an equality between $S^1\times S^3/\mathbb{Z}_r$ supersymmetric indices, for a pair of four-dimensional $\mathcal{N}=1$ supersymmetric gauge theories related by Seiberg duality, with gauge groups $SU(n+1)$ and $Sp(2n)$. This provides one of the most elaborate checks of the Seiberg duality known to date. As another application of the $A_n$ integral, we prove a star-star relation for a two-dimensional integrable lattice model of statistical mechanics, previously given by the second author.


title: Lean and Full Congruence Formats for Recursion

abstract: In this paper I distinguish two (pre)congruence requirements for semantic equivalences and preorders on processes given as closed terms in a system description language with a recursion construct. A lean congruence preserves equivalence when replacing closed subexpressions of a process by equivalent alternatives. A full congruence moreover allows replacement within a recursive specification of subexpressions that may contain recursion variables bound outside of these subexpressions. I establish that bisimilarity is a lean (pre)congruence for recursion for all languages with a structural operational semantics in the ntyft/ntyxt format. Additionally, it is a full congruence for the tyft/tyxt format.


title: Searching for fractal structures in the Universal Steenrod Algebra at odd primes

abstract: Unlike the p = 2 case, the universal Steenrod Algebra Q(p) at odd primes does not have a fractal structure that preserves the length of monomials. Nevertheless, when p is odd we detect inside Q(p) two different families of nested subalgebras each isomorphic (as length-graded algebras) to the respective starting element of the sequence


title: Show, Ask, Attend, and Answer: A Strong Baseline For Visual Question Answering

abstract: This paper presents a new baseline for visual question answering task. Given an image and a question in natural language, our model produces accurate answers according to the content of the image. Our model, while being architecturally simple and relatively small in terms of trainable parameters, sets a new state of the art on both unbalanced and balanced VQA benchmark. On VQA 1.0 open ended challenge, our model achieves 64.6% accuracy on the test-standard set without using additional data, an improvement of 0.4% over state of the art, and on newly released VQA 2.0, our model scores 59.7% on validation set outperforming best previously reported results by 0.5%. The results presented in this paper are especially interesting because very similar models have been tried before but significantly lower performance were reported. In light of the new results we hope to see more meaningful research on visual question answering in the future.


title: Role of polar compensation in interfacial ferromagnetism of LaNiO$_3$/CaMnO$_3$ superlattices

abstract: Polar compensation can play an important role in the determination of interfacial electronic and magnetic properties in oxide heterostructures. Using x-ray absorption spectroscopy, x-ray magnetic circular dichroism, bulk magnetometry, and transport measurements, we find that interfacial charge redistribution via polar compensation is essential for explaining the evolution of interfacial ferromagnetism in LaNiO$_3$/CaMnO$_3$ superlattices as a function of LaNiO$_3$ layer thickness. In insulating superlattices (4 unit cells or less of LaNiO$_3$), magnetism is dominated by Ni-Mn superexchange, while itinerant electron-based Mn-Mn double-exchange plays a role in thicker metallic superlattices. X-ray magnetic circular dichroism and resonant x-ray scattering show that Ni-Mn superexchange contributes to the magnetization even in metallic superlattices. This Ni-Mn superexchange interaction can be explained in terms of polar compensation at the LaNiO$_3$-CaMnO$_3$ interface. These results highlight the different mechanisms responsible for interfacial ferromagnetism and the importance of understanding compensation due to polar mismatch at oxide-based interfaces when engineering magnetic properties.


title: Prime ends and mappings on Riemann surfaces

abstract: It is proved criteria for continuous and homeomorphic extension to the boundary of mappings with finite distortion between domains on the Riemann surfaces by prime ends of Caratheodory.


title: struc2vec: Learning Node Representations from Structural Identity

abstract: Structural identity is a concept of symmetry in which network nodes are identified according to the network structure and their relationship to other nodes. Structural identity has been studied in theory and practice over the past decades, but only recently has it been addressed with representational learning techniques. This work presents struc2vec, a novel and flexible framework for learning latent representations for the structural identity of nodes. struc2vec uses a hierarchy to measure node similarity at different scales, and constructs a multilayer graph to encode structural similarities and generate structural context for nodes. Numerical experiments indicate that state-of-the-art techniques for learning node representations fail in capturing stronger notions of structural identity, while struc2vec exhibits much superior performance in this task, as it overcomes limitations of prior approaches. As a consequence, numerical experiments indicate that struc2vec improves performance on classification tasks that depend more on structural identity.


title: A Note on the Algebra of Operations for Hopf Cohomology at Odd Primes

abstract: Let $p$ be any prime, and let ${\mathcal B}(p)$ be the algebra of operations on the cohomology ring of any cocommutative $\mathbb{F}_p$-Hopf algebra. In this paper we show that when $p$ is odd (and unlike the $p=2$ case), ${\mathcal B}(p)$ cannot become an object in the Singer category of $\mathbb{F}_p$-algebras with coproducts, if we require that coproducts act on the generators of ${\mathcal B}(p)$ coherently with their nature of cohomology operations


title: Slicewise definability in first-order logic with bounded quantifier rank

abstract: For every $q\in \mathbb N$ let $\textrm{FO}_q$ denote the class of sentences of first-order logic FO of quantifier rank at most $q$. If a graph property can be defined in $\textrm{FO}_q$, then it can be decided in time $O(n^q)$. Thus, minimizing $q$ has favorable algorithmic consequences. Many graph properties amount to the existence of a certain set of vertices of size $k$. Usually this can only be expressed by a sentence of quantifier rank at least $k$. We use the color-coding method to demonstrate that some (hyper)graph problems can be defined in $\textrm{FO}_q$ where $q$ is independent of $k$. This property of a graph problem is equivalent to the question of whether the corresponding parameterized problem is in the class $\textrm{para-AC}^0$. It is crucial for our results that the FO-sentences have access to built-in addition and multiplication. It is known that then FO corresponds to the circuit complexity class uniform $\textrm{AC}^0$. We explore the connection between the quantifier rank of FO-sentences and the depth of $\textrm{AC}^0$-circuits, and prove that $\textrm{FO}_q \subsetneq \textrm{FO}_{q+1}$ for structures with built-in addition and multiplication.


title: FMMU: A Hardware-Automated Flash Map Management Unit for Scalable Performance of NAND Flash-Based SSDs

abstract: NAND flash-based Solid State Drives (SSDs), which are widely used from embedded systems to enterprise servers, are enhancing performance by exploiting the parallelism of NAND flash memories. To cope with the performance improvement of SSDs, storage systems have rapidly adopted the host interface for SSDs from Serial-ATA, which is used for existing hard disk drives, to high-speed PCI express. Since NAND flash memory does not allow in-place updates, it requires special software called Flash Translation Layer (FTL), and SSDs are equipped with embedded processors to run FTL. Existing SSDs increase the clock frequency of embedded processors or increase the number of embedded processors in order to prevent FTL from acting as bottleneck of SSD performance, but these approaches are not scalable. This paper proposes a hardware-automated Flash Map Management Unit, called FMMU, that handles the address translation process dominating the execution time of the FTL by hardware automation. FMMU provides methods for exploiting the parallelism of flash memory by processing outstanding requests in a non-blocking manner while reducing the number of flash operations. The experimental results show that the FMMU reduces the FTL execution time in the map cache hit case and the miss case by 44% and 37%, respectively, compared with the existing software-based approach operating in 4-core. FMMU also prevents FTL from acting as a performance bottleneck for up to 32-channel, 8-way SSD using PCIe 3.0 x32 host interface.


title: Later-stage Minimum Bayes-Risk Decoding for Neural Machine Translation

abstract: For extended periods of time, sequence generation models rely on beam search algorithm to generate output sequence. However, the correctness of beam search degrades when the a model is over-confident about a suboptimal prediction. In this paper, we propose to perform minimum Bayes-risk (MBR) decoding for some extra steps at a later stage. In order to speed up MBR decoding, we compute the Bayes risks on GPU in batch mode. In our experiments, we found that MBR reranking works with a large beam size. Later-stage MBR decoding is shown to outperform simple MBR reranking in machine translation tasks.


title: Model microswimmers in channels with varying cross section

abstract: We study different types of microswimmers moving in channels with varying cross section and thereby interacting hydrodynamically with the channel walls. Starting from the Smoluchowski equation for a dilute suspension, for which interactions among swimmers can be neglected, we derive analytic expressions for the lateral probability distribution between plane channel walls. For weakly corrugated channels we extend the Fick--Jacobs approach to microswimmers and thereby derive an effective equation for the probability distribution along the channel axis. Two regimes arise dominated either by entropic forces due to the geometrical confinement or by the active motion. In particular, our results show that the accumulation of microswimmers at channel walls is sensitive to both, the underlying swimming mechanism and the geometry of the channels. Finally, for asymmetric channel corrugation our model predicts a rectification of microswimmers along the channel, the strength and direction of which strongly depends on the swimmer type.


title: An efficient spectral-Galerkin approximation and error analysis for Maxwell transmission eigenvalue problems in spherical geometries

abstract: We propose and analyze an efficient spectral-Galerkin approximation for the Maxwell transmission eigenvalue problem in spherical geometry. Using a vector spherical harmonic expansion, we reduce the problem to a sequence of equivalent one-dimensional TE and TM modes that can be solved individually in parallel. For the TE mode, we derive associated generalized eigenvalue problems and corresponding pole conditions. Then we introduce weighted Sobolev spaces based on the pole condition and prove error estimates for the generalized eigenvalue problem. The TM mode is a coupled system with four unknown functions, which is challenging for numerical calculation. To handle it, we design an effective algorithm using Legendre-type vector basis functions. Finally, we provide some numerical experiments to validate our theoretical results and demonstrate the efficiency of the algorithms.


title: Numerical analysis of the lattice Boltzmann method for simulation of linear acoustic waves

abstract: We analyse a linear lattice Boltzmann (LB) formulation for simulation of linear acoustic wave propagation in heterogeneous media. We employ the single-relaxation-time Bhatnagar-Gross-Krook (BGK) as well as the general multi-relaxation-time (MRT) collision operators. By calculating the dispersion relation for various 2D lattices, we show that the D2Q5 lattice is the most suitable model for the linear acoustic problem. We also implement a grid-refinement algorithm for the LB scheme to simulate waves propagating in a heterogeneous medium with velocity contrasts. Our results show that the LB scheme performance is comparable to the classical second-order finite-difference schemes. Given its efficiency for parallel computation, the LB method can be a cost effective tool for the simulation of linear acoustic waves in complex geometries and multiphase media.


title: Mining Object Parts from CNNs via Active Question-Answering

abstract: Given a convolutional neural network (CNN) that is pre-trained for object classification, this paper proposes to use active question-answering to semanticize neural patterns in conv-layers of the CNN and mine part concepts. For each part concept, we mine neural patterns in the pre-trained CNN, which are related to the target part, and use these patterns to construct an And-Or graph (AOG) to represent a four-layer semantic hierarchy of the part. As an interpretable model, the AOG associates different CNN units with different explicit object parts. We use an active human-computer communication to incrementally grow such an AOG on the pre-trained CNN as follows. We allow the computer to actively identify objects, whose neural patterns cannot be explained by the current AOG. Then, the computer asks human about the unexplained objects, and uses the answers to automatically discover certain CNN patterns corresponding to the missing knowledge. We incrementally grow the AOG to encode new knowledge discovered during the active-learning process. In experiments, our method exhibits high learning efficiency. Our method uses about 1/6-1/3 of the part annotations for training, but achieves similar or better part-localization performance than fast-RCNN methods.


title: Quantum simulation of the integer factorization problem: Bell states in a Penning trap

abstract: The arithmetic problem of factoring an integer $N$ can be translated into the physics of a quantum device, a result that supports P\'olya's and Hilbert's conjecture to prove Riemann's hypothesis. The energies of this system, being univocally related to the factors of $N$, are the eigenvalues of a bounded Hamiltonian. Here we solve the quantum conditions and show that the histogram of the discrete energies, provided by the spectrum of the system, should be interpreted in number theory as the relative probability for a prime to be a factor candidate of $N$. This is equivalent to a quantum sieve that is demonstrated to require only $ o(\log \sqrt N)^3$ energy measurements to solve the problem, recovering Shor's complexity result. Hence, the outcome can be seen as a probability map that a pair of primes solve the given factorization problem. Furthermore, we show that a possible embodiment of this quantum simulator corresponds to two entangled particles in a Penning trap. The possibility to build the simulator experimentally is studied in detail. The results show that factoring numbers, many orders of magnitude larger than those computed with experimentally available quantum computers, is achievable using typical parameters in Penning traps.


title: Frequency Response and Resonance of Elastic Hele-Shaw Cells with Application to Mechanical Filters

abstract: We study steady-state oscillations of an elastic Hele-Shaw cell excited by traveling pressure waves over its upper surface. The fluid within the cell is bounded by two asymmetric elastic sheets which are connected to a rigid surface via distributed springs and modeled by the linearized plate theory. Modal analysis yields the frequency response of the configuration as a function of three parameters: the fluidic Womersley number and two ratios of elastic stress to viscous pressure for each of the sheets. These ratios, analogous to the Capillary number, combine the effects of fluid viscosity and the sheets inertia, bending and tension. The resonance frequencies of the configuration include the resonance frequency of the upper sheet, and the resonance frequency of both sheets with a constraint of constant gap. Near the resonance frequency of the upper sheet, the fluid pressure is identical in amplitude and phase to the external excitation. For configurations where both sheets are near resonance, small changes in frequency yield significant modification of the fluidic pressure. In addition, a new resonance frequency is observed, related to the interaction between motion of fluid parallel to the elastic sheets and relative elastic displacements of the sheets. The ratio of the amplitude of the fluidic pressure to the external pressure is presented vs. frequency for several characteristic solid and fluid properties, yielding a bandpass filter behaviour. For configurations with a rigid lower surface the pressure ratio is unity at the passband, while for two elastic sheets pressure amplification or reduction occurs near the resonance frequencies. The results presented here may allow to utilize elastic Hele-Shaw configurations as protective surfaces and mechanical filters.


title: On the Spectral Properties of Symmetric Functions

abstract: We characterize the approximate monomial complexity, sign monomial complexity , and the approximate L 1 norm of symmetric functions in terms of simple combinatorial measures of the functions. Our characterization of the approximate L 1 norm solves the main conjecture in [AFH12]. As an application of the characterization of the sign monomial complexity, we prove a conjecture in [ZS09] and provide a characterization for the unbounded-error communication complexity of symmetric-xor functions.


title: Time, Frequency & Time-Varying Causality Measures in Neuroscience

abstract: This article proposes a systematic methodological review and objective criticism of existing methods enabling the derivation of time-varying Granger-causality statistics in neuroscience. The increasing interest and the huge number of publications related to this topic calls for this systematic review which describes the very complex methodological aspects. The capacity to describe the causal links between signals recorded at different brain locations during a neuroscience experiment is of primary interest for neuroscientists, who often have very precise prior hypotheses about the relationships between recorded brain signals that arise at a specific time and in a specific frequency band. The ability to compute a time-varying frequency-specific causality statistic is therefore essential. Two steps are necessary to achieve this: the first consists of finding a statistic that can be interpreted and that directly answers the question of interest. The second concerns the model that underlies the causality statistic and that has this time-frequency specific causality interpretation. In this article, we will review Granger-causality statistics with their spectral and time-varying extensions.


title: Electron Transport and Thermoelectric Performance of Defected Monolayer MoS2

abstract: Electronic and thermoelectric properties of a two-dimensional MoS2 monolayer containing atomic defects are investigated using density functional theory. All the atomic defects have been found to exhibit endothermic nature. Electronic structure of MoS2 shows tuneability of band gap with the atomic defects. The MoS2 vacancy in pristine monolayer makes it magnetic and narrow band gap semiconductor. The spin-polarized character of the monolayer with defects is clearly captured by the tunneling current calculated in the STM-like setup. A relatively low thermal conductivity has been observed in monolayers with defects as compared to pristine form resulting in enhanced room temperature figure of merit as high as 6.24 and 1.30 respectively. We believe that our results open up a new window for the use of monolayer MoS2 in electronic devices, thermal management and thermoelectric devices.


title: Energetics of native point defects in GaN: a density-functional study

abstract: We study the formation energies of native point defects in GaN through density-functional theory. In our first-principles scheme, the band edges are positioned in accord with hybrid density functional calculations, thus yielding a band-gap in agreement with experiment. With respect to previous semilocal calculations, the calculated formation energies and charge transition levels are found to be significantly different in quantitative terms, while the overall qualitative trend remains similar. In Ga-rich conditions, the nitrogen vacancy corresponds to the most stable defect for all Fermi energies in the band gap, but its formation energy is too high to account for autodoping. Our calculations also indicate that the gallium vacancy does not play any compensating role in n-type GaN.


title: Scheme-theoretic Whitney conditions and applications to tangency of projective varieties

abstract: We investigate a scheme-theoretic variant of Whitney condition a. If X is a projec-tive variety over the field of complex numbers and Y $\subset$ X a subvariety, then X satisfies generically the scheme-theoretic Whitney condition a along Y provided that the pro-jective dual of X is smooth. We give applications to tangency of projective varieties over C and to convex real algebraic geometry. In particular, we prove a Bertini-type theorem for osculating plane of smooth complex space curves and a generalization of a Theorem of Ranestad and Sturmfels describing the algebraic boundary of an affine compact real variety.


title: Preconditioned dynamic mode decomposition and mode selection algorithms for large datasets using incremental proper orthogonal decomposition

abstract: This note proposes a simple and general framework of dynamic mode decomposition (DMD) and a mode selection for large datasets. The proposed framework explicitly introduces a preconditioning step using an incremental proper orthogonal decomposition to DMD and mode selection algorithms. By performing the preconditioning step, the DMD and the mode selection can be performed with low memory consumption and small computational complexity and can be applied to large datasets. In addition, a simple mode selection algorithm based on a greedy method is proposed. The proposed framework is applied to the analysis of a three-dimensional flows around a circular cylinder.


title: A catalogue sample of low mass galaxies observed in X-rays with central candidate black holes

abstract: We present a sample of $X$-ray selected candidate black holes in 51 low mass galaxies with $z\le 0.055$ {and mass up to $10^{10}$ M$_{\odot}$} obtained by cross-correlating the NASA-SLOAN Atlas with the 3XMM catalogue. {We have also searched in the available catalogues for radio counterparts of the black hole candidates and find that 19 of the previously selected sources have also a radio counterpart.} Our results show that about $37\%$ of the galaxies of our sample host { an $X$-ray source} (associated to a radio counterpart) spatially coincident with the galaxy center, in agreement with { other recent works}. For these {\it nuclear} sources, the $X$-ray/radio fundamental plane relation allows one to estimate the mass of the (central) candidate black holes which results to be in the range $10^{4}-2\times10^{8}$ M$_{\odot}$ (with median value of $\simeq 3\times 10^7$ M$_{\odot}$ and eight candidates having mass below $10^{7}$ M$_{\odot}$). This result, while suggesting that $X$-ray emitting black holes in low-mass galaxies may have had a key role in the evolution of such systems, makes even more urgent to explain how such massive objects formed in galaxies. {Of course, dedicated follow-up observations both in the $X$-ray and radio bands, as well as in the optical, are necessary in order to confirm our results


title: Dissipation in adiabatic quantum computers: Lessons from an exactly solvable model

abstract: We introduce and study the adiabatic dynamics of free-fermion models subject to a local Lindblad bath and in the presence of a time-dependent Hamiltonian. The merit of these models is that they can be solved exactly, and will help us to study the interplay between non-adiabatic transitions and dissipation in many-body quantum systems. After the adiabatic evolution, we evaluate the excess energy (average value of the Hamiltonian) as a measure of the deviation from reaching the target final ground state. We compute the excess energy in a variety of different situations, where the nature of the bath and the Hamiltonian is modified. We find a robust evidence of the fact that an optimal working time for the quantum annealing protocol emerges as a result of the competition between the non-adiabatic effects and the dissipative processes. We compare these results with matrix-product-operator simulations of an Ising system and show that the phenomenology we found applies also for this more realistic case.


title: Computing nearest stable matrix pairs

abstract: In this paper, we study the nearest stable matrix pair problem: given a square matrix pair $(E,A)$, minimize the Frobenius norm of $(\Delta_E,\Delta_A)$ such that $(E+\Delta_E,A+\Delta_A)$ is a stable matrix pair. We propose a reformulation of the problem with a simpler feasible set by introducing dissipative Hamiltonian (DH) matrix pairs: A matrix pair $(E,A)$ is DH if $A=(J-R)Q$ with skew-symmetric $J$, positive semidefinite $R$, and an invertible $Q$ such that $Q^TE$ is positive semidefinite. This reformulation has a convex feasible domain onto which it is easy to project. This allows us to employ a fast gradient method to obtain a nearby stable approximation of a given matrix pair.


title: Massive Outflows Driven by Magnetic Effects in Star Forming Clouds with High Mass Accretion Rates

abstract: The relation between the mass accretion rate onto the circumstellar disc and the rate of mass ejection by magnetically driven winds is investigated using three-dimensional magnetohydrodynamics simulations. Using a spherical cloud core with a varying ratio of thermal to gravitational energy, which determines the mass accretion rate onto the disc, to define the initial conditions, the outflow propagation for approximately 10^4 yr after protostar formation is then calculated for several cloud cores. The mass ejection rate and accretion rate are comparable only when the magnetic energy of the initial cloud core is comparable to the gravitational energy. Consequently, in strongly magnetised clouds a higher mass accretion rate naturally produces both massive protostars and massive outflows. The simulated outflow mass, momentum, kinetic energy and momentum flux agree well with observations, indicating that massive stars form through the same mechanism as low-mass stars but require a significantly strong magnetic field to launch massive outflows.


title: Anisotropic Dielectric Relaxation in Single Crystal H$_{2}$O Ice Ih from 80-250 K

abstract: Three properties of the dielectric relaxation in ultra-pure single crystalline H$_{2}$O ice Ih were probed at temperatures between 80-250 K; the thermally stimulated depolarization current, static electrical conductivity, and dielectric relaxation time. The measurements were made with a guarded parallel-plate capacitor constructed of fused quartz with Au electrodes. The data agree with relaxation-based models and provide for the determination of activation energies, which suggest that relaxation in ice is dominated by Bjerrum defects below 140 K. Furthermore, anisotropy in the dielectric relaxation data reveals that molecular reorientations along the crystallographic $c$-axis are energetically favored over those along the $a$-axis between 80-140 K. These results lend support for the postulate of a shared origin between the dielectric relaxation dynamics and the thermodynamic partial proton-ordering in ice near 100 K, and suggest a preference for ordering along the $c$-axis.


title: Investigation into the limits of perturbation theory at low Q^2 using HERA deep inelastic scattering data

abstract: A phenomenological study of the final combined HERA data on inclusive deep inelastic scattering (DIS) has been performed. The data are presented and investigated for a kinematic range extending from values of the four-momentum transfer, $Q^2$, above 10$^4$ GeV$^2$ down to the lowest values observable at HERA of $Q^2$ = 0.045 GeV$^2$ and Bjorken $x$, $x_{\rm Bj}$ = 6 $\cdot$ 10$^{-7}$. The data are well described by fits based on perturbative quantum chromodynamics (QCD) using collinear factorisation and evolution of the parton densities encompassed in the DGLAP formalism from the highest $Q^2$ down to $Q^2$ of a few GeV$^2$. The Regge formalism can describe the data up to $Q^2 \approx$ 0.65 GeV$^2$. The complete data set can be described by a new fit using the ALLM parameterisation. The region between the Regge and the perturbative QCD regimes is of particular interest.


title: Simplified Stochastic Feedforward Neural Networks

abstract: It has been believed that stochastic feedforward neural networks (SFNNs) have several advantages beyond deterministic deep neural networks (DNNs): they have more expressive power allowing multi-modal mappings and regularize better due to their stochastic nature. However, training large-scale SFNN is notoriously harder. In this paper, we aim at developing efficient training methods for SFNN, in particular using known architectures and pre-trained parameters of DNN. To this end, we propose a new intermediate stochastic model, called Simplified-SFNN, which can be built upon any baseline DNNand approximates certain SFNN by simplifying its upper latent units above stochastic ones. The main novelty of our approach is in establishing the connection between three models, i.e., DNN->Simplified-SFNN->SFNN, which naturally leads to an efficient training procedure of the stochastic models utilizing pre-trained parameters of DNN. Using several popular DNNs, we show how they can be effectively transferred to the corresponding stochastic models for both multi-modal and classification tasks on MNIST, TFD, CASIA, CIFAR-10, CIFAR-100 and SVHN datasets. In particular, we train a stochastic model of 28 layers and 36 million parameters, where training such a large-scale stochastic network is significantly challenging without using Simplified-SFNN


title: Recovering the Structure of Random Linear Graphs

abstract: In a random linear graph, vertices are points on a line, and pairs of vertices are connected, independently, with a link probability that decreases with distance. We study the problem of reconstructing the linear embedding from the graph, by recovering the natural order in which the vertices are placed. We propose an approach based on the spectrum of the graph, using recent results on random matrices. We demonstrate our method on a particular type of random linear graph. We recover the order and give tight bounds on the number of misplaced vertices, and on the amount of drift from their natural positions.


title: Finite-time attitude synchronization with a discontinuous protocol

abstract: A finite-time attitude synchronization problem is considered in this paper where the rotation of each rigid body is expressed using the axis-angle representation. One simple discontinuous and distributed controller using the vectorized signum function is proposed. This controller only involves the sign of the state differences of adjacent neighbors. In order to avoid the singularity introduced by the axis-angular representation, an extra constraint is added to the initial condition. It is proved that for some initial conditions, the control law achieves finite-time attitude synchronization. One simulated example is provided to verify the usage of the control protocol designed in this paper.


title: Gluon Spectrum in Quark-Gluon Plasma under Strong Magnetic Fields

abstract: We obtain the general expression of the gluon propagator at finite temperature ($T$) and in a magnetic field ($B$), for the case that the four transverse tensor structures appear in the gluon self-energy. By using this expression and a specific form of the one-loop gluon self-energy in the lowest Landau level approximation, we analyze the gluon spectrum in the strong magnetic field limit. As a result, we find that there exist two collective excitations of which the energies are of the order of $p\sim gT$ with $g$ being the coupling constant. One of the two excitations enjoys properties quite different from those of the collective excitations at $B=0$ which have been discussed by using the hard thermal loop approximation. We also discuss the static and dynamical screening effects, which are expected to be important for computation of transport coefficients in strong magnetic fields.


title: On the modeling of neural cognition for social network applications

abstract: In this paper, we study neural cognition in social network. A stochastic model is introduced and shown to incorporate two well-known models in Pavlovian conditioning and social networks as special case, namely Rescorla-Wagner model and Friedkin-Johnsen model. The interpretation and comparison of these model are discussed. We consider two cases when the disturbance is independent identical distributed for all time and when the distribution of the random variable evolves according to a markov chain. We show that the systems for both cases are mean square stable and the expectation of the states converges to consensus.


title: Constraint Energy Minimizing Generalized Multiscale Finite Element Method

abstract: The main goal of this paper is to design multiscale basis functions within GMsFEM framework such that the convergence of method is independent of the contrast and linearly decreases with respect to mesh size if oversampling size is appropriately chosen. We would like to show a mesh-dependent convergence with a minimal number of basis functions. Our construction starts with an auxiliary multiscale space by solving local spectral problems. In auxiliary multiscale space, we select the basis functions that correspond to small (contrast-dependent) eigenvalues. These basis functions represent the channels (high-contrast features that connect the boundaries of the coarse block). Using the auxiliary space, we propose a constraint energy minimization to construct multiscale spaces. The minimization is performed in the oversampling domain, which is larger than the target coarse block. The constraints allow handling non-decaying components of the local minimizers. If the auxiliary space is correctly chosen, we show that the convergence rate is independent of the contrast (because the basis representing the channels are included in the auxiliary space) and is proportional to the coarse-mesh size (because the constrains handle non-decaying components of the local minimizers). The oversampling size weakly depends on the contrast as our analysis shows. The convergence theorem requires that channels are not aligned with the coarse edges, which hold in many applications, where the channels are oblique with respect to the coarse-mesh geometry. The numerical results confirm our theoretical results. In particular, we show that if the oversampling domain size is not sufficiently large, the errors are large. To remove the contrast-dependence of the oversampling size, we propose a modified construction for basis functions and present numerical results and the analysis.


title: On multiplicity of eigenvalues and symmetry of eigenfunctions of the $p$-Laplacian

abstract: We investigate multiplicity and symmetry properties of higher eigenvalues and eigenfunctions of the $p$-Laplacian under homogeneous Dirichlet boundary conditions on certain symmetric domains $\Omega \subset \mathbb{R}^N$. By means of topological arguments, we show how symmetries of $\Omega$ help to construct subsets of $W_0^{1,p}(\Omega)$ with suitably high Krasnosel'ski\u{\i} genus. In particular, if $\Omega$ is a ball $B \subset \mathbb{R}^N$, we obtain the following chain of inequalities: $$ \lambda_2(p;B) \leq \dots \leq \lambda_{N+1}(p;B) \leq \lambda_\ominus(p;B). $$ Here $\lambda_i(p;B)$ are variational eigenvalues of the $p$-Laplacian on $B$, and $\lambda_\ominus(p;B)$ is the eigenvalue which has an associated eigenfunction whose nodal set is an equatorial section of $B$. If $\lambda_2(p;B)=\lambda_\ominus(p;B)$, as it holds true for $p=2$, the result implies that the multiplicity of the second eigenvalue is at least $N$. In the case $N=2$, we can deduce that any third eigenfunction of the $p$-Laplacian on a disc is nonradial. The case of other symmetric domains and the limit cases $p=1$, $p=\infty$ are also considered.


title: Minimizers for nonlocal perimeters of Minkowski type

abstract: We study a nonlocal perimeter functional inspired by the Minkowski content, whose main feature is that it interpolates between the classical perimeter and the volume functional. This problem is related by a generalized coarea formula to a Dirichlet energy functional in which the energy density is the local oscillation of a function. These two nonlocal functionals arise in concrete applications, since the nonlocal character of the problems and the different behaviors of the energy at different scales allow the preservation of details and irregularities of the image in the process of removing white noises, thus improving the quality of the image without losing relevant features. In this paper, we provide a series of results concerning existence, rigidity and classification of minimizers, compactness results, isoperimetric inequalities, Poincar\'e-Wirtinger inequalities and density estimates. Furthermore, we provide the construction of planelike minimizers for this generalized perimeter under a small and periodic volume perturbation.


title: Off-diagonal estimates of the Bergman kernel on hyperbolic Riemann surfaces of finite volume

abstract: In this article, we derive off-diagonal estimates of the Bergman kernel associated to tensor- products of the cotangent line bundle defined over a hyperbolic Riemann surface of finite volume.


title: Comments to the "Theory of Thomson scattering in inhomogeneous media"

abstract: In this short communication, we draw the readers' attention to the inconsistency in the derivation of the Thomson scattering spectrum in inhomogeneous plasma, which leads to violation of the Fluctuation-Dissipation Theorem and a substantial deviation from the results of the rigorous kinetic theory. Moreover, the self-consistent kinetic theory predicts the asymmetry of the spectral lines in inhomogeneous plasma.


title: Monitoring ion track formation using in situ RBS/c and ERDA

abstract: The aim of this work is to investigate feasibility of the ion beam analysis techniques for monitoring swift heavy ion track formation. First, use of the in situ Rutherford backscattering spectroscopy in channeling mode to observe damage build-up in quartz SiO2 after MeV heavy ion irradiation is demonstrated. Second, new results of the in situ grazing incidence time-of-flight elastic recoil detection analysis used for monitoring the surface elemental composition during ion tracks formation in various materials are presented. Ion tracks were found on SrTiO3, quartz SiO2, a-SiO2 and muscovite mica surfaces by atomic force microscopy, but in contrast to our previous studies on GaN and TiO2, surface stoichiometry remained unchanged.


title: Monogamy inequality for any local quantum resource and entanglement

abstract: We derive a monogamy inequality for any local quantum resource and entanglement. It results from the fact that there is always a convex measure for a quantum resource, as shown here, and from the relation between entanglement and local entropy. One of its consequences is an entanglement monogamy different from that usually discussed. If the local resource is nonuniformity or coherence, it is satisfied by familiar resource and entanglement measures. The ensuing upper bound for the local coherence, determined by the entanglement, is independent of the basis used to define the coherence.


title: Computational Experiments on $a^4+b^4+c^4+d^4=(a+b+c+d)^4$

abstract: Computational approaches to finding non-trivial integer solutions of the equation in the title are discussed. We summarize previous work and provide several new solutions.


title: Derived coisotropic structures II: stacks and quantization

abstract: We extend results about $n$-shifted coisotropic structures from part I of this work to the setting of derived Artin stacks. We show that an intersection of coisotropic morphisms carries a Poisson structure of shift one less. We also compare non-degenerate shifted coisotropic structures and shifted Lagrangian structures and show that there is a natural equivalence between the two spaces in agreement with the classical result. Finally, we define quantizations of $n$-shifted coisotropic structures and show that they exist for $n>1$.


title: Symbolic Computation and Automated Reasoning for Program Analysis

abstract: This talk describes how a combination of symbolic computation techniques with first-order theorem proving can be used for solving some challenges of automating program analysis, in particular for generating and proving properties about the logically complex parts of software. The talk will first present how computer algebra methods, such as Groebner basis computation, quantifier elimination and algebraic recurrence solving, help us in inferring properties of program loops with non-trivial arithmetic. Typical properties inferred by our work are loop invariants and expressions bounding the number of loop iterations. The talk will then describe our work to generate first-order properties of programs with unbounded data structures, such as arrays. For doing so, we use saturation-based first-order theorem proving and extend first-order provers with support for program analysis. Since program analysis requires reasoning in the combination of first-order theories of data structures, the talk also discusses new features in firstorder theorem proving, such as inductive reasoning and built-in boolean sort. These extensions allow us to express program properties directly in first-order logic and hence use further first-order theorem provers to reason about program properties.


title: Efficient calculation of electronic structure using O(N) density functional theory

abstract: We propose an efficient way to calculate the electronic structure of large systems by combining a large-scale first-principles density functional theory code, Conquest, and an efficient interior eigenproblem solver, the Sakurai-Sugiura method. The electronic Hamiltonian and charge density of large systems are obtained by \conquest and the eigenstates of the Hamiltonians are then obtained by the Sakurai-Sugiura method. Applications to a hydrated DNA system, and adsorbed P2 molecules and Ge hut clusters on large Si substrates demonstrate the applicability of this combination on systems with 10,000+ atoms with high accuracy and efficiency.


title: Low temperature transport properties of pyrolytic graphite sheet

abstract: We have made thermal and electrical transport measurements of uncompressed pyrolytic graphite sheet (uPGS), a mass-produced thin graphite sheet with various thicknesses between 10 and 100 {\mu}m, at temperatures between 2 and 300 K. Compared to exfoliated graphite sheets like Grafoil, uPGS has much higher conductivities by an order of magnitude because of its high crystallinity confirmed by X-ray diffraction and Raman spectroscopy. This material is advantageous as a thermal link of light weight in a wide temperature range particularly above 60 K where the thermal conductivity is much higher than common thermal conductors such as copper and aluminum alloys. We also found a general relationship between thermal and electrical conductivities in graphite-based materials which have highly anisotropic conductivities. This would be useful to estimate thermal conductance of a cryogenic part made of these materials from its electrical conductance more easily measurable at low temperature.


title: On Feature Reduction using Deep Learning for Trend Prediction in Finance

abstract: One of the major advantages in using Deep Learning for Finance is to embed a large collection of information into investment decisions. A way to do that is by means of compression, that lead us to consider a smaller feature space. Several studies are proving that non-linear feature reduction performed by Deep Learning tools is effective in price trend prediction. The focus has been put mainly on Restricted Boltzmann Machines (RBM) and on output obtained by them. Few attention has been payed to Auto-Encoders (AE) as an alternative means to perform a feature reduction. In this paper we investigate the application of both RBM and AE in more general terms, attempting to outline how architectural and input space characteristics can affect the quality of prediction.


title: On structure-preserving model reduction for damped wave propagation in transport networks

abstract: We consider the discretization and subsequent model reduction of a system of partial differential-algebraic equations describing the propagation of pressure waves in a pipeline network. Important properties like conservation of mass, dissipation of energy, passivity, existence of steady states, and exponential stability can be preserved by an appropriate semi-discretization in space via a mixed finite element method and also during the further dimension reduction by structure preserving Galerkin projection which is the main focus of this paper. Krylov subspace methods are employed for the construciton of the reduced models and we discuss modifications needed to satisfy certain algebraic compatibility conditions; these are required to ensure the well-posedness of the reduced models and the preservation of the key properties. Our analysis is based on the underlying infinite dimensional problem and its Galerkin approximations. The proposed algorithms therefore have a direct interpretation in function spaces; in principle, they are even applicable directly to the original system of partial differential-algebraic equations while the intermediate discretization by finite elements is only required for the actual computations. The performance of the proposed methods is illustrated with numerical tests and the necessity for the compatibility conditions is demonstrated by examples.


title: A study of aging effects of barrel Time-Of-Flight system in the BESIII experiment

abstract: The Time-Of-Flight system consisting of plastic scintillation counters plays an important role for particle identification in the BESIII experiment at the BEPCII double ring $e^+e^-$ collider. Degradation of the detection efficiency of the barrel TOF system has been observed since the start of physical data taking and this effect has triggered intensive and systematic studies about aging effects of the detector. The aging rates of the attenuation lengths and relative gains are obtained based on the data acquired in past several years. This study is essential for ensuring an extended operation of the barrel TOF system in optimal conditions.


title: A novel noncommutative KdV-type equation, its recursion operator, and solitons

abstract: A noncommutative KdV-type equation is introduced extending the Baecklund chart in [S. Carillo, M. Lo Schiavo, and C. Schiebold, SIGMA 12 (2016)]. This equation, called meta-mKdV here, is linked by Cole-Hopf transformations to the two noncommutative versions of the mKdV equations listed in [P.J. Olver and V.V. Sokolov Commun. Math. Phys. 193 (1998), Theorem 3.6]. For this meta-mKdV, and its mirror counterpart, recursion operators, hierarchies and an explicit solution class are derived.


title: Fibre Inflation and Reheating

abstract: We present constraints on the reheating era within the string Fibre Inflation scenario, in terms of the effective equation-of-state parameter of the reheating fluid, $w_{reh}$. The results of the analysis, completely independent on the details of the inflaton physics around the vacuum, illustrate the behavior of the number of $e$-foldings during the reheating stage, $N_{reh}$, and of the final reheating temperature, $T_{reh}$, as functions of the scalar spectral index, $n_s$. We analyze our results with respect to the current bounds given by the PLANCK mission data and to upcoming cosmological experiments. We find that large values of the equation-of-state parameter ($w_{reh}>1/3$) are particularly favored as the scalar spectral index is of the order of $n_s\sim 0.9680$, with a $\sigma_{n_s}\sim 0.002$ error. Moreover, we compare the behavior of the general reheating functions $N_{reh}$ and $T_{reh}$ in the Fibre Inflation scenario with that extracted by the class of the $\alpha$-attractor models with $\alpha=2$. We find that the corresponding reheating curves are very similar in the two cases.


title: Non-existence and finiteness results for Teichmueller curves in Prym loci

abstract: The minimal stratum in Prym loci have been the first source of infinitely many primitive, but not algebraically primitive Teichmueller curves. We show that the stratum Prym(2,1,1) contains no such Teichmueller curve and the stratum Prym(2,2) at most 92 such Teichmueller curves. This complements the recent progress establishing general -- but non-effective -- methods to prove finiteness results for Teichmueller curves and serves as proof of concept how to use the torsion condition in the non-algebraically primitive case.


title: The quantum Rabi model in a superfluid Bose-Einstein condensate

abstract: We propose a quantum simulation of the quantum Rabi model in an atomic quantum dot, which is a single atom in a tight optical trap coupled to the quasiparticle modes of a superfluid Bose-Einstein condensate. This widely tunable setup allows to simulate the ultrastrong coupling regime of light-matter interaction in a system which enjoys an amenable characteristic timescale, paving the way for an experimental analysis of the transition between the Jaynes-Cummings and the quantum Rabi dynamics using cold-atom systems. Our scheme can be naturally extended to simulate multi-qubit quantum Rabi models. In particular, we discuss the appearance of effective two-qubit interactions due to phononic exchange, among other features.


title: Nearly resolution V plans on blocks of small size

abstract: In Bagchi (2010) main effect plans "orthogonal through the block factor" (POTB) have been constructed. The main advantages of a POTB are that (a) it may exist in a set up where an "usual" orthogonal main effect plan (OMEP) cannot exist and (b) the data analysis is nearly as simple as an OMEP. In the present paper we extend this idea and define the concept of orthogonality between a pair of factorial effects ( main effects or interactions) "through the block factor" in the context of a symmetrical experiment. We consider plans generated from an initial plan by adding runs. For such a plan we have derived necessary and sufficient conditions for a pair of effects to be orthogonal through the block factor in terms of the generators. We have also derived a sufficient condition on the generators so as to turn a pair of effects aliased in the initial plan separated in the final plan. The theory developed is illustrated with plans for experiments with three-level factors in situations where interactions between three or more factors are absent. We have constructed plans with blocks of size four and fewer runs than a resolution $V$ plan estimating all main effects and all but at most one two-factor interactions.


title: Generation of path-encoded Greenberger-Horne-Zeilinger states

abstract: We study the generation of Greenberger-Horne-Zeilinger (GHZ) states of three path-encoded photons. Inspired by the seminal work of Bouwmeester et al. [1] on polarization-entangled GHZ states, we find a corresponding path representation for the photon states of an optical circuit, identify the elements required for the state generation, and propose a possible implementation of our strategy. Besides the practical advantage of employing an integrated system that can be fabricated with proven lithographic techniques, our example suggests that it is possible to enhance the generation efficiency by using microring resonators.


title: Interaction of the branes in the Presence of the Background Fields: the Dynamical Non-intersecting Perpendicular Wrapped-Fractional Configuration

abstract: We shall obtain the interaction of the D$p_1$- and D$p_2$-branes in the toroidal-orbifold spacetime $\mathit{T}^{n}\times\mathbb{R}^{1, d-n-5} \times\mathbb{C}^{2}/\mathbb{Z}_{2}$. The configuration of the branes is: non-intersecting, perpendicular, moving-rotating, wrapped-fractional with background fields. For this, we calculate the bosonic boundary state corresponding to a dynamical fractional-wrapped D$p$-brane in presence of the Kalb-Ramond field, a $U(1)$ gauge potential and an open string tachyon field. The long-range behavior of the interaction amplitude will be extracted.


title: Nonlocality Induces Chains of Nested Localized Structures

abstract: Localized Structures often behave as quasi-particles and they may form molecules characterized by well-defined bond distances. In this paper we show that pointwise nonlocality may lead to a new kind of molecule where bonds are not rigid. The elements of this molecule can shift mutually one with respect to the others while remaining linked together, in a way similar to interlaced rings in a chain. We report experimental observations of these chains of nested localized structures in a time-delayed laser system.


title: MultiBUGS: A parallel implementation of the BUGS modelling framework for faster Bayesian inference

abstract: MultiBUGS (https://www.multibugs.org) is a new version of the general-purpose Bayesian modelling software BUGS that implements a generic algorithm for parallelising Markov chain Monte Carlo (MCMC) algorithms to speed up posterior inference of Bayesian models. The algorithm parallelises evaluation of the product-form likelihoods formed when a parameter has many children in the directed acyclic graph (DAG) representation; and parallelises sampling of conditionally-independent sets of parameters. A heuristic algorithm is used to decide which approach to use for each parameter and to apportion computation across computational cores. This enables MultiBUGS to automatically parallelise the broad range of statistical models that can be fitted using BUGS-language software, making the dramatic speed-ups of modern multi-core computing accessible to applied statisticians, without requiring any experience of parallel programming. We demonstrate the use of MultiBUGS on simulated data designed to mimic a hierarchical e-health linked-data study of methadone prescriptions including 425,112 observations and 20,426 random effects. Posterior inference for the e-health model takes several hours in existing software, but MultiBUGS can perform inference in only 28 minutes using 48 computational cores.


title: Pyramidal Gradient Matching for Optical Flow Estimation

abstract: Initializing optical flow field by either sparse descriptor matching or dense patch matches has been proved to be particularly useful for capturing large displacements. In this paper, we present a pyramidal gradient matching approach that can provide dense matches for highly accurate and efficient optical flow estimation. A novel contribution of our method is that image gradient is used to describe image patches and proved to be able to produce robust matching. Therefore, our method is more efficient than methods that adopt special features (like SIFT) or patch distance metric. Moreover, we find that image gradient is scalable for optical flow estimation, which means we can use different levels of gradient feature (for example, full gradients or only direction information of gradients) to obtain different complexity without dramatic changes in accuracy. Another contribution is that we uncover the secrets of limited PatchMatch through a thorough analysis and design a pyramidal matching framework based these secrets. Our pyramidal matching framework is aimed at robust gradient matching and effective to grow inliers and reject outliers. In this framework, we present some special enhancements for outlier filtering in gradient matching. By initializing EpicFlow with our matches, experimental results show that our method is efficient and robust (ranking 1st on both clean pass and final pass of MPI Sintel dataset among published methods).


title: A new Physics to support the Copernican system. Gleanings from Galileo's works

abstract: Galileo's support to the Copernican theory was decisive for the revolutionary astronomical discoveries he achieved in 1610. We trace the origins of Galileo's conversion to the Copernican theory, discussing in particular the "Dialogo de Cecco di Ronchitti da Bruzene in perpuosito de La Stella Nuova". Later developments of Galileo's works are briefly treated.


title: Error Vector Magnitude Analysis in Generalized Fading with Co-Channel Interference

abstract: In this paper, we derive the data-aided Error Vector Magnitude (EVM) in an interference limited system when both the desired signal and interferers experience independent and non identically distributed $\kappa$-$\mu$ shadowed fading. Then it is analytically shown that the EVM is equal to the square root of number of interferers when the desired signal and interferers do not experience fading. Further, EVM is derived in the presence of interference and noise, when the desired signal experiences $\kappa$-$\mu$ shadowed fading and the interferers experience independent and identical Nakagami fading. Moreover, using the properties of the special functions, the derived EVM expressions are also simplified for various special cases.


title: Photon Correlations from the Mollow Triplet

abstract: Photon correlations between the photoluminescence peaks of the Mollow triplet have been known for a long time, and recently hailed as a resource for heralded single-photon sources. Here, we provide the full picture of photon-correlations at all orders (we deal explicitly with up to four photons) and with no restriction to the peculiar frequency windows enclosing the peaks. We show that a rich multi-photon physics lies between the peaks, due to transition involving virtual photons, and thereby much more strongly correlated than those transiting through the dressed states. Specifically, we show that such emissions occur in bundles of photons rather than as successive, albeit correlated, photons. We provide the recipe to frequency-filter the emission of the Mollow triplet to turn it into a versatile and tunable photon source, allowing in principle all scenarios of photon emission, with advantages already at the one-photon level, i.e., providing more strongly correlated heralded single-photon sources than those already known.


title: Elucidating the role of Sn-substitution and Pb-$\Box$ in regulating stability and carrier concentration in CH$_3$NH$_3$Pb$_{1-X-Y}$Sn$_X$$\Box_Y$I$_3$

abstract: We address the role of Sn-substitution and Pb-vacancy (Pb-$\Box$) in regulating stability and carrier concentration of CH$_3$NH$_3$Pb$_{1-X-Y}$Sn$_X$$\Box_Y$I$_3$ perovskite using density functional theory, where the performance of the exchange-correlation functional is carefully analyzed, and validated w.r.t. available experimental results. We find the most stable configuration does not prefer any Pb at 50\% concentration of Sn. However, the Pb-$\Box$s become unfavourable above 250K due to the reduced linearity of Sn-I bonds. For n-type host the Sn substitution is more preferable than Pb-$\Box$ formation, while for p-type host the trend is exactly opposite. The charge states of both Sn and Pb-$\Box$ are found to be dependent on the Sn concentration, which in turn alters the perovskite from n-type to p-type with increasing $X$ ($>$0.5).


title: Minimum uncertainty states and completeness of non-negative quasi probability of finite-dimensional quantum systems

abstract: We construct minimum-uncertainty states and a non-negative quasi probability distribution for quantum systems on a finite-dimensional space. We reexamine the theorem of Massar and Spindel for the uncertainty relationof the two unitary operators related by the discrete Fourier transformation. It is shown that some assumptions in their proof can be justified by the use of the Perron-Frobenius theorem. The minimum-uncertainty states are the ones that saturate this uncertainty inequality. The continuum limit is closely analyzed by introducing a scale factor in the limiting scheme. Using the minimum-uncertainty states, we construct a non-negative quasi probability distribution. Its marginal distributions are smeared out. However, we show that this quasi probability is optimal in the sense that there does not exist a non-negative quasi probability distribution with sharper marginal properties if the translational covariance in the phase space is assumed. Generally, it is desirable that the quasi probability is complete, i.e., it contains full information of the state. We show that the obtained quasi probability is indeed complete if the dimension of the state space is odd, whereas it is not if the dimension is even.


title: Persian Wordnet Construction using Supervised Learning

abstract: This paper presents an automated supervised method for Persian wordnet construction. Using a Persian corpus and a bi-lingual dictionary, the initial links between Persian words and Princeton WordNet synsets have been generated. These links will be discriminated later as correct or incorrect by employing seven features in a trained classification system. The whole method is just a classification system, which has been trained on a train set containing FarsNet as a set of correct instances. State of the art results on the automatically derived Persian wordnet is achieved. The resulted wordnet with a precision of 91.18% includes more than 16,000 words and 22,000 synsets.


title: Boundary value problems for the Lorentzian Dirac operator

abstract: On a compact globally hyperbolic Lorentzian spin manifold with smooth spacelike Cauchy boundary the (hyperbolic) Dirac operator is known to be Fredholm when Atiyah-Patodi-Singer boundary conditions are imposed. In this paper we investigate to what extent these boundary conditions can be replaced by more general ones and how the index then changes. There are some differences to the classical case of the elliptic Dirac operator on a Riemannian manifold with boundary.


title: Reconstruction of three-dimensional porous media using generative adversarial neural networks

abstract: To evaluate the variability of multi-phase flow properties of porous media at the pore scale, it is necessary to acquire a number of representative samples of the void-solid structure. While modern x-ray computer tomography has made it possible to extract three-dimensional images of the pore space, assessment of the variability in the inherent material properties is often experimentally not feasible. We present a novel method to reconstruct the solid-void structure of porous media by applying a generative neural network that allows an implicit description of the probability distribution represented by three-dimensional image datasets. We show, by using an adversarial learning approach for neural networks, that this method of unsupervised learning is able to generate representative samples of porous media that honor their statistics. We successfully compare measures of pore morphology, such as the Euler characteristic, two-point statistics and directional single-phase permeability of synthetic realizations with the calculated properties of a bead pack, Berea sandstone, and Ketton limestone. Results show that GANs can be used to reconstruct high-resolution three-dimensional images of porous media at different scales that are representative of the morphology of the images used to train the neural network. The fully convolutional nature of the trained neural network allows the generation of large samples while maintaining computational efficiency. Compared to classical stochastic methods of image reconstruction, the implicit representation of the learned data distribution can be stored and reused to generate multiple realizations of the pore structure very rapidly.

categories: cs.CV cond-mat.mtrl-sci physics.flu-dyn physics.geo-ph


title: Transient dynamics of double quantum dots coupled to two reservoirs

abstract: We study the time-dependent properties of double quantum dots coupled to two reservoirs using the nonequilibrium Green function method. For an arbitrary time-dependent bias, we derive an expression for the time-dependent electron density of a dot and several currents, including the current between the dots in the wide-band-limit approximation. For the special case of a constant bias, we calculate the electron density and the currents numerically. As a result, we find that these quantities oscillate and that the number of crests in a single period of the current from a dot changes with the bias voltage. We also obtain an analytical expression for the relaxation time, which expresses how fast the system converges to its steady state. From the expression, we find that the relaxation time becomes constant when the coupling strength between the dots is sufficiently large in comparison with the difference of coupling strength between the dots and the reservoirs.


title: Transfer of Vertical Graphene Nanosheets onto Flexible Substrates towards Supercapacitor Application

abstract: Vertical graphene nanosheets (VGNs) are the material of choice for next-generation electronic device applications. The growing demand for flexible devices in electronic industry brings in restriction on growth temperature of the material of interest. However, VGNs with better structural quality is usually achieved at high growth temperatures. The difficulty associated with the direct growth on flexible substrates can overcome by adopting an effective strategy of transferring the well grown VGNs onto arbitrary flexible substrates through soft chemistry route. Hence, we demonstrated a simple, inexpensive and scalable technique for the transfer of VGNs onto arbitrary substrates without disrupting its morphology and structural properties. After transfer, the morphology, chemical structure and electronic properties are analyzed by scanning electron microscopy, Raman spectroscopy and four probe resistive methods, respectively. Associated characterization investigation indicates the retention of morphological, structural and electrical properties of transferred VGNs compared to as-grown one. Furthermore the storage capacity of the VGNs transferred onto flexible substrates is also examined. A very lower sheet resistance of 0.67 kOhm/sq. and excellent supercapacitance of 158 micro-Farrad/cm2 with 91.4% retention after 2000 cycles confirms the great prospective of this damage-free transfer approach of VGNs for flexible nanoelectronic device applications


title: Discovery of Scattering Polarization in the Hydrogen Lyman-$\alpha$ Line of the Solar Disk Radiation

abstract: There is a thin transition region (TR) in the solar atmosphere where the temperature rises from 10,000 K in the chromosphere to millions of degrees in the corona. Little is known about the mechanisms that dominate this enigmatic region other than the magnetic field plays a key role. The magnetism of the TR can only be detected by polarimetric measurements of a few ultraviolet (UV) spectral lines, the Lyman-$\alpha$ line of neutral hydrogen at 121.6 nm (the strongest line of the solar UV spectrum) being of particular interest given its sensitivity to the Hanle effect (the magnetic-field-induced modification of the scattering line polarization). We report the discovery of linear polarization produced by scattering processes in the Lyman-$\alpha$ line, obtained with the Chromospheric Lyman-Alpha Spectro-Polarimeter (CLASP) rocket experiment. The Stokes profiles observed by CLASP in quiet regions of the solar disk show that the $Q/I$ and $U/I$ linear polarization signals are of the order of 0.1 % in the line core and up to a few percent in the nearby wings, and that both have conspicuous spatial variations with scales of $\sim 10$ arcsec. These observations help constrain theoretical models of the chromosphere-corona TR and extrapolations of the magnetic field from photospheric magnetograms. In fact, the observed spatial variation from disk to limb of polarization at the line core and wings already challenge the predictions from three-dimensional magnetohydrodynamical models of the upper solar chromosphere.


title: Core shift effect in blazars

abstract: We studied the pc-scale core shift effect using radio light curves for three blazars, S5 0716+714, 3C 279 and BL Lacertae, which were monitored at five frequencies ($\nu$) between 4.8 GHz and 36.8 GHz using the University of Michigan Radio Astronomical Observatory (UMRAO), the Crimean Astrophysical Observatory (CrAO), and Metsahovi Radio Observatory for over 40 years. Flares were Gaussian fitted to derive time delays between observed frequencies for each flare ($\Delta t$), peak amplitude ($A$), and their half width. Using $A \propto \nu^{\alpha}$ we infer $\alpha$ in the range $-$16.67 to 2.41 and using $\Delta t \propto \nu^{1/k_r}$, we infer $k_r \sim 1$, employed in the context of equipartition between magnetic and kinetic energy density for parameter estimation. From the estimated core position offset ($\Omega_{r \nu}$) and the core radius ($r_{\rm core}$), we infer that opacity model may not be valid in all cases. The mean magnetic field strength at 1 pc ($B_1$) and at the core ($B_{\rm core}$), are in agreement with previous estimates. We apply the magnetically arrested disk model to estimate black hole spins in the range $0.15-0.9$ for these blazars, indicating that the model is consistent with expected accretion mode in such sources. The power law shaped power spectral density has slopes $-$1.3 to $-$2.3 and is interpreted in terms of multiple shocks or magnetic instabilities.


title: Elastic Scattering Phenomenology

abstract: We argue that, in many situations, fits to elastic scattering data that were historically, and frequently still are, considered `good', are not justifiably so describable. Information about the dynamics of nucleon-nucleus and nucleus-nucleus scattering is lost when elastic scattering phenomenology is insufficiently ambitious. It is argued that in many situations, an alternative approach is appropriate for the phenomenology of nuclear elastic scattering of nucleons and other light nuclei. The approach affords an appropriate means of evaluating folding models, one that fully exploits available empirical data. It is particularly applicable for nucleons and other light ions.


title: Observability and reconstructibility of large-scale Boolean control networks via network aggregations

abstract: It is known that determining the observability and reconstructibility of Boolean control networks (BCNs) are both NP-hard in the number of nodes of BCNs. In this paper, we use the aggregation method to overcome the challenging complexity problem in verifying the observability and reconstructibility of large-scale BCNs with special structures in some sense. First, we define a special class of aggregations that are compatible with observability and reconstructibility (i.e, observability and reconstructibility are meaningful for each part of the aggregation), and show that even for this special class of aggregations, the whole BCN being observable/reconstructible does not imply the resulting sub-BCNs being observable/reconstructible, and vice versa. Second, for acyclic aggregations in this special class, we prove that all resulting sub-BCNs being observable/reconstructible implies the whole BCN being observable/reconstructible. Third, we show that finding such acyclic special aggregations with sufficiently small parts can tremendously reduce computational complexity. Finally, we use the BCN T-cell receptor kinetics model to illustrate the efficiency of these results. In addition, the special aggregation method characterized in this paper can also be used to deal with the observability/reconstructibility of large-scale linear (special classes of nonlinear) control systems with special network structures.


title: Comments on Joint Terms in Gravitational Action

abstract: This paper compares three different methods about computing joint terms in on-shell action of gravity, which are identifying the joint term by the variational principle in Dirichlet boundary condition, treating the joint term as the limit contribution of smooth boundary and finding the joint term by local SO(1,$d-1$) transformation. In general metric gravitational theory, we show that the differences between these joint terms are some variational invariants under fixed boundary condition. We also give an explicit condition to judge the existence of joint term determined by variational principle and apply it into general relativity as an example.


title: An Ising Model for Metal-Organic Frameworks

abstract: We present a three-dimensional Ising model where lines of equal spins are frozen in such that they form an ordered framework structure. The frame spins impose an external field on the rest of the spins (active spins). We demonstrate that this "porous Ising model" can be seen as a minimal model for condensation transitions of gas molecules in metal-organic frameworks. Using Monte Carlo simulation techniques, we compare the phase behavior of a porous Ising model with that of a particle-based model for the condensation of methane (CH$_4$) in the isoreticular metal-organic framework IRMOF-16. For both models, we find a line of first-order phase transitions that end in a critical point. We show that the critical behavior in both cases belongs to the 3D Ising universality class, in contrast to other phase transitions in confinement such as capillary condensation.