title: Differentially Private Combinatorial Cloud Auction

abstract: Cloud service providers typically provide different types of virtual machines (VMs) to cloud users with various requirements. Thanks to its effectiveness and fairness, auction has been widely applied in this heterogeneous resource allocation. Recently, several strategy-proof combinatorial cloud auction mechanisms have been proposed. However, they fail to protect the bid privacy of users from being inferred from the auction results. In this paper, we design a differentially private combinatorial cloud auction mechanism (DPCA) to address this privacy issue. Technically, we employ the exponential mechanism to compute a clearing unit price vector with a probability proportional to the corresponding revenue. We further improve the mechanism to reduce the running time while maintaining high revenues, by computing a single clearing unit price, or a subgroup of clearing unit prices at a time, resulting in the improved mechanisms DPCA-S and its generalized version DPCA-M, respectively. We theoretically prove that our mechanisms can guarantee differential privacy, approximate truthfulness and high revenue. Extensive experimental results demonstrate that DPCA can generate near-optimal revenues at the price of relatively high time complexity, while the improved mechanisms achieve a tunable trade-off between auction revenue and running time.


title: Evidence against Ryskin's model of cosmic acceleration

abstract: In this paper I examine how well Ryskin's model of emergent cosmic acceleration fits several sets of cosmological observations. I find that while Ryskin's model is somewhat compatible with the standard model of cosmological acceleration ($\Lambda$CDM) for low redshift (z < 1) measurements, its predictions diverge considerably from those of the standard model for measurements made at high redshift (for which z > 1), and it is therefore not a compelling substitute for the standard model.


title: On a generalisation of Local Uniform Rotundity

abstract: In this paper we investigate the property (HLUR), a generalisation of (LUR) property of a Banach space. A Banach space having the property (HLUR) is called an HLUR space. We characterise (HLUR) property with the help of known geometric properties and study various properties of HLUR spaces. We show that for any finite dimensional Banach space, the property (HLUR) coincides with anti-Daugavet property of the space. We also show some applications of HLUR spaces in connection with farthest points of sets.


title: Skin effect and excitation spectral of interacting non-Hermitian system

abstract: The non-Hermitian Su-Schrieffer-Heeger spinless Fermion model with interacting terms is studied by exact diagonalization. The model is derived from the spin chain with damping Dzyaloshinskii-Moriya interaction. The presence of the interaction induce anomalous spectral function. The skin effect is exhibited by the non-diagonal terms of the Green's function, i.e. the spatial correlation. The interaction modifies the degeneracy between the ground state and the first excited state of the half filled systems, as well as between the ground state of the half and half plus one filled systems. The energy bands of the higher excited states within the topological regime have complicated pattern, depending on the sign and amplitude of the interaction.


title: Real-time chiral dynamics from a digital quantum simulation

abstract: The chiral magnetic effect in a strong magnetic field can be described using the chiral anomaly in the $(1+1)$-dimensional massive Schwinger model with a time-dependent $\theta$-term. We perform a digital quantum simulation of the model at finite $\theta$-angle and vanishing gauge coupling using an IBM-Q digital quantum simulator, and observe the corresponding vector current induced in a system of relativistic fermions by a global {\it chiral quench} -- a sudden change in the chiral chemical potential or $\theta$-angle. At finite fermion mass, there appears an additional contribution to this current that stems from the non-anomalous relaxation of chirality. Our results are relevant for the real-time dynamics of chiral magnetic effect in heavy ion collisions and in chiral materials, as well as for modeling high-energy processes at hadron colliders.


title: Experimental Detection of Non-local Correlations using a Local Measurement-Based Hierarchy on an NMR Quantum Processor

abstract: The non-local nature of the correlations possessed by quantum systems may be revealed by experimental demonstrations of the violation of Bell-type inequalities. Recent work has placed bounds on the correlations that quantum systems can possess in an actual experiment. These bounds were limited to a composite quantum system comprising of a few lower-dimensional subsystems. In a more general approach, it has been shown that fewer body correlations can reveal the non-local nature of the correlations arising from a quantum mechanical description of nature. Such tests on the correlations can be transformed to a semi-definite program (SDP). This study reports the experimental implementation of a local measurement-based hierarchy on the nuclear magnetic resonance (NMR) hardware utilizing three nuclear spins as qubits. The protocol has been experimentally tested on genuinely entangled tripartite states such as W state, GHZ state and a few graph states. In all the cases, the experimentally measured correlations were used to formulate the SDP, using linear constraints on the entries of the moment matrix. We observed that for each genuinely entangled state, the SDP failed to find a semi-definite positive moment matrix consistent with the experimental data. This implies that the observed correlations can not arise from local measurements on a separable state and are hence non-local in nature, and also confirms that the states being tested are indeed entangled.


title: Asymptotic property of the occupation measures in a two-dimensional skip-free Markov modulated random walk

abstract: We consider a discrete-time two-dimensional process $\{(X_{1,n},X_{2,n})\}$ on $\mathbb{Z}^2$ with a background process $\{J_n\}$ on a finite set $S_0$, where individual processes $\{X_{1,n}\}$ and $\{X_{2,n}\}$ are both skip free. We assume that the joint process $\{\boldsymbol{Y}_n\}=\{(X_{1,n},X_{2,n},J_n)\}$ is Markovian and that the transition probabilities of the two-dimensional process $\{(X_{1,n},X_{2,n})\}$ vary according to the state of the background process $\{J_n\}$. This modulation is assumed to be space homogeneous. We refer to this process as a two-dimensional skip-free Markov modulate random walk. For $\boldsymbol{Y}, \boldsymbol{Y}'\in \mathbb{Z}_+^2\times S_0$, consider the process $\{\boldsymbol{Y}_n\}_{n\ge 0}$ starting from the state $\boldsymbol{Y}$ and let $\tilde{q}_{\boldsymbol{Y},\boldsymbol{Y}'}$ be the expected number of visits to the state $\boldsymbol{Y}'$ before the process leaves the nonnegative area $\mathbb{Z}_+^2\times S_0$ for the first time. For $\boldsymbol{Y}=(x_1,x_2,j)\in \mathbb{Z}_+^2\times S_0$, the measure $(\tilde{q}_{\boldsymbol{Y},\boldsymbol{Y}'}; \boldsymbol{Y}'=(x_1',x_2',j')\in \mathbb{Z}_+^2\times S_0)$ is called an occupation measure. Our main aim is to obtain asymptotic decay rate of the occupation measure as the values of $x_1'$ and $x_2'$ go to infinity in a given direction. We also obtain the convergence domain of the matrix moment generating function of the occupation measures.


title: Vertex algebraic intertwining operators among generalized Verma modules for affine Lie algebras

abstract: We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $\hat{\mathfrak{g}}$, from $\mathfrak{g}$-module homomorphisms. When $\mathfrak{g}=\mathfrak{sl}_2$, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to $\hat{\mathfrak{g}}$, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.


title: HandAugment: A Simple Data Augmentation Method for Depth-Based 3D Hand Pose Estimation

abstract: Hand pose estimation from 3D depth images, has been explored widely using various kinds of techniques in the field of computer vision. Though, deep learning based method improve the performance greatly recently, however, this problem still remains unsolved due to lack of large datasets, like ImageNet or effective data synthesis methods. In this paper, we propose HandAugment, a method to synthesize image data to augment the training process of the neural networks. Our method has two main parts: First, We propose a scheme of two-stage neural networks. This scheme can make the neural networks focus on the hand regions and thus to improve the performance. Second, we introduce a simple and effective method to synthesize data by combining real and synthetic image together in the image space. Finally, we show that our method achieves the first place in the task of depth-based 3D hand pose estimation in HANDS 2019 challenge.


title: Dirac Fermions and Possible Weak Antilocalization in LaCuSb$_{2}$

abstract: Layered heavy-metal square-lattice compounds have recently emerged as potential Dirac fermion materials due to bonding within those sublattices. We report quantum transport and spectroscopic data on the layered Sb square-lattice material LaCuSb$_{2}$. Linearly dispersing band crossings, necessary to generate Dirac fermions, are experimentally observed in the electronic band structure observed using angle-resolved photoemission spectroscopy (ARPES), along with a quasi-two-dimensional Fermi surface. Weak antilocalization that arises from two-dimensional transport is observed in the magnetoresistance, as well as regions of linear dependence, both of which are indicative of topologically non-trivial effects. Measurements of the Shubnikov-de Haas (SdH) quantum oscillations show low effective mass electrons on the order of 0.065$m_{e}$, further confirming the presence of Dirac fermions in this material.


title: SAINT: Spatially Aware Interpolation NeTwork for Medical Slice Synthesis

abstract: Deep learning-based single image super-resolution (SISR) methods face various challenges when applied to 3D medical volumetric data (i.e., CT and MR images) due to the high memory cost and anisotropic resolution, which adversely affect their performance. Furthermore, mainstream SISR methods are designed to work over specific upsampling factors, which makes them ineffective in clinical practice. In this paper, we introduce a Spatially Aware Interpolation NeTwork (SAINT) for medical slice synthesis to alleviate the memory constraint that volumetric data poses. Compared to other super-resolution methods, SAINT utilizes voxel spacing information to provide desirable levels of details, and allows for the upsampling factor to be determined on the fly. Our evaluations based on 853 CT scans from four datasets that contain liver, colon, hepatic vessels, and kidneys show that SAINT consistently outperforms other SISR methods in terms of medical slice synthesis quality, while using only a single model to deal with different upsampling factors.


title: Fractional Skipping: Towards Finer-Grained Dynamic CNN Inference

abstract: While increasingly deep networks are still in general desired for achieving state-of-the-art performance, for many specific inputs a simpler network might already suffice. Existing works exploited this observation by learning to skip convolutional layers in an input-dependent manner. However, we argue their binary decision scheme, i.e., either fully executing or completely bypassing one layer for a specific input, can be enhanced by introducing finer-grained, "softer" decisions. We therefore propose a Dynamic Fractional Skipping (DFS) framework. The core idea of DFS is to hypothesize layer-wise quantization (to different bitwidths) as intermediate "soft" choices to be made between fully utilizing and skipping a layer. For each input, DFS dynamically assigns a bitwidth to both weights and activations of each layer, where fully executing and skipping could be viewed as two "extremes" (i.e., full bitwidth and zero bitwidth). In this way, DFS can "fractionally" exploit a layer's expressive power during input-adaptive inference, enabling finer-grained accuracy-computational cost trade-offs. It presents a unified view to link input-adaptive layer skipping and input-adaptive hybrid quantization. Extensive experimental results demonstrate the superior tradeoff between computational cost and model expressive power (accuracy) achieved by DFS. More visualizations also indicate a smooth and consistent transition in the DFS behaviors, especially the learned choices between layer skipping and different quantizations when the total computational budgets vary, validating our hypothesis that layer quantization could be viewed as intermediate variants of layer skipping. Our source code and supplementary material are available at \link{https://github.com/Torment123/DFS}.


title: Signatory: differentiable computations of the signature and logsignature transforms, on both CPU and GPU

abstract: Signatory is a library for calculating and performing functionality related to the signature and logsignature transforms. The focus is on machine learning, and as such includes features such as CPU parallelism, GPU support, and backpropagation. To our knowledge it is the first GPU-capable library for these operations. Signatory implements new features not available in previous libraries, such as efficient precomputation strategies. Furthermore, several novel algorithmic improvements are introduced, producing substantial real-world speedups even on the CPU without parallelism. The library operates as a Python wrapper around C++, and is compatible with the PyTorch ecosystem. It may be installed directly via \texttt{pip}. Source code, documentation, examples, benchmarks and tests may be found at \texttt{\url{https://github.com/patrick-kidger/signatory}}. The license is Apache-2.0.


title: Neutron diffraction and ab initio studies on the fully compensated ferrimagnetic characteristics of Mn2V1-xCoxGa Heusler alloys

abstract: Neutron diffraction and ab initio studies were carried out on Mn2V1-xCoxGa (x=0, 0.25, 0.5, 0.75, 1) Heusler alloys which exhibits high TC fully compensated ferrimagnetic characteristic for x=0.5. A combined analysis of neutron diffraction and ab initio calculations revealed the crystal structure and magnetic configuration which could not be determined from the X-ray diffraction and magnetic measurements. As reported earlier, Rietveld refinement of neutron diffraction data confirmed L21 structure for Mn2VGa and Xa structure for Mn2CoGa. The alloys with x=0.25 and 0.5 possess L21 structure with Mn(C)-Co disorder. As the Co concentration reaches 0.75, a structural transition has been observed from disordered L21 to disordered Xa. Detailed ab initio studies also confirmed this structural transition. The reason for the magnetic moment compensation in Mn2(V1-xCox)Ga was identified to be different from that of the earlier reported fully compensated ferrimagnet (MnCo)VGa. With the help of neutron diffraction and ab initio studies, it is identified that the disordered L21 structure with antiparallel coupling between the ferromagnetically aligned magnetic moments of (Mn(A)-Mn(C)) and (V-Co) atom pairs enables the compensation in Mn2V1-xCoxGa.


title: On Symmetric Gauss-Seidel ADMM Algorithm for $\mathcal{H}_\infty$ Guaranteed Cost Control with Convex Parameterization

abstract: This paper involves the innovative development of a symmetric Gauss-Seidel ADMM algorithm to solve the H-infinity guaranteed cost control problem. In the presence of parametric uncertainties, the H-infinity guaranteed cost control problem generally leads to the large-scale optimization. This is due to the exponential growth of the number of the extreme systems involved with respect to the number of parametric uncertainties. In this work, through a variant of the Youla-Kucera parameterization, the stabilizing controllers are parameterized in a convex set; yielding the outcome that the H-infinity guaranteed cost control problem is converted to a convex optimization problem. Based on an appropriate re-formulation using the Schur complement, it then renders possible the use of the ADMM algorithm with symmetric Gauss-Seidel backward and forward sweeps. Significantly, this approach alleviates the often-times prohibitively heavy computational burden typical in many H-infinity optimization problems while exhibiting good convergence guarantees, which is particularly essential for the related large-scale optimization procedures involved. With this approach, the desired robust stability is ensured, and the disturbance attenuation is maintained at the minimum level in the presence of parametric uncertainties. Rather importantly too, with the attained effectiveness, the methodology thus evidently possesses extensive applicability in various important controller synthesis problems, such as decentralized control, sparse control, and output feedback control problems.


title: Stability Analysis of Continuous-Time Linear Time-Invariant Systems

abstract: This paper focuses on the mathematical approaches to the analysis of stability that is a crucial step in the design of dynamical systems. Three methods are presented, namely, absolutely integrable impulse response, Fourier integral, and Laplace transform. The superiority of Laplace transform over the other methods becomes clear for several reasons that include the following: 1) It allows for the analysis of the stable, as well as, the unstable systems. 2) It not only determines absolute stability (a yes/no answer), but also shines light on the relative stability (how stable/unstable the system is), allowing for a design with a good degree of stability. 3) Its algebraic and convolution properties significantly simplify the mathematical manipulations involved in the analysis, especially when tackling a complex system composed of several simpler ones. A brief relevant introduction to the subject of systems is presented for the unfamiliar reader. Additionally, appropriate physical concepts and examples are presented for better clarity.


title: First-Principles Theory for Schottky Barrier Physics

abstract: We develop a first-principles theory for Schottky barrier physics. The Poisson equation is solved completely self-consistently with the electrostatic charge density and outside the normal density functional theory (DFT) electronic structure iteration loop, allowing computation of a Schottky barrier entirely from DFT involving thousands of atomic layers in the semiconductor. The induced charge in the bulk consists of conduction and valence band charges from doping and band bending, as well as charge from the evanescent states in the gap of the semiconductor. The Schottky barrier height is determined when the induced charge density and the induced electrostatic potential reach self-consistency.


title: A note on $2\times 2$ block-diagonal preconditioning

abstract: For 2x2 block matrices, it is well-known that block-triangular or block-LDU preconditioners with an exact Schur complement (inverse) converge in at most two iterations for fixed-point or minimal-residual methods. Similarly, for saddle-point matrices with a zero (2,2)-block, block-diagonal preconditioners converge in at most three iterations for minimal-residual methods, although they may diverge for fixed-point iterations. But, what happens for non-saddle-point matrices and block-diagonal preconditioners with an exact Schur complement? This note proves that minimal-residual methods applied to general 2x2 block matrices, preconditioned with a block-diagonal preconditioner, including an exact Schur complement, do not (necessarily) converge in a fixed number of iterations. Furthermore, examples are constructed where (i) block-diagonal preconditioning with an exact Schur complement converges no faster than block-diagonal preconditioning using diagonal blocks of the matrix, and (ii) block-diagonal preconditioning with an approximate Schur complement converges as fast as the corresponding block-triangular preconditioning. The paper concludes by discussing some practical applications in neutral-particle transport, introducing one algorithm where block-triangular or block-LDU preconditioning are superior to block-diagonal, and a second algorithm where block-diagonal preconditioning is superior both in speed and simplicity.


title: Control Challenges for Resilient Control Systems

abstract: In this chapter, we introduce methods to address resiliency issues for control systems. The main challenge for control systems is its cyber-physical system nature which strongly couples the cyber systems with physical layer dynamics. Hence the resiliency issues for control systems need to be addressed by integrating the cyber resiliency with the physical layer resiliency. We introduce frameworks that can provide a holistic view of the control system resiliency and a quantitative design paradigm that can enable an optimal cross-layer and cross-stage design at the planning, operation, and recovery stage of control systems. The control systems are often large-scale systems in industrial application and critical infrastructures. Decentralized control of such systems is indispensable. We extend the resiliency framework to address distributed and collaborative resiliency among decentralized control agents.


title: Disappearance of the Fe K$\alpha$ emission line in Ultra Compact X-ray Binaries 4U 1543-624 and Swift J1756.9-2508

abstract: We investigate the long-term variability of the K$\alpha$ line of iron in the spectra of two Ultra Compact X-ray Sources (UCXBs) with C/O-rich donors. We revisit archival observations by five different X-ray telescopes, over a ~twenty year period. Adopting physically motivated models for the spectral continuum, we probe the long-term evolution of the source emission in a self-consistent manner enabling physical interpretation of potential variability in the primary X-ray emission continuum and/or any emission lines from reflection off the accretion disk. We find that the spectral shape and flux of the source emission (for both objects) has remained almost constant throughout all the observations, displaying only minor variability in some spectral parameters and the source flux (largest variation is a ~25% drop in the flux of Swift J1756.9-2508). We note a striking variability of the Fe K$\alpha$ line which fluctuates from a notable equivalent width of ~66-100 eV in 4U 1543-624 and ~170 eV in Swift J1756.9-2508, to non-detections with upper limits of 2-8 eV. We argue that the disappearance of the iron line is due to the screening of the Fe K$\alpha$ line by the overabundant oxygen in the C/O-rich UCXBs. This effect is cancelled when oxygen becomes fully ionized in the inner disk region, resulting in the variability of the Fe K$\alpha$ line in an otherwise unaltered spectral shape. This finding supports earlier predictions on the consequences of H-poor, C/O-rich accretion disk on reflection induced fluorescent lines in the spectra of UCXBs.


title: Good Feature Matching: Towards Accurate, Robust VO/VSLAM with Low Latency

abstract: Analysis of state-of-the-art VO/VSLAM system exposes a gap in balancing performance (accuracy & robustness) and efficiency (latency). Feature-based systems exhibit good performance, yet have higher latency due to explicit data association; direct & semidirect systems have lower latency, but are inapplicable in some target scenarios or exhibit lower accuracy than feature-based ones. This paper aims to fill the performance-efficiency gap with an enhancement applied to feature-based VSLAM. We present good feature matching, an active map-to-frame feature matching method. Feature matching effort is tied to submatrix selection, which has combinatorial time complexity and requires choosing a scoring metric. Via simulation, the Max-logDet matrix revealing metric is shown to perform best. For real-time applicability, the combination of deterministic selection and randomized acceleration is studied. The proposed algorithm is integrated into monocular & stereo feature-based VSLAM systems. Extensive evaluations on multiple benchmarks and compute hardware quantify the latency reduction and the accuracy & robustness preservation.


title: Optimal Output Consensus for Nonlinear Multi-agent Systems with Both Static and Dynamic Uncertainties

abstract: In this technical note, we investigate an optimal output consensus problem for heterogeneous uncertain nonlinear multi-agent systems. The considered agents are described by high-order nonlinear dynamics subject to both static and dynamic uncertainties. A two-step design, comprising sequential constructions of optimal signal generator and distributed partial stabilization feedback controller, is developed to overcome the difficulties brought by nonlinearities, uncertainties, and optimal requirements. Our study can not only assure an output consensus, but also achieve an optimal agreement characterized by a distributed optimization problem.


title: The chemical composition of the accretion disk and donor star in Ultra Compact X-ray Binaries: A comprehensive X-ray analysis

abstract: We have analyzed the X-ray spectra of all known Ultra Compact X-ray Binaries (UCXBs), with the purpose of constraining the chemical composition of their accretion disk and donor star. Our investigation was focused on the presence (or absence) of the Fe K${\alpha}$ emission line, which was used as the probe of chemical composition of the disk, based on previously established theoretical predictions for the reflection of X-ray radiation off the surface of C/O-rich or He-rich accretion disks in UCXBs. We have contrasted the results of our spectral analysis to the history of type I X-ray bursts from these systems, which can also indicate donor star composition. We found that UCXBs with prominent and persistent iron K${\alpha}$ emission also featured repeat bursting activity. On the other hand, the UCXBs for which no iron line was detected, appear to have few or no type I X-ray bursts detected over more than a decade of monitoring. Based on Monte Carlo simulations, demonstrating a strong correlation between the Fe K${\alpha}$ line strength and the abundance of C and O in the accretion disk material and given the expected correlation between the H/He abundance and the recurrence rate of type I X-ray bursts, we propose that there is a considerable likelihood that UCXBs with persistent iron emission have He-rich donors, while those that do not, likely have C/O or O/Ne/Mg-rich donors. Our results strongly advocate for the development of more sophisticated simulations of X-ray reflection from hydrogen-poor accretion disks.


title: Superhydrogenated Polycyclic Aromatic Hydrocarbon Molecules: Vibrational Spectra in the Infrared

abstract: Superhydrogenated polycyclic aromatic hydrocarbons (PAHs) may be present in H-rich and ultraviolet-poor benign regions. The addition of excess H atoms to PAHs converts the aromatic bonds into aliphatic bonds, the strongest of which falls near 3.4 $\mu$m. Therefore, superhydrogenated PAHs are often hypothesized as a carrier of the 3.4 $\mu$m emission feature which typically accompanies the stronger 3.3 $\mu$m aromatic C--H stretching feature. To assess this hypothesis, we use density function theory to compute the IR vibrational spectra of superhydrogenated PAHs and their ions of various sizes (ranging from benzene, naphthalene to perylene and coronene) and of various degrees of hydrogenation (ranging from minimal hydrogenation to heavy hydrogenation). For each molecule, we derive the intrinsic oscillator strengths of the 3.3 $\mu$m aromatic C--H stretch ($A_{3.3}$) and the 3.4 $\mu$m aliphatic C--H stretch ($A_{3.4}$). By comparing the computationally-derived mean ratio of $\langle A_{3.4}/A_{3.3}\rangle\sim1.98$ with the mean ratio of the observed intensities $\langle I_{3.4}/I_{3.3}\rangle\sim0.12$, we find that the degree of superhydrogenation --- the fraction of C atoms attached with excess H atoms --- is only $\sim2.2\%$ for neutral PAHs which predominantly emit the 3.3 and 3.4 $\mu$m features. We also determine for each molecule the intrinsic band strengths of the 6.2 $\mu$m aromatic C--C stretch ($A_{6.2}$) and the 6.85 $\mu$m aliphatic C--H deformation ($A_{6.85}$). We derive the degree of superhydrogenation from the mean ratio of the observed intensities $\langle I_{6.85}/I_{6.2}\rangle\sim0.10$ and $\langle A_{6.85}/A_{6.2}\rangle\sim1.53$ for neutrals and $\langle A_{6.85}/A_{6.2}\rangle\sim1.23$ for cations to be $\lesssim 3.1\%$ for neutrals and $\lesssim 8.6\%$ for cations. We conclude that astrophysical PAHs are primarily aromatic and are only marginally superhydrogenated.


title: Complex Coupled Mode theory (C-CMT) of planar multilayer waveguides

abstract: The numerical complex coupled-mode method used in a metal thin-film optic element is applied to a planar multilayer optical waveguide. All modes are required to satisfy Helmholtz Vectorial equation in an optical waveguide including bound and leaky modes at forward and backward propagation directions. First-order perturbation theory is developed and applied by means of lossy materials including metal thin-film and perfectly matched layers at the boundaries. our suggested structure discontinues in one direction and gives rise to an asymmetric metal thin-film at the core for investigating the transmission and reflection coefficient using mode-matching theory in two sides of the truncation. Finally, we compared the computed numerical results with the one that we obtained with the finite difference solver method. This study provides several advantages of CCMT in asymmetric temporal optical resonators that are in huge demand for today's integrated optical technology.


title: Multivariate Temporal Point Process Regression

abstract: Point process modeling is gaining increasing attention, as point process type data are emerging in numerous scientific applications. In this article, motivated by a neuronal spike trains study, we propose a novel point process regression model, where both the response and the predictor can be a high-dimensional point process. We model the predictor effects through the conditional intensities using a set of basis transferring functions in a convolutional fashion. We organize the corresponding transferring coefficients in the form of a three-way tensor, then impose the low-rank, sparsity, and subgroup structures on this coefficient tensor. These structures help reduce the dimensionality, integrate information across different individual processes, and facilitate the interpretation. We develop a highly scalable optimization algorithm for parameter estimation. We derive the large sample error bound for the recovered coefficient tensor, and establish the subgroup identification consistency, while allowing the dimension of the multivariate point process to diverge. We demonstrate the efficacy of our method through both simulations and a cross-area neuronal spike trains analysis in a sensory cortex study.


title: Suppressed flavor violation in Lepton Flavored Dark Matter from an extra dimension

abstract: Phenomenological studies of Flavored Dark Matter (FDM) models often have to assume a near-diagonal flavor structure in the coupling matrix in order to remain consistent with bounds from flavor violating processes. In this paper we show that for Lepton FDM, such a structure can naturally arise from an extra dimensional setup. The extra dimension is taken to be flat, with the dark matter and mediator fields confined to a brane on one end of the extra dimension, and the Higgs field to a brane on the other end. The Standard Model fermion and gauge fields are the zero modes of corresponding bulk fields with appropriate boundary conditions. Global flavor symmetries exist in the bulk and on the FDM brane, while they are broken on the Higgs brane. Flavor violating processes arise due to the misalignment of bases for which the interactions on the two branes are diagonalized, and their size can be controlled by a choice of the lepton profiles along the extra dimension. By studying the parameter space for the model, we show that when relic abundance and indirect detection constraints are satisfied, the rates for flavor violating processes such as $\mu\to e\gamma$ remain far below the experimental limits.


title: Phase shift of gravitational waves induced by aberration

abstract: The velocity of a gravitational wave (GW) source provides crucial information about its formation and evolution processes. Previous studies considered the Doppler effect on the phase of GWs as a potential signature of a time-dependent velocity of the source. However, the Doppler shift only accounts for the time component of the wave vector, and in principle motion also affects the spatial components. The latter effect, known as ``aberration'' for light, is analyzed in this paper for GWs and applied to the waveform modeling of an accelerating source. We show that the additional aberrational phase shift could be detectable in two astrophysical scenarios, namely, a recoiling binary black hole (BBH) due to GW radiation and a BBH in a triple system. Our results suggest that adding the aberrational phase shift in the waveform templates could significantly enhance the detectability of moving sources.


title: A Multi-oriented Chinese Keyword Spotter Guided by Text Line Detection

abstract: Chinese keyword spotting is a challenging task as there is no visual blank for Chinese words. Different from English words which are split naturally by visual blanks, Chinese words are generally split only by semantic information. In this paper, we propose a new Chinese keyword spotter for natural images, which is inspired by Mask R-CNN. We propose to predict the keyword masks guided by text line detection. Firstly, proposals of text lines are generated by Faster R-CNN;Then, text line masks and keyword masks are predicted by segmentation in the proposals. In this way, the text lines and keywords are predicted in parallel. We create two Chinese keyword datasets based on RCTW-17 and ICPR MTWI2018 to verify the effectiveness of our method.


title: NuSTAR X-ray spectrum of Be-X-ray pulsar Swift J1845.7-0037: Bulk and thermal Comptonization of cyclotron seed photons in the accretion column

abstract: Aims: Spectral and temporal analysis of the NuSTAR observation Galactic Be-XRB Swift J1845.7-0037. during its recent outburst. Methods: For the spectral analysis we use both phenomenological and physics-based models. We employ an often used empirical model to identify the main characteristics of the spectral shape in relation to nominal spectral characteristics of X-ray pulsars. Additionally, we used the latest version of Bulk \& Thermal comptonization model (BW), to assess the validity of the spectral components required by the empirical model and to investigate the origin of the hard X-ray emission. We also analyzed the source light-curve, studying the pulse shape at different energy ranges and tracking the spectral evolution with pulse phase by using the model independent hardness ratio (HR). Results: We find that while both the empirical and physical (BW) spectral models can produce good spectral fits, the BW model returns physically plausible best-fit values for the source parameters and does not require any additional spectral components to the non-thermal, accretion column emission. The BW model also yielded an estimation of the neutron star magnetic field placing it in the 10^12G range. Conclusions: Our results, show that the spectral and temporal characteristics of the source emission are consistent with the scattering processes expected for radiation dominated shocks within the accretion column of highly magnetized accreting neutron stars. We further indicate that physically-derived spectral models such as BW, can be used to tentatively infer fundamental source parameters, in the absence of more direct observational signatures.


title: Charge and Spin Currents in a Lower-Dimensional Supersymmetric Model in Presence of Vortices

abstract: We investigate charge and spin currents that may appear in some materials, considering the possible couplings and the symmetries of a field-theoretical model presented here. We inspect these possible currents in (1+2) dimensions by adopting an N =2 - D=3 supersymmetric framework with a Chern-Simons term and non-minimal couplings as well. We discuss a number of aspects in connection with a vortex configuration that is topologically viable. The new features of our investigation take into account the nature of both the U(1)-symmetry and supersymmetry (SUSY) breakings in presence of the vortex. We focus on aspects of the fermionic sector and their interactions with the currents. In connection with the spectrum of fermions, we also derive the mass gap in terms of the parameters of the the model. Another point we highlight is the role SUSY in our considerations. Once graphene and topological insulator materials are described by a Dirac-like equation, we assume, as a working hypothesis, that SUSY may also have some influence on the properties of these materials. Along this line, it is mandatory to connect the SUSY breakdown to this class of materials. We believe that our discussion could bring some elements for the understanding of this category of lower-dimensional systems.


title: TED: A Pretrained Unsupervised Summarization Model with Theme Modeling and Denoising

abstract: Text summarization aims to extract essential information from a piece of text and transform the text into a concise version. Existing unsupervised abstractive summarization models leverage recurrent neural networks framework while the recently proposed transformer exhibits much more capability. Moreover, most of previous summarization models ignore abundant unlabeled corpora resources available for pretraining. In order to address these issues, we propose TED, a transformer-based unsupervised abstractive summarization system with pretraining on large-scale data. We first leverage the lead bias in news articles to pretrain the model on millions of unlabeled corpora. Next, we finetune TED on target domains through theme modeling and a denoising autoencoder to enhance the quality of generated summaries. Notably, TED outperforms all unsupervised abstractive baselines on NYT, CNN/DM and English Gigaword datasets with various document styles. Further analysis shows that the summaries generated by TED are highly abstractive, and each component in the objective function of TED is highly effective.


title: Electrostatic contribution to colloidal solvation in terms of the self-energy modified Boltzmann distribution

abstract: Electrostatic interactions make a large contribution to solvation free energy in ionic fluids such as electrolytes and colloidal dispersions. The electrostatic contribution to solvation free energy has been ascribed to the self-energy of a charged particle. Here we apply a variational field theory based on lower bound inequality to the inhomogeneous fluids of one-component charged hard-spheres, thereby verifying that the self-energy is given by the difference between the total correlation function and direct correlation function. Based on the knowledge of the liquid state theory, the self-energy specified in this study not only relates a direct correlation function to the Gaussian smearing of each charged sphere, but also provides the electrostatic contribution to solvation free energy that shows good agreement with simulation results. Furthermore, the Ornstein-Zernike equation leads to a new set of generalized Debye-H\"uckel equations reflecting the Gaussian distributed charges.

categories: cond-mat.stat-mech cond-mat.soft physics.chem-ph physics.plasm-ph


title: Pearson chi^2-divergence Approach to Gaussian Mixture Reduction and its Application to Gaussian-sum Filter and Smoother

abstract: The Gaussian mixture distribution is important in various statistical problems. In particular it is used in the Gaussian-sum filter and smoother for linear state-space model with non-Gaussian noise inputs. However, for this method to be practical, an efficient method of reducing the number of Gaussian components is necessary. In this paper, we show that a closed form expression of Pearson chi^2-divergence can be obtained and it can apply to the determination of the pair of two Gaussian components in sequential reduction of Gaussian components. By numerical examples for one dimensional and two dimensional distribution models, it will be shown that in most cases the proposed criterion performed almost equally as the Kullback-Libler divergence, for which computationally costly numerical integration is necessary. Application to Gaussian-sum filtering and smoothing is also shown.


title: Gait Graph Optimization: Generate Variable Gaits from One Base Gait for Lower-limb Rehabilitation Exoskeleton Robots

abstract: The most concentrated application of lower-limb rehabilitation exoskeleton (LLE) robot is that it can help paraplegics "re-walk". However, "walking" in daily life is more than just walking on flat ground with fixed gait. This paper focuses on variable gaits generation for LLE robot to adapt complex walking environment. Different from traditional gaits generator for biped robot, the generated gaits for LLEs should be comfortable to patients. Inspired by the pose graph optimization algorithm in SLAM, we propose a graph-based gait generation algorithm called gait graph optimization (GGO) to generate variable, functional and comfortable gaits from one base gait collected from healthy individuals to adapt the walking environment. Variants of walking problem, e.g., stride adjustment, obstacle avoidance, and stair ascent and descent, help verify the proposed approach in simulation and experimentation. We open source our implementation.


title: Self focusing Hybrid Skyrmions in spatially varying canted ferromagnetic systems

abstract: Magnetic skyrmions are quasiparticle configurations in a magnetic film that can act as information carrying bits for ultrasmall, all-electronic nonvolatile memory. The skyrmions can be nucleated and driven by spin-orbit torque from a current driven in a heavy metal underlayer. Along its gyrotropic path, a Magnus force can cause a skyrmion to be annihilated at the boundaries. By combining interfacial and bulk Dzyaloshinskii-Moriya interactions (DMIs), for instance by using a B20 material on top of a heavy metal layer with high spin-orbit coupling, it is possible to engineer a hybrid skyrmion that will travel parallel to the racetrack with zero Magnus force. We show that by using a spatially varying interfacial DMI, a hybrid skyrmion will automatically self-focus onto such a track as its domain angle evolves along the path. Furthermore, using a gate driven voltage controlled magnetic anisotropy, we can control the trajectory of the hybrid skyrmion and its eventual convergence path and lane selection in a racetrack geometry.


title: Induced subgraphs of product graphs and a generalization of Huang's theorem

abstract: Recently, Huang showed that every $(2^{n-1}+1)$-vertex induced subgraph of the $n$-dimensional hypercube has maximum degree at least $\sqrt{n}$ in [Annals of Mathematics, 190 (2019), 949--955]. In this paper, we discuss the induced subgraphs of Cartesian product graphs and semi-strong product graphs to generalize Huang's result. Let $\Gamma_1$ be a connected signed bipartite graph of order $n$ and $\Gamma_2$ be a connected signed graph of order $m$. By defining two kinds of signed product of $\Gamma_1$ and $\Gamma_2$, denoted by $\Gamma_1\widetilde{\Box}\Gamma_2$ and $\Gamma_1\widetilde{\bowtie} \Gamma_2$, we show that if $\Gamma_1$ and $\Gamma_2$ have exactly two distinct adjacency eigenvalues $\pm\theta_1$ and $\pm\theta_2$ respectively, then every $(\frac{1}{2}mn+1)$-vertex induced subgraph of $\Gamma_1\widetilde{\Box}\Gamma_2$ (resp. $\Gamma_1\widetilde{\bowtie} \Gamma_2$) has maximum degree at least $\sqrt{\theta_1^2+\theta_2^2}$ (resp. $\sqrt{(\theta_1^2+1)\theta_2^2}$). Moreover, we discuss the eigenvalues of $\Gamma_1\widetilde{\Box} \Gamma_2$ and $\Gamma_1\widetilde{\bowtie} \Gamma_2$ and obtain a sufficient and necessary condition such that the spectrum of $\Gamma_1\widetilde{\Box}\Gamma_2$ and $\Gamma_1\widetilde{\bowtie}\Gamma_2$ are symmetric, from which we obtain more general results on maximum degree of the induced subgraphs.


title: A Pilot Study on Mandarin Chinese Cued Speech

abstract: Cued Speech (CS) is a communication system developed for deaf people, which exploits hand cues to complement speechreading at the phonetic level. Currently, it is estimated that CS has been adapted to over 60 languages; however, no official CS system is available for Mandarin Chinese. This article proposes a novel and efficient Mandarin Chinese CS system, satisfying the main criterion that the hand coding constitutes a complement to the lips movements. We propose to code vowels [i, u, y] as semiconsonants when they are followed by other Mandarin finals, which reduces the number of Mandarin finals to be coded from 36 to 16. We establish a coherent similarity between Mandarin Chinese and French vowels for the remaining 16 vowels, which allows us to take advantage of the French CS system. Furthermore, by investigating the lips viseme distribution based on a new corpus, an optimal allocation of the 16 Mandarin vowels to different hand positions is obtained. A Gaussian classifier was used to evaluate the average separability of different allocated vowel groups, which gives 92.08\%, 92.33\%, and 92.73\% for the three speakers, respectively. The consonants are mainly designed according to their similarities with the French CS system, as well as some considerations on the special Mandarin consonants. In our system, the tones of Mandarin are coded with head movements.


title: Elastic colloidal monopoles and reconfigurable self-assembly in liquid crystals

abstract: Monopole-like electrostatic interactions are ubiquitous in biology and condensed matter, but they are often screened by counter-ions and cannot be switched from attractive to repulsive. In colloidal science, where the prime goal is to develop colloidal particles that mimic and exceed the diversity and length-scales of atomic and molecular assembly, electrostatically charged particles cannot change the sign of their surface charge or transform from monopoles to higher-order multipoles. In liquid-crystal colloids, elastic interactions between particles arise to minimize the free energy associated with elastic distortions in the long-range alignment of rod-like molecules around the particles. In dipolar, quadrupolar and hexadecapolar nematic colloids, the symmetries of such elastic distortions mimic both electrostatic multipoles and the outmost occupied electron shells of atoms. Electric and magnetic switching, spontaneous transformations and optical control of elastic multipoles, as well as their interactions with topological defects and surface boundary conditions, have been demonstrated in such colloids. However, it has long been understood that elastic monopoles should relax to uniform or higher-order multipole states because of the elastic torques that they induce. Here we develop nematic colloids with strong elastic monopole moments and with elastic torques balanced by optical torques exerted by ambient light. We demonstrate the monopole-to-quadrupole reconfiguration of these colloidal particles by unstructured light, which resembles the driving of atoms between the ground state and various excited states. We show that the sign of the elastic monopoles can be switched, and that like-charged monopoles attract whereas oppositely charged ones repel, unlike in electrostatics. We also demonstrate the out-of-equilibrium dynamic assembly of these colloidal particles.


title: "Love is as Complex as Math": Metaphor Generation System for Social Chatbot

abstract: As the wide adoption of intelligent chatbot in human daily life, user demands for such systems evolve from basic task-solving conversations to more casual and friend-like communication. To meet the user needs and build emotional bond with users, it is essential for social chatbots to incorporate more human-like and advanced linguistic features. In this paper, we investigate the usage of a commonly used rhetorical device by human -- metaphor for social chatbot. Our work first designs a metaphor generation framework, which generates topic-aware and novel figurative sentences. By embedding the framework into a chatbot system, we then enables the chatbot to communicate with users using figurative language. Human annotators validate the novelty and properness of the generated metaphors. More importantly, we evaluate the effects of employing metaphors in human-chatbot conversations. Experiments indicate that our system effectively arouses user interests in communicating with our chatbot, resulting in significantly longer human-chatbot conversations.


title: Exploratory study of the coupled-channel scattering in finite volume and the $Z_c(3900)$ resonance

abstract: In this note we first introduce the theoretical formalism of the unitarization of the two-body scattering both in the infinite and finite volumes. Then we apply this formalism to the study of the $Z_c(3900)$ resonance in the $J/\psi\,\pi$ and $D\bar{D}^{*}$ coupled-channel scattering. The recent lattice finite-volume spectra are confronted with our predictions.


title: Trajectory Forecasts in Unknown Environments Conditioned on Grid-Based Plans

abstract: We address the problem of forecasting pedestrian and vehicle trajectories in unknown environments, conditioned on their past motion and scene structure. Trajectory forecasting is a challenging problem due to the large variation in scene structure and the multimodal distribution of future trajectories. Unlike prior approaches that directly learn one-to-many mappings from observed context to multiple future trajectories, we propose to condition trajectory forecasts on plans sampled from a grid based policy learned using maximum entropy inverse reinforcement learning (MaxEnt IRL). We reformulate MaxEnt IRL to allow the policy to jointly infer plausible agent goals, and paths to those goals on a coarse 2-D grid defined over the scene. We propose an attention based trajectory generator that generates continuous valued future trajectories conditioned on state sequences sampled from the MaxEnt policy. Quantitative and qualitative evaluation on the publicly available Stanford drone and NuScenes datasets shows that our model generates trajectories that are diverse, representing the multimodal predictive distribution, and precise, conforming to the underlying scene structure over long prediction horizons.


title: SK-Unet: an Improved U-net Model with Selective Kernel for the Segmentation of Multi-sequence Cardiac MR

abstract: In the clinical environment, myocardial infarction (MI) as one com-mon cardiovascular disease is mainly evaluated based on the late gadolinium enhancement (LGE) cardiac magnetic resonance images (CMRIs). The auto-matic segmentations of left ventricle (LV), right ventricle (RV), and left ven-tricular myocardium (LVM) in the LGE CMRIs are desired for the aided diag-nosis in clinic. To accomplish this segmentation task, this paper proposes a modified U-net architecture by combining multi-sequence CMRIs, including the cine, LGE, and T2-weighted CMRIs. The cine and T2-weighted CMRIs are used to assist the segmentation in the LGE CMRIs. In this segmentation net-work, the squeeze-and-excitation residual (SE-Res) and selective kernel (SK) modules are inserted in the down-sampling and up-sampling stages, respective-ly. The SK module makes the obtained feature maps more informative in both spatial and channel-wise space, and attains more precise segmentation result. The utilized dataset is from the MICCAI challenge (MS-CMRSeg 2019), which is acquired from 45 patients including three CMR sequences. The cine and T2-weighted CMRIs acquired from 35 patients and the LGE CMRIs acquired from 5 patients are labeled. Our method achieves the mean dice score of 0.922 (LV), 0.827 (LVM), and 0.874 (RV) in the LGE CMRIs.


title: Option Pricing in an Investment Risk-Return Setting

abstract: In this paper, we combine modern portfolio theory and option pricing theory so that a trader who takes a position in a European option contract and the underlying assets can construct an optimal portfolio such that at the moment of the contract's maturity the contract is perfectly hedged. We derive both the optimal holdings in the underlying assets for the trader's optimal mean-variance portfolio and the amount of unhedged risk prior to maturity. Solutions assuming the cases where the price dynamics in the underlying assets follow discrete binomial price dynamics, continuous diffusions, stochastic volatility, volatility-of-volatility, and Merton-jump diffusion are derived.


title: Functional-integral approach to Coulomb fluids in the strong coupling limit

abstract: We have developed a field theory for strongly coupled Coulomb fluids, via introducing new functional--integral transformation of the electrostatic interaction energy. Our formalism not only reproduces the Lieb--Narnhofer lower bound, but also bridges logical gaps which previous approaches have involved.

categories: cond-mat.stat-mech cond-mat.soft math-ph math.MP physics.chem-ph physics.plasm-ph


title: Convolution Idempotents with a given Zero-set

abstract: We investigate the structure of N-length discrete signals h satisfying h*h=h that vanish on a given set of indices. We motivate this problem from examples in sampling, Fuglede's conjecture, and orthogonal interpolation of bandlimited signals. When N is a prime power, we characterize all such h with a prescribed zero set in terms of digit expansions of nonzero indices in the inverse DFT of h.


title: Connectivity and eigenvalues of graphs with given girth or clique number

abstract: Let $\kappa'(G)$, $\kappa(G)$, $\mu_{n-1}(G)$ and $\mu_1(G)$ denote the edge-connectivity, vertex-connectivity, the algebraic connectivity and the Laplacian spectral radius of $G$, respectively. In this paper, we prove that for integers $k\geq 2$ and $r\geq 2$, and any simple graph $G$ of order $n$ with minimum degree $\delta\geq k$, girth $g\geq 3$ and clique number $\omega(G)\leq r$, the edge-connectivity $\kappa'(G)\geq k$ if $\mu_{n-1}(G) \geq \frac{(k-1)n}{N(\delta,g)(n-N(\delta,g))}$ or if $\mu_{n-1}(G) \geq \frac{(k-1)n}{\varphi(\delta,r)(n-\varphi(\delta,r))}$, where $N(\delta,g)$ is the Moore bound on the smallest possible number of vertices such that there exists a $\delta$-regular simple graph with girth $g$, and $\varphi(\delta,r) = \max\{\delta+1,\lfloor\frac{r\delta}{r-1}\rfloor\}$. Analogue results involving $\mu_{n-1}(G)$ and $\frac{\mu_1(G)}{\mu_{n-1}(G)}$ to characterize vertex-connectivity of graphs with fixed girth and clique number are also presented. Former results in [Linear Algebra Appl. 439 (2013) 3777--3784], [Linear Algebra Appl. 578 (2019) 411--424], [Linear Algebra Appl. 579 (2019) 72--88], [Appl. Math. Comput. 344-345 (2019) 141--149] and [Electronic J. Linear Algebra 34 (2018) 428--443] are improved or extended.


title: Synthesis and characterization of Zn doped Mn ferrites nanostructures

abstract: Zn doped Mn ferrites nanoparticles were fabricated by using Co-precipitation. Variation in structure, magnetic and optical properties of MnZn ferrites has been discussed. First of all, samples were synthesized, annealed at different temperatures and then characterized. The as-synthesized and annealed samples were investigated by X-ray diffraction (XRD), Scanning electron microscopy (SEM), Energy Dispersive spectroscopy (EDX), Ultra Violet visible spectrometry (Uv-Vis spectrometry) and Vibrating sample magnetometer (VSM). The average crystallite size of MnZn ferrites nanoparticles determined from XRD were in the range of 42 to 60 nm. These nanoparticles possess normal spinel structure. The SEM images showed the physical shape of the samples, which showed that the as prepared samples are more agglomerated and having flake like shape rather than annealed at 700C while the samples have longitudinal or rod like shape on annealing at 700C. The coercivity (Hc), saturation magnetization (Ms), and remanence (Mr) of Nps were also calculated. The (Ms) value is increasing from 26 to 65 emu/g, the coercivity (Hc) is varying from 13 to 193 Oe and remanence (Mr) has also showing increasing trend although very less, from 0.031 to 0.798 emu/g which are a little part of their bulk counter parts. The band gap energy of the samples was showing decreasing trend as with the increase of particle size which is of the order of 3.5 to 2.9 eV.


title: Decomposable Probability-of-Success Metrics in Algorithmic Search

abstract: Previous studies have used a specific success metric within an algorithmic search framework to prove machine learning impossibility results. However, this specific success metric prevents us from applying these results on other forms of machine learning, e.g. transfer learning. We define decomposable metrics as a category of success metrics for search problems which can be expressed as a linear operation on a probability distribution to solve this issue. Using an arbitrary decomposable metric to measure the success of a search, we demonstrate theorems which bound success in various ways, generalizing several existing results in the literature.


title: Restriction of Global Bases and Rhoades's Theorem

abstract: It is shown that if $\lambda$ is a multiple of a fundamental weight of $\mathfrak{sl}_k$, the lower global basis of the irreducible $U_q(\mathfrak{sl}_k)$-representation $V^{\lambda}$ with highest weight $\lambda$ comprises the disjoint union of the lower global bases of the irreducible $U_q(\mathfrak{sl}_{k-1})$-representations appearing in the decomposition of the restriction of $V^{\lambda}$ to $U_q(\mathfrak{sl}_{k-1})$. Rhoades's description of the action of the long cycle on the dual canonical basis of $V^{\lambda}$ is then deduced from Berenstein--Zelevinsky's description of the action of the long element. This yields a short proof of Rhoades's result on tableaux fixed under promotion which directly relates it to Stembridge's result on tableaux fixed under evacuation.


title: Average search time bound in cue based search strategy

abstract: In this work we consider the problem of searches that utilises past information gathered during searching, to evaluate the probability distribution of finding the source at each step. We start with a sample strategy where the movement at each step is in the immediate neighbourhood direction, with a probability proportional to the normalised difference in probability of finding the source with the present position source finding probability. We evaluate a lower bound for the average search time for this strategy . We next consider the problem of the lowerbound on any strategy that utilities information of the probability distribution evaluated by the searcher at any instant. We derive an expression for the same. Finally we present an analytic expression for this lower bound in the case of homogeneous diffusion of particles by a source. For a general probability distribution with entropy-E, we find that the lower bound goes as exp(E/2).


title: Automated Relational Meta-learning

abstract: In order to efficiently learn with small amount of data on new tasks, meta-learning transfers knowledge learned from previous tasks to the new ones. However, a critical challenge in meta-learning is the task heterogeneity which cannot be well handled by traditional globally shared meta-learning methods. In addition, current task-specific meta-learning methods may either suffer from hand-crafted structure design or lack the capability to capture complex relations between tasks. In this paper, motivated by the way of knowledge organization in knowledge bases, we propose an automated relational meta-learning (ARML) framework that automatically extracts the cross-task relations and constructs the meta-knowledge graph. When a new task arrives, it can quickly find the most relevant structure and tailor the learned structure knowledge to the meta-learner. As a result, the proposed framework not only addresses the challenge of task heterogeneity by a learned meta-knowledge graph, but also increases the model interpretability. We conduct extensive experiments on 2D toy regression and few-shot image classification and the results demonstrate the superiority of ARML over state-of-the-art baselines.


title: Cyberphysical Blockchain-Enabled Peer-to-Peer Energy Trading

abstract: Scalability and security problems of the centralized architecture models in cyberphysical systems have great potential to be solved by novel blockchain based distributed models.A decentralized energy trading system takes advantage of various sources and effectively coordinates the energy to ensure optimal utilization of the available resources. It achieves that goal by managing physical, social and business infrastructures using technologies such as Internet of Things (IoT), cloud computing and network systems. Addressing the importance of blockchain-enabled energy trading in the context of cyberphysical systems, this article provides a thorough overview of the P2P energy trading and the utilization of blockchain to enhance the efficiency and the overall performance including the degree of decentralization, scalability and the security of the systems. Three blockchain based energy trading models have been proposed to overcome the technical challenges and market barriers for better adoption of this disruptive technology.


title: Improving PKI, BGP, and DNS Using Blockchain: A Systematic Review

abstract: The Internet has many backbone components on top of which the whole world is connected. It is important to make these components, like Border Gateway Protocol (BGP), Domain Name System (DNS), and Public Key Infrastructure (PKI), secure and work without any interruption. All of the aforementioned components have vulnerabilities, mainly because of their dependence on the centralized parties, that should be resolved. Blockchain is revolutionizing the concept of today's Internet, primarily because of its degree of decentralization and security properties. In this paper, we discuss how blockchain provides nearly complete solutions to the open challenges for these network backbone components.


title: Increasing the Flexibility of Combined Heat and Power Systems through Optimal Dispatch with Variable Mass Flow

abstract: In combined heat and power systems, varying mass flow can better make use of the heating system inertia to increase the flexibility of electric power systems. This is challenging, however, due to integer variables and bilinear constraints in existing optimal dispatch models. In this paper, we incorporate an improved heat pipeline model to eliminate complexity from integer variables without compromise on accuracy. Subsequently, the resulting optimal dispatch model with bilinear constraints is solved by the proposed modified Generalized Benders Decomposition method, which decomposes the optimal dispatch model into a convex sub-problem with the fixed mass flow and a simple upper-level problem searching for the optimal mass flow. Comparisons with existing benchmarks show that the proposed method can achieve lower operation costs with outstanding computational efficiency.


title: On a Class of Gradient Almost Ricci Solitons

abstract: In this study, we provide some classifications for half-conformally flat gradient $f$-almost Ricci solitons, denoted by $(M, g, f)$, in both Lorentzian and neutral signature. First, we prove that if $||\nabla f||$ is a non-zero constant, then $(M, g, f)$ is locally isometric to a {warped product} of the form $I \times_{\varphi} N$, where $I \subset \mathbb{R}$ and $N$ is of constant sectional curvature. On the other hand, if $||\nabla f|| = 0$, then it is locally a {Walker manifold}. Then, we construct an example of 4-dimensional steady gradient $f$-almost Ricci solitons in neutral signature. At the end, we give more physical applications of gradient Ricci solitons endowed with the standard static spacetime metric.


title: Radiation-reaction-induced transitions of two maximally entangled atoms in non-inertial motion

abstract: We apply the DDC formalism [proposed by Dalibard, Dupont-Roc and Cohen-Tannoudji] to study the average rate of change of energy of two identical two-level atoms interacting with the vacuum massless scalar field in synchronized motion along stationary trajectories. By separating the contributions of vacuum fluctuations and atomic radiation reaction, we first show that for the two-atom system initially prepared in the factorizable eigenstates $|g_Ag_B\rangle$ and $|e_Ae_B\rangle$, where $g$ and $e$ represent the ground state and the excited state of a single atom respectively, both vacuum fluctuations and atomic radiation reaction contribute to the average rate of change of energy of the two-atom system, and the contribution of vacuum fluctuations is independent of the interatomic separation while that of atomic radiation reaction is dependent on it. This is contrary to the existing results in the literature where vacuum fluctuations are interatomic-separation dependent. However, if the two-atom system is initially prepared in the unfactorizable symmetric/antisymmetric entangled state, the average rate of change of energy of the two-atom system is never perturbed by the vacuum fluctuations, but is totally a result of the atomic radiation reaction. We then consider two special cases of motion of the two-atom system which is initially prepared in the symmetric/antisymmetric entangled state, i.e., synchronized inertial motion and synchronized uniform acceleration. In contrast to the average rate of change of energy of a single uniformly accelerated atom, the average rate of change of energy of the uniformly accelerated two-atom system is nonthermal-like. The effects of noninertial motion on the transitions of states of the two correlated atoms are also discussed.


title: Homomorphisms of C*-algebras and their K-theory

abstract: Let $A$ and $B$ be C*-algebras and $\varphi\colon A\to B$ be a $*$-homomorphism. We discuss the properties of the kernel and (co-)image of the induced map $\mathrm{K}_{0}(\varphi)\colon \mathrm{K}_{0}(A) \to \mathrm{K}_{0}(B)$ on the level of K-theory. In particular, we are interested in the case that the co-image is torsion free, and show that it holds when $A$ and $ B $ are commutative and unital, $B$ has real rank zero, and $\varphi$ is unital and injective. We also show that $ A$ is embeddable in $B$ if $ \mathrm{K}_{0}(\varphi)$ is injective and $A$ has stable rank one and real rank zero.


title: A Solution Strategy to the Unit Commitment Problem Incorporating Manifold Uncertainties

abstract: The widespread uncertainties have made the interaction between wind power and power grid more complicated and difficult to model and handle. This paper proposes an approach for the solution of unit commitment (UC) problem incorporating multiple uncertainties that exist in both wind power and power grid inherently, consisting of probability, possibility, and interval measures. To handle the manifold uncertainties in a comprehensive and efficient manner, the evidence theory (ET) is applied to fuse these uncertain variables into Dempster-Shafer structure. Moreover, the power loss is introduced into power balance constraints, and the extended affine arithmetic (EAA) is employed to evaluate the uncertainty of power loss caused by the propagation of the aforementioned uncertainties. Regarding the mix-discrete nonlinear characteristics of the established optimization model, an enhanced grey wolf optimizer (GWO) algorithm is developed to solve the proposed model. Specifically, the corresponding commitment schedule is determined by a kind of binary grey wolf optimizer (BGWO), and the economic dispatch (ED) is settled by GWO. Finally, the IEEE 30-bus test system and a real-sized 183-bus China power system are studied to demonstrate the validity and scalability of the proposed model and method.


title: On the extension of bi-Lipschitz mappings

abstract: Let $X$ be a closed semialgebraic set of dimension $k.$ If $n\ge 2k+1$, then there is a bi-Lipschitz and semialgebraic embedding of $X$ into $\Bbb R^n.$ Moreover, if $n \ge 2k+2$, then this embedding is unique (up to a bi-Lipschitz and semialgebraic homeomorphism of $\Bbb R^n.$


title: Blazhko effect in the Galactic bulge fundamental mode RR Lyrae stars II: Modulation shapes, amplitudes and periods

abstract: The number of stars observed by the Optical Gravitational Lensing Experiment (OGLE) project in the Galactic bulge offers an invaluable chance to study RR Lyrae stars in a statistical manner. We used data of 3141 fundamental-mode RR Lyrae stars showing the Blazhko effect observed in OGLE-IV to investigate a possible connection between modulation amplitudes and periods, light curve and pulsation characteristics. We found that there is no simple monotonic correlation between any combination of two parameters concerning the Blazhko and pulsation amplitudes, periods and the shape of the light curves. There are only systematic limits. There is a bottom limit of the modulation period with respect to the pulsation period. We also found that the possible range of modulation amplitudes decreases with increasing pulsation period which could point towards that the Blazhko effect is suppressed in cooler, larger, more luminous and less metal abundant bulge RR Lyrae stars. Our investigation revealed that the distribution of the modulation periods can be described with two populations of stars with the mean modulation periods of 48 and 186 days. There is a certain region with a low density of the modulated stars, which we call the Blazhko valley, in the pulsation period-modulation period plane. Based on the similarity of the modulation envelopes, basically every star can be assigned to one of six morphological classes. Double modulation was found in 25 per cent of the studied stars. Only 6.3 per cent of modulated stars belongs to the Oosterhoff group II.


title: Unveiling the temporal properties of MAXI J1820+070 through AstroSat observations

abstract: We present here the results of the first broadband simultaneous spectral and temporal studies of the newly detected black hole binary MAXI J1820+070 as seen by SXT and LAXPC on-board AstroSat.The observed combined spectra in the energy range 0.7-80 keV were well modeled using disk black-body emission, thermal Comptonization and a reflection component. The spectral analysis revealed that the source was in its hard spectral state (Gamma=1.61) with a cool disk (kTin=0.22 keV). We report the energy dependent time-lag and root mean squared (rms) variability at different frequencies in the energy range 3-80 keV using LAXPC data. We also modeled the flux variability using a single zone stochastic propagation model to quantify the observed energy dependence of time-lag and fractional rms variability and then compared the results with that of Cygnus X-1. Additionally, we confirm the detection of a quasi-periodic oscillation with the centroid frequency at 47.7 mHz.


title: The study of odd graceful and odd strongly harmonious for bipartite graph

abstract: In this paper, we investigate odd graceful graph, odd strongly harmonious graph, bipartite graph and their relationship. We proved following results: (1) if G is odd strongly harmonious graph, then G is odd graceful graph ;(2) if G is bipartite odd graceful graph, then G is odd strongly harmonious graph.


title: User-independent optical path length compensation scheme with sub-ns timing resolution for 1xN quantum key distribution network system

abstract: Quantum key distribution (QKD) networks constitute promising solutions for secure communication. Beyond conventional point-to-point QKD, we developed 1xN QKD network systems with a sub-ns resolution optical path length compensation scheme. With a practical plug-and-play QKD architecture and compact timing control modules based on a field programmable gate array (FPGA), we achieved long term stable operation of a 1x64 QKD network system. Using this architecture, 64 users can simultaneously share secret keys with one server, without using complex software algorithms and expensive hardware. We demonstrated the working of a 1x4 QKD network system using the fiber network of a metropolitan area.


title: On Supergraphs Satisfying CMSO Properties

abstract: Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function $f$, there is an algorithm $\mathfrak{A}$ that takes as input a CMSO sentence $\varphi$, a positive integer $t$, and a connected graph $G$ of maximum degree at most $\Delta$, and determines, in time $f(|\varphi|,t)\cdot 2^{O(\Delta \cdot t)}\cdot |G|^{O(t)}$, whether $G$ has a supergraph $G'$ of treewidth at most $t$ such that $G'\models \varphi$. The algorithmic metatheorem described above sheds new light on certain unresolved questions within the framework of graph completion algorithms. In particular, using this metatheorem, we provide an explicit algorithm that determines, in time $f(d)\cdot 2^{O(\Delta \cdot d)}\cdot |G|^{O(d)}$, whether a connected graph of maximum degree $\Delta$ has a planar supergraph of diameter at most $d$. Additionally, we show that for each fixed $k$, the problem of determining whether $G$ has an $k$-outerplanar supergraph of diameter at most $d$ is strongly uniformly fixed parameter tractable with respect to the parameter $d$. This result can be generalized in two directions. First, the diameter parameter can be replaced by any contraction-closed effectively CMSO-definable parameter $\mathbf{p}$. Examples of such parameters are vertex-cover number, dominating number, and many other contraction-bidimensional parameters. In the second direction, the planarity requirement can be relaxed to bounded genus, and more generally, to bounded local treewidth.


title: UAV-Enabled Confidential Data Collection in Wireless Networks

abstract: This work, for the first time, considers confidential data collection in the context of unmanned aerial vehicle (UAV) wireless networks, where the scheduled ground sensor node (SN) intends to transmit confidential information to the UAV without being intercepted by other unscheduled ground SNs. Specifically, a full-duplex (FD) UAV collects data from each scheduled SN on the ground and generates artificial noise (AN) to prevent the scheduled SN's confidential information from being wiretapped by other unscheduled SNs. We first derive the reliability outage probability (ROP) and secrecy outage probability (SOP) of a considered fixed-rate transmission, based on which we formulate an optimization problem that maximizes the minimum average secrecy rate (ASR) subject to some specific constraints. We then transform the formulated optimization problem into a convex problem with the aid of first-order restrictive approximation technique and penalty method. The resultant problem is a generalized nonlinear convex programming (GNCP) and solving it directly still leads to a high complexity, which motivates us to further approximate this problem as a second-order cone program (SOCP) in order to reduce the computational complexity. Finally, we develop an iteration procedure based on penalty successive convex approximation (P-SCA) algorithm to pursue the solution to the formulated optimization problem. Our examination shows that the developed joint design achieves a significant performance gain compared to a benchmark scheme.


title: Hard 3-CNF-SAT problems are in $P$ -- A first step in proving $NP=P$

abstract: The relationship between the complexity classes $P$ and $NP$ is an unsolved question in the field of theoretical computer science. In the first part of this paper, a lattice framework is proposed to handle the 3-CNF-SAT problems, known to be in $NP$. In the second section, we define a multi-linear descriptor function ${\cal H}_\varphi$ for any 3-CNF-SAT problem $\varphi$ of size $n$, in the sense that ${\cal H}_\varphi : \{0,1\}^n \rightarrow \{0,1\}^n$ is such that $Im \; {\cal H}_\varphi$ is the set of all the solutions of $\varphi$. A new merge operation ${\cal H}_\varphi \bigwedge {\cal H}_{\psi}$ is defined, where $\psi$ is a single 3-CNF clause. Given ${\cal H}_\varphi$ [but this can be of exponential complexity], the complexity needed for the computation of $Im \; {\cal H}_\varphi$, the set of all solutions, is shown to be polynomial for hard 3-CNF-SAT problems, i.e. the one with few ($\leq 2^k$) or no solutions. The third part uses the relation between ${\cal H}_\varphi$ and the indicator function $\mathbb{1}_{{\cal S}_\varphi}$ for the set of solutions, to develop a greedy polynomial algorithm to solve hard 3-CNF-SAT problems.


title: Lagrangian Dual Decision Rules for Multistage Stochastic Mixed Integer Programming

abstract: Multistage stochastic programs can be approximated by restricting policies to follow decision rules. Directly applying this idea to problems with integer decisions is difficult because of the need for decision rules that lead to integral decisions. In this work, we introduce Lagrangian dual decision rules (LDDRs) for multistage stochastic mixed-integer programming (MSMIP) which overcome this difficulty by applying decision rules in a Lagrangian dual of the MSMIP. We propose two new bounding techniques based on stagewise (SW) and nonanticipative (NA) Lagrangian duals where the Lagrangian multiplier policies are restricted by LDDRs. We demonstrate how the solutions from these duals can be used to drive primal policies. Our proposal requires fewer assumptions than most existing MSMIP methods. We compare the theoretical strength of the restricted duals and show that the restricted NA dual can provide relaxation bounds at least as good as the ones obtained by the restricted SW dual. In our numerical study on two problem classes, one traditional and one novel, we observe that the proposed LDDR approaches yield significant optimality gap reductions compared to existing general-purpose bounding methods for MSMIP problems.


title: Deep Unsupervised Common Representation Learning for LiDAR and Camera Data using Double Siamese Networks

abstract: Domain gaps of sensor modalities pose a challenge for the design of autonomous robots. Taking a step towards closing this gap, we propose two unsupervised training frameworks for finding a common representation of LiDAR and camera data. The first method utilizes a double Siamese training structure to ensure consistency in the results. The second method uses a Canny edge image guiding the networks towards a desired representation. All networks are trained in an unsupervised manner, leaving room for scalability. The results are evaluated using common computer vision applications, and the limitations of the proposed approaches are outlined.


title: Many disjoint triangles in co-triangle-free graphs

abstract: We prove that any $n$-vertex graph whose complement is triangle-free contains $n^2/12-o(n^2)$ edge-disjoint triangles. This is tight for the disjoint union of two cliques of order $n/2$. We also prove a corresponding stability theorem, that all large graphs attaining the above bound are close to being bipartite. Our results answer a question of Alon and Linial, and make progress on a conjecture of Erd\H{o}s.


title: A note on prime number races and zero free regions for $L$ functions

abstract: Let $\chi$ be a real and non-principal Dirichlet character, $L(s,\chi)$ its Dirichlet $L$-function and let $p$ be a generic prime number. We prove the following result: If for some $0\leq \sigma<1$ the partial sums $\sum_{p\leq x}\chi(p)p^{-\sigma}$ change sign only for a finite number of $x$, then there exists $\epsilon>0$ such that $L(s,\chi)$ has no zeros in the half plane $Re(s)>1-\epsilon$.


title: Photoproduction of three jets in the CGC: gluon TMDs and dilute limit

abstract: We study the process $\gamma A \to q \bar{q} g+X$ in the Color Glass Condensate (CGC) effective theory. After obtaining the cross section, we consider two kinematic limits which are encompassed in our result. In the so-called correlation limit, the vector sum of the transverse momenta of the three outgoing particles is small with respect to the individual transverse momenta; the cross section then simplifies considerably and can be written in a factorized form, sensitive to both the unpolarized and linearly-polarized Weizs\"acker-Williams transverse momentum dependent gluon distribution function (gluon TMD). The second limit of the CGC cross section that we consider is the dilute limit, which we obtain after performing a weak-field expansion; we recover a typical linear-regime expression, involving a single unintegrated gluon distribution function. Using numerical simulations of the small-$x$ QCD evolution of the TMDs, we investigate the rapidity dependence of the cross section in the correlation limit.


title: Stability and Memory-loss go Hand-in-Hand: Three Results in Dynamics & Computation

abstract: The search for universal laws that help establish a relationship between dynamics and computation is driven by recent expansionist initiatives in biologically inspired computing. A general setting to understand both such dynamics and computation is a driven dynamical system that responds to a temporal input. Surprisingly, we find memory-loss a feature of driven systems to forget their internal states helps provide unambiguous answers to the following fundamental stability questions that have been unanswered for decades: what is necessary and sufficient so that slightly different inputs still lead to mostly similar responses? How does changing the driven system's parameters affect stability? What is the mathematical definition of the edge-of-criticality? We anticipate our results to be timely in understanding and designing biologically inspired computers that are entering an era of dedicated hardware implementations for neuromorphic computing and state-of-the-art reservoir computing applications.


title: A Proximal Linearization-based Decentralized Method for Nonconvex Problems with Nonlinear Constraints

abstract: Decentralized optimization for non-convex problems are now demanding by many emerging applications (e.g., smart grids, smart building, etc.). Though dramatic progress has been achieved in convex problems, the results for non-convex cases, especially with non-linear constraints, are still largely unexplored. This is mainly due to the challenges imposed by the non-linearity and non-convexity, which makes establishing the convergence conditions bewildered. This paper investigates decentralized optimization for a class of structured non-convex problems characterized by: (i) nonconvex global objective function (possibly nonsmooth) and (ii) coupled nonlinear constraints and local bounded convex constraints w.r.t. the agents. For such problems, a decentralized approach called Proximal Linearizationbased Decentralized Method (PLDM) is proposed. Different from the traditional (augmented) Lagrangian-based methods which usually require the exact (local) optima at each iteration, the proposed method leverages a proximal linearization-based technique to update the decision variables iteratively, which makes it computationally efficient and viable for the non-linear cases. Under some standard conditions, the PLDM global convergence and local convergence rate to the epsilon-critical points are studied based on the Kurdyka-Lojasiewicz property which holds for most analytical functions. Finally, the performance and efficacy of the method are illustrated through a numerical example and an application to multi-zone heating, ventilation and air-conditioning (HVAC) control.


title: High-energy neutrinos from cosmic ray interactions in the Local Bubble

abstract: A surprisingly large flux of extraterrestrial high-energy neutrinos was discovered by the IceCube experiment. While the flux of muon neutrinos with energies $E>100$ TeV is consistent with the extragalactic gamma-ray background (EBL) determined by Fermi-LAT, the softer component of the cascade neutrino flux at $E<100$ TeV is larger than expected. Moreover, a gamma-ray excess at high Galactic latitudes at energies $E>300$ GeV was found in the data of Fermi-LAT. The gamma-ray excess at TeV energies and the neutrino excess at $E<100$ TeV may have a common Galactic origin. In this work, we study the possibility that both excesses are caused by interactions of cosmic rays (CRs) with energies up to PeV in the wall of the Local Bubble. Source of these CRs may be a recent nearby source like Vela. We show that such a scenario can explain the observed CR flux around the knee, while CR interactions in the bubble wall can generate a substantial fraction of the observed astrophysical high-energy neutrino flux below $\sim {\rm few} \times 100$ TeV.


title: InSAR Phase Denoising: A Review of Current Technologies and Future Directions

abstract: Nowadays, interferometric synthetic aperture radar (InSAR) has been a powerful tool in remote sensing by enhancing the information acquisition. During the InSAR processing, phase denoising of interferogram is a mandatory step for topography mapping and deformation monitoring. Over the last three decades, a large number of effective algorithms have been developed to do efforts on this topic. In this paper, we give a comprehensive overview of InSAR phase denoising methods, classifying the established and emerging algorithms into four main categories. The first two parts refer to the categories of traditional local filters and transformed-domain filters, respectively. The third part focuses on the category of nonlocal (NL) filters, considering their outstanding performances. Latter, some advanced methods based on new concept of signal processing are also introduced to show their potentials in this field. Moreover, several popular phase denoising methods are illustrated and compared by performing the numerical experiments using both simulated and measured data. The purpose of this paper is intended to provide necessary guideline and inspiration to related researchers by promoting the architecture development of InSAR signal processing.


title: On renormalons of static QCD potential at $u=1/2$ and $3/2$

abstract: We investigate the $u=1/2$ [$\mathcal{O}(\Lambda_{\rm QCD})$] and $u=3/2$ [$\mathcal{O}(\Lambda_{\rm QCD}^3)$] renormalons in the static QCD potential in position space and momentum space using the OPE of the potential-NRQCD effective field theory. This is an old problem and we provide a formal formulation to analyze it. In particular we present detailed examinations of the $u=3/2$ renormalons. We clarify how the $u=3/2$ renormalon is suppressed in the momentum-space potential in relation with the Wilson coefficient $V_A(r)$. We also point out that it is not straightforward to subtract the IR renormalon and IR divergences simultaneously in the multipole expansion. Numerical analyses are given, which clarify the current status of our knowledge on the perturbative series. The analysis gives a positive reasoning to the method for subtracting renormalons used in recent $\alpha_s(M_Z)$ determination from the QCD potential.


title: Fair Auction and Trade Framework for Cloud VM Allocation based on Blockchain

abstract: Cloud auctions provide cost-effective strategies for cloud VM allocation. Most existing cloud auctions simply assume that the auctioneer is trustable, and thus the fairness of auctions can be easily achieved. However, in fact, such a trustable auctioneer may not exist, and the fairness is non-trivial to guarantee. In this work, for the first time, we propose a decentralized cloud VM auction and trade framework based on blockchain. We realize both auction fairness and trade fairness among participants (e.g., cloud provider and cloud users) in this system, which guarantees the interest of each party will not suffer any loss as long as it follows the protocol. Furthermore, we implement our system through the local blockchain and Ethereum official test blockchain, carry out experimental simulations, and demonstrate the feasibility of our system.


title: Revisiting scalar and tensor perturbations in a nonlocal gravity

abstract: Nonlocal RT gravity is a successful modified gravity theory, which not only explains the late-time cosmic acceleration but also behaves well in the solar system. Previous analysis generally assumes the auxiliary field $S_i$ vanishes at the cosmic background. However, we find the background $S_i$ is proportional to $a^2$ with the expansion of the universe. Then we discuss the influence of the nonzero background $S_i$ on the cosmic background evolution, the scalar and tensor perturbations. We find the cosmic background evolution is independent of $S_i$, and the influence of the nonzero background $S_i$ on the weak field limit at solar system scales is negligible. For the tensor perturbation, we find the only possible observable effect is the influence of nonzero background $S_i$ on the LIGO gravitational wave amplitude and also luminosity distance. Future high redshift gravitational wave observations could be used to constrain the background value of $S_i$.


title: CryptoExplorer: An Interactive Web Platform Supporting Secure Use of Cryptography APIs

abstract: Research has shown that cryptographic APIs are hard to use. Consequently, developers resort to using code examples available in online information sources that are often not secure. We have developed a web platform, named CryptoExplorer, stocked with numerous real-world secure and insecure examples that developers can explore to learn how to use cryptographic APIs properly. This platform currently provides 3,263 secure uses, and 5,897 insecure uses of Java Cryptography Architecture mined from 2,324 Java projects on GitHub. A preliminary study shows that CryptoExplorer provides developers with secure crypto API use examples instantly, developers can save time compared to searching on the internet for such examples, and they learn to avoid using certain algorithms in APIs by studying misused API examples. We have a pipeline to regularly mine more projects, and, on request, we offer our dataset to researchers.


title: Explicit high-order energy-preserving methods for general Hamiltonian partial differential equations

abstract: A novel class of explicit high-order energy-preserving methods are proposed for general Hamiltonian partial differential equations with non-canonical structure matrix. When the energy is not quadratic, it is firstly done that the original system is reformulated into an equivalent form with a modified quadratic energy conservation law by the energy quadratization approach. Then the resulting system that satisfies the quadratic energy conservation law is discretized in time by combining explicit high-order Runge-Kutta methods with orthogonal projection techniques. The proposed schemes are shown to share the order of explicit Runge-Kutta method and thus can reach the desired high-order accuracy. Moreover, the methods are energy-preserving and explicit because the projection step can be solved explicitly. Numerical results are addressed to demonstrate the remarkable superiority of the proposed schemes in comparison with other structure-preserving methods.


title: Femoral Neck Angle Impacts Hip Disorder and Surgical Intervention: A Patient-Specific 3D Printed Analysis

abstract: The purpose of this study is to investigate the femoral neck angulation for prediction of the complication associated with dynamic hip screw (DHS) surgery and hip deformity. Three sample patients' MRI images were selected to calculate the femoral neck angles. A total of six femur head geometries were reconstructed and three dimensional (3D) models printed. The calculation of neck angles was done in both computer models and 3D-printed models. Our results showed that 3D-printed models achieved high accuracy and provided the physical measurements, when compared to the computer models could not confirm. Neck angulations related to uncomplicated DHS surgery ranged between 129{\deg}-139{\deg}, and non-deformity of normal neck angles ranged between 120{\deg}-135{\deg}. Our study indicated that patient-specific 3D printed femoral head models provide useful information for medical education and assist DHS surgery. Further research based on a large sample size is necessary.


title: Phonon dispersion in two-dimensional solids from atomic probability distributions

abstract: We propose a harmonic linear response (HLR) method to calculate the phonon dispersion relations of two-dimensional (2D) layers from equilibrium simulations at finite temperature. This HLR approach is based on the linear response of the system, as derived from the analysis of its centroid density in equilibrium path integral simulations. In the classical limit, this approach is closely related to those methods that study vibrational properties by the diagonalization of the covariance matrix of atomic fluctuations. The validity of the method is tested in the calculation of the phonon dispersion relations of a graphene monolayer, a graphene bilayer, and graphane. Anharmonic effects in the phonon dispersion relations of graphene are demonstrated by the calculation of the temperature dependence of the following observables: the kinetic energy of the carbon atoms, the vibrational frequency of the optical $E_{2g}$ mode, and the elastic moduli of the layer.


title: Collisional-radiative modeling of the $5p-5s$ spectrum of W XIV - W XVI ions

abstract: The wavelength and rate of the $5p-5s$ transition of W XIV - W XVI ions have been calculated by the relativistic configuration interaction (RCI) method with the implementation of Flexible Atomic code (FAC). A reasonable collisional-radiative model (CRM) has been constructed to simulate the $5p - 5s$ transition spectrum of W XIV - W XVI ions which had been observed in electron beam ion trap (EBIT) device. The results are in reasonable agreement with the available experimental and theoretical data, and might be applied to identify the controversial spectra. The confusion on the assignment of the ionization stage are solved in the present work.


title: Extremely large linear magnetoresistance in Antimony crystal

abstract: In this letter we report the observation of extremely large non-saturating linear magnetoresistance (MR) in Antimony(Sb) crystal. An extremely large magnetoresistance (XMR) of 43000% at 2K and large unsaturating MR$\sim\ $70% at room temperature is observed at the magnetic field of 9T. Hall measurements reveal a very high mobility $\sim\ $3.8 x 10$^{4}$ cm$^{2}$/Vs of charge carriers and strong temperature dependence of carrier concentration and mobility. The respective scaling of MR and crossover field (B$_{c}$) from quadratic to linear MR with mobility and inverse of mobility describes the classical origin of large linear MR in this crystal as suggested by Parish and Littlewood (PL) model for disordered systems.


title: Efficiency Axioms for simplicial complexes

abstract: We study the notion of efficiency for cooperative games on simplicial complexes. In such games, the grand coalition $[n]$ may be forbidden, and, thus, it is a non-trivial problem to study the total number of payoff $v_{\Delta}$ of a cooperative game $(\Delta, v)$. We address this question in the more general setting, by characterizing the individual values that satisfy the general efficient requirement $v_{\Delta}^{gen}$ for a generic efficiency assignment. The traditional and the probabilistic efficiency are treated as a special case of this general efficiency. Finally, we introduce a new notion of efficiency arising from the combinatorial and topological property of the simplicial complex $\Delta$. The efficiency in this scenario is called simplicial and we characterize the individual values fulfilling this constraint.


title: Three Schur functors related to pre-Lie algebras

abstract: We give explicit combinatorial descriptions of three Schur functors arising in the theory of pre-Lie algebras. The first of them leads to a functorial description of the underlying vector space of the universal enveloping pre-Lie algebra of a given Lie algebra, strengthening the PBW theorem of Segal. The two other Schur functors provide functorial descriptions of the underlying vector spaces of the universal multiplicative enveloping algebra and of the module of K\"ahler differentials of a given pre-Lie algebra. An important consequence of such descriptions is an interpretation of the cohomology of a pre-Lie algebra with coefficients in a module as a derived functor for the category of modules over the universal multiplicative enveloping algebra.