title: Elongational viscosity of weakly entangled polymer melt via coarse-grained molecular dynamics simulation

abstract: We investigated the elongational flows of the weakly entangled linear polymer melt using a coarse-grained molecular dynamics simulation. We extended the uniform extensional flow (UEF) method developed by Nicholson and Rutledge (D. A. Nicholson and G. C. Rutledge, J. Chem. Phys., 145, 244903 (2016)) for application to Langevin dynamics. We succeeded in observing the elongational viscosity of the weakly entangled linear polymer melt from the equilibrium state to the steady state using the extended UEF method, whereas the conventional rectangular parallelepiped shape technique for extensional flows has failed to do so for over 20 years.


title: Perturbation Analysis of An Eigenvector-Dependent Nonlinear Eigenvalue Problem With Applications?

abstract: The eigenvector-dependent nonlinear eigenvalue problem (NEPv) $A(P)V=V\Lambda$, where the columns of $V\in\mathbb{C}^{n\times k}$ are orthonormal, $P=VV^{\mathrm{H}}$, $A(P)$ is Hermitian, and $\Lambda=V^{\mathrm{H}}A(P)V$, arises in many important applications, such as the discretized Kohn-Sham equation in electronic structure calculations and the trace ratio problem in linear discriminant analysis. In this paper, we perform a perturbation analysis for the NEPv, which gives upper bounds for the distance between the solution to the original NEPv and the solution to the perturbed NEPv. A condition number for the NEPv is introduced, which reveals the factors that affect the sensitivity of the solution. Furthermore, two computable error bounds are given for the NEPv, which can be used to measure the quality of an approximate solution. The theoretical results are validated by numerical experiments for the Kohn-Sham equation and the trace ratio optimization.


title: Spatial Isolation Implies Zero Knowledge Even in a Quantum World

abstract: Zero knowledge plays a central role in cryptography and complexity. The seminal work of Ben-Or et al. (STOC 1988) shows that zero knowledge can be achieved unconditionally for any language in NEXP, as long as one is willing to make a suitable physical assumption: if the provers are spatially isolated, then they can be assumed to be playing independent strategies. Quantum mechanics, however, tells us that this assumption is unrealistic, because spatially-isolated provers could share a quantum entangled state and realize a non-local correlated strategy. The MIP* model captures this setting. In this work we study the following question: does spatial isolation still suffice to unconditionally achieve zero knowledge even in the presence of quantum entanglement? We answer this question in the affirmative: we prove that every language in NEXP has a 2-prover zero knowledge interactive proof that is sound against entangled provers; that is, NEXP \subseteq ZK-MIP*. Our proof consists of constructing a zero knowledge interactive PCP with a strong algebraic structure, and then lifting it to the MIP* model. This lifting relies on a new framework that builds on recent advances in low-degree testing against entangled strategies, and clearly separates classical and quantum tools. Our main technical contribution consists of developing new algebraic techniques for obtaining unconditional zero knowledge; this includes a zero knowledge variant of the celebrated sumcheck protocol, a key building block in many probabilistic proof systems. A core component of our sumcheck protocol is a new algebraic commitment scheme, whose analysis relies on algebraic complexity theory.


title: Comparison of Green's functions for transition metal atoms using self-energy functional theory and coupled-cluster singles and doubles (CCSD)

abstract: We demonstrate in the present study that self-consistent calculations based on the self-energy functional theory (SFT) are possible for the electronic structure of realistic systems in the context of quantum chemistry. We describe the procedure of a self-consistent SFT calculation in detail and perform the calculations for isolated $3 d$ transition metal atoms from V to Cu as a preliminary study. We compare the one-particle Green's functions (GFs) obtained in this way and those obtained from the coupled-cluster singles and doubles (CCSD) method. Although the SFT calculation starts from the spin-unpolarized Hartree--Fock (HF) state for each of the target systems, the self-consistency loop correctly leads to degenerate spin-polarized ground states. We examine the spectral functions in detail to find their commonalities and differences among the atoms by paying attention to the characteristics of the two approaches. It is demonstrated via the two approaches that calculations based on the density functional theory (DFT) can fail in predicting the orbital energy spectra for spherically symmetric systems. It is found that the two methods are quite reliable and useful beyond DFT.


title: Probing one-dimensional systems via noise magnetometry with single spin qubits

abstract: The study of exotic one-dimensional states, particularly those at the edges of topological materials, demand new experimental probes that can access the interplay between charge and spin degrees of freedom. One potential approach is to use a single spin probe, such as a Nitrogen Vacancy center in diamond, which has recently emerged as a versatile tool to probe nanoscale systems in a non-invasive fashion. Here we present a theory describing how noise magnetometry with spin probes can directly address several questions that have emerged in experimental studies of 1D systems, including those in topological materials. We show that by controlling the spin degree of freedom of the probe, it is possible to measure locally and independently local charge and spin correlations of 1D systems. Visualization of 1D edge states, as well as sampling correlations with wavevector resolution can be achieved by tuning the probe-to-sample distance. Furthermore, temperature-dependent measurements of magnetic noise can clearly delineate the dominant scattering mechanism (impurities vs. interactions) -- this is of particular relevance to quantum spin Hall measurements where conductance quantization is not perfect. The possibility to probe both charge and spin excitations in a wide range of length scales opens new pathways to bridging the large gap between atomic scale resolution of scanning probes and global transport measurements.


title: (Pb1-xBix)(Ti1-xMnx)O3: Competing mechanism of Tetragonal-Cubic phase on A/B site modifications

abstract: Structural, vibrational and dielectric properties of (Pb1-xBix)(Ti1-xMnx)O3 (PBTM) (0 x 0.50) polycrystalline ceramics have been examined as a function of temperature. Synchrotron-based powder x-ray diffraction was employed to confirm phase purity and crystal structure of samples. Tetragonality (c/a ratio) of the PBTM system exhibit an increase 1.065, 1.066 for x = 0.06 and 0.09 compositions respectively, compare to 1.064 for x = 0 sample. Curie point was found ~763 K and 773 K for x = 0.06 and 0.09 samples respectively. Though, tetragonality start to decreasing from samples with x 0.18, Curie point of the samples started decreasing for x 0.12. Temperature-dependent x-ray diffraction reveals the structural change from tetragonal to cubic structure. Unit cell volume was found to decrease with increasing temperature; indicate these materials are negative thermal expansion type until phase transition temperature, with negative thermal coefficients are -1.571*10-5 /K, -2.44*10-5 /K, and -5.025*10-6 /K for x = 0, 0.06, and 0.09 samples respectively. Raman spectra showed softening of the transverse optical phonon modes and increase in the full width at half maxima with the increase in composition. Field-emission scanning electron microscope equipped with energy dispersive x-ray spectrometer (EDS) confirmed compositional homogeneity and dense type microstructure.


title: Riemannian optimal model reduction of stable linear systems

abstract: In this paper, we develop a method for solving the problem of minimizing the $H^2$ error norm between the transfer functions of original and reduced systems on the set of stable matrices and two Euclidean spaces. That is, we develop a method for identifying the optimal reduced system from all stable linear systems. However, it is difficult to develop an algorithm for solving this problem, because the set of stable matrices is highly non-convex. To overcome this issue, we show that the problem can be transformed into a tractable Riemannian optimization on the product manifold of the set of skew-symmetric matrices, the manifold of the symmetric positive-definite matrices, and two Euclidean spaces. The stability of the reduced systems constructed using the optimal solutions to our problem is preserved. To solve the reduced problem, the Riemannian gradient and Hessian are derived and a Riemannian trust-region method is developed. The initial point in the proposed approach is selected using the output from the balanced truncation (BT) method. Numerical experiments demonstrate that our method considerably improves the results given by BT in the sense of the $H^2$ norm, and also provides reduced systems that are globally near-optimal solutions to the problem of minimizing the $H^{\infty}$ error norm. Moreover, we show that our method provides a better reduced model than BT from the viewpoint of the frequency response.


title: Automatic Continuity of $ \ast $-Representations for Discrete Twisted $ C^{\ast} $-Dynamical Systems

abstract: In this paper, we will establish the relatively unknown result that every $ \ast $-representation for a discrete twisted $ C^{\ast} $-dynamical system $ (G,A,\alpha,\omega) $ is automatically contractive with respect to the $ L^{1} $-norm on $ {C_{c}}(G,A) $.


title: Vortex rings in fragmentation regions in heavy-ion collisions at $\sqrt{s_{NN}}=$ 39 GeV

abstract: Vorticity generated in heavy-ion collisions at energy of $\sqrt{s_{NN}}=$ 39 GeV is studied. Simulations are performed within a model of the three-fluid dynamics. A peculiar structure consisting of two vortex rings is found: one ring in the target fragmentation region and another one in the projectile fragmentation region. These rings are also formed in central collisions. The matter rotation is opposite in this two rings. These vortex rings are already formed at the early stage of the collision together with primordial fragmentation regions. The average vorticity, responsible for the global polarization of the observed $\Lambda$ and $\bar{\Lambda}$, is also studied. In the semi-central collisions the average vorticity in the midrapidity region turns out to be more than an order of magnitude lower than the total one. The total vorticity is dominated by the contributions of the fragmentation regions and is produced because of asymmetry of the vortex rings in noncentral collisions. This suggests that in semi-central collisions the global polarization in the fragmentation regions should be at least an order of magnitude higher than that observed by the STAR collaboration in the midrapidity. This polarization should be asymmetrical in the reaction plain and correlate with the corresponding directed flow.


title: Blind Channel Equalization using Variational Autoencoders

abstract: A new maximum likelihood estimation approach for blind channel equalization, using variational autoencoders (VAEs), is introduced. Significant and consistent improvements in the error rate of the reconstructed symbols, compared to constant modulus equalizers, are demonstrated. In fact, for the channels that were examined, the performance of the new VAE blind channel equalizer was close to the performance of a nonblind adaptive linear minimum mean square error equalizer. The new equalization method enables a significantly lower latency channel acquisition compared to the constant modulus algorithm (CMA). The VAE uses a convolutional neural network with two layers and a very small number of free parameters. Although the computational complexity of the new equalizer is higher compared to CMA, it is still reasonable, and the number of free parameters to estimate is small.


title: A comment on 'Testing Goodwin: growth cycles in ten OECD countries'

abstract: We revisit the results of Harvie (2000) and show how correcting for a reporting mistake in some of the estimated parameter values leads to significantly different conclusions, including realistic parameter values for the Philips curve and estimated equilibrium employment rates exhibiting on average one tenth of the relative error of those obtained in Harvie (2000).


title: Network Phenotyping for Network Traffic Classification and Anomaly Detection

abstract: This paper proposes to develop a network phenotyping mechanism based on network resource usage analysis and identify abnormal network traffic. The network phenotyping may use different metrics in the cyber physical system (CPS), including resource and network usage monitoring, physical state estimation. The set of devices will collectively decide a holistic view of the entire system through advanced image processing and machine learning methods. In this paper, we choose the network traffic pattern as a study case to demonstrate the effectiveness of the proposed method, while the methodology may similarly apply to classification and anomaly detection based on other resource metrics. We apply image processing and machine learning on the network resource usage to extract and recognize communication patterns. The phenotype method is experimented on four real-world decentralized applications. With proper length of sampled continuous network resource usage, the overall recognition accuracy is about 99%. Additionally, the recognition error is used to detect the anomaly network traffic. We simulate the anomaly network resource usage that equals to 10%, 20% and 30% of the normal network resource usage. The experiment results show the proposed anomaly detection method is efficient in detecting each intensity of anomaly network resource usage.


title: LSTD: A Low-Shot Transfer Detector for Object Detection

abstract: Recent advances in object detection are mainly driven by deep learning with large-scale detection benchmarks. However, the fully-annotated training set is often limited for a target detection task, which may deteriorate the performance of deep detectors. To address this challenge, we propose a novel low-shot transfer detector (LSTD) in this paper, where we leverage rich source-domain knowledge to construct an effective target-domain detector with very few training examples. The main contributions are described as follows. First, we design a flexible deep architecture of LSTD to alleviate transfer difficulties in low-shot detection. This architecture can integrate the advantages of both SSD and Faster RCNN in a unified deep framework. Second, we introduce a novel regularized transfer learning framework for low-shot detection, where the transfer knowledge (TK) and background depression (BD) regularizations are proposed to leverage object knowledge respectively from source and target domains, in order to further enhance fine-tuning with a few target images. Finally, we examine our LSTD on a number of challenging low-shot detection experiments, where LSTD outperforms other state-of-the-art approaches. The results demonstrate that LSTD is a preferable deep detector for low-shot scenarios.


title: Pricing Mechanism in Information Goods

abstract: We study three pricing mechanisms' performance and their effects on the participants in the data industry from the data supply chain perspective. A win-win pricing strategy for the players in the data supply chain is proposed. We obtain analytical solutions in each pricing mechanism, including the decentralized and centralized pricing, Nash Bargaining pricing, and revenue sharing mechanism.


title: Synchrotron Polarization of Relativistic Thermal Electrons

abstract: Relativistic electrons accelerated by both the first-order and the second-order Fermi accelerations in some synchrotron sources have a hybrid shape of thermal and nonthermal energy distribution. This particle acceleration result is supported by some recent numerical simulations. We calculate the synchrotron polarization by applying this electron energy distribution. The polarization degrees in the cases of active galactic nucleus (AGN) jets and gamma-ray bursts (GRBs) are given as examples. The possible application for the polarization study of Sgr A* is also mentioned. We finally suggest high-energy polarization measurements for these synchrotron sources to test our results.


title: Learning-Based Dequantization For Image Restoration Against Extremely Poor Illumination

abstract: All existing image enhancement methods, such as HDR tone mapping, cannot recover A/D quantization losses due to insufficient or excessive lighting, (underflow and overflow problems). The loss of image details due to A/D quantization is complete and it cannot be recovered by traditional image processing methods, but the modern data-driven machine learning approach offers a much needed cure to the problem. In this work we propose a novel approach to restore and enhance images acquired in low and uneven lighting. First, the ill illumination is algorithmically compensated by emulating the effects of artificial supplementary lighting. Then a DCNN trained using only synthetic data recovers the missing detail caused by quantization.


title: The asymmetric multitype contact process

abstract: In the multitype contact process, vertices of a graph can be empty or occupied by a type 1 or a type 2 individual; an individual of type $i$ dies with rate 1 and sends a descendant to a neighboring empty site with rate $\lambda_i$. We study this process on $\Z^d$ with $\lambda_1 > \lambda_2$ and $\lambda_1$ larger than the critical value of the (one-type) contact process. We prove that, if there is at least one type 1 individual in the initial configuration, then type 1 has a positive probability of never going extinct. Conditionally on this event, type 1 takes over a ball of radius growing linearly in time. We also completely characterize the set of stationary distributions of the process and prove that the process started from any initial configuration converges to a convex combination of distributions in this set.


title: Path Aggregation Network for Instance Segmentation

abstract: The way that information propagates in neural networks is of great importance. In this paper, we propose Path Aggregation Network (PANet) aiming at boosting information flow in proposal-based instance segmentation framework. Specifically, we enhance the entire feature hierarchy with accurate localization signals in lower layers by bottom-up path augmentation, which shortens the information path between lower layers and topmost feature. We present adaptive feature pooling, which links feature grid and all feature levels to make useful information in each feature level propagate directly to following proposal subnetworks. A complementary branch capturing different views for each proposal is created to further improve mask prediction. These improvements are simple to implement, with subtle extra computational overhead. Our PANet reaches the 1st place in the COCO 2017 Challenge Instance Segmentation task and the 2nd place in Object Detection task without large-batch training. It is also state-of-the-art on MVD and Cityscapes. Code is available at https://github.com/ShuLiu1993/PANet


title: On a criterion for local embeddability of 3-dimensional CR-structures

abstract: We introduce a CR-invariant class of Lorentzian metrics on a circle bundle over a 3-dimensional CR-structure, which we call quasi-Fefferman metrics. These metrics generalise the Fefferman metric but allow for more control of the Ricci curvature. Our main result is a criterion for embaddability of 3-dimensional CR-structures in terms of the Ricci curvature of the quasi-Fefferman metrics in the spirit of the results by Hill et al.


title: Testing a Goodwin model with general capital accumulation rate

abstract: We perform econometric tests on a modified Goodwin model where the capital accumulation rate is constant but not necessarily equal to one as in the original model (Goodwin, 1967). In addition to this modification, we find that addressing the methodological and reporting issues in Harvie (2000) leads to remarkably better results, with near perfect agreement between the estimates of equilibrium employment rates and the corresponding empirical averages, as well as significantly improved estimates of equilibrium wage shares. Despite its simplicity and obvious limitations, the performance of the modified Goodwin model implied by our results show that it can be used as a starting point for more sophisticated models for endogenous growth cycles.


title: Predicting Webpage Aesthetics with Heatmap Entropy

abstract: Today, eye trackers are extensively used in user interface evaluations. However, it's still hard to analyze and interpret eye tracking data from the aesthetic point of view. To find quantitative links between eye movements and aesthetic experience, we tracked 30 observers' initial landings for 40 web pages (each displayed for 3 seconds). The web pages were also rated based on the observers' subjective aesthetic judgments. Shannon entropy was introduced to analyze the eye-tracking data. The result shows that the heatmap entropy (visual attention entropy, VAE) is highly correlated with the observers' aesthetic judgements of the web pages. Its improved version, relative VAE (rVAE), has a more significant correlation with the perceived aesthetics. (r=-0.65, F= 26.84, P$<$0.0001). This single metric alone can distinguish between good- and bad-looking pages with an approximate 85\% accuracy. Further investigation reveals that the performance of both VAE and rVAE became stable after 1 second. The curves indicate that their performances could be better, if the tracking time was extended beyond 3 seconds.


title: Geometric realization of Dynkin quiver type quantum affine Schur-Weyl duality

abstract: For a Dynkin quiver $Q$ of type ADE and a sum $\beta$ of simple roots, we construct a bimodule over the quantum loop algebra and the quiver Hecke algebra of the corresponding type via equivariant K-theory, imitating Ginzburg-Reshetikhin-Vasserot's geometric realization of the quantum affine Schur-Weyl duality. Our construction is based on Hernandez-Leclerc's isomorphism between a certain graded quiver variety and the space of representations of the quiver $Q$ of dimension vector $\beta$. We identify the functor induced from our bimodule with Kang-Kashiwara-Kim's generalized quantum affine Schur-Weyl duality functor. As a by-product, we verify a conjecture by Kang-Kashiwara-Kim on the simpleness of some poles of normalized R-matrices for any quiver $Q$ of type ADE.


title: Factorization of Linear Quantum Systems with Delayed Feedback

abstract: We consider the transfer functions describing the input-output relation for a class of linear open quantum systems involving feedback with nonzero time delays. We show how such transfer functions can be factorized into a product of terms which are transfer functions of canonical physically realizable components. We prove under certain conditions that this product converges, and can be approximated on compact sets. Thus our factorization can be interpreted as a (possibly infinite) cascade. Our result extends past work where linear open quantum systems with a state-space realization have been shown to have a pure cascade realization [Nurdin, H. I., Grivopoulos, S., & Petersen, I. R. (2016). The transfer function of generic linear quantum stochastic systems has a pure cascade realization. Automatica, 69, 324-333.]. The functions we consider are inherently non-Markovian, which is why in our case the resulting product may have infinitely many terms.


title: Elliptic Stable Envelopes and Finite-dimensional Representations of Elliptic Quantum Group

abstract: We construct a finite dimensional representation of the face type, i.e dynamical, elliptic quantum group associated with $sl_N$ on the Gelfand-Tsetlin basis of the tensor product of the $n$-vector representations. The result is described in a combinatorial way by using the partitions of $[1,n]$. We find that the change of basis matrix from the standard to the Gelfand-Tsetlin basis is given by a specialization of the elliptic weight function obtained in the previous paper[Konno17]. Identifying the elliptic weight functions with the elliptic stable envelopes obtained by Aganagic and Okounkov, we show a correspondence of the Gelfand-Tsetlin bases (resp. the standard bases) to the fixed point classes (resp. the stable classes) in the equivariant elliptic cohomology $E_T(X)$ of the cotangent bundle $X$ of the partial flag variety. As a result we obtain a geometric representation of the elliptic quantum group on $E_T(X)$.


title: Improving the Improved Training of Wasserstein GANs: A Consistency Term and Its Dual Effect

abstract: Despite being impactful on a variety of problems and applications, the generative adversarial nets (GANs) are remarkably difficult to train. This issue is formally analyzed by \cite{arjovsky2017towards}, who also propose an alternative direction to avoid the caveats in the minmax two-player training of GANs. The corresponding algorithm, called Wasserstein GAN (WGAN), hinges on the 1-Lipschitz continuity of the discriminator. In this paper, we propose a novel approach to enforcing the Lipschitz continuity in the training procedure of WGANs. Our approach seamlessly connects WGAN with one of the recent semi-supervised learning methods. As a result, it gives rise to not only better photo-realistic samples than the previous methods but also state-of-the-art semi-supervised learning results. In particular, our approach gives rise to the inception score of more than 5.0 with only 1,000 CIFAR-10 images and is the first that exceeds the accuracy of 90% on the CIFAR-10 dataset using only 4,000 labeled images, to the best of our knowledge.


title: Cross-domain novelty seeking trait mining for sequential recommendation

abstract: Transfer learning has attracted a large amount of interest and research in last decades, and some efforts have been made to build more precise recommendation systems. Most previous transfer recommendation systems assume that the target domain shares the same/similar rating patterns with the auxiliary source domain, which is used to improve the recommendation performance. However, to the best of our knowledge, almost these works do not consider the characteristics of sequential data. In this paper, we study the new cross-domain recommendation scenario for mining novelty-seeking trait. Recent studies in psychology suggest that novelty-seeking trait is highly related to consumer behavior, which has a profound business impact on online recommendation. Previous work performing on only one single target domain may not fully characterize users' novelty-seeking trait well due to the data scarcity and sparsity, leading to the poor recommendation performance. Along this line, we proposed a new cross-domain novelty-seeking trait mining model (CDNST for short) to improve the sequential recommendation performance by transferring the knowledge from auxiliary source domain. We conduct systematic experiments on three domain data sets crawled from Douban (www.douban.com) to demonstrate the effectiveness of the proposed model. Moreover, we analyze how the temporal property of sequential data affects the performance of CDNST, and conduct simulation experiments to validate our analysis.


title: N\'eel- and Bloch-Type Magnetic Vortices in Rashba Metals

abstract: We theoretically study noncoplanar spin textures in polar magnetic conductors. Starting from the Kondo lattice model with the Rashba spin-orbit coupling, we derive an effective spin model with generalized Ruderman-Kittel-Kasuya-Yosida interactions including the anisotropic and antisymmetric exchange interactions. By performing simulated annealing for the effective model, we find that a vortex crystal of N\'eel type is stabilized even in the absence of a magnetic field. Moreover, we demonstrate that a Bloch-type vortex crystal, which is usually associated with the Dresselhaus spin-orbit coupling, can also be realized in our Rashba-based model. A magnetic field turns the vortex crystals into N\'eel- and Bloch-type skyrmion-like crystals. Our results underscore that the interplay between the spin-orbit coupling and itinerant magnetism brings fertile possibilities of noncoplanar magnetic orderings.


title: NMR signals within the generalized Langevin model for fractional Brownian motion

abstract: The methods of Nuclear Magnetic Resonance belong to the best developed and often used tools for studying random motion of particles in different systems, including soft biological tissues. In the long-time limit the current mathematical description of the experiments allows proper interpretation of measurements of normal and anomalous diffusion. The shorter-time dynamics is however correctly considered only in a few works that do not go beyond the standard memoryless Langevin description of the Brownian motion (BM). In the present work, the attenuation function S(t) for an ensemble of spin-bearing particles in a magnetic-field gradient, expressed in a form applicable for any kind of stationary stochastic dynamics of spins with or without a memory, is calculated in the frame of the model of fractional BM. The solution of the model for particles trapped in a harmonic potential is obtained in an exceedingly simple way and used for the calculation of S(t). In the limit of free particles coupled to a fractal heat bath, the results compare favorably with experiments acquired in human neuronal tissues. The effect of the trap is demonstrated by introducing a simple model for the generalized diffusion coefficient of the particle.


title: Optimal and Suboptimal Routing Based on Partial CSI in Random Ad-hoc Networks

abstract: In this paper we consider routing in random wireless-adhoc-networks (WANETs), where each node is equipped with a single antenna. Our analysis uses a proper model of the physical layer together with an abstraction of higher communication layers. We assume that the nodes are distributed according to a Poisson-point-process and consider routing schemes that select the next relay based on the geographical locations, the channel gains of its neighbor nodes and the statistical characterization of all other nodes. While many routing problems are formulated as optimization problems, the optimal distributed solution is rarely accessible. In this work, we present the exact optimal solution for the scenario analyzed. The optimal routing is given as a maximization of a routing metric which depends solely on the known partial channel state information (CSI) and includes an expectation with respect to the interference statistics. The optimal routing scheme is important because it gives an upper bound on the performance of any other routing scheme. We also present sub-optimal routing schemes that only use part of the available knowledge and require much lower computational complexity. Numerical results demonstrate that the performance of the low complexity schemes is close to optimal and outperforms other tested routing schemes.


title: Few-View CT Reconstruction with Group-Sparsity Regularization

abstract: Classical total variation (TV) based iterative reconstruction algorithms assume that the signal is piecewise smooth, which causes reconstruction results to suffer from the over-smoothing effect. To address this problem, this work presents a novel computed tomography (CT) reconstruction method for the few-view problem called the group-sparsity regularization-based simultaneous algebraic reconstruction technique (GSR-SART). Group-based sparse representation, which utilizes the concept of a group as the basic unit of sparse representation instead of a patch, is introduced as the image domain prior regularization term to eliminate the over-smoothing effect. By grouping the nonlocal patches into different clusters with similarity measured by Euclidean distance, the sparsity and nonlocal similarity in a single image are simultaneously explored. The split Bregman iteration algorithm is applied to obtain the numerical scheme. Experimental results demonstrate that our method both qualitatively and quantitatively outperforms several existing reconstruction methods, including filtered back projection, expectation maximization, SART, and TV-based projections onto convex sets.


title: Energy dependence of light (anti)nuclei and (anti)hypertriton production in the Au-Au collision from $\sqrt{s_{\rm{NN}}} =5.0$ to $5020$ GeV

abstract: The energy dependence of light (anti)nuclei and (anti)hypertriton production are investigated in central Au-Au collisions from AGS up to LHC energies at midrapidity, using the parton and hadron cascade model (PACIAE) together with the dynamically constrained phase-space coalescence model(DCPC). We find that the yields, yield ratios of the antiparticles to their corresponding particles, the coalescence parameters $B_A$ and the strangeness population factor $s_3$ of light (anti)nuclei and (anti)hypertriton strongly depend on the energy. Furthermore, we analyze and discuss the strangeness population factor $s_3$ and the coalescence parameters $B_A$, and find a transition point near by 20 GeV. These results thus suggest the potential usefulness of the $s_3$ and $B_A$ of light nuclei production in relativistic heavy-ion collisions as a direct probe of the transition point associated with the QCD critical phenomena. The results from PACIAE+DCPC model are well consistent with experimental data.


title: Online learning over a finite action set with limited switching

abstract: This paper studies the value of switching actions in the Prediction From Experts (PFE) problem and Adversarial Multi-Armed Bandits (MAB) problem. First, we revisit the well-studied and practically motivated setting of PFE with switching costs. Many algorithms are known to achieve the minimax optimal order of $O(\sqrt{T \log n})$ in expectation for both regret and number of switches, where $T$ is the number of iterations and $n$ the number of actions. However, no high probability (h.p.) guarantees are known. Our main technical contribution is the first algorithms which with h.p. achieve this optimal order for both regret and switches. This settles an open problem of [Devroye et al., 2015], and directly implies the first h.p. guarantees for several problems of interest. Next, to investigate the value of switching actions at a more granular level, we introduce the setting of switching budgets, in which algorithms are limited to $S \leq T$ switches between actions. This entails a limited number of free switches, in contrast to the unlimited number of expensive switches in the switching cost setting. Using the above result and several reductions, we unify previous work and completely characterize the complexity of this switching budget setting up to small polylogarithmic factors: for both PFE and MAB, for all switching budgets $S \leq T$, and for both expectation and h.p. guarantees. For PFE, we show the optimal rate is $\tilde{\Theta}(\sqrt{T\log n})$ for $S = \Omega(\sqrt{T\log n})$, and $\min(\tilde{\Theta}(\tfrac{T\log n}{S}), T)$ for $S = O(\sqrt{T \log n})$. Interestingly, the bandit setting does not exhibit such a phase transition; instead we show the minimax rate decays steadily as $\min(\tilde{\Theta}(\tfrac{T\sqrt{n}}{\sqrt{S}}), T)$ for all ranges of $S \leq T$. These results recover and generalize the known minimax rates for the (arbitrary) switching cost setting.


title: Relocalization, Global Optimization and Map Merging for Monocular Visual-Inertial SLAM

abstract: The monocular visual-inertial system (VINS), which consists one camera and one low-cost inertial measurement unit (IMU), is a popular approach to achieve accurate 6-DOF state estimation. However, such locally accurate visual-inertial odometry is prone to drift and cannot provide absolute pose estimation. Leveraging history information to relocalize and correct drift has become a hot topic. In this paper, we propose a monocular visual-inertial SLAM system, which can relocalize camera and get the absolute pose in a previous-built map. Then 4-DOF pose graph optimization is performed to correct drifts and achieve global consistent. The 4-DOF contains x, y, z, and yaw angle, which is the actual drifted direction in the visual-inertial system. Furthermore, the proposed system can reuse a map by saving and loading it in an efficient way. Current map and previous map can be merged together by the global pose graph optimization. We validate the accuracy of our system on public datasets and compare against other state-of-the-art algorithms. We also evaluate the map merging ability of our system in the large-scale outdoor environment. The source code of map reuse is integrated into our public code, VINS-Mono.


title: Deep-Learning in Search of Light Charged Higgs

abstract: In this work, we deep-learn light charged Higgs signal in top quark decays which poses difficulties due to strong W boson contamination. We construct Deep Neural Networks (DNN) with appropriate architecture and determine signal extraction efficiency by considering various features (kinematical and human engineered parameters). Results show that DNN gives better performance than the classical neural networks and has ability to find regions of high efficiency even the input features are not human-engineered. In a sense, human-engineered high-level features are offset by DNNs with different combinations of the low-level kinematical features. Additionally, it is shown that increasing the number of processing units in DNNs does not necessarily cause an increase in efficiency due mainly to increased complexity. Our method and results can set an example of signal extraction from strong backgrounds.


title: The Connes character formula for locally compact spectral triples

abstract: A fundamental tool in noncommutative geometry is Connes' character formula. This formula is used in an essential way in the applications of noncommutative geometry to index theory and to the spectral characterisation of manifolds. A non-compact space is modelled in noncommutative geometry by a non-unital spectral triple. Our aim is to establish the Connes character formula for non-unital spectral triples. This is significantly more difficult than in the unital case and we achieve it with the use of recently developed double operator integration techniques. Previously, only partial extensions of Connes' character formula to the non-unital case were known. In the course of the proof, we establish two more results of importance in noncommutative geometry: an asymptotic for the heat semigroup of a non-unital spectral triple, and the analyticity of the associated $\zeta$-function. We require certain assumptions on the underlying spectral triple, and we verify these assumptions in the case of spectral triples associated to arbitrary complete Riemannian manifolds and also in the case of Moyal planes.


title: Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)

abstract: It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the alge- braic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete as lattices. The reason is that these extremal fixed-points are definable by formulas of the IPC. Consequently, the $\mu$-calculus based on intuitionistic logic is trivial, every $\mu$-formula being equiv- alent to a fixed-point free formula. We give in this paper an axiomatization of least and greatest fixed-points of formulas, and an algorithm to compute a fixed-point free formula equivalent to a given $\mu$-formula. The axiomatization of the greatest fixed-point is simple. The axiomatization of the least fixed- point is more complex, in particular every monotone formula converges to its least fixed-point by Kleene's iteration in a finite number of steps, but there is no uniform upper bound on the number of iterations. We extract, out of the algorithm, upper bounds for such n, depending on the size of the formula. For some formulas, we show that these upper bounds are polynomial and optimal.


title: Low-Energy Excitations in Quantum Spin-Liquids Identified by Optical Spectroscopy

abstract: The electrodynamic response of organic spin liquids with highly-frustrated triangular lattices has been measured in a wide energy range. While the overall optical spectra of these Mott insulators are governed by transitions between the Hubbard bands, distinct in-gap excitations can be identified at low temperatures and frequencies which we attribute to the quantum spin liquid state. For the strongly correlated $\beta^{\prime}$-EtMe$_3$\-Sb\-[Pd(dmit)$_2$]$_2$, we discover enhanced conductivity below $175~{\rm cm}^{-1}$, comparable to the energy of the magnetic coupling $J\approx 250$ K. For $\omega\rightarrow 0$ these low-frequency excitations vanish faster than the charge-carrier response subject to Mott-Hubbard correlations, resulting in a dome-shape band peaked at 100~\cm. Possible relations to spinons, magnons and disorder are discussed.


title: Attenuation of the NMR signal due to hydrodynamic Brownian motion

abstract: Nuclear magnetic resonance (NMR) is a widely used nondestructive method to study random motion of spin-bearing particles in different systems. In the long-time limit the theoretical description of the NMR experiments is well developed and allows proper interpretation of measurements of normal and anomalous diffusion. The traditional description becomes, however, insufficient for the shorter-time dynamics of the particles. In the present paper, the all-time attenuation function of the NMR signal in a magnetic-field gradient due to the Brownian motion (BM) of particles in incompressible liquids is calculated by using the method of accumulation of phases by a precessing magnetic moment, without reference to a concrete model of the stochastic dynamics. The obtained expressions are then used to evaluate the attenuation within the hydrodynamic theory of the BM. It is shown that the well-known time behavior of the formulas corresponding to the Einstein theory of diffusion in the case of steady gradient and Hahn's echo experiments is reached at times much larger than the characteristic time of the loss of memory in the particle dynamics. At shorter times the attenuation function significantly differs from the classical formulas used to interpret these experiments.


title: Beyond Context: Exploring Semantic Similarity for Tiny Face Detection

abstract: Tiny face detection aims to find faces with high degrees of variability in scale, resolution and occlusion in cluttered scenes. Due to the very little information available on tiny faces, it is not sufficient to detect them merely based on the information presented inside the tiny bounding boxes or their context. In this paper, we propose to exploit the semantic similarity among all predicted targets in each image to boost current face detectors. To this end, we present a novel framework to model semantic similarity as pairwise constraints within the metric learning scheme, and then refine our predictions with the semantic similarity by utilizing the graph cut techniques. Experiments conducted on three widely-used benchmark datasets have demonstrated the improvement over the-state-of-the-arts gained by applying this idea.


title: Inclusion of machine learning kernel ridge regression potential energy surfaces in on-the-fly nonadiabatic molecular dynamics simulation

abstract: We discuss a theoretical approach that employs machine learning potential energy surfaces (ML-PESs) in the nonadiabatic dynamics simulation of polyatomic systems by taking 6-aminopyrimidine as a typical example. The Zhu-Nakamura theory is employed in the surface hopping dynamics, which does not require the calculation of the nonadiabatic coupling vectors. The kernel ridge regression is used in the construction of the adiabatic PESs. In the nonadiabatic dynamics simulation, we use ML-PESs for most geometries and switch back to the electronic structure calculations for a few geometries either near the S1/S0 conical intersections or in the out-of-confidence regions. The dynamics results based on ML-PESs are consistent with those based on CASSCF PESs. The ML-PESs are further used to achieve the highly efficient massive dynamics simulations with a large number of trajectories. This work displays the powerful role of ML methods in the nonadiabatic dynamics simulation of polyatomic systems.


title: Automatic Translating between Ancient Chinese and Contemporary Chinese with Limited Aligned Corpora

abstract: The Chinese language has evolved a lot during the long-term development. Therefore, native speakers now have trouble in reading sentences written in ancient Chinese. In this paper, we propose to build an end-to-end neural model to automatically translate between ancient and contemporary Chinese. However, the existing ancient-contemporary Chinese parallel corpora are not aligned at the sentence level and sentence-aligned corpora are limited, which makes it difficult to train the model. To build the sentence level parallel training data for the model, we propose an unsupervised algorithm that constructs sentence-aligned ancient-contemporary pairs by using the fact that the aligned sentence pair shares many of the tokens. Based on the aligned corpus, we propose an end-to-end neural model with copying mechanism and local attention to translate between ancient and contemporary Chinese. Experiments show that the proposed unsupervised algorithm achieves 99.4% F1 score for sentence alignment, and the translation model achieves 26.95 BLEU from ancient to contemporary, and 36.34 BLEU from contemporary to ancient.


title: Signatures of the self-modulation instability of relativistic proton bunches in the AWAKE experiment

abstract: We investigate numerically the detection of the self-modulation instability in a virtual detector located downstream from the plasma in the context of AWAKE. We show that the density structures, appearing in the temporally resolving virtual detector, map the transverse beam phase space distribution at the plasma exit. As a result, the proton bunch radius that appears to grow along the bunch in the detector results from the divergence increase along the bunch, related with the spatial growth of the self-modulated wakefields. In addition, asymmetric bunch structures in the detector are a result of asymmetries of the bunch divergence, and do not necessarily reflect asymmetric beam density distributions in the plasma.


title: Prime Number Decomposition using the Talbot Effect

abstract: We report on prime number decomposition by use of the Talbot effect, a well-known phenomenon in classical near field optics whose description is closely related to Gauss sums. The latter are a mathematical tool from number theory used to analyze the properties of prime numbers as well as to decompose composite numbers into their prime factors. We employ the well-established connection between the Talbot effect and Gauss sums to implement prime number decompositions with a novel approach, making use of the longitudinal intensity profile of the Talbot carpet. The new algorithm is experimentally verified and the limits of the approach are discussed.


title: The start of the Abiogenesis: Preservation of homochirality in proteins as a necessary and sufficient condition for the establishment of the metabolism

abstract: Biosystems contain an almost infinite amount of vital important details, which together ensure their life. There are, however, some common structures and reactions in the systems: the homochirality of carbohydrates and proteins, the metabolism and the genetics. The Abiogenesis, or the origin of life, is probably not a result of a series of single events, but rather the result of a gradual process with increasing complexity of molecules and chemical reactions, and the prebiotic synthesis of molecules might not have left a trace of the establishment of structures and reactions at the beginning of the evolution. But alternatively, one might be able to determine some order in the formation of the chemical denominators in the Abiogenesis. Here we review experimental results and present a model of the start of the Abionenesis, where the spontaneous formation of homochirality in proteins is the precondition for the establishment of homochirality of carbohydrates and for the metabolism at the start of the Abiogenesis.


title: Concave/convex switchable lens using active phase-change material Ge3Sb2Te6

abstract: Normally, the focal length of a conventional lens is fixed. Scientists have made much effort in modulating it into bifocal, which is very important for virtual reality (VR) and argument reality (AR) 3D display. It is even much more difficult for a lens to realize both convex and concave functions with one geometric structure, that is, a concave/convex switchable lens, which can tune 3D real-images and virtual-images in AR and VR, corresponding to long depth of view in 3D display. Based on the tunable refractive indexes of phase-change materials, here we propose a series of concave/convex switchable lenses. When the phase-change material is in different states, one switchable lens is able to perform a negative or positive focal length, or perform negative and positive focal lengths simultaneously. The lenses can be either cylindrical, spherical or other types. For the superior characteristics, these switchable lenses can be employed in various optical fields.


title: Local Distance Metric Learning for Nearest Neighbor Algorithm

abstract: Distance metric learning is a successful way to enhance the performance of the nearest neighbor classifier. In most cases, however, the distribution of data does not obey a regular form and may change in different parts of the feature space. Regarding that, this paper proposes a novel local distance metric learning method, namely Local Mahalanobis Distance Learning (LMDL), in order to enhance the performance of the nearest neighbor classifier. LMDL considers the neighborhood influence and learns multiple distance metrics for a reduced set of input samples. The reduced set is called as prototypes which try to preserve local discriminative information as much as possible. The proposed LMDL can be kernelized very easily, which is significantly desirable in the case of highly nonlinear data. The quality as well as the efficiency of the proposed method assesses through a set of different experiments on various datasets and the obtained results show that LDML as well as the kernelized version is superior to the other related state-of-the-art methods.


title: Fast decaying solutions of Lane-Emden equations involving nonhomogeneous potential

abstract: We are interested in studying positive solutions of Lane-Emden equation $$ -\Delta u= V u^p\quad {\rm in}\quad \mathbb{R}^N\setminus\{0\}, $$ where $V$ is a nonhomogeneous potential satisfying some extra hypotheses. We construct a sequence of fast decaying solutions.


title: Band structures in coupled-cluster singles-and-doubles Green's function (GFCCSD)

abstract: We demonstrate that coupled-cluster singles-and-doubles Green's function (GFCCSD) method is a powerful and prominent tool drawing the electronic band structures and the total energies, which many theoretical techniques struggle to reproduce. We have calculated single-electron energy spectra via GFCCSD method for various kinds of systems, ranging from ionic to covalent and van der Waals, for the first time: one-dimensional LiH chain, one-dimensional C chain, and one-dimensional Be chain. We have found that the band gap becomes narrower than in HF due to the correlation effect. We also show that the band structures obtained from GFCCSD method include both quasiparticle and satellite peaks successfully. Besides, taking one-dimensional LiH as an example, we discuss the validity of restricting the active space to suppress the computational cost of GFCCSD method while maintaining the accuracy. We show that the calculated results without bands that do not contribute to the chemical bonds are in good agreement with full-band calculations. With GFCCSD method, we can calculate the total energy and band structures with high precision.


title: First Electromagnetic Pulse Associated with a Gravitational-Wave Event: Profile, Duration, and Delay

abstract: We study the first electromagnetic pulse after the gravitational wave chirp signal, focusing on the profile and duration. It is found that the light curve, especially the steep decay (SD) phase, can be very different by adopting different viewing angle $\theta_{\rm view}$ on the jet shell. For an on-axis jet with a power-law radiation spectrum, the observed flux in the SD is proportional to $t_{\rm{obs}}^{-2-\beta}$ with $\beta$ being the spectral index and $t_{\rm{obs}}$ being the observer time. Here, $t_{\rm{obs}}=0$ is set at the observed time of the jet ejected from the central engine. The SD may become steep by increasing $\theta_{\rm view}$. We also study the bolometric luminosity $L$ from a jet shell with a non-power-law radiation spectrum. For an on-axis jet, $L{\propto}t_{\rm{obs}}^{-3}$ is found in the SD. However, the SD is steeper than $L{\propto}t_{\rm{obs}}^{-3}$ for the radiation from an off-axis jet. The higher value of $\theta_{\rm view}$ is, the steeper of SD would be. Then, we suggest that the SD phase can be used to discriminate an off-axis jet from an on-axis jet. The reason for above behaviors is discussed. In addition, we find that the duration of first electromagnetic pulse is close to its peak time, especially for $\theta_{\rm{view}}\sim20^\circ$. This result is consistent with that found in GW~170817/GRB~170817A. Thus, the jet corresponding to the prompt emission of GRB~170817A should be immediately ejected after the merger. Our results also reveal that the duration of the first electromagnetic pulse can provide the information of the time to search gravitational waves.


title: Measurement independent magnetocaloric effect in Mn-rich Mn-Fe-Ni-Sn(Sb/In) Heusler alloys

abstract: We report a systematic study on the magneto-structural transition in Mn-rich Fe-doped Mn-Fe-Ni-Sn(Sb/In) Heusler alloys by keeping the total valence electron concentration (e/a ratio) fixed. The martensitic transition (MT) temperature is found to shift by following a proportional relationship with the e/a ratio of the magnetic elements alone. The magnetic entropy change across MT for a selected sample (Mn49FeNi40Sn9In) has been estimated from three different measurement methods (isofield magnetization (M) vs temperature (T), isothermal M vs field (H) and heat capacity (HC) vs T). We observed that though the peak value of magnetic entropy change changes with the measurement methods, the broadened shape of the magnetic entropy change vs T curves and the corresponding cooling power (~140 Jkg-1) remains invariant. The equivalent adiabatic temperature change ~ -2.6 K has been obtained from indirect measurements of temperature change. Moreover, an exchange bias field ~ 783 Oe at 5 K and a magnetoresistance of -30% are also obtained in one of these materials.


title: Controlled Film Flow in Granulation of Metals for the Development of Amorphous Superhard and Functionally Unique New Materials

abstract: The problem of granulation is very bright by the granulated materials, as well as by their application. In the paper, some history of the granulation problem during over century and modern applications of the metallic granulates and amorphous materials are given at the beginning. Then the specific own granulation problem is presented, which has concern to the controlled liquid metal jet and film flows for a production of the uniform by size and form particles (granules) cooled with a high rate, to be amorphous or close to the amorphous materials. Such granules of the given size and form are needed for the new material science. The basics of developed theory of the controlled jet and film flow disintegration with further rapid cooling of the drops obtained after flow disintegration are presented together with the new patented granulation devices. The developed methods and devices can be used for production of the amorphous or close to amorphous granules in a wide range of the given sizes, with very narrow (plus-minus 50% deviation of size from the average one).


title: Simple and efficient LCAO basis sets for the diffuse states in carbon nanostructures

abstract: We present a simple way to describe the lowest unoccupied diffuse states in carbon nanostructures in density functional theory (DFT) calculations using a minimal LCAO (linear combination of atomic orbitals) basis set. By comparing plane wave basis calculations, we show how these states can be captured by adding long-range orbitals to the standard LCAO basis sets for the extreme cases of planar <it>sp2</it> (graphene) and curved carbon (C60). In particular, using Bessel functions with a long range as additional basis functions retain a minimal basis size. This provides a smaller and simpler atom-centered basis set compared to the standard pseudo-atomic orbitals (PAOs) with multiple polarization orbitals or by adding non-atom-centered states to the basis.


title: Constraints on submicrojansky radio number counts based on evolving VLA-COSMOS luminosity functions

abstract: We present an investigation of radio luminosity functions (LFs) and number counts based on the Karl G. Jansky Very Large Array-COSMOS 3 GHz Large Project. The radio-selected sample of 7826 galaxies with robust optical/near-infrared counterparts with excellent photometric coverage allows us to construct the total radio LF since z~5.7. Using the Markov chain Monte Carlo algorithm, we fit the redshift dependent pure luminosity evolution model to the data and compare it with previously published VLA-COSMOS LFs obtained on individual populations of radio-selected star-forming galaxies and galaxies hosting active galactic nuclei classified on the basis of presence or absence of a radio excess with respect to the star-formation rates derived from the infrared emission. We find they are in excellent agreement, thus showing the reliability of the radio excess method in selecting these two galaxy populations at radio wavelengths. We study radio number counts down to submicrojansky levels drawn from different models of evolving LFs. We show that our evolving LFs are able to reproduce the observed radio sky brightness, even though we rely on extrapolations toward the faint end. Our results also imply that no new radio-emitting galaxy population is present below 1 ujy. Our work suggests that selecting galaxies with radio flux densities between 0.1 and 10 ujy will yield a star-forming galaxy in 90-95 % of the cases with a high percentage of these galaxies existing around a redshift of z~2, thus providing useful constraints for planned surveys with the Square Kilometer Array and its precursors.


title: Adversarial Extreme Multi-label Classification

abstract: The goal in extreme multi-label classification is to learn a classifier which can assign a small subset of relevant labels to an instance from an extremely large set of target labels. Datasets in extreme classification exhibit a long tail of labels which have small number of positive training instances. In this work, we pose the learning task in extreme classification with large number of tail-labels as learning in the presence of adversarial perturbations. This view motivates a robust optimization framework and equivalence to a corresponding regularized objective. Under the proposed robustness framework, we demonstrate efficacy of Hamming loss for tail-label detection in extreme classification. The equivalent regularized objective, in combination with proximal gradient based optimization, performs better than state-of-the-art methods on propensity scored versions of precision@k and nDCG@k(upto 20% relative improvement over PFastreXML - a leading tree-based approach and 60% relative improvement over SLEEC - a leading label-embedding approach). Furthermore, we also highlight the sub-optimality of a sparse solver in a widely used package for large-scale linear classification, which is interesting in its own right. We also investigate the spectral properties of label graphs for providing novel insights towards understanding the conditions governing the performance of Hamming loss based one-vs-rest scheme vis-\`a-vis label embedding methods.


title: Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

abstract: The aim of this paper is to introduce a new framework for defining abductive reasoning operators based on a notion of retraction in arbitrary logics defined as satisfaction systems. We show how this framework leads to the design of explanatory relations satisfying properties of abductive reasoning, and discuss its application to several logics. This extends previous work on propositional logics where retraction was defined as a morphological erosion. Here weaker properties are required for retraction, leading to a larger set of suitable operators for abduction for different logics.


title: Robust preconditioning for stochastic Galerkin formulations of parameter-dependent nearly incompressible linear elasticity equations

abstract: We consider the nearly incompressible linear elasticity problem with an uncertain spatially varying Young's modulus. The uncertainty is modelled with a finite set of parameters with prescribed probability distribution. We introduce a novel three-field mixed variational formulation of the PDE model and discuss its approximation by stochastic Galerkin mixed finite element techniques. First, we establish the well posedness of the proposed variational formulation and the associated finite-dimensional approximation. Second, we focus on the efficient solution of the associated large and indefinite linear system of equations. A new preconditioner is introduced for use with the minimal residual method (MINRES). Eigenvalue bounds for the preconditioned system are established and shown to be independent of the discretisation parameters and the Poisson ratio. The S-IFISS software used for computation is available online.


title: Single rare-earth ions as atomic-scale probes in ultra-scaled transistors

abstract: Continued dimensional scaling of semiconductor devices has driven information technology into vastly diverse applications. As the size of devices approaches fundamental limits, metrology techniques with nanometre resolution and three-dimensional (3D) capabilities are desired for device optimisation. For example, the performance of an ultra-scaled transistor can be strongly influenced by the local electric field and strain. Here we study the spectral response of single erbium ions to applied electric field and strain in a silicon ultra-scaled transistor. Stark shifts induced by both the overall electric field and the local charge environment are observed. Further, changes in strain smaller than $3\times 10^{-6}$ are detected, which is around two orders of magnitude more sensitive than the standard techniques used in the semiconductor industry. These results open new possibilities for non-destructive 3D mapping of the local strain and electric field in the channel of ultra-scaled transistors, using the single erbium ions as ultra-sensitive atomic probes.


title: Loop Effects in Direct Detection

abstract: We consider loop level contributions to dark matter scattering off nucleons in cases where the spin independent scattering cross section is absent or suppressed at tree level. In the case of a pseudoscalar interaction, for which the tree level cross section is both spin-dependent and suppressed by 4 powers of the exchanged momentum, we show that loop diagrams give rise to a non- zero spin independent cross section. Importantly, if the pseudoscalar interaction is formulated using a gauge invariant framework, loop effects generate an effective $\bar{\chi}\chi h$ vertex and result in a scattering cross section that is within reach of current or forthcoming experiments. We also consider the case of inelastic dark matter, for which the tree-level direct detection cross section is negligible when the inelastic $\chi_1 N \to \chi_2 N$ process is kinematically suppressed. In this case, loop diagrams generate an interaction with both initial and final $\chi_1$ states and hence permit measurable, spin independent, $\chi_1 N \to \chi_1 N$ elastic scattering. As such, we are able to probe parameter space that was previously considered inaccessible to direct detection


title: A Comparative Study of Pairwise Learning Methods based on Kernel Ridge Regression

abstract: Many machine learning problems can be formulated as predicting labels for a pair of objects. Problems of that kind are often referred to as pairwise learning, dyadic prediction or network inference problems. During the last decade kernel methods have played a dominant role in pairwise learning. They still obtain a state-of-the-art predictive performance, but a theoretical analysis of their behavior has been underexplored in the machine learning literature. In this work we review and unify existing kernel-based algorithms that are commonly used in different pairwise learning settings, ranging from matrix filtering to zero-shot learning. To this end, we focus on closed-form efficient instantiations of Kronecker kernel ridge regression. We show that independent task kernel ridge regression, two-step kernel ridge regression and a linear matrix filter arise naturally as a special case of Kronecker kernel ridge regression, implying that all these methods implicitly minimize a squared loss. In addition, we analyze universality, consistency and spectral filtering properties. Our theoretical results provide valuable insights in assessing the advantages and limitations of existing pairwise learning methods.


title: Asymptotic Equivalence of Fixed-size and Varying-size Determinantal Point Processes

abstract: Determinantal Point Processes (DPPs) are popular models for point processes with repulsion. They appear in numerous contexts, from physics to graph theory, and display appealing theoretical properties. On the more practical side of things, since DPPs tend to select sets of points that are some distance apart (repulsion), they have been advocated as a way of producing random subsets with high diversity. DPPs come in two variants: fixed-size and varying-size. A sample from a varying-size DPP is a subset of random cardinality, while in fixed-size "$k$-DPPs" the cardinality is fixed. The latter makes more sense in many applications, but unfortunately their computational properties are less attractive, since, among other things, inclusion probabilities are harder to compute. In this work we show that as the size of the ground set grows, $k$-DPPs and DPPs become equivalent, meaning that their inclusion probabilities converge. As a by-product, we obtain saddlepoint formulas for inclusion probabilities in $k$-DPPs. These turn out to be extremely accurate, and suffer less from numerical difficulties than exact methods do. Our results also suggest that $k$-DPPs and DPPs also have equivalent maximum likelihood estimators. Finally, we obtain results on asymptotic approximations of elementary symmetric polynomials which may be of independent interest.


title: Predicting Out-of-View Feature Points for Model-Based Camera Pose Estimation

abstract: In this work we present a novel framework that uses deep learning to predict object feature points that are out-of-view in the input image. This system was developed with the application of model-based tracking in mind, particularly in the case of autonomous inspection robots, where only partial views of the object are available. Out-of-view prediction is enabled by applying scaling to the feature point labels during network training. This is combined with a recurrent neural network architecture designed to provide the final prediction layers with rich feature information from across the spatial extent of the input image. To show the versatility of these out-of-view predictions, we describe how to integrate them in both a particle filter tracker and an optimisation based tracker. To evaluate our work we compared our framework with one that predicts only points inside the image. We show that as the amount of the object in view decreases, being able to predict outside the image bounds adds robustness to the final pose estimation.


title: Elliptic flow of hadrons via quark coalescence mechanism using Boltzmann transport equation for Pb+Pb collision at $\sqrt{s_{NN}}$=2.76 TeV

abstract: Elliptic flow of hadrons observed at relativistic heavy-ion collision experiments at Relativistic Heavy-Ion Collider (RHIC) and Large Hadron Collider (LHC), provides us an important signature of possible de-confinement transition from hadronic phase to partonic phase. However, hadronization processes of de-confined partons back into final hadrons are found to play a vital role in the observed hadronic flow. In the present work, we use coalescence mechanism also known as Recombination (ReCo) to combine quarks into hadrons. To get there, we have used Boltzmann transport equation in relaxation time approximation to transport the quarks into equilibration and finally to freeze-out surface, before coalescence takes place. A Boltzmann-Gibbs Blast Wave (BGBW) function is taken as an equilibrium function to get the final distribution and a power-like function to describe the initial distributions of partons produced in heavy-ion collisions. In the present work, we try to estimate the elliptic flow of identified hadrons such as $\pi$, $K$, $p$ etc., produced in Pb+Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV at the LHC for different centralities. The elliptic flow ($v_2$) of identified hadrons seems to be described quite well in the available $p_{\rm T}$ range. After the evolution of quarks until freeze-out time, has been calculated using BTE-RTA, the approach used in this paper consists of combining two or more quarks to explain the produced hadrons at intermediate momenta regions. The formalism is found to describe elliptic flow of hadrons produced in Pb+Pb collisions to a large extent.


title: Motion and Cooperative Transportation Planning for Multi-Agent Systems under Temporal Logic Formulas

abstract: This paper presents a hybrid control framework for the motion planning of a multi-agent system including N robotic agents and M objects, under high level goals expressed as Linear Temporal Logic (LTL) formulas. In particular, we design control protocols that allow the transition of the agents as well as the cooperative transportation of the objects by the agents, among predefined regions of interest in the workspace. This allows to abstract the coupled behavior of the agents and the objects as a finite transition system and to design a high-level multi-agent plan that satisfies the agents' and the objects' specifications, given as temporal logic formulas. Simulation results verify the proposed framework.


title: Calculated attributes of synonym sets

abstract: The goal of formalization, proposed in this paper, is to bring together, as near as possible, the theoretic linguistic problem of synonym conception and the computer linguistic methods based generally on empirical intuitive unjustified factors. Using the word vector representation we have proposed the geometric approach to mathematical modeling of synonym set (synset). The word embedding is based on the neural networks (Skip-gram, CBOW), developed and realized as word2vec program by T. Mikolov. The standard cosine similarity is used as the distance between word-vectors. Several geometric characteristics of the synset words are introduced: the interior of synset, the synset word rank and centrality. These notions are intended to select the most significant synset words, i.e. the words which senses are the nearest to the sense of a synset. Some experiments with proposed notions, based on RusVectores resources, are represented. A brief description of this work can be viewed in slides https://goo.gl/K82Fei


title: Efficiency and timing performance of the MuPix7 high-voltage monolithic active pixel sensor

abstract: The MuPix7 is a prototype high voltage monolithic active pixel sensor with 103 times 80 um2 pixels thinned to 64 um and incorporating the complete read-out circuitry including a 1.25 Gbit/s differential data link. Using data taken at the DESY electron test beam, we demonstrate an efficiency of 99.3% and a time resolution of 14 ns. The efficiency and time resolution are studied with sub-pixel resolution and reproduced in simulations.


title: Degree Associated Edge Reconstruction Parameters of Strong Double Brooms

abstract: An edge deleted unlabeled subgraph of a graph G is an ecard. A da-ecard specifies the degree of the deleted edge along with the ecard. The degree associated edge reconstruction number of a graph G, dern(G), is the size of the smallest collection of da-ecards of G that uniquely determines G. The adversary degree associated edge reconstruction number of a graph G, adern(G), is the minimum number k such that every collection of k da-ecards of G uniquely determines G. A strong double broom is the graph on at least 5 vertices obtained from a union of (at least two) internally vertex disjoint paths with same ends u and v by appending leaves at u and v. In particular, B(n, n,mPk) is the strong double broom with n leaves at both the ends u and v and with m internally vertex disjoint paths of order k joining u and v. We show that dern of strong double brooms is 1 or 2. We also determine adern(B(n, n,mPk)). It is 3 in most of the cases and 1 or 2 for all the remaining cases, except adern(B(1, 1, 2Pk)) = 5 for k > 3.


title: A topological interpretation about $m_{G, N}$ for finite group $G$ with normal subgroup $N$

abstract: Let $G$ be a finite group and $N\unlhd G$. In this note, we construct a class poset of $G$ for some cyclic subgroup $C$ of $G$. And we find a relation between $m_{G,N}$ and the Euler characteristic of some nerve spaces of these posets(see Main Theorem).


title: The endomorphism ring of projectives and the Bernstein centre

abstract: Let $F$ be a local non-archimedean field and $\mathcal{O}_F$ its ring of integers. Let $\Omega$ be a Bernstein component of the category of smooth representations of $GL_n(F)$, let $(J, \lambda)$ be a Bushnell-Kutzko $\Omega$-type, and let $\mathfrak{Z}_{\Omega}$ be the centre of the Bernstein component $\Omega$. This paper contains two major results. Let $\sigma$ be a direct summand of $\mathrm{Ind}_J^{GL_n(\mathcal{O}_F)} \lambda$. We will begin by computing $\mathrm{c\text{--} Ind}_{GL_n(\mathcal{O}_F)}^{GL_n(F)} \sigma\otimes_{\mathfrak{Z}_{\Omega}}\kappa(\mathfrak{m})$, where $\kappa(\mathfrak{m})$ is the residue field at maximal ideal $\mathfrak{m}$ of $\mathfrak{Z}_{\Omega}$, and the maximal ideal $\mathfrak{m}$ belongs to a Zariski-dense set in $\mathrm{Spec}\: \mathfrak{Z}_{\Omega}$. This result allows us to deduce that the endomorphism ring $\mathrm{End}_{GL_n(F)}(\mathrm{c\text{--} Ind}_{GL_n(\mathcal{O}_F)}^{GL_n(F)} \sigma)$ is isomorphic to $\mathfrak{Z}_{\Omega}$, when $\sigma$ appears with multiplicity one in $\mathrm{Ind}_J^{GL_n(\mathcal{O}_F)} \lambda$.


title: Atomic Clocks for Geodesy

abstract: We review experimental progress on optical atomic clocks and frequency transfer, and consider the prospects of using these technologies for geodetic measurements. Today, optical atomic frequency standards have reached relative frequency inaccuracies below 10-17, opening new fields of fundamental and applied research. The dependence of atomic frequencies on the gravitational potential makes atomic clocks ideal candidates for the search for deviations in the predictions of Einstein's general relativity, tests of modern unifying theories and the development of new gravity field sensors. In this review, we introduce the concepts of optical atomic clocks and present the status of international clock development and comparison. Besides further improvement in stability and accuracy of today's best clocks, a large effort is put into increasing the reliability and technological readiness for applications outside of specialized laboratories with compact, portable devices. With relative frequency uncertainties of 10-18, comparisons of optical frequency standards are foreseen to contribute together with satellite and terrestrial data to the precise determination of fundamental height reference systems in geodesy with a resolution at the cm-level. The long-term stability of atomic standards will deliver excellent long-term height references for geodetic measurements and for the modelling and understanding of our Earth.


title: Tetrahedron Equation and Quantum $R$ Matrices for $q$-Oscillator Representations Mixing Particles and Holes

abstract: We construct $2^n+1$ solutions to the Yang-Baxter equation associated with the quantum affine algebras $U_q\big(A^{(1)}_{n-1}\big)$, $U_q\big(A^{(2)}_{2n}\big)$, $U_q\big(C^{(1)}_n\big)$ and $U_q\big(D^{(2)}_{n+1}\big)$. They act on the Fock spaces of arbitrary mixture of particles and holes in general. Our method is based on new reductions of the tetrahedron equation and an embedding of the quantum affine algebras into $n$ copies of the $q$-oscillator algebra which admits an automorphism interchanging particles and holes.


title: Beyond the Melnikov method II: multidimensional setting

abstract: We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds. We do not need to know the explicit formulas for the homoclinic orbits prior to the perturbation. We also do not need to compute any integrals along such homoclinics. All needed bounds are established using rigorous computer assisted numerics. Lastly, and most importantly, the method establishes intersections for an explicit range of parameters, and not only for perturbations that are `small enough', as is the case in the classical Melnikov approach.


title: N-body Networks: a Covariant Hierarchical Neural Network Architecture for Learning Atomic Potentials

abstract: We describe N-body networks, a neural network architecture for learning the behavior and properties of complex many body physical systems. Our specific application is to learn atomic potential energy surfaces for use in molecular dynamics simulations. Our architecture is novel in that (a) it is based on a hierarchical decomposition of the many body system into subsytems, (b) the activations of the network correspond to the internal state of each subsystem, (c) the "neurons" in the network are constructed explicitly so as to guarantee that each of the activations is covariant to rotations, (d) the neurons operate entirely in Fourier space, and the nonlinearities are realized by tensor products followed by Clebsch-Gordan decompositions. As part of the description of our network, we give a characterization of what way the weights of the network may interact with the activations so as to ensure that the covariance property is maintained.


title: Autophoretic motion in three dimensions

abstract: Janus particles with the ability to move phoretically in self-generated chemical concentration gradients are model systems for active matter. Their motion typically consists of straight paths with rotational diffusion being the dominant reorientation mechanism. In this paper, we show theoretically that by a suitable surface coverage of both activity and mobility, translational and rotational motion can be induced arbitrarily in three dimensions. The resulting trajectories are in general helical, and their pitch and radius can be controlled by adjusting the angle between the translational and angular velocity. Building on the classical mathematical framework for axisymmetric self-phoretic motion under fixed-flux chemical boundary condition, we first show how to calculate the most general three-dimensional motion for an arbitrary surface coverage of a spherical particle. After illustrating our results on surface distributions, we next introduce a simple intuitive patch model to serve as a guide for designing arbitrary phoretic spheres.


title: Enumeration on row-increasing tableaux of shape $2 \times n$

abstract: Recently O. Pechenik studied the cyclic sieving of increasing tableaux of shape $2\times n$, and obtained a polynomial on the major index of these tableaux, which is a $q$-analogue of refined small Schr\"{o}der numbers. We define row-increasing tableaux and study the major index and amajor index of row-increasing tableaux of shape $2 \times n$. The resulting polynomials are both $q$-analogues of refined large Schr\"{o}der numbers. For both results we give bijective proofs.


title: Global generalized characteristics for the Dirichlet problem for Hamilton-Jacobi equations at a supercritical energy level

abstract: We study the nonhomogeneous Dirichlet problem for first order Hamilton-Jacobi equations associated with Tonelli Hamiltonians on a bounded domain $\Omega$ of $\R^n$ assuming the energy level to be supercritical. First, we show that the viscosity (weak KAM) solution of such a problem is Lipschitz continuous and locally semiconcave in $\Omega$. Then, we analyse the singular set of a solution showing that singularities propagate along suitable curves, the so-called generalized characteristics, and that such curves stay singular unless they reach the boundary of $\Omega$. Moreover, we prove that the latter is never the case for mechanical systems and that singular generalized characteristics converge to a critical point of the solution in finite or infinite time. Finally, under stronger assumptions for the domain and Dirichlet data, we are able to conclude that solutions are globally semiconcave and semiconvex near the boundary.


title: OpenMath and SMT-LIB

abstract: OpenMath and SMT-LIB are languages with very different origins, but both "represent mathematics". We describe SMT-LIB for the OpenMath community and consider adaptations for both languages to support the growing SC-Square initiative.


title: IGR J17329-2731: The birth of a symbiotic X-ray binary

abstract: We report on the results of the multiwavelength campaign carried out after the discovery of the INTEGRAL transient IGR J17329-2731. The optical data collected with the SOAR telescope allowed us to identify the donor star in this system as a late M giant at a distance of 2.7$^{+3.4}_{-1.2}$ kpc. The data collected quasi-simultaneously with XMM-Newton and NuSTAR showed the presence of a modulation with a period of 6680$\pm$3 s in the X-ray light curves of the source. This unveils that the compact object hosted in this system is a slowly rotating neutron star. The broadband X-ray spectrum showed the presence of a strong absorption ($\gg$10$^{23}$ cm$^{-2}$) and prominent emission lines at 6.4 keV, and 7.1 keV. These features are usually found in wind-fed systems, in which the emission lines result from the fluorescence of the X-rays from the accreting compact object on the surrounding stellar wind. The presence of a strong absorption line around $\sim$21 keV in the NuSTAR spectrum suggests a cyclotron origin, thus allowing us to estimate the neutron star magnetic field as $\sim$2.4$\times$10$^{12}$ G. All evidence thus suggests IGR J17329-2731 is a symbiotic X-ray binary. As no X-ray emission was ever observed from the location of IGR J17329-2731 by INTEGRAL (or other X-ray facilities) during the past 15 yr in orbit and considering that symbiotic X-ray binaries are known to be variable but persistent X-ray sources, we concluded that INTEGRAL caught the first detectable X-ray emission from IGR J17329-2731 when the source shined as a symbiotic X-ray binary. The Swift/XRT monitoring performed up to $\sim$3 months after the discovery of the source, showed that it maintained a relatively stable X-ray flux and spectral properties.


title: Reconstruction method of $f(R)$ gravity for isotropic and anisotropic spacetimes

abstract: We present the reconstruction method of $f(R)$ gravity for the homogeneous and anisotropic Bianchi-I spacetime, which was previously formulated only for homogeneous and isotropic FLRW spacetime. We argue in this paper that for anisotropic spacetimes, the total anisotropy behaves as an independent metric degree of freedom on top of the average scale factor in $f(R)$ gravity. This is not like $GR$, where specifying the form of the average scale factor as a function of time also specify the total anisotropy as a function of time uniqely. We link this peculiar fact to an interesting intertwining between the definition of Ricci scalar for anisotropic metric and anisotropy evolution equation in $f(R)$ gravity. Consequently, specifying an anisotropic solution of $f(R)$ gravity implies specifying both the average scale factor and the total anisotropy as functions of time. The reconstruction method hence formulated is applied to two scenarios where anisotropy suppression is important, namely, a quasi de-Sitter expansion as required in inflation, and a power law contraction as required in ekpyrotic bounce models.


title: Spectral reflectance estimation from one RGB image using self-interreflections in a concave object

abstract: Light interreflections occurring in a concave object generate a color gradient which is characteristic of the object's spectral reflectance. In this paper, we use this property in order to estimate the spectral reflectance of matte, uniformly colored, V-shaped surfaces from a single RGB image taken under directional lighting. First, simulations show that using one image of the concave object is equivalent to, and can even outperform, the state of the art approaches based on three images taken under three lightings with different colors. Experiments on real images of folded papers were performed under unmeasured direct sunlight. The results show that our interreflection-based approach outperforms existing approaches even when the latter are improved by a calibration step. The mathematical solution for the interreflection equation and the effect of surface parameters on the performance of the method are also discussed in this paper.


title: L'usage de la combinatoire chez Girard Desargues : le cas du th\'eor\`eme de M\'en\'ela\"us

abstract: We show in this article how Girard Desargues, in his well known text on conics, the \textit{Brouillon Project,} manages to use Menelaos' theorem with some awesome virtuosity. To this end, we propose a detailed analysis of his \textit{combinatorial} approach, which was already visible in the development of his notion of involution. We shall study the proofs of two important theorems of the \textit{Brouillon.} The first is the theorem of the "ram\'ee", stating that the configuration of involution is invariant by perspective projection, and the second is the great theorem of Desargues on pencils of conics. We shall also study in the same spirit the first lemma (dealing with the hexagram) of the \textit{Essay pour les coniques} by Pascal and the \textit{Advis charitables} by de Beaugrand.


title: Divergence of $\langle p^6\rangle$ in discontinuous potential wells

abstract: The surprising divergence of the expectation value $<\!p^6\!>$ for the square well potential is known. Here, we prove and demonstrate the divergence of $<\!p^6\!>$ in potential wells which have a finite jump discontinuity; apart from the square-well two-piece half-potentials wells are examples. These half-potential wells can be expressed as $V(x)=-U(x) \Theta(x)$, where $\Theta(x)$ is the Heaviside step function. $U(x)$ are continuous and differentiable functions with minimum at $x=0$ and which may or not vanish as $x\sim \infty$.


title: RAPTOR: Ransomware Attack PredicTOR

abstract: Ransomware, a type of malicious software that encrypts a victim's files and only releases the cryptographic key once a ransom is paid, has emerged as a potentially devastating class of cybercrimes in the past few years. In this paper, we present RAPTOR, a promising line of defense against ransomware attacks. RAPTOR fingerprints attackers' operations to forecast ransomware activity. More specifically, our method learns features of malicious domains by looking at examples of domains involved in known ransomware attacks, and then monitors newly registered domains to identify potentially malicious ones. In addition, RAPTOR uses time series forecasting techniques to learn models of historical ransomware activity and then leverages malicious domain registrations as an external signal to forecast future ransomware activity. We illustrate RAPTOR's effectiveness by forecasting all activity stages of Cerber, a popular ransomware family. By monitoring zone files of the top-level domain .top starting from August 30, 2016 through May 31, 2017, RAPTOR predicted 2,126 newly registered domains to be potential Cerber domains. Of these, 378 later actually appeared in blacklists. Our empirical evaluation results show that using predicted domain registrations helped improve forecasts of future Cerber activity. Most importantly, our approach demonstrates the value of fusing different signals in forecasting applications in the cyber domain.


title: AdaDepth: Unsupervised Content Congruent Adaptation for Depth Estimation

abstract: Supervised deep learning methods have shown promising results for the task of monocular depth estimation; but acquiring ground truth is costly, and prone to noise as well as inaccuracies. While synthetic datasets have been used to circumvent above problems, the resultant models do not generalize well to natural scenes due to the inherent domain shift. Recent adversarial approaches for domain adaption have performed well in mitigating the differences between the source and target domains. But these methods are mostly limited to a classification setup and do not scale well for fully-convolutional architectures. In this work, we propose AdaDepth - an unsupervised domain adaptation strategy for the pixel-wise regression task of monocular depth estimation. The proposed approach is devoid of above limitations through a) adversarial learning and b) explicit imposition of content consistency on the adapted target representation. Our unsupervised approach performs competitively with other established approaches on depth estimation tasks and achieves state-of-the-art results in a semi-supervised setting.


title: Generalised monopole equations on Kahler surfaces

abstract: In this article, we establish a Hitchin-Kobayashi type correspondence for generalised Seiberg-Witten monopole equations on Kahler surfaces. We show that the "stability" criterion we obtain, for the existence of solutions, coincides with that of the usual Seiberg-Witten monopole equations. This enables us to construct a map from the moduli space of solutions to the generalised equations to effective divisors.


title: Quantum Algorithms to Matrix Multiplication

abstract: In this paper, we study quantum algorithms of matrix multiplication from the viewpoint of inputting quantum/classical data to outputting quantum/classical data. The main target is trying to overcome the input and output problem, which are not easy to solve and many quantum algorithms will encounter, to study matrix operations in quantum computer with high efficiency. And solving matrix multiplication will be the first step. We propose three quantum algorithms to matrix multiplication based on swap test, SVE and HHL. From the point of making fewer assumptions, swap test method works the best than the other two. We also show that the quantum algorithm of matrix multiplication with classical input and output data by swap test achieves the best complexity $\widetilde{O}(n^2/\epsilon)$ with no assumptions. This is proved by giving an efficient quantum algorithm in polynomial time to solve the input problem, that is to prepare the quantum states of the classical data efficiently. Other contributions of this paper include: (1). Extending swap test to a more general form that is suitable to deal with quantum data in parallel, which will have further applications in other matrix operations. (2). Generalizing SVE technique such that it applies to any matrix (not just Hermitian) directly only with quantum data. (3). Proposing two new efficient quantum algorithms to prepare quantum states of classical data, which solves the input problem efficiently than other quantum algorithms.


title: Feedback control of the acoustic pressure in ultrasonic wave propagation

abstract: Classical models for the propagation of ultrasound waves are the Westervelt equation, the Kuznetsov and the Khokhlov-Zabolotskaya-Kuznetsov equations. The Jordan-Moore-Gibson-Thompson equation is a prominent example of a Partial Differential Equation (PDE) model which describes the acoustic velocity potential in ultrasound wave propagation, where the paradox of infinite speed of propagation of thermal signals is eliminated; the use of the constitutive Cattaneo law for the heat flux, in place of the Fourier law, accounts for its being of third order in time. Aiming at the understanding of the fully quasilinear PDE, a great deal of attention has been recently devoted to its linearization -- referred to in the literature as the Moore-Gibson-Thompson equation -- whose mathematical analysis is also of independent interest, posing already several questions and challenges. In this work we consider and solve a quadratic control problem associated with the linear equation, formulated consistently with the goal of keeping the acoustic pressure close to a reference pressure during ultrasound excitation, as required in medical and industrial applications. While optimal control problems with smooth controls have been considered in the recent literature, we aim at relying on controls which are just $L^2$ in time; this leads to a singular control problem and to non-standard Riccati equations. In spite of the unfavourable combination of the semigroup describing the free dynamics that is not analytic, with the challenging pattern displayed by the dynamics subject to boundary control, a feedback synthesis of the optimal control as well as well-posedness of operator Riccati equations are established.


title: Core Partitions With d-Distinct Parts

abstract: In this paper, we study $(s,s+1)$-core partitions with $d$-distinct parts. We obtain results on the number and the largest size of such partitions, so we extend Xiong's paper in which the results are obtained about $(s,s+1)$-core partitions with distinct parts. Also, we propose a conjecture about $(s,s+r)$-core partitions with $d$-distinct parts for $1 \le r \le d$.


title: Integrated Plasmonics: Broadband Dirac Plasmons in Borophene

abstract: The past decade has witnessed numerous discoveries of two-dimensional (2D) semimetals and insulators, whereas 2D metals are rarely identified. Borophene, a monolayer boron sheet, has recently emerged as a perfect 2D metal with unique structure and electronic properties. Here we study collective excitations in borophene, which exhibit two major plasmon modes with low damping rates extending from infrared to ultraviolet regime. The anisotropic 1D plasmon originates from electronic excitations of tilted Dirac cones in borophene, analogous to that in heavily doped Dirac semimetals. These features make borophene promising to realize directional polariton transportation and broadband optical communications for next-generation optoelectronic devices.


title: Weak metal-metal transition in the vanadium oxytelluride Rb$_{1-\delta}$V$_2$Te$_2$O

abstract: We report the synthesis, crystal structure, physical properties, and first-principles calculations of a vanadium-based oxytelluride Rb$_{1-\delta}$V$_2$Te$_2$O ($\delta\approx0.2$). The crystal structure bears two-dimensional V$_2$O square nets sandwiched with tellurium layers, mimicking the structural motifs of cuprate and iron-based superconductors. The material exhibits metallic conductivity with dominant hole-type charge carriers. A weak metal-to-metal transition takes place at $\sim$100 K, which is conformably characterized by a slight kink/hump in the electrical resistivity, jumps in the Hall and Seebeck coefficients, a minute drop in the magnetic susceptibility, and a small peak in the heat capacity. Neither Bragg-peak splitting nor superlattice reflections can be detected within the resolution of conventional x-ray diffractions. The band-structure calculations show that V-3$d$ orbitals dominate the electronic states at around Fermi energy where a $d_{yz}/d_{xz}$ orbital polarization shows up. There are three Fermi-surface sheets that seem unfavorable for nesting. Our results suggest an orbital or spin-density-wave order for the low-temperature state and, upon suppression of the competing order, emergence of superconductivity could be expected.


title: Formation Shape Control Based on Distance Measurements Using Lie Bracket Approximations

abstract: We study the problem of distance-based formation control in autonomous multi-agent systems in which only distance measurements are available. This means that the target formations as well as the sensed variables are both determined by distances. We propose a fully distributed distance-only control law, which requires neither a time synchronization of the agents nor storage of measured data. The approach is applicable to point agents in the Euclidean space of arbitrary dimension. Under the assumption of infinitesimal rigidity of the target formations, we show that the proposed control law induces local uniform asymptotic stability. Our approach involves sinusoidal perturbations in order to extract information about the negative gradient direction of each agent's local potential function. An averaging analysis reveals that the gradient information originates from an approximation of Lie brackets of certain vector fields. The method is based on a recently introduced approach to the problem of extremum seeking control. We discuss the relation in the paper.