title: Search for Gamma-Ray Emission from Local Primordial Black Holes with the Fermi Large Area Telescope

abstract: Black holes with masses below approximately $10^{15}$ g are expected to emit gamma rays with energies above a few tens of MeV, which can be detected by the Fermi Large Area Telescope (LAT). Although black holes with these masses cannot be formed as a result of stellar evolution, they may have formed in the early Universe and are therefore called Primordial Black Holes (PBHs). Previous searches for PBHs have focused on either short timescale bursts or the contribution of PBHs to the isotropic gamma-ray emission. We show that, in case of individual PBHs, the Fermi LAT is most sensitive to PBHs with temperatures above approximately 16 GeV and masses $6\times 10^{11}$ g, which it can detect out to a distance of about 0.03 pc. These PBHs have a remaining lifetime of months to years at the start of the Fermi mission. They would appear as potentially moving point sources with gamma-ray emission that becomes spectrally harder and brighter with time until the PBH completely evaporates. In this paper, we develop a new algorithm to detect the proper motion of a gamma-ray point sources, and apply it to 318 unassociated point sources at high galactic latitude in the third Fermi-LAT source catalog (3FGL). None of unassociated point sources with spectra consistent with PBH evaporation show significant proper motion. Using the non-detection of PBH candidates, we derive a 99\% confidence limit on PBH evaporation rate in the vicinity of the Earth $\dot{\rho}_{\rm PBH} < 7.2 \times 10^3\: {\rm {pc}^{-3} {yr}^{-1}}$. This limit is similar to the limits obtained with ground-based gamma-ray observatories.


title: Wavelength-dependent reflectivity changes on gold at elevated electronic temperatures

abstract: Upon the excitation by an ultrashort laser pulse the conditions in a material can drastically change, altering its optical properties and therefore the relative amount of absorbed energy, a quan- tity relevant for determining the damage threshold and for developing a detailed simulation of a structuring process. The subject of interest in this work is the d-band metal gold which has an absorption edge marking the transition of free valence electrons and an absorbing deep d-band with bound electrons. Reflectivity changes are observed in experiment over a broad spectral range at ablation conditions. To understand the involved processes the laser excitation is modeled by a com- bination of first principle calculations with a two-temperature model. The description is kept most general and applied to realistically simulate the transfer of the absorbed energy of a Gaussian laser pulse into the electronic system at every point in space at every instance of time. An electronic temperature-dependent reflectivity map is calculated, describing the out of equilibrium reflectivity during laser excitation for photon energies from 0.9 - 6.4 eV, including inter- and intra-band transi- tions and a temperature-dependent damping factor. The main mechanisms are identified explaining the electronic temperature-dependent change in reflectivity: broadening of the edge of the occu- pied/unoccupied states around the chemical potential $\mu$, also leading to a shift of the $\mu$ and an increase of the collision rate of free s/p-band electrons with bound d-band holes.


title: Modeling epidemics on d-cliqued graphs

abstract: Since social interactions have been shown to lead to symmetric clusters, we propose here that symmetries play a key role in epidemic modeling. Mathematical models on d-ary tree graphs were recently shown to be particularly effective for modeling epidemics in simple networks [Seibold & Callender, 2016]. To account for symmetric relations, we generalize this to a new type of networks modeled on d-cliqued tree graphs, which are obtained by adding edges to regular d-trees to form d-cliques. This setting gives a more realistic model for epidemic outbreaks originating, for example, within a family or classroom and which could reach a population by transmission via children in schools. Specifically, we quantify how an infection starting in a clique (e.g. family) can reach other cliques through the body of the graph (e.g. public places). Moreover, we propose and study the notion of a safe zone, a subset that has a negligible probability of infection.


title: High-spin spectroscopy and shell-model interpretation of the N < 126 radium isotopes $^{212}$Ra and $^{213}$Ra

abstract: The level structures of $^{212}$Ra and $^{213}$Ra have been established via time-correlated $\gamma$-ray spectroscopy following the $^{204}$Pb($^{12}$C,4$n$)$^{212}$Ra and $^{204}$Pb($^{13}$C,4$n$)$^{213}$Ra reactions. In $^{212}$Ra, levels up to $\sim 6.2$ MeV were identified and firm spin-parity assignments were achieved to a $J^{\pi} = 19^+$ isomer with a mean life of 31(3) ns. For $^{213}$Ra the corresponding values were $\sim 4.5$ MeV in excitation energy and $J^{\pi} = 33/2^+$. Two isomeric states with $J^\pi = 23/2^+$, $\tau = 27(3)$ ns and $J^\pi = 33/2^+$, $\tau = 50(3)$ ns were discovered in $^{213}$Ra. The experimental data were compared with semiempirical shell-model calculations, which allowed dominant configurations to be assigned to most of the observed levels.


title: On the Achievability Region of Regenerating Codes for Multiple Erasures

abstract: We study the problem of centralized exact repair of multiple failures in distributed storage. We describe constructions that achieve a new set of interior points under exact repair. The constructions build upon the layered code construction by Tian et al., designed for exact repair of single failure. We firstly improve upon the layered construction for general system parameters. Then, we extend the improved construction to support the repair of multiple failures, with varying number of helpers. In particular, we prove the optimality of one point on the functional repair tradeoff of multiple failures for some parameters. Finally, considering minimum bandwidth cooperative repair (MBCR) codes as centralized repair codes, we determine explicitly the best achievable region obtained by space-sharing among all known points, including the MBCR point.


title: Can disorder act as a chemical pressure? An optical study of the Hubbard model

abstract: The optical properties have been studied using the dynamical mean-field theory (DMFT) on a disordered Hubbard model. Despite the fact that disorder turns a metal to an insulator in high dimensional correlated materials, we notice that it can enhance certain metallic behavior as if a chemical pressure is applied to the system resulting in an increase of the effective lattice bandwidth (BW). We study optical properties in such a scenario and compare results with experiments where the BW is changed through chemical doping and obtain remarkable similarities vindicating our claim. We also make a point that these similarities differ from some other forms of BW tuned optical effects.


title: Geometry of extended Bianchi-Cartan-Vranceanu spaces

abstract: The differential geometry of $3$-dimensional Bianchi, Cartan and Vranceanu ($BCV$) spaces is well known. We introduce the extended Bianchi, Cartan and Vranceanu ($EBCV$) spaces as a natural seven dimensional generalization of $BCV$ spaces and study some of their main geometric properties, such as the Levi-Civita connection, Ricci curvatures, Killing fields and geodesics.


title: Predicting Wireless Channel Features using Neural Networks

abstract: We investigate the viability of using machine-learning techniques for estimating user-channel features at a large-array base station (BS). In the scenario we consider, user-pilot broadcasts are observed and processed by the BS to extract angle-of-arrival (AoA) specific information about propagation-channel features, such as received signal strength and relative path delay. The problem of interest involves using this information to predict the angle-of-departure (AoD) of the dominant propagation paths in the user channels, i.e., channel features not directly observable at the BS. To accomplish this task, the data collected in the same propagation environment are used to train neural networks. Our studies rely on ray-tracing channel data that have been calibrated against measurements from Shinjuku Square, a famous hotspot in Tokyo, Japan. We demonstrate that the observed features at the BS side are correlated with the angular features at the user side. We train neural networks that exploit different combinations of measured features at the BS to infer the unknown parameters at the users. The evaluation based on standard statistical performance metrics suggests that such data-driven methods have the potential to predict unobserved channel features from observed ones.


title: Reducible Calabi-Yau threefolds with countably many rational curves

abstract: We give a class of examples of reducible (d-semistable) threefolds of CY type with two irreducible components for which (it is reasonably easy to prove that) no family of admissible genus zero stable maps sweeps out a surface, yet such stable maps occur in infinitely many degrees.


title: Gradient estimates for nonlinear elliptic equations with a gradient-dependent nonlinearity

abstract: In this paper, we obtain gradient estimates of the positive solutions to weighted $p$-Laplacian type equations with a gradient-dependent nonlinearity of the form \begin{equation} \label{one} {\rm div} (|x|^{\sigma}|\nabla u|^{p-2} \nabla u)= |x|^{-\tau} u^q |\nabla u|^m \quad \mbox{in } \ \Omega^*:= \Omega \setminus \{ 0 \}. \end{equation} Here, $\Omega\subseteq \mathbb R^N$ denotes a domain containing the origin with $N\geq 2$, whereas $m,q\in [0,\infty)$, $1<p\leq N+\sigma$ and $q>\max\{p-m-1,\sigma+\tau-1\}$. The main difficulty arises from the dependence of the right-hand side of the equation on $x$, $u$ and $|\nabla u|$, without any upper bound restriction on the power $m$ of $|\nabla u|$. Our proof of the gradient estimates is based on a two-step process relying on a modified version of the Bernstein's method. As a by-product, we extend the range of applicability of the Liouville-type results known for our problem.


title: Entanglement Swapping for Generation of Heralded Time-Frequency-Entangled Photon Pairs

abstract: Photonic time-frequency entanglement is a promising resource for quantum information processing technologies. We investigate swapping of continuous-variable entanglement in the time-frequency degree of freedom using three-wave mixing in the low-gain regime with the aim of producing heralded biphoton states with high purity and low multi-pair probability. Heralding is achieved by combining one photon from each of two biphoton sources via sum-frequency generation to create a herald photon. We present a realistic model with pulsed pumps, investigate the effects of resolving the frequency of the herald photon, and find that frequency-resolving measurement of the herald photon is necessary to produce high-purity biphotons. We also find a trade-off between the rate of successful entanglement swapping and both the purity and quantified entanglement resource (negativity) of the heralded biphoton state.


title: Faithful entanglement purification for high-capacity quantum communication with two-photon four-qubit systems

abstract: As the hyperentanglement of photon systems presents lots of unique opportunities in high-capacity quantum networking, the hyperentanglement purification protocol (hyper-EPP) becomes a vital project work and the quality of its accomplishment attracts much attention recently. Here we present the first theoretical scheme of faithful hyper-EPP for nonlocal two-photon systems in two degrees of freedom (DOFs) by constructing several fidelity-robust quantum circuits for hyper-encoded photons. With this faithful hyper-EPP, the bit-flip errors in both the polarization and spatial-mode DOFs can be efficiently corrected and the maximal hyperentanglement in two DOFs could be in principle achieved by performing the hyper-EPP multiple rounds. Moreover, the fidelity-robust quantum circuits, parity-check quantum nondemolition detectors, and SWAP gates make this hyper-EPP works faithfully as the errors coming from practical scattering, in these quantum circuits, are converted into a detectable failure rather than infidelity. Furthermore, this hyper-EPP can be directly extended to purify photon systems entangled in single polarization or spatial-mode DOF and that hyperentangled in polarization and multiple-spatial-mode DOFs.


title: Frequency Domain Properties and Fundamental Limits of Buffer-Feedback Regulation in Biochemical Systems

abstract: Feedback regulation in biochemical systems is fundamental to homeostasis, with failure causing disease or death. Recent work has found that cooperation between feedback and buffering---the use of reservoirs of molecules to maintain molecular concentrations---is often critical for biochemical regulation, and that buffering can act as a derivative or lead controller. However, buffering differs from derivative feedback in important ways: it is not typically limited by stability constraints on the parallel feedback loop, for some signals it acts instead as a low-pass filter, and it can change the location of disturbances in the closed-loop system. Here, we propose a frequency-domain framework for studying the regulatory properties of buffer-feedback systems. We determine standard single-output closed-loop transfer functions and discuss loop-shaping properties. We also derive novel fundamental limits for buffer-feedback regulation, which show that buffering and removal processes can reduce the fundamental limits on feedback regulation. We apply the framework to study the regulation for glycolysis (anaerobic metabolism) with creatine phosphate buffering.


title: Self-error-corrected hyperparallel photonic quantum computation working with both the polarization and the spatial-mode degrees of freedom

abstract: Usually, the hyperparallel quantum computation can speed up quantum computing, reduce the quantum resource consumed largely, resist to noise, and simplify the storage of quantum information. Here, we present the first scheme for the self-error-corrected hyperparallel photonic quantum computation working with both the polarization and the spatial-mode degrees of freedom of photon systems simultaneously. It can prevent bit-flip errors from happening with an imperfect nonlinear interaction in the nearly realistic condition. We give the way to design the universal hyperparallel photonic quantum controlled-NOT (CNOT) gate on a two-photon system, resorting to the nonlinear interaction between the circularly polarized photon and the electron spin in the quantum dot in a double-sided microcavity system, by taking the imperfect interaction in the nearly realistic condition into account. Its self-error-corrected pattern prevents the bit-flip errors from happening in the hyperparallel quantum CNOT gate, guarantees the robust fidelity, and relaxes the requirement for its experiment. Meanwhile, this scheme works in a failure-heralded way. Also, we generalize this approach to achieve the self-error-corrected hyperparallel quantum CNOT$^N$ gate working on a multiple-photon system. These good features make this scheme more useful in the photonic quantum computation and quantum communication in the future.


title: Low Complexity Time Domain Semi-Blind MIMO-OFDM Channel Estimation Using Adaptive Bussgang Algorithm

abstract: In this paper, a low complexity time domain semi-blind algorithm is proposed to estimate and track the time varying MIMO OFDM channels. First, the proposed least mean squares (LMS) based algorithm is developed for the training mode and then is extended for the blind mode of the operation by combining with the decision direction (DD) or adaptive Bussgang algorithm (ABA) techniques. In the blind mode, because of decision errors, a smaller step size is considered for the LMS algorithm and the channel estimation is run a few times to improve its precision. In each round of the estimation in the blind mode, the step size is decreased to form some kind of annealing. Both DD LMS and ABA LMS techniques are simulated and compared to the full training case and MSE of channel estimation error is considered as comparison criterion. It is shown for 2x4 DD LMS and for 4x4 ABA LMS algorithms present near full training case estimation error. Of course in some scenarios the former proposed technique performs better and in other scenarios the latter is better and therefore combine of it can be very interesting in all channel conditions.


title: Universal single-qubit non-adiabatic holonomic quantum gates in optomechanical system

abstract: The non-adiabatic holonomic quantum computation with the advantages of fast and robustness attracts widespread attention in recent years. Here, we propose the first scheme for realizing universal single-qubit gates based on an optomechanical system working with the non-adiabatic geometric phases. Our quantum gates are robust to the control errors and the parameter fluctuations, and have unique functions to achieve the quantum state transfer and entanglement generation between cavities. We discuss the corresponding experimental parameters and give some simulations. Our scheme may have the practical applications in quantum computation and quantum information processing.


title: Four-dimensional Painlev\'e-type difference equations

abstract: We focus on Fuchsian equations with four accessory parameters and three singular points. We see that the Fuchsian equations admit a "degeneration scheme" in some sense, which is expected to give rise to a degeneration scheme of discrete isomodromic deformation equations with four-dimensional phase space. We compute an example of discrete isomonodromic deformation equations of a certain Fuchsian equation.


title: The time geography of segregation during working hours

abstract: Understanding segregation is essential to develop planning tools for building more inclusive cities. Theoretically, segregation at the work place has been described as lower compared to residential segregation given the importance of skill complementarity among other productive factors shaping the economies of cities. This paper tackles segregation during working hours from a dynamical perspective by focusing on the movement of urbanites across the city. In contrast to measuring residential patterns of segregation, we used mobile phone data to infer home-work trajectory net- works and apply a community detection algorithm to the example city of Santiago, Chile. We then describe qualitatively and quantitatively outlined communities, in terms of their socio eco- nomic composition. We then evaluate segregation for each of these communities as the probability that a person from a specific community will interact with a co-worker from the same commu- nity. Finally, we compare these results with simulations where a new work location is set for each real user, following the empirical probability distributions of home-work distances and angles of direction for each community. Methodologically, this study shows that segregation during working hours for Santiago is unexpectedly high for most of the city with the exception of its central and business district. In fact, the only community that is not statistically segregated corresponds to the downtown area of Santiago, described as a zone of encounter and integration across the city.


title: Continuous frames and the Kadison-Singer problem

abstract: In this paper we survey a recent progress on continuous frames inspired by the solution of the Kadison-Singer problem by Marcus, Spielman, and Srivastava. We present an extension of Lyapunov's theorem for discrete frames due to Akemann and Weaver and a similar extension for continuous frames by the author. We also outline a solution of the discretization problem, which was originally posed by Ali, Antoine, and Gazeau, and recently solved by Freeman and Speegle.


title: Convex Pentagons with Positive Heesch Number

abstract: We found convex pentagons whose Heesch number is equal to one, and which admit an edge-to-edge corona. In this manuscript, we present a new classification of these convex pentagons.


title: Properties of coplanar periodic electrodes in confined spaces: Case of two-dimensional diffusion

abstract: Periodic configurations of electrodes, in particular of microelectrodes, have been of interest since the advent of microfabrication. In this report, theory which is common to any periodic cell (or any cell that can be extended periodically) with finite height and two-dimensional symmentry was derived. The diffusion equation in this cell was solved and the concentration profile was obtained in terms of its Fourier coefficients and as a function of an arbitrary current density. From this base result, a set of properties were derived which are fairly general, since they don't assume restrictions such as reversible electrode reactions (Nernst equation valid when current circulates). These properties involve: horizontal averages and (weighted) sum of concentrations, both with a close connection to the net current and accumulation of species in the cell. The derived properties allow: to explain qualitative aspects of collection efficiency and limiting currents, to predict the concentration on counter electrodes and non-linearities caused by depletion of species at extremely polarized electrodes, and to estimate the time required by the current to reach steady state in potential controlled experiments. The theoretical results are illustrated analytically and numerically for the concrete case of interdigitated array of electrodes.


title: Interpreting CNNs via Decision Trees

abstract: This paper aims to quantitatively explain rationales of each prediction that is made by a pre-trained convolutional neural network (CNN). We propose to learn a decision tree, which clarifies the specific reason for each prediction made by the CNN at the semantic level. I.e., the decision tree decomposes feature representations in high conv-layers of the CNN into elementary concepts of object parts. In this way, the decision tree tells people which object parts activate which filters for the prediction and how much they contribute to the prediction score. Such semantic and quantitative explanations for CNN predictions have specific values beyond the traditional pixel-level analysis of CNNs. More specifically, our method mines all potential decision modes of the CNN, where each mode represents a common case of how the CNN uses object parts for prediction. The decision tree organizes all potential decision modes in a coarse-to-fine manner to explain CNN predictions at different fine-grained levels. Experiments have demonstrated the effectiveness of the proposed method.


title: Assessing Strong String Stability of Constant Spacing Policy under Speed Limit Fluctuations

abstract: The speed limit changes frequently throughout the transportation network, due to either safety (e.g., change in geometry) or congestion management (e.g., speed harmonization systems). Any abrupt reduction in the speed limit can create a shockwave that propagates upstream in traffic. Dealing with such an abrupt reduction in speed limit is particularly important while designing control laws for a platoon of automated vehicles from both stability and efficiency perspectives. This paper focuses on Adaptive Cruise Control (ACC) based platooning under a constant spacing policy, and investigates the possibility of designing a controller that ensures stability, while tracking a given target velocity profile that changes as a function of location. An ideal controller should maintain a constant spacing between successive vehicles, while tracking the desired velocity profile. The analytical investigations of this paper suggest that such a controller does not exist.


title: A Modified Sigma-Pi-Sigma Neural Network with Adaptive Choice of Multinomials

abstract: Sigma-Pi-Sigma neural networks (SPSNNs) as a kind of high-order neural networks can provide more powerful mapping capability than the traditional feedforward neural networks (Sigma-Sigma neural networks). In the existing literature, in order to reduce the number of the Pi nodes in the Pi layer, a special multinomial P_s is used in SPSNNs. Each monomial in P_s is linear with respect to each particular variable sigma_i when the other variables are taken as constants. Therefore, the monomials like sigma_i^n or sigma_i^n sigma_j with n>1 are not included. This choice may be somehow intuitive, but is not necessarily the best. We propose in this paper a modified Sigma-Pi-Sigma neural network (MSPSNN) with an adaptive approach to find a better multinomial for a given problem. To elaborate, we start from a complete multinomial with a given order. Then we employ a regularization technique in the learning process for the given problem to reduce the number of monomials used in the multinomial, and end up with a new SPSNN involving the same number of monomials (= the number of nodes in the Pi-layer) as in P_s. Numerical experiments on some benchmark problems show that our MSPSNN behaves better than the traditional SPSNN with P_s.


title: Rethinking the Smaller-Norm-Less-Informative Assumption in Channel Pruning of Convolution Layers

abstract: Model pruning has become a useful technique that improves the computational efficiency of deep learning, making it possible to deploy solutions in resource-limited scenarios. A widely-used practice in relevant work assumes that a smaller-norm parameter or feature plays a less informative role at the inference time. In this paper, we propose a channel pruning technique for accelerating the computations of deep convolutional neural networks (CNNs) that does not critically rely on this assumption. Instead, it focuses on direct simplification of the channel-to-channel computation graph of a CNN without the need of performing a computationally difficult and not-always-useful task of making high-dimensional tensors of CNN structured sparse. Our approach takes two stages: first to adopt an end-to- end stochastic training method that eventually forces the outputs of some channels to be constant, and then to prune those constant channels from the original neural network by adjusting the biases of their impacting layers such that the resulting compact model can be quickly fine-tuned. Our approach is mathematically appealing from an optimization perspective and easy to reproduce. We experimented our approach through several image learning benchmarks and demonstrate its interesting aspects and competitive performance.


title: Stability of Room Temperature Compensated Half-Metallicity in Cr-based Inverse-Heusler Compounds

abstract: Using three correlated band approaches, namely the conventional band approach plus on-site Coulomb repulsion $U$, the modified Becke-Johnson functional, and hybrid functional, we have investigated inverse-Heusler ferrimagnets Cr$_2$Co${\cal Z}$ (${\cal Z}$=Al, Ga, In). These approaches commonly indicate that the Cr$_2$CoAl synthesized recently is a precise compensated half-metal (CHM), whereas Cr$_2$CoGa and Cr$_2$CoIn are ferrimagnets with a small moment. This is also confirmed by the fixed spin moment approach. Analysis of the Bader charge decomposition and the radial charge densities indicates that this contrast is due to chemical differences among the ${\cal Z}$ ions. Additionally, in Cr$_2$CoAl, changing the volume by $\pm$ 5% or the ratio of $c/a$ by $\pm$ 2% does not alter the CHM state, suggesting that this state is robust even under application of moderate pressure or strain. Considering the observed high Curie temperature of 750 K, our results suggest that Cr$_2$CoAl is a promising candidate for robust high $T_C$ CHMs. Furthermore, the electronic structure of the CHM Cr$_2$CoAl is discussed.


title: Observation of Discrete-Time-Crystal Signatures in an Ordered Dipolar Many-Body System

abstract: A discrete time crystal (DTC) is a robust phase of driven systems that breaks the discrete time translation symmetry of the driving Hamiltonian. Recent experiments have observed DTC signatures in two distinct systems. Here we show nuclear magnetic resonance (NMR) observations of DTC signatures in a third, strikingly different system: an ordered spatial crystal. We use a novel DTC echo experiment to probe the coherence of the driven system. Finally, we show that interactions during the pulse of the DTC sequence contribute to the decay of the signal, complicating attempts to measure the intrinsic lifetime of the DTC.


title: Local existence and uniqueness of strong solutions to the free boundary problem of the full compressible Navier-Stokes equations in 3D

abstract: In this paper we establish the local-in-time existence and uniqueness of strong solutions to the free boundary problem of the full compressible Navier-Stokes equations in three-dimensional space. The vanishing density and temperature condition is imposed on the free boundary, which captures the motions of the non-isentropic viscous gas surrounded by vacuum with bounded entropy. We also assume some proper decay rates of the density towards the boundary and singularities of derivatives of the temperature across the boundary on the initial data, which coincides with the physical vacuum condition for the isentropic flows. This extends the previous result of Liu [ArXiv:1612.07936] by removing the spherically symmetric assumption and considering more general initial density and temperature profiles.


title: Direct photon production in relativistic heavy-ion collisions -- a theory update

abstract: For tomographic studies of relativistic nuclear collisions and of the quark-gluon plasma, photons (real and virtual) are unique. They are the only probes than can be both soft and penetrating. First we report on advances in modelling the hadron dynamics of heavy-ion collisions using a hybrid approach which consists of IP-Glasma, relativistic fluid dynamics, and hadronic cascade components. We briefly discuss the "photon flow puzzle", and then focus on a recent development in the theory of photon emission from a non-equilibrium, strongly interacting medium.


title: Harmonically Trapped Four-Boson System

abstract: Four identical spinless bosons with purely attractive two-body short-range interactions and repulsive three-body interactions under external spherically symmetric harmonic confinement are considered. The repulsive three-body potential prevents the formation of deeply-bound states with molecular character. The low-energy spectrum with vanishing orbital angular momentum and positive parity for infinitely large two-body $s$-wave scattering length is analyzed in detail. Using the three-body contact, states are classified as universal, quasi-universal, or strongly non-universal. Connections with the zero-range interaction model are discussed. The energy spectrum is mapped out as a function of the two-body $s$-wave scattering length $a_s$, $a_s>0$. In the weakly- to medium-strongly-interacting regime, one of the states approaches the energy obtained for a hard core interaction model. This state is identified as the energetically lowest-lying "BEC state". Structural properties are also presented.


title: Distributed Newton Methods for Deep Neural Networks

abstract: Deep learning involves a difficult non-convex optimization problem with a large number of weights between any two adjacent layers of a deep structure. To handle large data sets or complicated networks, distributed training is needed, but the calculation of function, gradient, and Hessian is expensive. In particular, the communication and the synchronization cost may become a bottleneck. In this paper, we focus on situations where the model is distributedly stored, and propose a novel distributed Newton method for training deep neural networks. By variable and feature-wise data partitions, and some careful designs, we are able to explicitly use the Jacobian matrix for matrix-vector products in the Newton method. Some techniques are incorporated to reduce the running time as well as the memory consumption. First, to reduce the communication cost, we propose a diagonalization method such that an approximate Newton direction can be obtained without communication between machines. Second, we consider subsampled Gauss-Newton matrices for reducing the running time as well as the communication cost. Third, to reduce the synchronization cost, we terminate the process of finding an approximate Newton direction even though some nodes have not finished their tasks. Details of some implementation issues in distributed environments are thoroughly investigated. Experiments demonstrate that the proposed method is effective for the distributed training of deep neural networks. In compared with stochastic gradient methods, it is more robust and may give better test accuracy.


title: Higher order geometric flow of hypersurfaces in a Riemannian manifold

abstract: In this paper, we consider the high order geometric flows of a submanifolds $M$ in a complete Riemannian manifold $N$ with $\dim(N)=\dim(M)+1=n+1$, which were introduced by Mantegazza in the case the ambient space is an Euclidean space, and extend some results due to Mantegazza to the present situation under some assumptions on $N$. Precisely, we show that if $m\in\mathbb{N}$ is strictly larger than the integer part of $n/2$ and $\varphi(t)$ is a immersion for all $t\in[0,T)$ and if $\mathfrak{F}_m(\varphi_0)$ is bounded by a constant which relies on the injectivity radius $\bar{R}>0$ and sectional curvature $\bar{K}_{\pi}(\bar{K}_{\pi}\leqslant1)$ of $N$ , then $T$ must be $\infty$.


title: Spin Seebeck effect and thermal spin galvanic effect in Ni80Fe20/p-Si bilayers

abstract: The development of spintronics and spin-caloritronics devices need efficient generation, detection and manipulation of spin current. The thermal spin current from spin-Seebeck effect has been reported to be more energy efficient than the electrical spin injection methods. But, spin detection has been the one of the bottlenecks since metals with large spin-orbit coupling is an essential requirement. In this work, we report an efficient thermal generation and interfacial detection of spin current. We measured a spin-Seebeck effect in Ni80Fe20 (25 nm)/p-Si (50 nm) (polycrystalline) bilayers without heavy metal spin detector. The p-Si, having the centosymmetric crystal structure, has insignificant intrinsic spin-orbit coupling leading to negligible spin-charge conversion. We report a giant inverse spin-Hall effect, essential for detection of spin-Seebeck effect, in the Ni80Fe20/p-Si bilayer structure, which originates from Rashba spin orbit coupling due to structure inversion asymmetry at the interface. In addition, the thermal spin pumping in p-Si leads to spin current from p-Si to Ni80Fe20 layer due to thermal spin galvanic effect and spin-Hall effect causing spin-orbit torques. The thermal spin-orbit torques leads to collapse of magnetic hysteresis of 25 nm thick Ni80Fe20 layer. The thermal spin-orbit torques can be used for efficient magnetic switching for memory applications. These scientific breakthroughs may give impetus to the silicon spintronics and spin-caloritronics devices.


title: Thirty-fold: Extreme gravitational lensing of a quiescent galaxy at $z=1.6$

abstract: We report the discovery of eMACSJ1341-QG-1, a quiescent galaxy at $z=1.594$ located behind the massive galaxy cluster eMACSJ1341.9$-$2442 ($z=0.835$). The system was identified as a gravitationally lensed triple image in Hubble Space Telescope images obtained as part of a snapshot survey of the most X-ray luminous galaxy clusters at $z>0.5$ and spectroscopically confirmed in ground-based follow-up observations with the ESO/X-Shooter spectrograph. From the constraints provided by the triple image, we derive a first, crude model of the mass distribution of the cluster lens, which predicts a gravitational amplification of a factor of $\sim$30 for the primary image and a factor of $\sim$6 for the remaining two images of the source, making eMACSJ1341-QG-1 by far the most strongly amplified quiescent galaxy discovered to date. Our discovery underlines the power of SNAPshot observations of massive, X-ray selected galaxy clusters for lensing-assisted studies of faint background populations.


title: Evaluation of Applicability of a Flare Trigger Model based on Comparison of Geometric Structures

abstract: The triggering mechanism(s) and critical condition(s) of solar flares are still not completely clarified, although various studies have attempted to elucidate them. We have also proposed a theoretical flare-trigger model based on MHD simulations Kusano et al. 2012, in which two types of small-scale bipole field, the so-called Opposite Polarity (OP) and Reversed Shear (RS) types of field, can trigger flares. In this study, we evaluated the applicability of our flare-trigger model to observation of 32 flares that were observed by the Solar Dynamics Observatory (SDO), by focusing on geometrical structures. We classified the events into six types, including the OP and RS types, based on photospheric magnetic field configuration, presence of precursor brightenings, and shape of the initial flare ribbons. As a result, we found that approximately 30% of the flares were consistent with our flare-trigger model, and the number of RS type triggered flares is larger than that of the OP type. We found none of the sampled events contradicts our flare model, although we cannot clearly determine the trigger mechanism of 70% of the flares in this study. We carefully investigated the applicability of our flare-trigger model and the possibility that other models can explain the other 70% of the events. Consequently, we concluded that our flare-trigger model has certainly proposed important conditions for flare-triggering.


title: Global Weak Solutions to Landau-Lifshitz Equations into Compact Lie Algebras

abstract: In this paper, we consider a parabolic system from a bounded domain in a Euclidean space or a closed Riemannian manifold into a unit sphere in a compact Lie algebra $\mathfrak{g}$, which can be viewed as the extension of Landau-Lifshtiz (LL) equation and was proposed by V. Arnold. We follow the ideas taken from the work by the second author to show the existence of global weak solutions to the Cauchy problems of such Landau-Lifshtiz equations from an $n$-dimensional closed Riemannian manifold $\mathbb{T}$ or a bounded domain in $\mathbb{R}^n$ into a unit sphere $S_\mathfrak{g}(1)$ in $\mathfrak{g}$. In particular, we consider the Hamiltonian system associated with the nonlocal energy--{\it micromagnetic energy} defined on a bounded domain of $\mathbb{R}^3$ and show the initial-boundary value problem to such LL equation without damping terms admits a global weak solution. The key ingredient of this article consists of the choices of test functions and approximate equations.


title: Redundancy of unbounded memory Markov classes with continuity conditions

abstract: We study the redundancy of universally compressing strings $X_1,\dots, X_n$ generated by a binary Markov source $p$ without any bound on the memory. To better understand the connection between compression and estimation in the Markov regime, we consider a class of Markov sources restricted by a continuity condition. In the absence of an upper bound on memory, the continuity condition implies that $p(X_0|X^{-1}_{-m})$ gets closer to the true probability $p(X_0|X_{-\infty}^{-1})$ as $m$ increases, rather than vary around arbitrarily. For such sources, we prove asymptotically matching upper and lower bounds on the redundancy. In the process, we identify what sources in the class matter the most from a redundancy perspective.


title: Local Nonautonomous Schr\"{o}dinger Flows on K\"{a}hler Manifolds

abstract: $\,\,\,\,\,\,$In this paper, we prove that the nonautonomous Schr\"{o}dinger flow from a compact Riemannian manifold into a K\"ahler manifold admits a local solution. Under some certain conditions, the solution is unique and has higher regularity.


title: Phase separation and hidden vortices induced by spin-orbit coupling in spin-1 Bose-Einstein condensates

abstract: We investigate phase separation and hidden vortices in spin-orbit coupled ferromagnetic BoseEinstein condensates with rotation and Rabi coupling. The hidden vortices are invisible in density distribution but are visible in phase distribution, which can carry angular momentum like the ordinary quantized vortices. In the absence of the rotation, we observe the phase separation induced by the spin-orbit coupling and determine the entire phase diagram of the existence of phase separation. For the rotation case, in addition to the phase separation, we demonstrate particularly that the spin-orbit coupling can result in the hidden vortices and hidden vortex-antivortex pairs. The corresponding entire phase diagrams are determined, depending on the interplay of the spin-orbit coupling strength, the rotation frequency, and Rabi frequency, which reveals the critical condition of the occurrence of the hidden vortices and vortex-antivortex pairs. The hidden vortices here are proved to be long-lived in the time scale of experiment by the dynamic analysis. These findings not only provide a clear illustration of the phase separation in spin-orbit coupled spinor Bose-Einstein condensates, but also open a new direction for investigating the hidden vortices in high-spin quantum system.


title: Homological congruence formulae for characteristic classes of singular varieties

abstract: For a pair $(f, g)$ of morphisms $f:X \to Z$ and $g:Y \to Z$ of (possibly singular) complex algebraic varieties $X,Y,Z$, we present congruence formulae for the difference $f_*T_{y*}(X) -g_*T_{y*}(Y)$ of pushforwards of the corresponding motivic Hirzebruch classes $T_{y*}$. If we consider the special pair of a fiber bundle $F \hookrightarrow E \to B$ and the projection $pr_2:F \times B \to B$ as such a pair $(f,g)$, then we get a congruence formula for the difference $f_*T_{y*}(E) -\chi_y(F)T_{y*}(B)$, which at degree level yields a congruence formula for $\chi_y(E) -\chi_y(F)\chi_y(B)$, expressed in terms of the Euler--Poincarv'e characteristic, Todd genus and signature in the case when $F, E, B$ are non-singular and compact. We also extend the finer congruence identities of Rovi--Yokura to the singular complex projective situation, by using the corresponding intersection (co)homology invariants.


title: Minimal Determination of a Pure State through Adaptive Tomography

abstract: Finding the least measurement settings to determine an arbitrary pure state has been long known as the Pauli problem. In the fixed measurement scheme four orthonormal bases are required even though there are far less parameters in a pure state. Peres conjectured that two unbiased bases suffice to determine a pure state up to some finite ambiguities. Here we shall at first prove Peres conjecture in the case of $d=3,4$, namely, two unbiased measurements determine a pure state up to to 6 and 16 candidates for a qutrit and ququad, respectively. And then, taking Peres' conjecture for established, we propose an adaptive 3-measurement scheme involving the minimal number of measurements, based on the observation that the ambiguities can be removed by an adaptive two-outcome projective measurement. With the help of this observation, we simplify a recent five-basis protocol $[Phys. Rev. Lett. 115, 090401 (2015)]$ to a three-basis one at the cost of the extra dichotomic measurement.


title: On the bio-habitability of M-dwarf planets

abstract: The recent detection of Earth-sized planets in the habitable zone of Proxima Centauri, Trappist-1 and many other nearby M-type stars has led to speculations, whether liquid water and life actually exist on these planets. To a large extent, the answer depends on their yet unknown atmospheres, which may though be within observational reach in the near future by JWST, ELT and other planned telescopes. We consider the habitability of planets of M-type stars in the context of their atmospheric properties, heat transport and irradiation. Instead of the traditional definition of the habitable zone, we define the bio-habitable zone, where liquid water and complex organic molecules can survive on at least part of the planetary surface. The atmospheric impact on the temperature is quantified in terms of the heating factor (a combination of greenhouse heating, stellar irradiation, albedo etc.) and heat redistribution (horizontal energy transport). We investigate the bio-habitable domain (where planets can support surface liquid water and organics) in terms of these two factors. Our results suggest that planets orbiting M-type stars may have life-supporting temperatures, at least on part of their surface, for a wide range of atmospheric properties. We apply this analyses to Proxima b and the Trappist-1 system. Finally we discuss the implications to the search of biosignatures and demonstrate how they may be used to estimate the abundance of photosynthesis and biotic planets.


title: Decay Estimations of Higher Derivatives of Solutions to Nonlinear Dirac Equation with Spin Null Structure

abstract: We get decay rate of higher derivatives of nonlinear massless Dirac equations with a kind of "good" spin null form. The method we rely on is similar to that of Li and Zang. However, they only give the decay rate of solution itself to nonlinear massless Dirac system.


title: Invariant Whitney Functions

abstract: A theorem of Gerald Schwarz [24, Thm. 1] says that for a linear action of a compact Lie group $G$ on a finite dimensional real vector space $V$ any smooth $G$-invariant function on $V$ can be written as a composite with the Hilbert map. We prove a similar statement for the case of Whitney functions along a subanalytic set $Z\subset V$ fulfilling some regularity assumptions. In order to deal with the case when $Z$ is not $G$-stable we use the language of groupoids.


title: Local strong solution to General Landau-Lifshitz-Bloch equation

abstract: In this paper, we bring in General Landau-Lifshitz-Bloch equation and prove that it admits a local strong solution.


title: Entropy rigidity and flexibility for suspension flows over Anosov diffeomorphisms

abstract: For any $C^\infty$, area-preserving Anosov diffeomorphism $f$ of a surface, we show that a suspension flow over $f$ is $C^\infty$-conjugate to a constant-time suspension flow of a hyperbolic automorphism of the two torus if and only if the volume measure is the measure with maximal entropy. We also show that the the metric entropy with respect to the volume measure and the topological entropy of suspension flow over Anosov diffeomorphisms on torus achieve all possible values. Our results fit into two programs related to entropy rigidity and flexibility of Anosov systems.


title: Algebraic formulas for the structure constants in symmetric functions

abstract: Littlewood-Richardson rule gives the decomposition formula for the multiplication of two Schur functions, while the decomposition formula for the multiplication of two Hall-Littlewood functions or two universal characters is also given by the combinatorial method. In this paper, using the vertex operator realizations of these symmetric functions, we construct the algebraic forms of these decomposition formulas.


title: GPU accelerated manifold correction method for spinning compact binaries

abstract: The conservative Post-Newtonian (PN) Hamiltonian formulation of spinning compact binaries has six integrals of motion including the total energy, the total angular momentum and the constant unit lengths of spins. The manifold correction method can effectively eliminate the integration errors accumulation in a long time. In this paper, the accelerated manifold correction method based on graphics processing unit (GPU) is designed to simulate the dynamic evolution of spinning compact binaries. The feasibility and the efficiency of parallel computation on GPU for spinning compact binaries have been confirmed by various numerical experiments. The numerical comparisons show that the accuracy on GPU execution of manifold corrections method has a good agreement with the execution of codes on merely central processing unit (CPU-based) method. The acceleration ability when the codes are implemented on GPU can increase enormously through the use of shared memory and register optimization techniques without additional hardware costs, implying that the speedup is nearly 13 times as compared with the codes executed on CPU for phase space scan (including orbits). In addition, GPU-accelerated manifold correction method is used to numerically study how dynamics are affected by the spin-induced quadrupole-monopole interaction for black hole binary system.


title: How many weights can a linear code have ?

abstract: We study the combinatorial function $L(k,q),$ the maximum number of nonzero weights a linear code of dimension $k$ over $\F_q$ can have. We determine it completely for $q=2,$ and for $k=2,$ and provide upper and lower bounds in the general case when both $k$ and $q$ are $\ge 3.$ A refinement $L(n,k,q),$ as well as nonlinear analogues $N(M,q)$ and $N(n,M,q),$ are also introduced and studied.


title: Gorenstein projective dimensions of modules over minimal Auslander-Gorenstein algebras

abstract: In this article we investigate the relations between the Gorenstein projective dimensions of $\Lambda$-modules and their socles for minimal n-Auslander-Gorenstein algebras $\Lambda$ in the sense of Iyama and Solberg \cite{IS}. First we give a description of projective-injective $\Lambda$-modules in terms of their socles. Then we prove that a $\Lambda$-module $N$ has Gorenstein projective dimension at most n iff its socle has Gorenstein projective dimension at most n iff $N$ is cogenerated by a projective $\Lambda$-module. Furthermore, we show that minimal n-Auslander-Gorenstein algebras can be characterised by the relations between the Gorenstein projective dimensions of modules and their socles.


title: Alternating Multi-bit Quantization for Recurrent Neural Networks

abstract: Recurrent neural networks have achieved excellent performance in many applications. However, on portable devices with limited resources, the models are often too large to deploy. For applications on the server with large scale concurrent requests, the latency during inference can also be very critical for costly computing resources. In this work, we address these problems by quantizing the network, both weights and activations, into multiple binary codes {-1,+1}. We formulate the quantization as an optimization problem. Under the key observation that once the quantization coefficients are fixed the binary codes can be derived efficiently by binary search tree, alternating minimization is then applied. We test the quantization for two well-known RNNs, i.e., long short term memory (LSTM) and gated recurrent unit (GRU), on the language models. Compared with the full-precision counter part, by 2-bit quantization we can achieve ~16x memory saving and ~6x real inference acceleration on CPUs, with only a reasonable loss in the accuracy. By 3-bit quantization, we can achieve almost no loss in the accuracy or even surpass the original model, with ~10.5x memory saving and ~3x real inference acceleration. Both results beat the exiting quantization works with large margins. We extend our alternating quantization to image classification tasks. In both RNNs and feedforward neural networks, the method also achieves excellent performance.


title: Macros to Conduct Tests of Multimodality in SAS

abstract: The Dip Test of Unimodality and Silverman's Critical Bandwidth Test are two popular tests to determine if an unknown density contains more than one mode. While the tests can be easily run in R, they are not included in SAS software. We provide implementations of the Dip Test and Silverman Test as macros in the SAS software, capitalizing on the capability of SAS to execute R code internally. Descriptions of the macro parameters, installation steps, and sample macro calls are provided, along with an appendix for troubleshooting. We illustrate the use of the macros on data simulated from one or more Gaussian distributions as well as on the famous $\textit{iris}$ dataset.


title: Taking Control: Design and Implementation of Botnets for Cyber-Physical Attacks with CPSBot

abstract: Recently, botnets such as Mirai and Persirai targeted IoT devices on a large scale. We consider attacks by botnets on cyber-physical systems (CPS), which require advanced capabilities such as controlling the physical processes in real-time. Traditional botnets are not suitable for this goal mainly because they lack process control capabilities, are not optimized for low latency communication, and bots generally do not leverage local resources. We argue that such attacks would require cyber-physical botnets. A cyber-physical botnet needs coordinated and heterogeneous bots, capable of performing adversarial control strategies while subject to the constraints of the target CPS. In this work, we present CPSBot, a framework to build cyber-physical botnets. We present an example of a centralized CPSBot targeting a centrally controlled system and a decentralized CPSBot targeting a system distributed control. We implemented the former CPSBot using MQTT for the C&C channel and Modbus/TCP as the target network protocol and we used it to launch several attacks on real and simulated Water Distribution. We evaluate our implementation with distributed reply and distributed impersonation attacks on a CPS, and show that malicious control with negligible latency is possible.


title: Semantic White Balance: Semantic Color Constancy Using Convolutional Neural Network

abstract: The goal of computational color constancy is to preserve the perceptive colors of objects under different lighting conditions by removing the effect of color casts caused by the scene's illumination. With the rapid development of deep learning based techniques, significant progress has been made in image semantic segmentation. In this work, we exploit the semantic information together with the color and spatial information of the input image in order to remove color casts. We train a convolutional neural network (CNN) model that learns to estimate the illuminant color and gamma correction parameters based on the semantic information of the given image. Experimental results show that feeding the CNN with the semantic information leads to a significant improvement in the results by reducing the error by more than 40%.


title: Bootstrapping and Multiple Imputation Ensemble Approaches for Missing Data

abstract: Presence of missing values in a dataset can adversely affect the performance of a classifier. Single and Multiple Imputation are normally performed to fill in the missing values. In this paper, we present several variants of combining single and multiple imputation with bootstrapping to create ensembles that can model uncertainty and diversity in the data, and that are robust to high missingness in the data. We present three ensemble strategies: bootstrapping on incomplete data followed by (i) single imputation and (ii) multiple imputation, and (iii) multiple imputation ensemble without bootstrapping. We perform an extensive evaluation of the performance of the these ensemble strategies on 8 datasets by varying the missingness ratio. Our results show that bootstrapping followed by multiple imputation using expectation maximization is the most robust method even at high missingness ratio (up to 30%). For small missingness ratio (up to 10%) most of the ensemble methods perform quivalently but better than single imputation. Kappa-error plots suggest that accurate classifiers with reasonable diversity is the reason for this behaviour. A consistent observation in all the datasets suggests that for small missingness (up to 10%), bootstrapping on incomplete data without any imputation produces equivalent results to other ensemble methods.


title: Revisiting Final State Interaction in Charmless $B_q\to P P$ Decays

abstract: Various new measurements in charmless $B_{u,d,s}\to PP$ modes, where $P$ is a low lying pseudoscalar meson, are reported by Belle and LHCb. These include the rates of $B^0\to\pi^0\pi^0$, $\eta\pi^0$, $B_s\to\eta'\eta'$, $B^0\to K^+K^-$ and $B^0_s\to\pi^+\pi^-$ decays. Some of these modes are highly suppressed and are among the rarest $B$ decays. Direct CP asymmetries on various modes are constantly updated. It is well known that direct CP asymmetries and rates of suppressed modes are sensitive to final state interaction (FSI). As new measurements are reported and more data will be collected, it is interesting and timely to revisit the rescattering effects in $B_{u,d,s}\to PP$ states. We perform a $\chi^2$ analysis with all available data on CP-averaged rates and CP asymmetries in $\overline B{}_{u,d,s}\to PP$ decays. Our numerical results are compared to data and those from factorization approach. The quality of the fit is improved significantly from the factorization results in the presence of rescattering. The relations on topological amplitudes and rescattering are explored and they help to provide a better understanding of the effects of FSI. As suggested by U(3) symmetry on topological amplitudes and FSI, a vanishing exchange rescattering scenario is considered. The exchange, annihilation, $u$-penguin, $u$-penguin annihilation and some electroweak penguin amplitudes are enhanced significantly via annihilation and total annihilation rescatterings. In particular, the $u$-penguin annihilation amplitude is sizably enhanced by the tree amplitude via total annihilation rescattering. These enhancements affect rates and CP asymmetries. Predictions can be checked in the near future.


title: The Great Division

abstract: When information flow fails, when Democrats and Republicans do not talk to each other, when Israelis and Palestinians do not talk to each other, and when North Koreans and South Koreans do not talk to each other, mis-perceptions, biases and fake news arise. In this paper we present an in-depth study of political polarization and social division using Twitter data and Monte Carlo simulations. First, we study at the aggregate level people's inclination to retweet within their own ideological circle. Introducing the concept of cocoon ratio, we show that Donald Trump's followers are 2.56 more likely to retweet a fellow Trump follower than to retweet a Hillary Clinton follower. Second, going down to the individual level, we show that the tendency of retweeting exclusively within one's ideological circle is stronger for women than for men and that such tendency weakens as one's social capital grows. Third, we use a one-dimensional Ising model to simulate how a society with high cocoon ratios could end up becoming completely divided. We conclude with a discussion of our findings with respect to fake news.


title: Optimal LRC codes for all lenghts n <= q

abstract: A family of distance-optimal LRC codes from certain subcodes of $q$-ary Reed-Solomon codes, proposed by I.~Tamo and A.~Barg in 2014, assumes that the code length $n$ is a multiple of $r+1.$ By shortening codes from this family, we show that it is possible to lift this assumption, still obtaining distance-optimal codes.


title: Negative thermal expansion and magnetoelastic coupling in the breathing pyrochlore lattice material LiGaCr4S8

abstract: The physical properties of the spinel LiGaCr4S8 have been studied with neutron diffraction, X-ray diffraction, magnetic susceptibility and heat capacity measurements. The neutron diffraction and synchrotron X-ray diffraction data reveal negative thermal expansion (NTE) below 111(4) K. The magnetic susceptibility deviates from Curie-Weiss behavior with the onset of NTE. At low temperature a broad peak in the magnetic susceptibility at 10.3(3) K is accompanied by the return of normal thermal expansion. First principles calculations find a strong coupling between the lattice and the simulated magnetic ground state. These results indicate strong magnetoelastic coupling in LiGaCr4S8.


title: Combination of complex momentum representation and Green's function methods in relativistic mean-field theory

abstract: We have combined the complex momentum representation method with the Green's function method in the relativistic mean-field framework to establish the RMF-CMR-GF approach. This new approach is applied to study the halo structure of $^{74}$Ca. All the continuum level density of concerned resonant states are calculated accurately without introducing any unphysical parameters, and they are independent of the choice of integral contour. The important single-particle wave functions and densities for the halo phenomenon in $^{74}$Ca are discussed in detail.


title: Bipartite discrimination of independently prepared quantum states as a counterexample to a parallel repetition conjecture

abstract: For distinguishing quantum states sampled from a fixed ensemble, the gap in bipartite and single-party distinguishability can be interpreted as a nonlocality of the ensemble. In this paper, we consider bipartite state discrimination in a composite system consisting of $N$ subsystems, where each subsystem is shared between two parties and the state of each subsystem is randomly sampled from a particular ensemble comprising the Bell states. We show that the success probability of perfectly identifying the state converges to $1$ as $N\rightarrow\infty$ if the entropy of the probability distribution associated with the ensemble is less than $1$, even if the success probability is less than $1$ for any finite $N$. In other words, the nonlocality of the $N$-fold ensemble asymptotically disappears if the probability distribution associated with each ensemble is concentrated. Furthermore, we show that the disappearance of the nonlocality can be regarded as a remarkable counterexample of a fundamental open question in theoretical computer science, called a parallel repetition conjecture of interactive games with two classically communicating players. Measurements for the discrimination task include a projective measurement of one party represented by stabilizer states, which enable the other party to perfectly distinguish states that are sampled with high probability.


title: HST spectrum and timing of the ultra-compact X-ray binary candidate 47 Tuc X9

abstract: To confirm the nature of the donor star in the ultra-compact X-ray binary candidate 47 Tuc X9, we obtained optical spectra (3,000$-$10,000 {\AA}) with the Hubble Space Telescope / Space Telescope Imaging Spectrograph. We find no strong emission or absorption features in the spectrum of X9. In particular, we place $3\sigma$ upper limits on the H$\alpha$ and HeII $\lambda 4686$ emission line equivalent widths $-$EW$_{\mathrm{H\alpha}} \lesssim 14$ {\AA} and $-$EW$_{\mathrm{HeII}} \lesssim 9$ {\AA}, respectively. This is much lower than seen for typical X-ray binaries at a similar X-ray luminosity (which, for $L_{\mathrm{2-10 keV}} \approx 10^{33}-10^{34}$ erg s$^{-1}$ is typically $-$EW$_{\mathrm{H\alpha}} \sim 50$ {\AA}). This supports our previous suggestion (by Bahramian et al.) of an H-poor donor in X9. We perform timing analysis on archival far-ultraviolet, $V$ and $I$-band data to search for periodicities. In the optical bands we recover the seven-day superorbital period initially discovered in X-rays, but we do not recover the orbital period. In the far-ultraviolet we find evidence for a 27.2 min period (shorter than the 28.2 min period seen in X-rays). We find that either a neutron star or black hole could explain the observed properties of X9. We also perform binary evolution calculations, showing that the formation of an initial black hole / He-star binary early in the life of a globular cluster could evolve into a present-day system such as X9 (should the compact object in this system indeed be a black hole) via mass-transfer driven by gravitational wave radiation.


title: Throughput Analysis of IEEE 802.11 Multi-hop Wireless Networks with Routing Consideration: A General Framework

abstract: The end-to-end throughput of multi-hop communication in wireless ad hoc networks is affected by the conflict between forwarding nodes. It has been shown that sending more packets than maximum achievable end-to-end throughput not only fails to increase throughput, but also decreases throughput owing to high contention and collision. Accordingly, it is of crucial importance for a source node to know the maximum end-to-end throughput. The end-to-end throughput depends on multiple factors, such as physical layer limitations, MAC protocol properties, routing policy and nodes distribution. There have been many studies on analytical modeling of end-to-end throughput but none of them has taken routing policy and nodes distribution as well as MAC layer altogether into account. In this paper, the end-to-end throughput with perfect MAC layer is obtained based on routing policy and nodes distribution in one and two dimensional networks. Then, imperfections of IEEE 802:11 protocol is added to the model to obtain precise value. An exhaustive simulation is also made to validate the proposed models using NS2 simulator. Results show that if the distribution to the next hop for a particular routing policy is known, our methodology can obtain the maximum end-to-end throughput precisely.


title: Study of Uniform Jitter Mechanism for Metric-based Wireless Routing

abstract: Many wireless protocols wait a small and random amount of time which is called jitter before sending a packet to avoid high contention and packet collision. Jitter has been already proposed for many routing protocols including AODV and LOADng. However, since they do not consider any link quality parameters or metrics (such as ETX) in routing, they fail to be efficient in metric-based routing protocols. A metric-based jitter mechanism is proposed in this paper and a closed form expression is derived that enables us to obtain the probability of delay inversion for all jitter mechanisms available. Simulation results are also presented to show the performance of different jitter mechanisms.


title: Investigation of La and Al substitution on the spontaneous polarization and lattice dynamics of the Pb(1-x)LaxTi(1-x)AlxO3 ceramics

abstract: The phase purity and crystal structure of PLTA samples (synthesized via sol-gel process) were confirmed using synchrotron x-ray powder diffraction (wavelength, lmbda= 0.44573 A. Rietveld analyses of powder x-ray diffraction data confirmed the tetragonal structure for compositions with more than 0.18 and cubic structure for the sample with 0.25 composition. Temperature-dependent XRD was performed to investigate the structural change from tetragonal to cubic structure phase transition. Raman spectroscopy at room temperature also confirmed this phase transition with composition. Field emission scanning electron provided information about surface morphology while an energy dispersive x-ray spectrometer attached with FESEM confirmed the chemical compositions of samples. Temperature and frequency dependent dielectric studies showed that the tetragonal to cubic phase transition decreased from 680 K to 175 K with the increase in the x from 0.03 to 0.25, respectively. This is correlated with the structural studies. Electric field dependent spontaneous polarization showed proper ferroelectric loop for 0.06 to 0.18 belonging to a tetragonal phase while after 0.25 composition the spontaneous polarization vanishes.Bipolar strain versus electric field revealed a butterfly loop for 0.06 to 0.18 compositions. Energy storage efficiency initially increases nominally with substitution but beyond 0.18 composition enhances considerably.


title: Rigidity for relative $0$-cycles

abstract: We present a relation between the classical Chow group of relative $0$-cycles on a regular scheme $\mathcal{X}$, projective and flat over an excellent Henselian discrete valuation ring, and the Levine-Weibel Chow group of 0-cycles on the special fiber. We show that these two Chow groups are isomorphic with finite coefficients under extra assumptions. This generalizes a result of Esnault, Kerz and Wittenberg.


title: PCOT: Cache Oblivious Tiling of Polyhedral Programs

abstract: This paper studies two variants of tiling: iteration space tiling (or loop blocking) and cache-oblivious methods that recursively split the iteration space with divide-and-conquer. The key question to answer is when we should be using one over the other. The answer to this question is complicated for modern architecture due to a number of reasons. In this paper, we present a detailed empirical study to answer this question for a range of kernels that fit the polyhedral model. Our study is based on a generalized cache oblivious code generator that support this class, which is a superset of those supported by existing tools. The conclusion is that cache oblivious code is most useful when the aim is to have reduced off-chip memory accesses, e.g., lower energy, albeit certain situations that diminish its effectiveness exist.


title: Consensus-based Distributed Quickest Detection of Attacks with Unknown Parameters

abstract: Sequential attack detection in a distributed estimation system is considered, where each sensor successively produces one-bit quantized samples of a desired deterministic scalar parameter corrupted by additive noise. The unknown parameters in the pre-attack and post-attack models, namely the desired parameter to be estimated and the injected malicious data at the attacked sensors pose a significant challenge for designing a computationally efficient scheme for each sensor to detect the occurrence of attacks by only using local communication with neighboring sensors. The generalized Cumulative Sum (GCUSUM) algorithm is considered, which replaces the unknown parameters with their maximum likelihood estimates in the CUSUM test statistic. For the problem under consideration, a sufficient condition is provided under which the expected false alarm period of the GCUSUM can be guaranteed to be larger than any given value. Next, we consider the distributed implementation of the GCUSUM. We first propose an alternative test statistic which is asymptotically equivalent to that of GCUSUM. Then based on the proposed alternative test statistic and running consensus algorithms, we propose a distributed approximate GCUSUM algorithm which significantly reduce the prohibitively high computational complexity of the centralized GCUSUM. Numerical results show that the distributed approximate GCUSUM algorithm can provide a performance that is comparable to the centralized GCUSUM.


title: Deep Neural Nets with Interpolating Function as Output Activation

abstract: We replace the output layer of deep neural nets, typically the softmax function, by a novel interpolating function. And we propose end-to-end training and testing algorithms for this new architecture. Compared to classical neural nets with softmax function as output activation, the surrogate with interpolating function as output activation combines advantages of both deep and manifold learning. The new framework demonstrates the following major advantages: First, it is better applicable to the case with insufficient training data. Second, it significantly improves the generalization accuracy on a wide variety of networks. The algorithm is implemented in PyTorch, and code will be made publicly available.


title: Entanglement Entropy for Open Bosonic Strings on $Dp$-branes

abstract: We study the entanglement entropy for open bosonic strings on multiple $Dp$-branes by using the covariant open string field theory. Choosing one of the spatial coordinates which are tangential to the hyperplane on which $Dp$-branes are located, we divide the hyperplane into two halves. By using the string wavefunction in the Fock space representation, we evaluate the entanglement entropy. The entanglement entropy is found to be proportional to the area of $(p-1)$-dimensional boundary of the bipartite hyperplanes and divergent in the ultraviolet (UV) region as well as in the infrared (IR) region. However, the leading divergences are mainly due to tachyon contributions to the entanglement entropy, which may be absent in supersymmetric string theories. Apart from the divergences thanks to tachyons, the entanglement entropy for open bosonic strings on $Dp$-branes is finite for $2 \le p \le d_{\text{critical}} -2$ and logarithmically divergent for $p =1, d_{\text{critical}}-1$.


title: Classification of solitons for pluriclosed flow on complex surfaces

abstract: We give a classification of compact solitons for the pluriclosed flow on complex surfaces. First, by exploiting results from the Kodaira classification of surfaces, we show that the complex surface underlying a soliton must be K\"ahler except for the possibility of steady solitons on minimal Hopf surfaces. Then, we construct steady solitons on all class $1$ Hopf surfaces by exploiting a natural symmetry ansatz.


title: Accelerated Variational Quantum Eigensolver

abstract: The problem of finding the ground state energy of a Hamiltonian using a quantum computer is currently solved using either the quantum phase estimation (QPE) or variational quantum eigensolver (VQE) algorithms. For precision $\epsilon$, QPE requires $O(1)$ repetitions of circuits with depth $O(1/\epsilon)$, whereas each expectation estimation subroutine within VQE requires $O(1/\epsilon^{2})$ samples from circuits with depth $O(1)$. We propose a generalised VQE algorithm that interpolates between these two regimes via a free parameter $\alpha\in[0,1]$ which can exploit quantum coherence over a circuit depth of $O(1/\epsilon^{\alpha})$ to reduce the number of samples to $O(1/\epsilon^{2(1-\alpha)})$. Along the way, we give a new routine for expectation estimation under limited quantum resources that is of independent interest.


title: Phenomenology of anomalous chiral transports in heavy-ion collisions

abstract: High-energy Heavy-ion collisions can generate extremely hot quark-gluon matter and also extremely strong magnetic fields and fluid vorticity. Once coupled to chiral anomaly, the magnetic fields and fluid vorticity can induce a variety of novel transport phenomena, including the chiral magnetic effect, chiral vortical effect, etc. Some of them require the environmental violation of parity and thus provide a means to test the possible parity violation in hot strongly interacting matter. We will discuss the underlying mechanism and implications of these anomalous chiral transports in heavy-ion collisions.


title: Demonstration of a compact linear accelerator

abstract: Recently, we presented a new approach for a compact radio-frequency (RF) accelerator structure and demonstrated the functionality of the individual components: acceleration units and focusing elements. In this paper, we combine these units to form a working accelerator structure including a matching section between the ion source extraction grids and the RF-acceleration unit. The matching section consist of six electrostatic quadrupoles (ESQs) fabricated using 3D-printing techniques. The matching section enables us to capture twice the amount of beam and match the beam envelope to conditions for an acceleration lattice. We present data from an integrated accelerator consisting of the source, matching section, and an ESQ doublet sandwiched between two RF-acceleration units.


title: Augmented Space Linear Model

abstract: The linear model uses the space defined by the input to project the target or desired signal and find the optimal set of model parameters. When the problem is nonlinear, the adaption requires nonlinear models for good performance, but it becomes slower and more cumbersome. In this paper, we propose a linear model called Augmented Space Linear Model (ASLM), which uses the full joint space of input and desired signal as the projection space and approaches the performance of nonlinear models. This new algorithm takes advantage of the linear solution, and corrects the estimate for the current testing phase input with the error assigned to the input space neighborhood in the training phase. This algorithm can solve the nonlinear problem with the computational efficiency of linear methods, which can be regarded as a trade off between accuracy and computational complexity. Making full use of the training data, the proposed augmented space model may provide a new way to improve many modeling tasks.


title: Hot spots of solutions to the heat equation with inverse square potential

abstract: We investigate the large time behavior of the hot spots of the solution to the Cauchy problem for the heat equation with a potential $\partial_t u-\Delta u+V(|x|)u=0$, where $V=V(r)$ decays quadratically as $r\to\infty$. In this paper, based on the arguments in [K. Ishige and A. Mukai, preprint (arXiv:1709.00809)], we classify the large time behavior of the hot spots of $u$ and reveal the relationship between the behavior of the hot spots and the harmonic functions for $-\Delta+V$.


title: Perceptual Compressive Sensing

abstract: Compressive sensing (CS) works to acquire measurements at sub-Nyquist rate and recover the scene images. Existing CS methods always recover the scene images in pixel level. This causes the smoothness of recovered images and lack of structure information, especially at a low measurement rate. To overcome this drawback, in this paper, we propose perceptual CS to obtain high-level structured recovery. Our task no longer focuses on pixel level. Instead, we work to make a better visual effect. In detail, we employ perceptual loss, defined on feature level, to enhance the structure information of the recovered images. Experiments show that our method achieves better visual results with stronger structure information than existing CS methods at the same measurement rate.


title: Black Hole Entropy production and Transport coefficients in Lovelock Gravity

abstract: We study the entropy evolution of black holes in Lovelock gravity by formulating a thermodynamic generalization of null Raychaudhuri equation. We show that the similarity between the expressions of entropy change of the black hole horizon due to perturbation and that of a fluid, which is out of equilibrium, transcends beyond general relativity to the Lovelock class of theories. Exploiting this analogy we find that the shear and bulk viscosities for the black holes in Lovelock theories exactly match with those obtained in the membrane paradigm and also from holographic considerations.


title: Theory of spin and lattice wave dynamics excited by focused laser pulses

abstract: We develop a theory of the spin wave dynamics excited by ultrafast focused laser pulses in a magnetic film. We take into account both volume and surface spin wave modes in the presence of applied, dipolar and magnetic anisotropy fields and include the dependence on laser spot exposure size and magnetic damping. We show that the sound waves generated by local heating by an ultrafast focused laser pulse can excite a wide spectrum of spin waves (on top of a dominant magnon-phonon contribution). Good agreement with recent experiments supports the validity of the model.


title: Full Image Recover for Block-Based Compressive Sensing

abstract: Recent years, compressive sensing (CS) has improved greatly for the application of deep learning technology. For convenience, the input image is usually measured and reconstructed block by block. This usually causes block effect in reconstructed images. In this paper, we present a novel CNN-based network to solve this problem. In measurement part, the input image is adaptively measured block by block to acquire a group of measurements. While in reconstruction part, all the measurements from one image are used to reconstruct the full image at the same time. Different from previous method recovering block by block, the structure information destroyed in measurement part is recovered in our framework. Block effect is removed accordingly. We train the proposed framework by mean square error (MSE) loss function. Experiments show that there is no block effect at all in the proposed method. And our results outperform 1.8 dB compared with existing methods.


title: Machine learning and evolutionary techniques in interplanetary trajectory design

abstract: After providing a brief historical overview on the synergies between artificial intelligence research, in the areas of evolutionary computations and machine learning, and the optimal design of interplanetary trajectories, we propose and study the use of deep artificial neural networks to represent, on-board, the optimal guidance profile of an interplanetary mission. The results, limited to the chosen test case of an Earth-Mars orbital transfer, extend the findings made previously for landing scenarios and quadcopter dynamics, opening a new research area in interplanetary trajectory planning.


title: Magnetic and magnetocaloric properties of the exactly solvable mixed-spin Ising model on a decorated triangular lattice in a magnetic field

abstract: The ground state, zero-temperature magnetization process, critical behaviour and isothermal entropy change of the mixed-spin Ising model on a decorated triangular lattice in a magnetic field are exactly studied after performing the generalized decoration-iteration mapping transformation. It is shown that both the inverse and conventional magnetocaloric effect can be found near the absolute zero temperature. The former phenomenon can be found in a vicinity of the discontinuous phase transitions and their crossing, while the latter one occurs in some paramagnetic phases due to a spin frustration to be present at zero magnetic field. The inverse magnetocaloric effect can also be detected slightly above continuous phase transitions following the power-law dependence $|-\Delta{\cal S}_{iso}^{min}|\propto h^n$, where $n$ depends basically on the ground-state spin ordering.


title: Modeling and control of permanent-magnet synchronous generators under open-switch converter faults

abstract: The mathematical modeling of open-switch faults in two-level machine-side converters and the fault-tolerant current control of isotropic permanent-magnet synchronous generators are discussed. The proposed converter model is generic for any open-switch fault and independent of the operation mode of the electrical machine. The proposed fault-tolerant current control system gives improved control performance and reduced torque ripple under open-switch faults by (i) modifying the anti-windup strategy, (ii) adapting the space-vector modulation scheme and (iii) by injecting additional reference currents. The theoretical derivations of model and control are validated by comparative simulation and measurement results.


title: The H$\alpha$ and H$\beta$ Raman-scattering line profiles of the symbiotic star AG Peg

abstract: The H$\alpha$ and H$\beta$ line profiles of the symbiotic star AG Peg observed on 1998 September (phase $\phi$ = 10.24), display the top narrow double Gaussian and bottom broad (FWHM of 200 -- 400 kms$^{-1}$) components. The photo-ionization model indicated that the ionized zone, responsible for the hydrogen Balmer and Lyman lines, is radiation-bounded, with a hydrogen gas number density of $n_{\rm H} \sim 10^{9.85}$ cm$^{-3}$ and a gas temperature of T$_e$ = 12\,000 -- 15\,000~K. We carried out Monte Carlo simulations to fit the Raman scattering broad wings, assuming that the hydrogen Ly$\beta$ and Ly$\gamma$ lines emitted within the radiation-bounded HII zone around a white dwarf have the same double Gaussian line profile shape as the hydrogen Balmer lines. The simulation shows that the scattering HI zones are attached to (or located just outside of) the inner HII shells. The best fit to the observed broad HI line profiles indicates that the column density of the scattering neutral zone is $N_{\rm H} \simeq $ 3 -- 5 $\times$ 10$^{19}$ cm$^{-2}$. We examined whether the geometrical structure responsible for the observed H$\alpha$ and H$\beta$ line profiles is a bipolar conical shell structure, consisting of the radiation-bounded ionized zone and the outer material bounded neutral zone. The expanding bipolar structure might be two opposite regions of the common envelope or the outer shell of the Roche lobe around the hot white dwarf, formed through the mass inflows from the giant star and pushed out by the fast winds from the hot white dwarf.


title: Wave equations associated to Liouville-type problems: global existence in time and blow up criteria

abstract: We are concerned with wave equations associated to some Liouville-type problems on compact surfaces, focusing on sinh-Gordon equation and general Toda systems. Our aim is on one side to develop the analysis for wave equations associated to the latter problems and second, to substantially refine the analysis initiated in [11] concerning the mean field equation. In particular, by exploiting the variational analysis recently derived for Liouville-type problems we prove global existence in time for the sub-critical case and we give general blow up criteria for the super-critical and critical case. The strategy is mainly based on fixed point arguments and improved versions of the Moser-Trudinger inequality.


title: Spatio-temporal transfer function conditions of positive realness for translation invariant lattice networks of interacting linear systems

abstract: This paper is concerned with networks of interacting linear systems at sites of a multidimensional lattice. The systems are governed by linear ODEs with constant coefficients driven by external inputs, and their internal dynamics and coupling with the other component systems are translation invariant. Such systems occur, for example, in finite-difference models of large-scale flexible structures manufactured from homogeneous materials. Using the spatio-temporal transfer function of this translation invariant network, we establish conditions for its positive realness in the sense of energy dissipation. The latter is formulated in terms of block Toeplitz bilinear forms of the input and output variables of the composite system. We also discuss quadratic stability of the network in isolation from the environment and phonon theoretic dispersion relations.


title: Weakly solutions to the complex Monge-Amp\`ere equation on bounded plurifinely hyperconvex domains

abstract: Let $\mu$ be a non-negative measure defined on bounded $\mathcal F$-hyperconvex domain $\Omega$. We are interested in giving sufficient conditions on $\mu$ such that we can find a plurifinely plurisubharmonic function satisfying $NP (dd^c u)^n =\mu$ in $QB(\Omega)$.


title: Clustering and Unsupervised Anomaly Detection with L2 Normalized Deep Auto-Encoder Representations

abstract: Clustering is essential to many tasks in pattern recognition and computer vision. With the advent of deep learning, there is an increasing interest in learning deep unsupervised representations for clustering analysis. Many works on this domain rely on variants of auto-encoders and use the encoder outputs as representations/features for clustering. In this paper, we show that an l2 normalization constraint on these representations during auto-encoder training, makes the representations more separable and compact in the Euclidean space after training. This greatly improves the clustering accuracy when k-means clustering is employed on the representations. We also propose a clustering based unsupervised anomaly detection method using l2 normalized deep auto-encoder representations. We show the effect of l2 normalization on anomaly detection accuracy. We further show that the proposed anomaly detection method greatly improves accuracy compared to previously proposed deep methods such as reconstruction error based anomaly detection.


title: Enhancing photon squeezing one Leviton at a time

abstract: A mesoscopic device in the simple tunnel junction or quantum point contact geometry emits microwaves with remarkable quantum properties, when subjected to a sinusoidal drive in the GHz range. In particular, single and two-photon squeezing as well as entanglement in the frequency domain have been reported. By revising the photo-assisted noise analysis developed in the framework of electron quantum optics, we present a detailed comparison between the cosine drive case and other experimentally relavent periodic voltages such as rectangular and Lorentzian pulses. We show that the latter drive is the best candidate in order to enhance quantum features and purity of the outgoing single and two-photon states, a noteworthy result in a quantum information perspective.


title: Propelled micro-probes in turbulence

abstract: The temporal statistics of incompressible fluid velocity and passive scalar fields in developed turbulent conditions is investigated by means of direct numerical simulations along the trajectories of self-propelled point-like probes drifting in a flow. Such probes are characterised by a propulsion velocity which is fixed in intensity and direction; however, like vessels in a flow they are continuously deviated by their intended course as the result of local sweeping of the fluid flow. The recorded time-series by these moving probes represent the simplest realisation of transect measurements in a fluid flow environment. We investigate the non trivial combination of Lagrangian and Eulerian statistical properties displayed by the transect time-series. We show that, as a result of the homogeneity and isotropy of the flow, the single-point acceleration statistics of the probes follows a predictable trend at varying the propulsion speed, a feature that is also present in the scalar time-derivative fluctuations. Further, by focusing on two-time statistics we characterize how the Lagrangian-to-Eulerian transition occurs at increasing the propulsion velocity. The analysis of intermittency of temporal increments highlights in a striking way the opposite trends displayed by the fluid velocity and passive scalars.


title: Relations between the single-pass and double-pass transition probabilities in quantum systems with two and three states

abstract: In the experimental determination of the population transfer efficiency between discrete states of a coherently driven quantum system it is often inconvenient to measure the population of the target state. Instead, after the interaction that transfers the population from the initial state to the target state, a second interaction is applied which brings the system back to the initial state, the population of which is easy to measure and normalize. If the transition probability is $p$ in the forward process, then classical intuition suggests that the probability to return to the initial state after the backward process should be $p^2$. However, this classical expectation is generally misleading because it neglects interference effects. This paper presents a rigorous theoretical analysis based on the SU(2) and SU(3) symmetries of the propagators describing the evolution of quantum systems with two and three states, resulting in explicit analytic formulas that link the two-step probabilities to the single-step ones. Explicit examples are given with the popular techniques of rapid adiabatic passage and stimulated Raman adiabatic passage. The present results suggest that quantum-mechanical probabilities degrade faster in repeated processes than classical probabilities. Therefore, the actual single-pass efficiencies in various experiments, calculated from double-pass probabilities, might have been greater than the reported values.


title: Powerful Solar Flares of September 2017: Correspondence Between Parameters of Microwave Bursts and Proton Fluxes near Earth

abstract: In this note, we consider radio characteristics of three proton flares that caused discrete enhancements of solar energetic particles (SEPs) near Earth. The analysis confirmed that the flux density and frequency spectrum of microwave bursts, although the latter are generated by electrons propagating to the photosphere, reflect the number and energy spectrum of accelerated particles, including the 10-100 MeV protons coming to Earth.


title: Non-symplectic automorphisms of odd prime order on manifolds of $K3^{[n]}$-type

abstract: We classify non-symplectic automorphisms of odd prime order on irreducible holomorphic symplectic manifolds which are deformations of Hilbert schemes of any number n of points on K3 surfaces, extending results already known for n=2. In order to do so, we study the properties of the invariant lattice of the automorphism (and its orthogonal complement) inside the second cohomology lattice of the manifold. We also explain how to construct automorphisms with fixed action on cohomology: in the cases n=3,4 the examples provided allow to realize all admissible actions in our classification. For n=4, we present a construction of non-symplectic automorphisms on the Lehn-Lehn-Sorger-van Straten eightfold, which come from automorphisms of the underlying cubic fourfold.


title: Manifestation of Lepton Interaction Nonuniversality in Spontaneously Violated Mirror Symmetry

abstract: LHCb data indicate a significant difference in widths between the B->K (or K^*) + e^+ e^- and B->K (or K^*) + {\mu}^+ {\mu}^- decays (April 2017). The width of the e^+ e^--channel is noticeably larger than that of the {\mu}^+ {\mu}^--channel. SM-calculations require equality here. The difference may mean that a new interaction exists which changes generations and distinguishes leptons, with coupling constants much larger than, and inverse in power to, the SM-coupling of fermions with the Higgs boson. In the spontaneously violated mirror symmetry, the coupling between SM particles and the heavy (in principle) second Higgs scalar, necessarily present here, is characterized by precisely such properties. The inverse strong power of such a coupling is not an additional hypothesis but also a necessary condition for the qualitative reproduction of the observed mass hierarchy of charged leptons and the structure of lepton weak mixing, the PMNS matrix. In the mirror model being discussed, all properties, including the inverse power of the new interaction, are dictated by the hierarchical character of mass spectra for quarks and charged leptons.


title: Tradeoff between Delay and Physical Layer Security in Wireless Networks

abstract: Exchange of crucial and confidential information leads to the unprecedented attention on the security problem in wireless networks. Though the security has been studied in a number of works, the joint optimization of the physical layer security and the end-to-end delay management, which requires a meticulous cross-layer design, has seldom been evaluated. In this work, by combining the tools from stochastic geometry and queueing theory, we analyze the tradeoff between the delay and the security performance in large wireless networks. We further propose a simple transmission mechanism which splits a message into two packets and evaluate its effect on the mean delay and the secrecy outage probability. Our numerical results reveal that the security performance is better for larger path loss exponent when the density of legitimate nodes is large, and it is reverse when the density is small. Moreover, it is observed that by introducing the simple mechanism of message split, the security performance is greatly improved in the backlogged scenario and slightly improved in the dynamic scenario when the density of legitimate transmitters is large. In summary, this work provides an understanding and a rule-of-thumb for the practical design of wireless networks where both the delay and the security are key concerns.


title: On the Expressive Completeness of Bernays-Sch\"onfinkel-Ramsey Separation Logic

abstract: This paper investigates the satisfiability problem for Separation Logic, with unrestricted nesting of separating conjunctions and implications, for prenex formulae with quantifier prefix in the language $\exists^*\forall^*$, in the cases where the universe of possible locations is either countably infinite or finite. In analogy with first-order logic with uninterpreted predicates and equality, we call this fragment Bernays-Sch\"onfinkel-Ramsey Separation Logic [BSR(SLk)]. We show that, unlike in first-order logic, the (in)finite satisfiability problem is undecidable for BSR(SLk) and we define two non-trivial subsets thereof, that are decidable for finite and infinite satisfiability, respectively, by controlling the occurrences of universally quantified variables within the scope of separating implications, as well as the polarity of the occurrences of the latter. The decidability results are obtained by a controlled elimination of separating connectives, described as (i) an effective translation of a prenex form Separation Logic formula into a combination of a small number of \emph{test formulae}, using only first-order connectives, followed by (ii) a translation of the latter into an equisatisfiable first-order formula.


title: Parametrization of 3x3 unitary matrices based on polarization algebra

abstract: A parametrization of 3x3 unitary matrices is presented. This mathematical approach is inspired on polarization algebra and is formulated through the identification of a set of three orthonormal three-dimensional Jones vectors representing the respective pure polarization states. This approach leads to the representation of a 3x3 unitary matrix as an orthogonal similarity transformation of a particular type of unitary matrix that depends on six independent parameters, while the remaining three parameters correspond to the orthogonal matrix of the said transformation. The results obtained are applied to determine the structure of the second component of the characteristic decomposition of a 3x3 positive semidefinite Hermitian matrix.


title: On commuting $p$-version projection-based interpolation on tetrahedra

abstract: On the reference tetrahedron $\widehat K$, we define three projection-based interpolation operators on $H^2(\widehat K)$, ${\mathbf H}^1(\widehat K,\operatorname{\mathbf{curl}})$, and ${\mathbf H}^1(\widehat K,\operatorname{div})$. These operators are projections onto space of polynomials, they have the commuting diagram property and feature the optimal convergence rate as the polynomial degree increases in $H^{1-s}(\widehat K)$, ${\mathbf H}^{-s}(\widehat K,\operatorname{\mathbf{curl}})$, ${\mathbf H}^{-s}(\widehat K,\operatorname{div})$ for $0 \leq s \leq 1$.