title: SMOTE-ENC: A novel SMOTE-based method to generate synthetic data for nominal and continuous features

abstract: Real world datasets are heavily skewed where some classes are significantly outnumbered by the other classes. In these situations, machine learning algorithms fail to achieve substantial efficacy while predicting these under-represented instances. To solve this problem, many variations of synthetic minority over-sampling methods (SMOTE) have been proposed to balance the dataset which deals with continuous features. However, for datasets with both nominal and continuous features, SMOTE-NC is the only SMOTE-based over-sampling technique to balance the data. In this paper, we present a novel minority over-sampling method, SMOTE-ENC (SMOTE - Encoded Nominal and Continuous), in which, nominal features are encoded as numeric values and the difference between two such numeric value reflects the amount of change of association with minority class. Our experiments show that the classification model using SMOTE-ENC method offers better prediction than model using SMOTE-NC when the dataset has a substantial number of nominal features and also when there is some association between the categorical features and the target class. Additionally, our proposed method addressed one of the major limitations of SMOTE-NC algorithm. SMOTE-NC can be applied only on mixed datasets that have features consisting of both continuous and nominal features and cannot function if all the features of the dataset are nominal. Our novel method has been generalized to be applied on both mixed datasets and on nominal only datasets. The code is available from mkhushi.github.io


title: Convection in a mushy-layer along a heated wall

abstract: Motivated by the mushy zones of sea ice, volcanoes, and icy moons of the outer solar system, we perform a theoretical and numerical study of boundary-layer convection along a vertical heated wall in a bounded ideal mushy region. The mush is comprised of a porous and reactive binary alloy with a mixture of saline liquid in a solid matrix, and is studied in the near-eutectic approximation. Here we demonstrate the existence of four regions and study their behavior asymptotically. Starting from the bottom of the wall, the four regions are (i) an isotropic corner region; (ii) a buoyancy dominated vertical boundary layer; (iii) an isotropic connection region; and (iv) a horizontal boundary layer at the top boundary with strong gradients of pressure and buoyancy. Scalings from numerical simulations are consistent with the theoretical predictions. Close to the heated wall, the convection in the mushy layer is similar to a rising buoyant plume abruptly stopped at the top, leading to increased pressure and temperature in the upper region, whose impact is discussed as an efficient melting mechanism.


title: Conceptual capacity and effective complexity of neural networks

abstract: We propose a complexity measure of a neural network mapping function based on the diversity of the set of tangent spaces from different inputs. Treating each tangent space as a linear PAC concept we use an entropy-based measure of the bundle of concepts in order to estimate the conceptual capacity of the network. The theoretical maximal capacity of a ReLU network is equivalent to the number of its neurons. In practice however, due to correlations between neuron activities within the network, the actual capacity can be remarkably small, even for very big networks. Empirical evaluations show that this new measure is correlated with the complexity of the mapping function and thus the generalisation capabilities of the corresponding network. It captures the effective, as oppose to the theoretical, complexity of the network function. We also showcase some uses of the proposed measure for analysis and comparison of trained neural network models.


title: An Efficient Multitask Neural Network for Face Alignment, Head Pose Estimation and Face Tracking

abstract: While Convolutional Neural Networks (CNNs) have significantly boosted the performance of face related algorithms, maintaining accuracy and efficiency simultaneously in practical use remains challenging. The state-of-the-art methods employ deeper networks for better performance, which makes it less practical for mobile applications because of more parameters and higher computational complexity. Therefore, we propose an efficient multitask neural network, Alignment & Tracking & Pose Network (ATPN) for face alignment, face tracking and head pose estimation. Specifically, to achieve better performance with fewer layers for face alignment, we introduce a shortcut connection between shallow-layer and deep-layer features. We find the shallow-layer features are highly correspond to facial boundaries that can provide the structural information of face and it is crucial for face alignment. Moreover, we generate a cheap heatmap based on the face alignment result and fuse it with features to improve the performance of the other two tasks. Based on the heatmap, the network can utilize both geometric information of landmarks and appearance information for head pose estimation. The heatmap also provides attention clues for face tracking. The face tracking task also saves us the face detection procedure for each frame, which also significantly boost the real-time capability for video-based tasks. We experimentally validate ATPN on four benchmark datasets, WFLW, 300VW, WIDER Face and 300W-LP. The experimental results demonstrate that it achieves better performance with much less parameters and lower computational complexity compared to other light models.


title: RL-Controller: a reinforcement learning framework for active structural control

abstract: To maintain structural integrity and functionality during the designed life cycle of a structure, engineers are expected to accommodate for natural hazards as well as operational load levels. Active control systems are an efficient solution for structural response control when a structure is subjected to unexpected extreme loads. However, development of these systems through traditional means is limited by their model dependent nature. Recent advancements in adaptive learning methods, in particular, reinforcement learning (RL), for real-time decision making problems, along with rapid growth in high-performance computational resources, help structural engineers to transform the classic model-based active control problem to a purely data-driven one. In this paper, we present a novel RL-based approach for designing active controllers by introducing RL-Controller, a flexible and scalable simulation environment. The RL-Controller includes attributes and functionalities that are defined to model active structural control mechanisms in detail. We show that the proposed framework is easily trainable for a five story benchmark building with 65% reductions on average in inter story drifts (ISD) when subjected to strong ground motions. In a comparative study with LQG active control method, we demonstrate that the proposed model-free algorithm learns more optimal actuator forcing strategies that yield higher performance, e.g., 25% more ISD reductions on average with respect to LQG, without using prior information about the mechanical properties of the system.


title: A low-noise on-chip coherent microwave source

abstract: The scaleup of quantum computers operating in the microwave domain requires advanced control electronics, and the use of integrated components that operate at the temperature of the quantum devices is potentially beneficial. However, such an approach requires ultra-low power dissipation and high signal quality in order to ensure quantum-coherent operations. Here, we report an on-chip device that is based on a Josephson junction coupled to a spiral resonator and is capable of coherent continuous-wave microwave emission. We show that characteristics of the device accurately follow a theory based on a perturbative treatment of the capacitively shunted Josephson junction as a gain element. The infidelity of typical quantum gate operations due to the phase noise of this cryogenic 25-pW microwave source is less than 0.1% up to 10-ms evolution times, which is below the infidelity caused by dephasing in state-of-the-art superconducting qubits. Together with future cryogenic amplitude and phase modulation techniques, our approach may lead to scalable cryogenic control systems for quantum processors.


title: Electronic statistics-on-demand: bunching, anti-bunching, positive and negative correlations in a molecular spin-valve

abstract: One of the long-standing goals of quantum transport is to use the noise, rather than the average current, for information processing. However, achieving this requires on-demand control of quantum fluctuations in the electric current. In this paper, we demonstrate theoretically that transport through a molecular spin-valve provides access to many different statistics of electron tunneling events. Simply by changing highly tunable parameters, such as electrode spin-polarization, magnetization angle, and voltage, one is able to switch between Poisson behavior, bunching and anti-bunching of electron tunnelings, and positive and negative temporal correlations. The molecular spin-valve is modeled by a single spin-degenerate molecular orbital with local electronic repulsion coupled to two ferromagnetic leads with magnetization orientations allowed to rotate relative to each other. The electron transport is described via Born-Markov master equation and fluctuations are studied with higher-order waiting time distributions. For highly magnetized parallel-aligned electrodes, we find that strong positive temporal correlations emerge in the voltage range where the second transport channel is partially open. These are caused by a spin-induced electron-bunching, which does not manifest in the stationary current alone.


title: Efficient Android Based Invisible Broken Wire Detector

abstract: The system to include an android based underground broken wire detection which works by detecting the electromagnetic field around a live underground cable is proposed. The transmission cables undergo stress and strain as they are under the ground. This may lead to short circuits or various kinds of snapping in the wire. If these faults are not treated, it may cause an interruption in the power supply and permanent damage. The proposed method distinguishes the short circuit fault in the underground links. The existing and traditional techniques for detection are reviewed and only the methods for spotting the short circuit error are included. Thus the proposed system provides a cost-efficient way of detecting the short circuit shortcomings in underground cables.


title: Potential Escalator-related Injury Identification and Prevention Based on Multi-module Integrated System for Public Health

abstract: Escalator-related injuries threaten public health with the widespread use of escalators. The existing studies tend to focus on after-the-fact statistics, reflecting on the original design and use of defects to reduce the impact of escalator-related injuries, but few attention has been paid to ongoing and impending injuries. In this study, a multi-module escalator safety monitoring system based on computer vision is designed and proposed to simultaneously monitor and deal with three major injury triggers, including losing balance, not holding on to handrails and carrying large items. The escalator identification module is utilized to determine the escalator region, namely the region of interest. The passenger monitoring module is leveraged to estimate the passengers' pose to recognize unsafe behaviors on the escalator. The dangerous object detection module detects large items that may enter the escalator and raises alarms. The processing results of the above three modules are summarized in the safety assessment module as the basis for the intelligent decision of the system. The experimental results demonstrate that the proposed system has good performance and great application potential.


title: Targeting Bright Metal-poor Stars in the Disk and Halo Systems of the Galaxy

abstract: We present the results of spectroscopic follow-up for 1897 low-metallicity star candidates, selected from the Best & Brightest (B&B) Survey, carried out with the GMOS-N/S (Gemini North/South telescopes) and Goodman (SOAR Telescope) spectrographs. From these low-resolution ($R \sim 2000$) spectra, we estimate stellar atmospheric parameters, as well as carbon and magnesium (representative of $\alpha$ elements) abundance ratios. We confirm that $56\%$ of our program stars are metal-poor ([Fe/H] $< -1.0$), $30\%$ are very metal-poor (VMP; [Fe/H] $< -2.0$) and $2\%$ are extremely metal-poor (EMP; [Fe/H] $< -3.0$). There are 191 carbon-enhanced metal-poor (CEMP) stars, resulting in CEMP fractions of $19\%$ and $43\%$ for the VMP and EMP regimes, respectively. A total of 94 confirmed CEMP stars belong to Group I ($A({\rm C}) \gtrsim 7.25$) and 97 to Group II ($A({\rm C}) \lesssim 7.25$) in the Yoon-Beers $A$(C)$-$[Fe/H] diagram. Moreover, we combine these data with Gaia EDR3 astrometric information to delineate new target-selection criteria, which have been applied to the Goodman/SOAR candidates, to more than double the efficiency for identification of bona-fide VMP and EMP stars in comparison to random draws from the B&B catalog. We demonstrate that this target-selection approach can achieve success rates of $96\%$, $76\%$, $28\%$ and $4\%$ for [Fe/H] $\leq -1.5$, $\leq -2.0$, $\leq -2.5$ and $\leq -3.0$, respectively. Finally, we investigate the presence of dynamically interesting stars in our sample. We find that several VMP/EMP ([Fe/H] $\leq -2.5$) stars can be associated with either the disk system or halo substructures like Gaia-Sausage/Enceladus and Sequoia.


title: Early Prediction and Diagnosis of Retinoblastoma Using Deep Learning Techniques

abstract: Retinoblastoma is the most prominent childhood primary intraocular malignancy that impacts the vision of children and adults worldwide. In contrasting and comparing with adults it is uveal melanoma. It is an aggressive tumor that can fill and destroy the eye and the surrounding structures. Therefore early detection of retinoblastoma in childhood is the key. The major impact of the research is to identify the tumor cells in the retina. Also is to find out the stages of the tumor and its corresponding group. The proposed systems assist the ophthalmologists for accurate prediction and diagnosis of retinoblastoma cancer disease at the earliest. The contribution of the proposed approach is to save the life of infants and the grown-up children from vision impairment. The proposed methodology consists of three phases namely, preprocessing, segmentation, and classification. Initially, the fundus images are preprocessed using the Liner Predictive Decision based Median Filter (LPDMF). It removes the noise introduced in the image due to illumination while capturing or scanning the eye of the patients. The preprocessed images are segmented using the Convolutional Neural Network (CNN) to distinguish the foreground tumor cells from the background.


title: Scalable and High-Fidelity Quantum Random Access Memory in Spin-Photon Networks

abstract: A quantum random access memory (qRAM) is considered an essential computing unit to enable polynomial speedups in quantum information processing. Proposed implementations include using neutral atoms and superconducting circuits to construct a binary tree, but these systems still require demonstrations of the elementary components. Here, we propose a photonic integrated circuit (PIC) architecture integrated with solid-state memories as a viable platform for constructing a qRAM. We also present an alternative scheme based on quantum teleportation and extend it to the context of quantum networks. Both implementations rely on already demonstrated components: electro-optic modulators, a Mach-Zehnder interferometer (MZI) network, and nanocavities coupled to artificial atoms for spin-based memory writing and retrieval. Our approaches furthermore benefit from built-in error-detection based on photon heralding. Detailed theoretical analysis of the qRAM efficiency and query fidelity shows that our proposal presents viable near-term designs for a general qRAM.


title: Scrambling with conservation law

abstract: In this article we discuss the impact of conservation laws, specifically $U(1)$ charge conservation and energy conservation, on scrambling dynamics, especially on the approach to the late time fully scrambled state. As a model, we consider a $d+1$ dimensional ($d\geq 2$) holographic conformal field theory with Einstein gravity dual. Using the holographic dictionary, we calculate out-of-time-order-correlators (OTOCs) that involve the conserved $U(1)$ current operator or energy-momentum tensor. We show that these OTOCs approach their late time value as a power law in time, with a universal exponent $\frac{d}{2}$. We also generalize the result to compute OTOCs between general operators which have overlap with the conserved charges.


title: Gravitational waves from axion-like particle cosmic string-wall networks

abstract: Axion-like particles (ALPs) are a compelling candidate for dark matter (DM), whose production is associated with the formation of a string-wall network. If walls bounded by strings persist, which requires the potential to have multiple local minima ($N>1$), they must annihilate before they become dominant. They annihilate mostly into gravitational waves and non-relativistic ALPs. We show that for ALPs other than the QCD axion these gravitational waves, if produced at temperatures below 100 eV, could be detected by future cosmological probes for ALPs with mass from $10^{-16}$ to $10^{6}$ eV that could constitute the entirety of the DM.


title: Helmholtzian Eigenmap: Topological feature discovery & edge flow learning from point cloud data

abstract: The manifold Helmholtzian (1-Laplacian) operator $\Delta_1$ elegantly generalizes the Laplace-Beltrami operator to vector fields on a manifold $\mathcal M$. In this work, we propose the estimation of the manifold Helmholtzian from point cloud data by a weighted 1-Laplacian $\mathcal L_1$. While higher order Laplacians have been introduced and studied, this work is the first to present a graph Helmholtzian constructed from a simplicial complex as a consistent estimator for the continuous operator in a non-parametric setting. Equipped with the geometric and topological information about $\mathcal M$, the Helmholtzian is a useful tool for the analysis of flows and vector fields on $\mathcal M$ via the Helmholtz-Hodge theorem. In addition, the $\mathcal L_1$ allows the smoothing, prediction, and feature extraction of the flows. We demonstrate these possibilities on substantial sets of synthetic and real point cloud datasets with non-trivial topological structures; and provide theoretical results on the limit of $\mathcal L_1$ to $\Delta_1$.


title: Representative volume elements for matrix-inclusion composites -- a computational study on periodizing the ensemble

abstract: We investigate volume-element sampling strategies for the stochastic homogenization of particle-reinforced composites and show, via computational experiments, that an improper treatment of particles intersecting the boundary of the computational cell may affect the accuracy of the computed effective properties. Motivated by recent results on a superior convergence rate of the systematic error for periodized ensembles compared to taking snapshots of ensembles, we conduct computational experiments for microstructures with circular, spherical and cylindrical inclusions and monitor the systematic errors in the effective thermal conductivity for snapshots of ensembles compared to working with microstructures sampled from periodized ensembles. We observe that the standard deviation of the apparent properties computed on microstructures sampled from the periodized ensembles decays at the scaling expected from the central limit theorem. In contrast, the standard deviation for the snapshot ensembles shows an inferior decay rate at high filler content. The latter effect is caused by additional long-range correlations that necessarily appear in particle-reinforced composites at high, industrially relevant, volume fractions. Periodized ensembles, however, appear to be less affected by these correlations. Our findings provide guidelines for working with digital volume images of material microstructures and the design of representative volume elements for computational homogenization.


title: A $C^1$-conforming Petrov-Galerkin method for convection-diffusion equations and superconvergence ananlysis over rectangular meshes

abstract: In this paper, a new $C^1$-conforming Petrov-Galerkin method for convection-diffusion equations is designed and analyzed. The trail space of the proposed method is a $C^1$-conforming ${\mathbb Q}_k$ (i.e., tensor product of polynomials of degree at most $k$) finite element space while the test space is taken as the $L^2$ (discontinuous) piecewise ${\mathbb Q}_{k-2}$ polynomial space. Existence and uniqueness of the numerical solution is proved and optimal error estimates in all $L^2, H^1, H^2$-norms are established. In addition, superconvergence properties of the new method are investigated and superconvergence points/lines are identified at mesh nodes (with order $2k-2$ for both function value and derivatives), at roots of a special Jacobi polynomial, and at the Lobatto lines and Gauss lines with rigorous theoretical analysis. In order to reduce the global regularity requirement, interior a priori error estimates in the $L^2, H^1, H^2$-norms are derived. Numerical experiments are presented to confirm theoretical findings.


title: SLfRank: Shinnar-Le-Roux Pulse Design with Reduced Energy and Accurate Phase Profiles using Rank Factorization

abstract: The Shinnar-Le-Roux (SLR) algorithm is widely used to design frequency selective pulses with large flip angles. We improve its design process to generate pulses with lower energy (by as much as 26%) and more accurate phase profiles. Concretely, the SLR algorithm consists of two steps: (1) an invertible transform between frequency selective pulses and polynomial pairs that represent Cayley-Klein (CK) parameters and (2) the design of the CK polynomial pair to match the desired magnetization profiles. Because the CK polynomial pair is bi-linearly coupled, the original algorithm sequentially solves for each polynomial instead of jointly. This results in sub-optimal pulses. Instead, we leverage a convex relaxation technique, commonly used for low rank matrix recovery, to address the bi-linearity. Our numerical experiments show that the resulting pulses are almost always globally optimal in practice. For slice excitation, the proposed algorithm results in more accurate linear phase profiles. And in general the improved pulses have lower energy than the original SLR pulses.


title: Characterizing the Interplay between Polymer Solvation and Conformation

abstract: Conformational transitions of flexible molecules, especially those driven by hydrophobic effects, tend to be hindered by desolvation barriers. For such transitions, it is thus important to characterize and understand the interplay between solvation and conformation. Using specialized molecular simulations, here we perform such a characterization for a hydrophobic polymer solvated in water. We find that an external potential, which unfavorably perturbs the polymer hydration waters, can trigger a coil-to-globule or collapse transition, and that the relative stabilities of the collapsed and extended states can be quantified by the strength of the requisite potential. Our results also provide mechanistic insights into the collapse transition, highlighting that polymer collapse proceeds through the formation of a sufficiently large non-polar cluster, and that collective water density fluctuations play an important role in stabilizing such a cluster. We also study the collapse of the hydrophobic polymer in octane, a non-polar solvent, and interestingly, we find that the mechanistic details of the transition are qualitatively similar to that in water.


title: Efficient Precoding for Single Carrier Modulation in Multi-User Massive MIMO Networks

abstract: By processing in the frequency domain (FD), massive MIMO systems can approach the theoretical per-user capacity using a single carrier modulation (SCM) waveform with a cyclic prefix. Minimum mean squared error (MMSE) detection and zero forcing (ZF) precoding have been shown to effectively cancel multi-user interference while compensating for inter-symbol interference. In this paper, we present a modified downlink precoding approach in the FD based on regularized zero forcing (RZF), which reuses the matrix inverses calculated as part of the FD MMSE uplink detection. By reusing these calculations, the computational complexity of the RZF precoder is drastically lowered, compared to the ZF precoder. Introduction of the regularization in RZF leads to a bias in the detected data symbols at the user terminals. We show this bias can be removed by incorporating a scaling factor at the receiver. Furthermore, it is noted that user powers have to be optimized to strike a balance between noise and interference seen at each user terminal. The resulting performance of the RZF precoder exceeds that of the ZF precoder for low and moderate input signal-to-noise ratio (SNR) conditions, and performance is equal for high input SNR. These results are established and confirmed by analysis and simulation.


title: Nonlinear dynamics of topological Dirac fermions in 2D spin-orbit coupled materials

abstract: The graphene family materials are two-dimensional staggered monolayers with a gapped energy band structure due to intrinsic spin-orbit coupling. The mass gaps in these materials can be manipulated on-demand via biasing with a static electric field, an off-resonance circularly polarized laser, or an exchange interaction field, allowing the monolayer to be driven through a multitude of topological phase transitions. We investigate the dynamics of spin-orbit coupled graphene family materials to unveil topological phase transition fingerprints embedded in the nonlinear regime and show how these signatures manifest in the nonlinear Kerr effect and in third-harmonic generation processes. We show that the resonant nonlinear spectral response of topological fermions can be traced to specific Dirac cones in these materials, enabling characterization of topological invariants in any phase by detecting the cross-polarized component of the electromagnetic field. By shedding light on the unique processes involved in harmonic generation via topological phenomena our findings open an encouraging path towards the development of novel nonlinear systems based on two-dimensional semiconductors of the graphene family.


title: Attack as Defense: Characterizing Adversarial Examples using Robustness

abstract: As a new programming paradigm, deep learning has expanded its application to many real-world problems. At the same time, deep learning based software are found to be vulnerable to adversarial attacks. Though various defense mechanisms have been proposed to improve robustness of deep learning software, many of them are ineffective against adaptive attacks. In this work, we propose a novel characterization to distinguish adversarial examples from benign ones based on the observation that adversarial examples are significantly less robust than benign ones. As existing robustness measurement does not scale to large networks, we propose a novel defense framework, named attack as defense (A2D), to detect adversarial examples by effectively evaluating an example's robustness. A2D uses the cost of attacking an input for robustness evaluation and identifies those less robust examples as adversarial since less robust examples are easier to attack. Extensive experiment results on MNIST, CIFAR10 and ImageNet show that A2D is more effective than recent promising approaches. We also evaluate our defence against potential adaptive attacks and show that A2D is effective in defending carefully designed adaptive attacks, e.g., the attack success rate drops to 0% on CIFAR10.


title: Microscopic Calculation of Spin Torques in Textured Antiferromagnets

abstract: A microscopic calculation is presented for the spin-transfer torques (STT) and damping torques in metallic antiferromagnets (AF). It is found that the sign of the STT is opposite to that in ferromagnets because of the AF transport character, and the current-to-STT conversion factor is enhanced near the AF gap edge. The dissipative torque parameter $\beta_n$ and the damping parameter $\alpha_n$ for the N\'eel vector arise from spin relaxation of electrons. Physical consequences are demonstrated for the AF domain wall motion using collective coordinates, and some similarities to the ferromagnetic case are pointed out such as intrinsic pinning and the specialty of $\alpha_n = \beta_n$. A recent experiment on a ferrimagnetic GdFeCo near its angular-momentum compensation temperature is discussed.


title: Electric Vehicle Charging Scheduling in Green Logistics: Challenges, Approaches and Opportunities

abstract: Replacing a fossil fuel-powered car with an electric model can halve greenhouse gas emissions over the course of the vehicle's lifetime and reduce the noise pollution in urban areas. In green logistics, a well-scheduled charging ensures an efficient operation of transportation and power systems and, at the same time, provides economical and satisfactory charging services for drivers. This paper presents a taxonomy of current electric vehicle charging scheduling problems in green logistics by analyzing its unique features with some typical use cases, such as space assignment, routing and energy management; discusses the challenges, i.e., the information availability and stakeholders' strategic behaviors that arise in stochastic and decentralized environments; and classifies the existing approaches, as centralized, distributed and decentralized ones, that apply to these challenges. Moreover, we discuss research opportunities in applying market-based mechanisms, which shall be coordinated with stochastic optimization and machine learning, to the decentralized, dynamic and data-driven charging scheduling problems for the management of the future green logistics.


title: Spatio-temporal Modeling for Large-scale Vehicular Networks Using Graph Convolutional Networks

abstract: The effective deployment of connected vehicular networks is contingent upon maintaining a desired performance across spatial and temporal domains. In this paper, a graph-based framework, called SMART, is proposed to model and keep track of the spatial and temporal statistics of vehicle-to-infrastructure (V2I) communication latency across a large geographical area. SMART first formulates the spatio-temporal performance of a vehicular network as a graph in which each vertex corresponds to a subregion consisting of a set of neighboring location points with similar statistical features of V2I latency and each edge represents the spatio-correlation between latency statistics of two connected vertices. Motivated by the observation that the complete temporal and spatial latency performance of a vehicular network can be reconstructed from a limited number of vertices and edge relations, we develop a graph reconstruction-based approach using a graph convolutional network integrated with a deep Q-networks algorithm in order to capture the spatial and temporal statistic of feature map pf latency performance for a large-scale vehicular network. Extensive simulations have been conducted based on a five-month latency measurement study on a commercial LTE network. Our results show that the proposed method can significantly improve both the accuracy and efficiency for modeling and reconstructing the latency performance of large vehicular networks.


title: AIR4Children: Artificial Intelligence and Robotics for Children

abstract: We introduce AIR4Children, Artificial Intelligence for Children, as a way to (a) tackle aspects for inclusion, accessibility, transparency, equity, fairness and participation and (b) to create affordable child-centred materials in AI and Robotics (AIR). We present current challenges and opportunities for a child-centred approaches for AIR. Similarly, we touch on open-sourced software and hardware technologies to make a more inclusive, affordable and fair participation of children in areas of AIR. Then, we describe the avenues that AIR4Children can take with the development of open-sourced software and hardware based on our initial pilots and experiences. Similarly, we propose to follow the philosophy of Montessori education to help children to not only develop computational thinking but also to internalise new concepts and learning skills through activities of movement and repetition. Finally, we conclude with the opportunities of our work and mainly we pose the future work of putting in practice what is proposed here to evaluate the potential impact on AIR to children, instructors, parents and their community.


title: Essential forward weak KAM solution for the convex Hamilton-Jacobi equation

abstract: For a convex, coercive continuous Hamiltonian on a compact closed Riemannian manifold $M$, we construct a unique forward weak KAM solution of \[ H(x, d_x u)=c(H) \] by a vanishing discount approach, where $c(H)$ is the Ma\~n\'e critical value. We also discuss the dynamical significance of such a special solution.


title: Trisections on Certain Rational Elliptic Surfaces and Families of Zariski Pairs Degenerating to the same Conic-line Arrangement

abstract: In this paper, we study the geometry of trisections on certain rational elliptic surfaces. We utilize Mumford representations of semi-reduced divisors in order to construct trisections and related plane curves with interesting properties explicitly. As a result we are able to construct new examples of Zariski pairs. Especially, we show the existence of a family of Zariski pairs that degenerate to the same conic-line arrangement.


title: Generating Unrestricted Adversarial Examples via Three Parameters

abstract: Deep neural networks have been shown to be vulnerable to adversarial examples deliberately constructed to misclassify victim models. As most adversarial examples have restricted their perturbations to $L_{p}$-norm, existing defense methods have focused on these types of perturbations and less attention has been paid to unrestricted adversarial examples; which can create more realistic attacks, able to deceive models without affecting human predictions. To address this problem, the proposed adversarial attack generates an unrestricted adversarial example with a limited number of parameters. The attack selects three points on the input image and based on their locations transforms the image into an adversarial example. By limiting the range of movement and location of these three points and using a discriminatory network, the proposed unrestricted adversarial example preserves the image appearance. Experimental results show that the proposed adversarial examples obtain an average success rate of 93.5% in terms of human evaluation on the MNIST and SVHN datasets. It also reduces the model accuracy by an average of 73% on six datasets MNIST, FMNIST, SVHN, CIFAR10, CIFAR100, and ImageNet. It should be noted that, in the case of attacks, lower accuracy in the victim model denotes a more successful attack. The adversarial train of the attack also improves model robustness against a randomly transformed image.


title: Ensemble Learning with Manifold-Based Data Splitting for Noisy Label Correction

abstract: Label noise in training data can significantly degrade a model's generalization performance for supervised learning tasks. Here we focus on the problem that noisy labels are primarily mislabeled samples, which tend to be concentrated near decision boundaries, rather than uniformly distributed, and whose features should be equivocal. To address the problem, we propose an ensemble learning method to correct noisy labels by exploiting the local structures of feature manifolds. Different from typical ensemble strategies that increase the prediction diversity among sub-models via certain loss terms, our method trains sub-models on disjoint subsets, each being a union of the nearest-neighbors of randomly selected seed samples on the data manifold. As a result, each sub-model can learn a coarse representation of the data manifold along with a corresponding graph. Moreover, only a limited number of sub-models will be affected by locally-concentrated noisy labels. The constructed graphs are used to suggest a series of label correction candidates, and accordingly, our method derives label correction results by voting down inconsistent suggestions. Our experiments on real-world noisy label datasets demonstrate the superiority of the proposed method over existing state-of-the-arts.


title: Gauge invariant formulation of the self-interacting Duffin-Kemmer-Petiau equations

abstract: We show that the Duffin-Kemmer-Petiau equation, minimally coupled to an Abelian gauge field, can be regarded as a matrix equation for the gauge potential produced internally from the matter fields. This can be solved as a rational expression in terms of currents bilinear in the matter wavefunction, together with a similar expression for the field strength tensor, thus providing a gauge invariant formulation of the self-interacting DKP equations. We give the derivation of this result for the 5 component DKP system, by analogy with the Dirac equation case. To this end, we establish the algebraic structure of the set of bilinear currents, and the properties of the minimal generating set, which consists of two scalars and two four-vectors, together with a single quadratic constraint.


title: Propagation of wave packets along intensive simple waves

abstract: We consider propagation of high-frequency wave packets along a smooth evolving background flow whose evolution is described by a simple-wave type of solutions of hydrodynamic equations. In geometrical optics approximation, the motion of the wave packet obeys the Hamilton equations with the dispersion law playing the role of the Hamiltonian. This Hamiltonian depends also on the amplitude of the background flow obeying the Hopf-like equation for the simple wave. The combined system of Hamilton and Hopf equations can be reduced to a single ordinary differential equation whose solution determines the value of the background amplitude at the location of the wave packet. This approach extends the results obtained in Ref.~\cite{ceh-19} for the rarefaction background flow to arbitrary simple-wave type background flows. The theory is illustrated by its application to waves obeying the KdV equation.


title: A Jordan Curve Theorem for 2-dimensional Tilings

abstract: The classical Jordan curve theorem for digital curves asserts that the Jordan curve theorem remains valid in the Khalimsky plane. Since the Khalimsky plane is a quotient space of $\mathbb R^2$ induced by a tiling of squares, it is natural to ask for which other tilings of the plane it is possible to obtain a similar result. In this paper we prove a Jordan curve theorem which is valid for every locally finite tiling of $\mathbb R^2$. As a corollary of our result, we generalize some classical Jordan curve theorems for grids of points, including Rosenfeld's theorem.


title: Effects of Helium massive gas injection level on disruption mitigation on EAST

abstract: In this study, NIMROD simulations are performed to investigate the effects of massive helium gas injection level on the induced disruption on EAST tokamak. It is demonstrated in simulations that two different scenarios of plasma cooling (complete cooling and partial cooling) take place for different amounts of injected impurities. For the impurity injection above a critical level, a single MHD activity is able to induce a complete core temperature collapse. For impurity injection below the critical level, a series of multiple minor disruptions occur before the complete thermal quench (TQ).


title: Room-temperature ferroelectric switching of spin-to-charge conversion in GeTe

abstract: Since its birth in the 1990s, semiconductor spintronics has suffered from poor compatibility with ferromagnets as sources of spin. While the broken inversion symmetry of some semiconductors may alternatively allow for spin-charge interconversion, its control by electric fields is volatile. Ferroelectric Rashba semiconductors stand as appealing materials unifying semiconductivity, large spin-orbit coupling, and non-volatility endowed by ferroelectricity. However, their potential for spintronics has been little explored. Here, we demonstrate the non-volatile, ferroelectric control of spin-to-charge conversion at room temperature in epitaxial GeTe films. We show that ferroelectric switching by electrical gating is possible in GeTe despite its high carrier density. We reveal a spin-to-charge conversion as effective as in Pt, but whose sign is controlled by the orientation of the ferroelectric polarization. The comparison between theoretical and experimental data suggests that spin Hall effect plays a major role for switchable conversion. These results open a route towards devices combining spin-based logic and memory integrated into a silicon-compatible material.


title: On Kiyoshi Oka's Unpublished Papers in 1943

abstract: In 1943 from September to December Kiyoshi Oka wrote a series of papers numbered from VII to XI, as the research reports to Teiji Takagi (then, Professor of Tokyo Imperial University), in which he solved affirmatively the so-called Levi Problem (Hartogs' Inverse Problem termed by Oka) for unramified Riemann domains over $\C^n$. This problem which had been left open for more than thirty years then, was the last one of the Three Big Problems summarized by Behnke--Thullen 1934. The papers were hand-written in Japanese, consist of pp.~108 in total, and have not been published by themselves. The aim of the present article is to provide an English translation of the most important, last paper (Part II) with preparation (Part I). At the end of Part I we will discuss a problem which K. Oka left and is still open.


title: Lie groups of dimension 4 and almost hypercomplex manifolds with Hermitian-Norden metrics

abstract: Object of investigation are almost hypercomplex manifolds with Hermitian-Norden metrics of the lowest dimension. The considered manifolds are constructed on 4-dimensional Lie groups. It is established a relation between the classes of a classification of 4-dimensional indecomposable real Lie algebras and the classification of the manifolds under study. The basic geometrical characteristics of the constructed manifolds are studied in the frame of the mentioned classification of the Lie algebras.


title: Improving Diversity of Neural Text Generation via Inverse Probability Weighting

abstract: The neural text generation suffers from the text degeneration issue such as repetition. Traditional stochastic sampling methods only focus on truncating the unreliable "tail" of the distribution, and do not address the "head" part, which we show might contain tedious or even repetitive candidates with high probability that lead to repetition loops. They also do not consider the issue that human text does not always favor high-probability words. Inspired by these, in this work we propose a heuristic sampling method. We propose to use interquartile range of the predicted distribution to determine the "head" part, then permutate and rescale the "head" with inverse probability. This aims at decreasing the probability for the tedious and possibly repetitive candidates with higher probability, and increasing the probability for the rational but more surprising candidates with lower probability. The proposed algorithm provides a reasonable permutation on the predicted distribution which enhances diversity without compromising rationality of the distribution. We use pre-trained language model to compare our algorithm with traditional methods. Results show that our algorithm can effectively increase the diversity of generated samples while achieving close resemblance to human text.


title: Global existence and blow up for systems of nonlinear wave equations related to the weak null condition

abstract: We discuss how the higher-order term $|u|^q$ $(q>1+2/(n-1))$ has nontrivial effects in the lifespan of small solutions to the Cauchy problem for the system of nonlinear wave equations $$ \partial_t^2 u-\Delta u=|v|^p, \qquad \partial_t^2 v-\Delta v=|\partial_t u|^{(n+1)/(n-1)} +|u|^q $$ in $n\,(\geq 2)$ space dimensions. We show the existence of a certain "critical curve" on the $pq$-plane such that for any $(p,q)$ $(p,q>1)$ lying below the curve, nonexistence of global solutions occurs, whereas for any $(p,q)$ $(p>1+3/(n-1),\,q>1+2/(n-1))$ lying exactly on it, this system admits a unique global solution for small data. When $n=3$, the discussion for the above system with $(p,q)=(3,3)$, which lies on the critical curve, has relevance to the study on systems satisfying the weak null condition, and we obtain a new result of global existence for such systems. Moreover, in the particular case of $n=2$ and $p=4$ it is observed that no matter how large $q$ is, the higher-order term $|u|^q$ never becomes negligible and it essentially affects the lifespan of small solutions.


title: Delay stochastic interest rate model with jump and strong convergence in Monte Carlo simulations

abstract: In this paper, we study analytical properties of the solutions to the generalised delay Ait-Sahalia-type interest rate model with Poisson-driven jump. Since this model does not have explicit solution, we employ several new truncated Euler-Maruyama (EM) techniques to investigate finite time strong convergence theory of the numerical solutions under the local Lipschitz condition plus the Khasminskii-type condition. We justify the strong convergence result for Monte Carlo calibration and valuation of some debt and derivative instruments.


title: Bounding the zeros of polynomials using the Frobenius companion matrix partitioned by the Cartesian decomposition

abstract: In this work, Some new inequalities for the numerical radius of block $n$-by-$n$ matrices are presented. As an application, bounding of zeros of polynomials using the Frobenius companion matrix partitioned by the Cartesian decomposition approach is proved and affirmed by a numerical example showing that our approach of bounding zeros of polynomials could be very effective in comparison with the most famous and some recent results presented in the field.


title: An Identity-based Batch Verification Scheme for VANETs Based on Ring Signature with Efficient Revocation

abstract: Vehicular ad-hoc networks (VANETs) are one of the most important components in Intelligent Transportation System (ITS), which aims to provide secure and efficient communication between vehicles. Safety-critical vehicular communication requires security, privacy, and auditability. To satisfy these requirements simultaneously, several conditional privacy-preserving authentication schemes are proposed by employing ring signatures. However, these methods have paid little attention to the issues like how to choose the valid ring members or how to set up a ring. In this paper, we introduce an efficient conditional privacy-preserving scheme which provides an appropriate approach establishing the list of ring members with efficient revocation. Moreover, our proposed scheme also provides batch verification to significantly reduce the computational cost. According to the analysis of security, our scheme is sufficiently resistant against several common attacks in VANETs. The performance results show that the proposed scheme is efficient and practical with both low computation and communication cost.


title: Understanding User Topic Preferences across Multiple Social Networks

abstract: In recent years, social networks have shown diversity in function and applications. People begin to use multiple online social networks simultaneously for different demands. The ability to uncover a user's latent topic and social network preference is critical for community detection, recommendation, and personalized service across social networks. Unfortunately, most current works focus on the single network, necessitating new technology and models to address this issue. This paper proposes a user preference discovery model on multiple social networks. Firstly, the global and local topic concepts are defined, then a latent semantic topic discovery method is used to obtain global and local topic word distributions, along with user topic and social network preferences. After that, the topic distribution characteristics of different social networks are examined, as well as the reasons why users choose one network over another to create a post. Next, a Gibbs sampling algorithm is adopted to obtain the model parameters. In the experiment, we collect data from Twitter, Instagram, and Tumblr websites to build a dataset of multiple social networks. Finally, we compare our research to previous works, and both qualitative and quantitative evaluation results have demonstrated the effectiveness.


title: Lightweight Selective Disclosure for Verifiable Documents on Blockchain

abstract: To achieve lightweight selective disclosure for protecting privacy of document holders, we propose an XML format for documents that can hide arbitrary elements using a cryptographic hash function and salts, which allows to be partially digitally signed and efficiently verified, as well as a JSON format that can be converted to such XML. The documents can be efficiently proven to exist by representing multiple such structures as a Merkle tree and storing its root in blockchain. We show that our proposal has advantages over known methods that represent the document itself as a Merkle tree and partially hide it.


title: Optimal Embedding Calibration for Symbolic Music Similarity

abstract: In natural language processing (NLP), the semantic similarity task requires large-scale, high-quality human-annotated labels for fine-tuning or evaluation. By contrast, in cases of music similarity, such labels are expensive to collect and largely dependent on the annotator's artistic preferences. Recent research has demonstrated that embedding calibration technique can greatly increase semantic similarity performance of the pre-trained language model without fine-tuning. However, it is yet unknown which calibration method is the best and how much performance improvement can be achieved. To address these issues, we propose using composer information to construct labels for automatically evaluating music similarity. Under this paradigm, we discover the optimal combination of embedding calibration which achieves superior metrics than the baseline methods.


title: On semisimplicity of module categories for finite non-zero index vertex operator subalgebras

abstract: Let $V\subseteq A$ be a conformal inclusion of vertex operator algebras and let $\mathcal{C}$ be a category of grading-restricted generalized $V$-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which $\mathcal{C}$ inherits semisimplicity from the category of grading-restricted generalized $A$-modules in $\mathcal{C}$, and vice versa. The most important condition is that $A$ be a rigid $V$-module in $\mathcal{C}$ with non-zero categorical dimension, that is, we assume the index of $V$ as a subalgebra of $A$ is finite and non-zero. As a consequence, we show that if $A$ is strongly rational, then $V$ is also strongly rational under the following conditions: $A$ contains $V$ as a $V$-module direct summand, $V$ is $C_2$-cofinite with a rigid tensor category of modules, and $A$ has non-zero categorical dimension as a $V$-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that $A$ is a vertex operator superalgebra.


title: PhotoApp: Photorealistic Appearance Editing of Head Portraits

abstract: Photorealistic editing of portraits is a challenging task as humans are very sensitive to inconsistencies in faces. We present an approach for high-quality intuitive editing of the camera viewpoint and scene illumination in a portrait image. This requires our method to capture and control the full reflectance field of the person in the image. Most editing approaches rely on supervised learning using training data captured with setups such as light and camera stages. Such datasets are expensive to acquire, not readily available and do not capture all the rich variations of in-the-wild portrait images. In addition, most supervised approaches only focus on relighting, and do not allow camera viewpoint editing. Thus, they only capture and control a subset of the reflectance field. Recently, portrait editing has been demonstrated by operating in the generative model space of StyleGAN. While such approaches do not require direct supervision, there is a significant loss of quality when compared to the supervised approaches. In this paper, we present a method which learns from limited supervised training data. The training images only include people in a fixed neutral expression with eyes closed, without much hair or background variations. Each person is captured under 150 one-light-at-a-time conditions and under 8 camera poses. Instead of training directly in the image space, we design a supervised problem which learns transformations in the latent space of StyleGAN. This combines the best of supervised learning and generative adversarial modeling. We show that the StyleGAN prior allows for generalisation to different expressions, hairstyles and backgrounds. This produces high-quality photorealistic results for in-the-wild images and significantly outperforms existing methods. Our approach can edit the illumination and pose simultaneously, and runs at interactive rates.


title: Targeted aspect based multimodal sentiment analysis:an attention capsule extraction and multi-head fusion network

abstract: Multimodal sentiment analysis has currently identified its significance in a variety of domains. For the purpose of sentiment analysis, different aspects of distinguishing modalities, which correspond to one target, are processed and analyzed. In this work, we propose the targeted aspect-based multimodal sentiment analysis (TABMSA) for the first time. Furthermore, an attention capsule extraction and multi-head fusion network (EF-Net) on the task of TABMSA is devised. The multi-head attention (MHA) based network and the ResNet-152 are employed to deal with texts and images, respectively. The integration of MHA and capsule network aims to capture the interaction among the multimodal inputs. In addition to the targeted aspect, the information from the context and the image is also incorporated for sentiment delivered. We evaluate the proposed model on two manually annotated datasets. the experimental results demonstrate the effectiveness of our proposed model for this new task.


title: Light chain systemic amyloidosis manifested as liver failure complicated with fatal spontaneous splenic rupture: A case report

abstract: For a patient with manifestations of nausea, abdominal distension, spontaneous splenic rupture, obvious liver enlargement, low red blood cells and platelets, yellow sclera, and spider angioma, Congo red staining of liver and spleen tissues indicated amyloidosis. After secondary factors were excluded, the patient was finally diagnosed as chronic liver failure, light chain amyloidosis, spontaneous bacterial peritonitis after cystic resection and splenectomy. This case suggests that for patients with chronic liver failure accompanied by spontaneous splenic rupture and hepatomegaly for unknown reasons, the possibility of amyloidosis should be considered after excluding other factors, such as viral liver disease, autoimmune disease, alcoholic liver disease, genetic metabolic liver disease and liver tumor, and etc. Considering the low clinical incidence rate and poor prognosis, relevant diagnosis depends on the biopsy results, and many patients were not confirmed until autopsy after death. Therefore, once amyloidosis is suspected, it is necessary to have communications with relevant patients and their families on the risks for examination, treatment methods and prognosis as soon as possible.


title: Closed testing procedures for treatment-versus-control comparisons and multiple correlated endpoint

abstract: Preferably in two- or three-arm randomized clinical trials, a few (2,3) correlated multiple primary endpoints are considered. In addition to the closed testing principle based on different global tests, two max(maxT) tests are compared with respect to any-pairs, all-pairs and individual power in a simulation study.


title: Defining, Evaluating, Preparing for and Responding to a Cyber Pearl Harbor

abstract: Despite not having a clear meaning, public perception and awareness makes the term cyber Pearl Harbor an important part of the public discourse. This paper considers what the term has meant and proposes its decomposition based on three different aspects of the historical Pearl Harbor attack, allowing the lessons from Pearl Harbor to be applied to threats and subjects that may not align with all aspects of the 1941 attack. Using these three definitions, prior attacks and current threats are assessed and preparation for and response to cyber Pearl Harbor events is discussed.


title: The number of populated electronic configurations in a hot dense plasma

abstract: In hot dense plasmas of intermediate or high-Z elements in the state of local thermodynamic equilibrium, the number of electronic configurations contributing to key macroscopic quantities such as the spectral opacity and equation of state, can be enormous. In this work we present systematic methods for the analysis of the number of relativistic electronic configurations in a plasma. While the combinatoric number of configurations can be huge even for mid-Z elements, the number of configurations which have non negligible population is much lower and depends strongly and non-trivially on temperature and density. We discuss two useful methods for the estimation of the number of populated configurations: (i) using an exact calculation of the total combinatoric number of configurations within superconfigurations in a converged super-transition-array (STA) calculation, and (ii) by using an estimate for the multidimensional width of the probability distribution for electronic population over bound shells, which is binomial if electron exchange and correlation effects are neglected. These methods are analyzed, and the mechanism which leads to the huge number of populated configurations is discussed in detail. Comprehensive average atom finite temperature density functional theory (DFT) calculations are performed in a wide range of temperature and density for several low, mid and high Z plasmas. The effects of temperature and density on the number of populated configurations are discussed and explained.

categories: physics.plasm-ph astro-ph.SR cond-mat.stat-mech physics.atom-ph physics.comp-ph


title: Dilute dispersion of compound particles: deformation dynamics and rheology

abstract: Compound particles are a class of composite systems in which solid particles encapsulated in a fluid droplet are suspended in another fluid. They are encountered in various natural and biological processes, for e.g., nucleated cells, hydrogels, microcapsules etc. In this work, we analyze the flow in and around a concentric compound particle and investigate the deformation and reorientation dynamics of the confining drop and its stability against breakup in imposed linear flows. We obtain analytical expressions for the flow fields upto O(Ca) (capillary number) and the deformed shape of the confining drop upto O(Ca^2) using a domain perturbation technique. Further, we develop an O(Ca) constitutive equation for the volume-averaged stress for a dilute dispersion of compound particles. Compared to linear theory, O(Ca^2) calculations are found to be important as they make qualitatively different predictions in some linear flows. We find that the strong hydrodynamic interaction between the encapsulated particle and the confining interface results in an increased deformation of the confining drop compared to that of a simple drop, and enhances the rheological quantities such as the effective shear viscosity, extensional viscosity, and normal stress differences in a dilute dispersion. These measures pertaining to particles, drops, and particles coated with a fluid film are also derived as limiting cases of compound particles. Moreover, linear viscoelastic behavior of a dilute dispersion of compound particles is characterized in terms of complex modulus by subjecting the dispersion to a small amplitude oscillatory shear flow.


title: Bidirectional Machine Reading Comprehension for Aspect Sentiment Triplet Extraction

abstract: Aspect sentiment triplet extraction (ASTE), which aims to identify aspects from review sentences along with their corresponding opinion expressions and sentiments, is an emerging task in fine-grained opinion mining. Since ASTE consists of multiple subtasks, including opinion entity extraction, relation detection, and sentiment classification, it is critical and challenging to appropriately capture and utilize the associations among them. In this paper, we transform ASTE task into a multi-turn machine reading comprehension (MTMRC) task and propose a bidirectional MRC (BMRC) framework to address this challenge. Specifically, we devise three types of queries, including non-restrictive extraction queries, restrictive extraction queries and sentiment classification queries, to build the associations among different subtasks. Furthermore, considering that an aspect sentiment triplet can derive from either an aspect or an opinion expression, we design a bidirectional MRC structure. One direction sequentially recognizes aspects, opinion expressions, and sentiments to obtain triplets, while the other direction identifies opinion expressions first, then aspects, and at last sentiments. By making the two directions complement each other, our framework can identify triplets more comprehensively. To verify the effectiveness of our approach, we conduct extensive experiments on four benchmark datasets. The experimental results demonstrate that BMRC achieves state-of-the-art performances.


title: GraphIQA: Learning Distortion Graph Representations for Blind Image Quality Assessment

abstract: A good distortion representation is crucial for the success of deep blind image quality assessment (BIQA). However, most previous methods do not effectively model the relationship between distortions or the distribution of samples with the same distortion type but different distortion levels. In this work, we start from the analysis of the relationship between perceptual image quality and distortion-related factors, such as distortion types and levels. Then, we propose a Distortion Graph Representation (DGR) learning framework for IQA, named GraphIQA, in which each distortion is represented as a graph, i.e., DGR. One can distinguish distortion types by learning the contrast relationship between these different DGRs, and infer the ranking distribution of samples from different levels in a DGR. Specifically, we develop two sub-networks to learn the DGRs: a) Type Discrimination Network (TDN) that aims to embed DGR into a compact code for better discriminating distortion types and learning the relationship between types; b) Fuzzy Prediction Network (FPN) that aims to extract the distributional characteristics of the samples in a DGR and predicts fuzzy degrees based on a Gaussian prior. Experiments show that our GraphIQA achieves the state-of-the-art performance on many benchmark datasets of both synthetic and authentic distortions.


title: A theorem of Chernoff on quasi-analytic functions for Riemannian symmetric spaces

abstract: An $L^2$ version of the classical Denjoy-Carleman theorem regarding quasi-analytic functions was proved by P. Chernoff on $\mathbb R^n$ using iterates of the Laplacian. We give a simple proof of this theorem which generalizes the result on $\mathbb R^n$ for any $p\in [1, 2]$. We then extend this result to Riemannian symmetric spaces of compact and noncompact type for $K$-biinvariant functions.


title: Robust Model Compression Using Deep Hypotheses

abstract: Machine Learning models should ideally be compact and robust. Compactness provides efficiency and comprehensibility whereas robustness provides resilience. Both topics have been studied in recent years but in isolation. Here we present a robust model compression scheme which is independent of model types: it can compress ensembles, neural networks and other types of models into diverse types of small models. The main building block is the notion of depth derived from robust statistics. Originally, depth was introduced as a measure of the centrality of a point in a sample such that the median is the deepest point. This concept was extended to classification functions which makes it possible to define the depth of a hypothesis and the median hypothesis. Algorithms have been suggested to approximate the median but they have been limited to binary classification. In this study, we present a new algorithm, the Multiclass Empirical Median Optimization (MEMO) algorithm that finds a deep hypothesis in multi-class tasks, and prove its correctness. This leads to our Compact Robust Estimated Median Belief Optimization (CREMBO) algorithm for robust model compression. We demonstrate the success of this algorithm empirically by compressing neural networks and random forests into small decision trees, which are interpretable models, and show that they are more accurate and robust than other comparable methods. In addition, our empirical study shows that our method outperforms Knowledge Distillation on DNN to DNN compression.


title: Privacy-Preserving Infection Exposure Notification without Trust in Third Parties

abstract: In response to the COVID-19 pandemic, Bluetooth-based contact tracing has been deployed in many countries with the help of the developers of smartphone operating systems that provide APIs for privacy-preserving exposure notification. However, it has been assumed by the design that the OS developers, smartphone vendors, or governments will not violate people's privacy. We propose a privacy-preserving exposure notification under situations where none of the middle entities can be trusted. We believe that it can be achieved with small changes to the existing mechanism: random numbers are generated on the application side instead of the OS, and the positive test results are reported to a public ledger (e.g. blockchain) rather than to a government server, with endorsements from the medical institutes with blind signatures. We also discuss how to incentivize the peer-to-peer maintenance of the public ledger if it should be newly built. We show that the level of verifiability is much higher with our proposed design if a consumer group were to verify the privacy protections of the deployed systems. We believe that this will allow for safer contact tracing, and contribute to healthier lifestyles for citizens who may want to or have to go out under pandemic situations.


title: The homotopy momentum map of general relativity

abstract: We show that the action of spacetime vector fields on the variational bicomplex of general relativity has a homotopy momentum map that extends the map from vector fields to conserved currents given by Noether's first theorem to a morphism of $L_\infty$-algebras.


title: Remote preparation for single-photon state in two degrees of freedom with hyper-entangled states

abstract: Remote state preparation (RSP) provides a useful way of transferring quantum information between two distant nodes based on the previously shared entanglement. In this paper, we study RSP of an arbitrary single-photon state in two degrees of freedom (DoFs). Using hyper-entanglement as a shared resource, our first goal is to remotely prepare the single-photon state in polarization and frequency DoFs and the second one is to reconstruct the single-photon state in polarization and time-bin DoFs. In the RSP process, the sender will rotate the quantum state in each DoF of the photon according to the knowledge of the state to be communicated. By performing a projective measurement on the polarization of the sender's photon, the original single-photon state in two DoFs can be remotely reconstructed at the receiver's quantum systems. This work demonstrates a novel capability for long-distance quantum communication.


title: Fine-grained MRI Reconstruction using Attentive Selection Generative Adversarial Networks

abstract: Compressed sensing (CS) leverages the sparsity prior to provide the foundation for fast magnetic resonance imaging (fastMRI). However, iterative solvers for ill-posed problems hinder their adaption to time-critical applications. Moreover, such a prior can be neither rich to capture complicated anatomical structures nor applicable to meet the demand of high-fidelity reconstructions in modern MRI. Inspired by the state-of-the-art methods in image generation, we propose a novel attention-based deep learning framework to provide high-quality MRI reconstruction. We incorporate large-field contextual feature integration and attention selection in a generative adversarial network (GAN) framework. We demonstrate that the proposed model can produce superior results compared to other deep learning-based methods in terms of image quality, and relevance to the MRI reconstruction in an extremely low sampling rate diet.


title: Photoevaporative Dispersal of Protoplanetary Disks around Evolving Intermediate-mass Stars

abstract: We aim to understand the effect of stellar evolution on the evolution of protoplanetary disks. We focus in particular on the disk evolution around intermediate-mass (IM) stars, which evolve more rapidly than low-mass ones. We numerically solve the long-term evolution of disks around 0.5-5 solar-mass stars considering viscous accretion and photoevaporation (PE) driven by stellar far-ultraviolet (FUV), extreme-ultraviolet (EUV), and X-ray emission. We also take stellar evolution into account and consider the time evolution of the PE rate. We find that the FUV, EUV, and X-ray luminosities of IM stars evolve by orders of magnitude within a few Myr along with the time evolution of stellar structure, stellar effective temperature, or accretion rate. Therefore, the PE rate also evolves with time by orders of magnitude, and we conclude that stellar evolution is crucial for the disk evolution around IM stars.


title: Efficient Sparse Artificial Neural Networks

abstract: The brain, as the source of inspiration for Artificial Neural Networks (ANN), is based on a sparse structure. This sparse structure helps the brain to consume less energy, learn easier and generalize patterns better than any other ANN. In this paper, two evolutionary methods for adopting sparsity to ANNs are proposed. In the proposed methods, the sparse structure of a network as well as the values of its parameters are trained and updated during the learning process. The simulation results show that these two methods have better accuracy and faster convergence while they need fewer training samples compared to their sparse and non-sparse counterparts. Furthermore, the proposed methods significantly improve the generalization power and reduce the number of parameters. For example, the sparsification of the ResNet47 network by exploiting our proposed methods for the image classification of ImageNet dataset uses 40 % fewer parameters while the top-1 accuracy of the model improves by 12% and 5% compared to the dense network and their sparse counterpart, respectively. As another example, the proposed methods for the CIFAR10 dataset converge to their final structure 7 times faster than its sparse counterpart, while the final accuracy increases by 6%.


title: Introduction to gravitational wave astronomy

abstract: This chapter provides an overview of gravitational wave (GW) astronomy, providing background material that underpins the other, more specialized chapters in this handbook. It starts with a brief historical review of the development of GW astronomy, from Einstein's prediction of GWs in 1916 to the first direct detection in 2015. It presents the theory of linearized perturbations about Minkowski spacetime of Einstein's equations, and shows how gauge transformations reduce the problem to the standard wave equation with two degrees of freedom, or polarizations, $h_+,h_\times$. We derive the quadrupole formula, which relates the motion of matter in a source region to the far GW field. It is shown that GWs carry energy, as well as linear and angular momentum, away from a source. The GW field of an orbiting circular binary is found; and properties of the evolution of the binary including rate of inspiral and time to coalescence, are calculated. A brief review is given of existing and proposed GW detectors, and of how to estimate source parameters in LIGO or Virgo data of a GW event. The contributions that GW observations have already made to physics, astrophysics and cosmology are discussed.


title: uTHCD: A New Benchmarking for Tamil Handwritten OCR

abstract: Handwritten character recognition is a challenging research in the field of document image analysis over many decades due to numerous reasons such as large writing styles variation, inherent noise in data, expansive applications it offers, non-availability of benchmark databases etc. There has been considerable work reported in literature about creation of the database for several Indic scripts but the Tamil script is still in its infancy as it has been reported only in one database [5]. In this paper, we present the work done in the creation of an exhaustive and large unconstrained Tamil Handwritten Character Database (uTHCD). Database consists of around 91000 samples with nearly 600 samples in each of 156 classes. The database is a unified collection of both online and offline samples. Offline samples were collected by asking volunteers to write samples on a form inside a specified grid. For online samples, we made the volunteers write in a similar grid using a digital writing pad. The samples collected encompass a vast variety of writing styles, inherent distortions arising from offline scanning process viz stroke discontinuity, variable thickness of stroke, distortion etc. Algorithms which are resilient to such data can be practically deployed for real time applications. The samples were generated from around 650 native Tamil volunteers including school going kids, homemakers, university students and faculty. The isolated character database will be made publicly available as raw images and Hierarchical Data File (HDF) compressed file. With this database, we expect to set a new benchmark in Tamil handwritten character recognition and serve as a launchpad for many avenues in document image analysis domain. Paper also presents an ideal experimental set-up using the database on convolutional neural networks (CNN) with a baseline accuracy of 88% on test data.


title: Evolutionary algorithm for prediction of the atomic structure of two-dimensional materials on substrates

abstract: Today the study of two-dimensional (2D) materials has become one of the key objectives of materials science. Unlike their three-dimensional counterparts, 2D materials can simultaneously demonstrate unique transport and mechanical properties due to their dimensionality and quantum size effect. In their fabrication and application, 2D materials are usually located on top of the substrate or combined into heterostructures, which makes their structures and properties strongly depend on the nature and quality of the environment. Here, we present a novel method for studying the atomic structures of two-dimensional materials and epitaxial thin films on arbitrary substrates. The method can predict successful stages of epitaxial growth and the regions of stability of each atomic configuration with experimental parameters of interest. We demonstrate the performance of our methodology in the prediction of the atomic structure of MoS2 on Al2O3 (0001) substrate. The method is also applied to study the CVD growth of graphene and hexagonal boron nitride on Cu (111) substrates. In both cases, stable monolayer and multilayer structures were found. The stability of all the structures in terms of partial pressures of precursors and temperature of growth is predicted within the ab initio thermodynamics approach.


title: A review of machine learning in processing remote sensing data for mineral exploration

abstract: The decline of the number of newly discovered mineral deposits and increase in demand for different minerals in recent years has led exploration geologists to look for more efficient and innovative methods for processing different data types at each stage of mineral exploration. As a primary step, various features, such as lithological units, alteration types, structures, and indicator minerals, are mapped to aid decision-making in targeting ore deposits. Different types of remote sensing datasets, such as satellite and airborne data, make it possible to overcome common problems associated with mapping geological features. The rapid increase in the volume of remote sensing data obtained from different platforms has encouraged scientists to develop advanced, innovative, and robust data processing methodologies. Machine learning methods can help process a wide range of remote sensing datasets and determine the relationship between components such as the reflectance continuum and features of interest. These methods are robust in processing spectral and ground truth measurements against noise and uncertainties. In recent years, many studies have been carried out by supplementing geological surveys with remote sensing datasets, which is now prominent in geoscience research. This paper provides a comprehensive review of the implementation and adaptation of some popular and recently established machine learning methods for processing different types of remote sensing data and investigates their applications for detecting various ore deposit types. We demonstrate the high capability of combining remote sensing data and machine learning methods for mapping different geological features that are critical for providing potential maps. Moreover, we find there is scope for advanced methods to process the new generation of remote sensing data for creating improved mineral prospectivity maps.


title: OCID-Ref: A 3D Robotic Dataset with Embodied Language for Clutter Scene Grounding

abstract: To effectively apply robots in working environments and assist humans, it is essential to develop and evaluate how visual grounding (VG) can affect machine performance on occluded objects. However, current VG works are limited in working environments, such as offices and warehouses, where objects are usually occluded due to space utilization issues. In our work, we propose a novel OCID-Ref dataset featuring a referring expression segmentation task with referring expressions of occluded objects. OCID-Ref consists of 305,694 referring expressions from 2,300 scenes with providing RGB image and point cloud inputs. To resolve challenging occlusion issues, we argue that it's crucial to take advantage of both 2D and 3D signals to resolve challenging occlusion issues. Our experimental results demonstrate the effectiveness of aggregating 2D and 3D signals but referring to occluded objects still remains challenging for the modern visual grounding systems. OCID-Ref is publicly available at https://github.com/lluma/OCID-Ref


title: Single-stage, three-arm, adaptive test strategies for non-inferiority trials with an unstable reference

abstract: For indications where only unstable reference treatments are available and use of placebo is ethically justified, three-arm `gold standard' designs with an experimental, reference and placebo arm are recommended for non-inferiority trials. In such designs, the demonstration of efficacy of the reference or experimental treatment is a requirement. They have the disadvantage that only little can be concluded from the trial if the reference fails to be efficacious. To overcome this, we investigate novel single-stage, adaptive test strategies where non-inferiority is tested only if the reference shows sufficient efficacy and otherwise $\delta$-superiority of the experimental treatment over placebo is tested. With a properly chosen superiority margin, $\delta$-superiority indirectly shows non-inferiority. We optimize the sample size for several decision rules and find that the natural, data driven test strategy, which tests non-inferiority if the reference's efficacy test is significant, leads to the smallest overall and placebo sample sizes. We proof that under specific constraints on the sample sizes, this procedure controls the family-wise error rate. All optimal sample sizes are found to meet this constraint. We finally show how to account for a relevant placebo drop-out rate in an efficient way and apply the new test strategy to a real life data set.


title: Ordered Level Spacing Distribution in Embedded Random Matrix Ensembles

abstract: The probability distribution of the closest neighbor and farther neighbor spacings from a given level have been studied for interacting fermion/boson systems with and without spin degree of freedom constructed using an embedded GOE of one plus random two-body interactions. Our numerical results demonstrate a very good consistency with the recently derived analytical expressions using a $3 \times 3$ random matrix model and other related quantities by Srivastava et. al [{\it J. Phys. A: Math. Theor.} {\bf 52} 025101 (2019)]. This establishes conclusively that local level fluctuations generated by embedded ensembles (EE) follow the results of classical Gaussian ensembles.


title: Weighted mean inactivity time function with applications

abstract: The concept of mean inactivity time plays a crucial role in reliability, risk theory and life testing. In this regard, we introduce a weighted mean inactivity time function by considering a non-negative weight function. Based on this function, we provide expressions for the variance of transformed random variable and the weighted generalized cumulative entropy. The latter concept is an important measure of uncertainty which is shift-dependent and is of interest in certain applied contexts, such as reliability or mathematical neurobiology. Moreover, based on the comparison of mean inactivity times of a certain function of two lifetime random variables, we introduce and study a new stochastic order in terms of the weighted mean inactivity time function. Several characterizations and preservation properties of the new order under shock models, random maxima and renewal theory are discussed.


title: Performance Analysis of Multipath BGP

abstract: Multipath BGP (M-BGP) allows a BGP router to install multiple 'equally-good' paths, via parallel inter-domain border links, to a destination prefix. M-BGP differs from the multipath routing techniques in many ways, e.g. M-BGP is only implemented at border routers of Autonomous Systems (ASes); and while it shares traffic to different IP addresses in a destination prefix via different border links, any traffic to a given destination IP always follows the same border link. Recently we studied Looking Glass data and reported the wide deployment of M-BGP in the Internet; in particular, Hurricane Electric (AS6939) has implemented over 1,000 cases of M-BGP to hundreds of its peering ASes. In this paper, we analyzed the performance of M-BGP. We used RIPE Atlas to send traceroute probes to a series of destination prefixes through Hurricane Electric's border routers implemented with M-BGP. We examined the distribution of Round Trip Time to each probed IP address in a destination prefix and their variation during the measurement. We observed that the deployment of M-BGP can guarantee stable routing between ASes and enhance a network's resilience to traffic changes. Our work provides insights into the unique characteristics of M-BGP as an effective technique for load balancing.


title: Moduli and Graviton Production during Moduli Stabilization

abstract: In theories beyond the Standard Model, in particular in theories with extra spatial dimensions such as superstring theory, there are a large number of scalar fields which appear in the low energy effective action. These moduli fields must be stabilized. Often, moduli stabilization involves a stage during which the moduli fields oscillatte coherently about their ground state value. Here, we study moduli and graviton production during the period during which the background modulus field is oscillating, assuming that this period takes place in the radiation phase. We find a resonant production of moduli fluctuations, and a tachyonic instability to the generation of long wavelength gravitational waves. As a consequence, the period of moduli stabilization is short on a Hubble time scale.


title: Uniqueness of centers of nearly spherical bodies

abstract: An $r^{\an}$-center of a compact body $\Om$ in an $n$ dimensional Euclidean space is a point that gives an extremal value of the regularized Riesz potential, which is the (Hadamard regularization of) integration on $\Om$ of the distance from the point to the power $\an$. We show that for any real number $\la$ if a compact body is sufficiently close to a ball in the sense of asphericity then the $r^{\an}$-center is unique. We also study the regularized potentials of a unit ball.


title: On approximate operator representations of sequences in Banach spaces

abstract: Generalizing results by Halperin et al., Grivaux recently showed that any linearly independent sequence $\{f_k\}_{k=1}^\infty$ in a separable Banach space $X$ can be represented as a suborbit $\{T^{\alpha(k)}\varphi\}_{k=1}^\infty$ of some bounded operator $T: X\to X.$ In general, the operator $T$ and the powers $\alpha(k)$ are not known explicitly. In this paper we consider approximate representations $\{f_k\}_{k=1}^\infty \approx \{T^{\alpha(k)}\varphi\}_{k=1}^\infty$ of certain types of sequences $\{f_k\}_{k=1}^\infty.$ In contrast to the results in the literature we are able to be very explicit about the operator $T$ and suitable powers $\alpha(k),$ and we do not need to assume that the sequences are linearly independent. The exact meaning of approximation is defined in a way such that $\{T^{\alpha(k)}\varphi\}_{k=1}^\infty$ keeps essential features of $\{f_k\}_{k=1}^\infty,$ e.g., in the setting of atomic decompositions and Banach frames. We will present two different approaches. The first approach is universal, in the sense that it applies in general Banach spaces; the technical conditions are typically easy to verify in sequence spaces, but are more complicated in function spaces. For this reason we present a second approach, directly tailored to the setting of Banach function spaces. A number of examples prove that the results apply in arbitrary weighted $\ell^p$-spaces and $L^p$-spaces.


title: A Study on the Effects of Diffusion of Information on Epidemic Spread

abstract: In this work, the spread of a contagious disease on a society where the individuals may take precautions is modeled. The primary assumption is that the infected individuals transmit the infection to the susceptible members of the community through direct contact interactions. In the meantime, the susceptibles gather information from the adjacent sites which may lead to taking precautions. The SIR model is used for the diffusion of infection while the Bass equation models the information diffusion. The sociological classification of the individuals indicates that a small percentage of the population take action immediately after being informed, while the majority expect to see some real advantage of taking action. The individuals are assumed to take two different precautions. The precursory measures are getting vaccinated or trying to avoid direct contact with the neighbors. A weighted average of states of the neighbors leads to the choice of action. The fully connected and Scale-free Networks are employed as the underlying network of interactions. The comparison between the simple contagion diffusion and the diffusion of infection in a responsive society showed that a very limited precaution makes a considerable difference in the speed and the size of the spread of illness. Particularly highly connected hubs nodes play an essential role in the reduction of the spread of disease.


title: Anomaly Detection in Gravitational Waves data using Convolutional AutoEncoders

abstract: As of this moment, fifty gravitational waves (GW) detections have been announced, thanks to the observational efforts of the LIGO-Virgo Collaboration, working with the Advanced LIGO and the Advanced Virgo interferometers. The detection of signals is complicated by the noise-dominated nature of the data. Conventional approaches in GW detection procedures require either precise knowledge of the GW waveform in the context of matched filtering searches or coincident analysis of data from multiple detectors. Furthermore, the analysis is prone to contamination by instrumental or environmental artifacts called glitches which either mimic astrophysical signals or reduce the overall quality of data. In this paper, we propose an alternative generic method of studying GW data based on detecting anomalies. The anomalies we study are transient signals, different from the slow non-stationary noise of the detector. Presented in the manuscript anomalies are mostly based on the GW emitted by the mergers of binary black hole systems. However, the presented study of anomalies is not limited only to GW alone, but also includes glitches occurring in the real LIGO/Virgo dataset available at the Gravitational Waves Open Science Center.


title: Extreme value analysis for mixture models with heavy-tailed impurity

abstract: This paper deals with the extreme value analysis for the triangular arrays, which appear when some parameters of the mixture model vary as the number of observations grow. When the mixing parameter is small, it is natural to associate one of the components with "an impurity" (in case of regularly varying distribution, "heavy-tailed impurity"), which "pollutes" another component. We show that the set of possible limit distributions is much more diverse than in the classical Fisher-Tippett-Gnedenko theorem, and provide the numerical examples showing the efficiency of the proposed model for studying the maximal values of the stock returns.


title: Asymptotic behavior of solutions to fractional stochastic multi-term differential equation systems involving non-permutable matrices

abstract: In this paper, we study the exact asymptotic separation rate of two distinct solutions of Caputo stochastic multi-term differential equations (Caputo SMTDEs for short). Our goal in this paper is to establish results on the global existence and uniqueness and continuity dependence of the initial values of the solutions to Caputo SMTDEs with non-permutable matrices of order $\alpha \in (\frac{1}{2},1)$ and $\beta \in (0,1)$ whose coefficients satisfy a standard Lipschitz condition. For this class of systems, we then show the asymptotic separation property between two different solutions of Caputo SMTDEs with a more general condition based on $\lambda$. Also, the asymptotic separation rate for the two distinct mild solutions reveals that our asymptotic results are general.


title: On Spherical Shock Wave focusing in Air -- a Computational Study

abstract: A detailed numerical study on the phenomenon of Shock Wave focusing in air is carried out. The focusing phenomenon is achieved with the help of a shock tube and a converging section attached to it. The planar shock generated inside the shock tube is converted to spherical shock with the help of the converging section and is focused to a point. High-temperature effects like temperature-dependent Cp variation and chemical reactions corresponding to dissociated air are included in the simulation. The chemical reactions including the dissociation, recombination and ionization of nine species of air including three ions (N2, O2, N, O, NO, Ar, NO+, O+ and Ar+) are monitored throughout the simulation. The effect of driven section filling conditions such as initial pressure and temperature on focusing parameters is studied. The variation in the initial fill temperature is found to affect the flow properties much more as compared to the change in initial fill pressure, while maintaining the same shock strength. The effect of incident shock strength on shock wave focusing is also investigated. It is observed that as the strength of the shock increases, the conditions like temperature and pressure at the focusing point increases and thereby increasing the reaction rate of all the reactions.


title: The complexity of multilayer $d$-dimensional circuits

abstract: In this paper we research a model of multilayer circuits with a single logical layer. We consider $\lambda$-separable graphs as a support for circuits. We establish the Shannon function lower bound $\max \bigl(\frac{2^n}{n}, \frac{2^n (1 - \lambda)}{\log k} \bigr)$ for this type of circuits where $k$ is the number of layers. For $d$-dimensional graphs, which are $\lambda$-separable for $\lambda = \frac{d - 1}{d}$, this gives the Shannon function lower bound $\frac{2^n}{\min(n, d \log k)}$. For multidimensional rectangular circuits the proved lower bound asymptotically matches to the upper bound.


title: A family of formulas with reversal of arbitrarily high avoidability index

abstract: We present a family of avoidable formulas with reversal whose avoidability index is unbounded. We also complete the determination of the avoidability index of the formulas with reversal in the 3-avoidance basis.


title: Where was Mean Solar Time first adopted?

abstract: It is usually stated in the literature that Geneva was the first city to adopt mean solar time, in 1780, followed by London (or the whole of England) in 1792, Berlin in 1810 and Paris in 1816. In this short paper I will partially revise this statement, using primary references when available, and provide dates for a few other European cities. Although no exact date was found for the first public use of mean time, the primacy seems to belong to England, followed by Geneva in 1778-1779 (for horologists), Berlin in 1810, Geneva in 1821 (for public clocks), Vienna in 1823, Paris in 1826, Rome in 1847, Turin in 1849, and Milan, Bologna and Florence in 1860.


title: The Effect of Social Media on Shaping Individuals Opinion Formation

abstract: In this paper, the influence of the social media on the opinion formation process is modeled during an election campaign. In the proposed model, peer- to-peer interactions and targeted online propaganda messages are assumed to be the driving forces of the opinion formation dynamics. The conviction power of the targeted messages is based on the collected and processed private information. In this work, the model is based on an artificial society, initially evenly divided between two parties. The bounded confidence model governs peer-to-peer interactions with a value of confidence parameter which leads to consensus. The targeted messages which was modeled as an external interacting source of information convert some weakly committed individuals to break this evenness. Both parties use the same methods for propaganda. It is shown that a very small external influence break the evenness of the opinion distribution which play significant role in the election results. Obtained opinion fluctuation time series have close resemblance with the actual election poll results.


title: Steklov flows on trees and applications

abstract: We introduce the Steklov flows on finite trees, i.e. the flows (or currents) associated with the Steklov problem. By constructing appropriate Steklov flows, we prove the monotonicity and rigidity of the first nonzero Steklov eigenvalues on trees: for finite trees $\g_1$ and $\g_2,$ the first nonzero Steklov eigenvalue of $\g_1$ is greater than or equal to that of $\g_2$, provided that $\g_1$ is a subgraph of $\g_2.$ Moreover, we give the sufficient and necessary condition in which the equality holds.


title: The generalized $\partial$-complex on the Segal Bargmann space

abstract: We study certain densely defined unbounded operators on the Segal-Barg\-mann space, related to the annihilation and creation operators of quantum mechanics. We consider the corresponding $D$-complex and study properties of the corresponding complex Laplacian $\tilde \Box_D = D D^* + D^* D,$ where $D$ is a differential operator of polynomial type.


title: Factorizations of Eisenstein Series of Level up to 4

abstract: We show that the most standard Eisenstein series such as $E_4(\tau)$ or $2E_2(2\tau)-E_2(\tau)$, and also the function $\theta^2(\tau)$, are in a natural way the product of two conjugate Eisenstein series of half their weight and double their level, as well as a number of similar elementary identities for $E_6$ and Eisenstein series of levels $2$, $3$, and $4$.


title: Proving and Disproving Programs with Shared Mutable Data

abstract: We present a tool for verification of deterministic programs with shared mutable references against specifications such as assertions, preconditions, postconditions, and read/write effects. We implement our tool by encoding programs with mutable references into annotated purely functional recursive programs. We then rely on function unfolding and the SMT solver Z3 to prove or disprove safety and to establish program termination. Our tool uses a new translation of programs where frame conditions are encoded using quantifier-free formulas in first-order logic (instead of relying on quantifiers or separation logic). This quantifier-free encoding enables SMT solvers to prove safety or report counterexamples relative to the semantics of procedure specifications. Our encoding is possible thanks to the expressive power of the extended array theory of the Z3 SMT solver. In addition to the ability to report counterexamples, our tool retains efficiency of reasoning about purely functional layers of data structures, providing expressiveness for mutable data but also a significant level of automation for purely functional aspects of software. We illustrate our tool through examples manipulating mutable linked structures and arrays.