title: TuckerMPI: A Parallel C++/MPI Software Package for Large-scale Data Compression via the Tucker Tensor Decomposition

abstract: Our goal is compression of massive-scale grid-structured data, such as the multi-terabyte output of a high-fidelity computational simulation. For such data sets, we have developed a new software package called TuckerMPI, a parallel C++/MPI software package for compressing distributed data. The approach is based on treating the data as a tensor, i.e., a multidimensional array, and computing its truncated Tucker decomposition, a higher-order analogue to the truncated singular value decomposition of a matrix. The result is a low-rank approximation of the original tensor-structured data. Compression efficiency is achieved by detecting latent global structure within the data, which we contrast to most compression methods that are focused on local structure. In this work, we describe TuckerMPI, our implementation of the truncated Tucker decomposition, including details of the data distribution and in-memory layouts, the parallel and serial implementations of the key kernels, and analysis of the storage, communication, and computational costs. We test the software on 4.5 terabyte and 6.7 terabyte data sets distributed across 100s of nodes (1000s of MPI processes), achieving compression rates between 100-200,000$\times$ which equates to 99-99.999% compression (depending on the desired accuracy) in substantially less time than it would take to even read the same dataset from a parallel filesystem. Moreover, we show that our method also allows for reconstruction of partial or down-sampled data on a single node, without a parallel computer so long as the reconstructed portion is small enough to fit on a single machine, e.g., in the instance of reconstructing/visualizing a single down-sampled time step or computing summary statistics.


title: Affine curvature lines of surfaces in 3-space

abstract: In this work we study the affine principal lines of surfaces in 3-space. We consider the binary differential equation of the affine curvature lines and obtain the topological models of these curves near the affine umbilic points (elliptic and hyperbolic). We also describe the generic behavior of affine curvature lines in the neighborhood of points with double eigenvalues (but not umbilics) of the affine shape operator and parabolic points


title: BE-HaPPY: Bias Emulator for Halo Power Spectrum including massive neutrinos

abstract: We study the clustering properties of dark matter halos in real- and redshift-space in cosmologies with massless and massive neutrinos through a large set of state-of-the-art N-body simulations. We provide quick and easy-to-use prescriptions for the halo bias on linear and mildly non-linear scales, both in real and redshift space, which are valid also for massive neutrinos cosmologies. Finally we present a halo bias emulator,$\textbf{BE-HaPPY}$, calibrated on the N-body simulations, which is fast enough to be used in the standard Markov Chain Monte Carlo approach to cosmological inference. For a fiducial standard $\Lambda$CDM cosmology $\textbf{BE-HaPPY}$ provides percent or sub-percent accuracy on the scales of interest (linear and well into the mildly non-linear regime), meeting therefore for the halo-bias the accuracy requirements for the analysis of next-generation large--scale structure surveys.


title: Good Similar Patches for Image Denoising

abstract: Patch-based denoising algorithms like BM3D have achieved outstanding performance. An important idea for the success of these methods is to exploit the recurrence of similar patches in an input image to estimate the underlying image structures. However, in these algorithms, the similar patches used for denoising are obtained via Nearest Neighbour Search (NNS) and are sometimes not optimal. First, due to the existence of noise, NNS can select similar patches with similar noise patterns to the reference patch. Second, the unreliable noisy pixels in digital images can bring a bias to the patch searching process and result in a loss of color fidelity in the final denoising result. We observe that given a set of good similar patches, their distribution is not necessarily centered at the noisy reference patch and can be approximated by a Gaussian component. Based on this observation, we present a patch searching method that clusters similar patch candidates into patch groups using Gaussian Mixture Model-based clustering, and selects the patch group that contains the reference patch as the final patches for denoising. We also use an unreliable pixel estimation algorithm to pre-process the input noisy images to further improve the patch searching. Our experiments show that our approach can better capture the underlying patch structures and can consistently enable the state-of-the-art patch-based denoising algorithms, such as BM3D, LPCA and PLOW, to better denoise images by providing them with patches found by our approach while without modifying these algorithms.


title: Learning Mutually Local-global U-nets For High-resolution Retinal Lesion Segmentation in Fundus Images

abstract: Diabetic retinopathy is the most important complication of diabetes. Early diagnosis of retinal lesions helps to avoid visual loss or blindness. Due to high-resolution and small-size lesion regions, applying existing methods, such as U-Nets, to perform segmentation on fundus photography is very challenging. Although downsampling the input images could simplify the problem, it loses detailed information. Conducting patch-level analysis helps reaching fine-scale segmentation yet usually leads to misunderstanding as the lack of context information. In this paper, we propose an efficient network that combines them together, not only being aware of local details but also taking fully use of the context perceptions. This is implemented by integrating the decoder parts of a global-level U-net and a patch-level one. The two streams are jointly optimized, ensuring that they are enhanced mutually. Experimental results demonstrate our new framework significantly outperforms existing patch-based and global-based methods, especially when the lesion regions are scattered and small-scaled.


title: Decomposition of games: some strategic considerations

abstract: Candogan et al. (2011) provide an orthogonal direct-sum decomposition of finite games into potential, harmonic and nonstrategic components. In this paper we study the issue of decomposing games that are strategically equivalent from a game-theoretical point of view, for instance games obtained via transformations such as duplications of strategies or positive affine mappings of of payoffs. We show the need to define classes of decompositions to achieve commutativity of game transformations and decompositions.


title: A variable nonlinear splitting algorithm for reaction-diffusion systems with self- and cross-diffusion

abstract: Self- and cross-diffusion are important nonlinear spatial derivative terms that are included into biological models of predator-prey interactions. Self-diffusion models overcrowding effects, while cross-diffusion incorporates the response of one species in light of the concentration of another. In this paper, a novel nonlinear operator splitting method is presented that directly incorporates both self- and cross-diffusion into a computational efficient design. The numerical analysis guarantees the accuracy and demonstrates appropriate criteria for stability. Numerical experiments display its efficiency and accuracy.


title: Chemical compositions of giants in the Hyades And Sirius superclusters

abstract: An abundance analysis for 20 elements from Na to Eu is reported for 34 K giants from the Hyades supercluster and for 22 K giants from the Sirius supercluster. Observed giants were identified as highly probable members of their respective superclusters by Famaey et al. (2005, A&A, 430, 165). Three giants each from the Hyades and Praesepe open clusters were similarly observed and analysed. Each supercluster shows a range in metallicity: $-0.20 \leq$ [Fe/H] $\leq +0.25$ for the Hyades supercluster and $-0.22 \leq $ [Fe/H] $\leq +0.15$ for the Sirius supercluster with the metal-rich tail of the metallicity distribution of the Hyades supercluster extending beyond that of the Sirius supercluster and spanning the metallicity of the Hyades and Praesepe cluster giants. Relative elemental abundances [El/Fe] across the supercluster giants are representative of the Galactic thin disc as determined from giants in open clusters analysed in a similar way to our approach. Judged by metallicity and age, very few and likely none of the giants in these superclusters originated in an open cluster: the pairings include the Hyades supercluster with the Hyades - Praesepe open clusters and the Sirius supercluster with the U Ma open cluster. Literature on main sequence stars attributed to the two superclusters and the possible relation to the associated open cluster is reviewed. It is suggested that the Hyades supercluster's main sequence population contains few stars from the two associated open clusters. As suggested by some previous investigations, the Sirius supercluster, when tightly defined kinematically, appears to be well populated by stars shed by the U Ma open cluster.


title: Late Central Engine Activity in GRB 180205A

abstract: We present optical photometry of the afterglow of the long GRB 180205A with the COATLI telescope from 217 seconds to about 5 days after the {\itshape Swift}/BAT trigger. We analyse this photometry in the conjunction with the X-ray light curve from {\itshape Swift}/XRT. The late-time light curves and spectra are consistent with the standard forward-shock scenario. However, the early-time optical and X-ray light curves show non-typical behavior; the optical light curve exhibits a flat plateau while the X-ray light curve shows a flare. We explore several scenarios and conclude that the most likely explanation for the early behavior is late activity of the central engine.


title: Can a black hole-neutron star merger explain GW170817, AT2017gfo, GRB170817A?

abstract: The discovery of the compact binary coalescence in both gravitational waves and electromagnetic radiation marks a breakthrough in the field of multi-messenger astronomy and has improved our knowledge in a number of research areas. However, an open question is the exact origin of the observables and if one can confirm reliably that GW170817 and its electromagnetic counterparts resulted from a binary neutron star merger. To answer the question if the observation of GW170817, GRB170817A, and AT2017gfo could be explained by the merger of a neutron star with a black hole, we perform a joint multi-messenger analysis of the gravitational waves, the short gamma-ray burst, and the kilonova. Assuming a black-hole neutron star system, we derive multi-messenger constraints for the tidal deformability of the NS of $\Lambda > 425$ and for the mass ratio of $q < 2.03$ at 90\% confidence, with peaks in the likelihood near $\Lambda = 830$ and $q = 1.0$. Overall, we find that a black hole-neutron star merger could explain the observed signatures, however, our analysis shows that a binary neutron star origin of GW170817 seems more plausible.


title: A Tail-Index Analysis of Stochastic Gradient Noise in Deep Neural Networks

abstract: The gradient noise (GN) in the stochastic gradient descent (SGD) algorithm is often considered to be Gaussian in the large data regime by assuming that the classical central limit theorem (CLT) kicks in. This assumption is often made for mathematical convenience, since it enables SGD to be analyzed as a stochastic differential equation (SDE) driven by a Brownian motion. We argue that the Gaussianity assumption might fail to hold in deep learning settings and hence render the Brownian motion-based analyses inappropriate. Inspired by non-Gaussian natural phenomena, we consider the GN in a more general context and invoke the generalized CLT (GCLT), which suggests that the GN converges to a heavy-tailed $\alpha$-stable random variable. Accordingly, we propose to analyze SGD as an SDE driven by a L\'{e}vy motion. Such SDEs can incur `jumps', which force the SDE transition from narrow minima to wider minima, as proven by existing metastability theory. To validate the $\alpha$-stable assumption, we conduct extensive experiments on common deep learning architectures and show that in all settings, the GN is highly non-Gaussian and admits heavy-tails. We further investigate the tail behavior in varying network architectures and sizes, loss functions, and datasets. Our results open up a different perspective and shed more light on the belief that SGD prefers wide minima.


title: Quasi-potential as an implicit regularizer for the loss function in the stochastic gradient descent

abstract: We interpret the variational inference of the Stochastic Gradient Descent (SGD) as minimizing a new potential function named the \textit{quasi-potential}. We analytically construct the quasi-potential function in the case when the loss function is convex and admits only one global minimum point. We show in this case that the quasi-potential function is related to the noise covariance structure of SGD via a partial differential equation of Hamilton-Jacobi type. This relation helps us to show that anisotropic noise leads to faster escape than isotropic noise. We then consider the dynamics of SGD in the case when the loss function is non-convex and admits several different local minima. In this case, we demonstrate an example that shows how the noise covariance structure plays a role in "implicit regularization", a phenomenon in which SGD favors some particular local minimum points. This is done through the relation between the noise covariance structure and the quasi-potential function. Our analysis is based on Large Deviations Theory (LDT), and they are validated by numerical experiments.


title: Small cardinals and small Efimov spaces

abstract: We introduce and analyze a new cardinal characteristic of the continuum, the \emph{splitting number of the reals}, denoted $\mathfrak{s}(\mathbb R)$. This number is connected to Efimov's problem, which asks whether every infinite compact Hausdorff space must contain either a non-trivial convergent sequence, or else a copy of $\beta \mathbb N$.


title: GCR and CCR Steinberg algebras

abstract: Kaplansky introduced the notions of CCR and GCR $C^*$-algebras because they have a tractable representation theory. Many years later, he introduced the notions of CCR and GCR rings. In this paper we characterize when the algebra of an ample groupoid over a field is CCR and GCR. The results turn out to be exact analogues of the corresponding characterization of locally compact groupoids with CCR and GCR $C^*$-algebras. As a consequence, we classify the CCR and GCR Leavitt path algebras.


title: Unfolding symmetric Bogdanov-Takens bifurcations for front dynamics in a reaction-diffusion system

abstract: This manuscript extends the analysis of a much studied singularly perturbed three-component reaction-diffusion system for front dynamics in the regime where the essential spectrum is close to the origin. We confirm a conjecture from a preceding paper by proving that the triple multiplicity of the zero eigenvalue gives a Jordan chain of length three. Moreover, we simplify the center manifold reduction and computation of the normal form coefficients by using the Evans function for the eigenvalues. Finally, we prove the unfolding of a Bogdanov-Takens bifurcation with symmetry in the model. This leads to stable periodic front motion, including stable traveling breathers, and these results are illustrated by numerical computations.


title: Dissipation of traffic congestion using agent-based car-following model with modified optimal velocity

abstract: We investigate dynamical properties of traffic flow using the stochastic car-following model with modified optimal velocity on circular road. The safety distance following the two-second rule and autonomous vehicles, acting as agents, obeying simple requirements are incorporated into the model. The dynamic safety distance increases in a light traffic condition where the average driving velocity is high, while decreases in a dense traffic condition in anticipation of slower traffic motion. The results show that the presence of the agents can enhance overall velocity and traffic current of the system, and postpone the traffic congestion. In a particular phase region, imposing a speed limit enables the system to leave the congested flow phase. The density-dependent speed limit in agent-free condition is obtained to achieve the optimal traffic flow.


title: Whiskered KAM Tori of Conformally Symplectic Systems

abstract: We investigate the existence of whiskered tori in some dissipative systems, called \sl conformally symplectic \rm systems, having the property that they transform the symplectic form into a multiple of itself. We consider a family $f_\mu$ of conformally symplectic maps which depend on a drift parameter $\mu$. We fix a Diophantine frequency of the torus and we assume to have a drift $\mu_0$ and an embedding of the torus $K_0$, which satisfy approximately the invariance equation $f_{\mu_0} \circ K_0 - K_0 \circ T_\omega$ (where $T_\omega$ denotes the shift by $\omega$). We also assume to have a splitting of the tangent space at the range of $K_0$ into three bundles. We assume that the bundles are approximately invariant under $D f_{\mu_0}$ and that the derivative satisfies some "rate conditions". Under suitable non-degeneracy conditions, we prove that there exists $\mu_\infty$, $K_\infty$ and splittings, close to the original ones, invariant under $f_{\mu_\infty}$. The proof provides an efficient algorithm to construct whiskered tori. Full details of the statements and proofs are given in [CCdlL18].


title: Boundary Pointwise $C^{1,\alpha}$ and $C^{2,\alpha}$ Regularity for Fully Nonlinear Elliptic Equations

abstract: In this paper, we obtain the boundary pointwise $C^{1,\alpha}$ and $C^{2,\alpha}$ regularity for viscosity solutions of fully nonlinear elliptic equations. I.e., If $\partial \Omega$ is $C^{1,\alpha}$ (or $C^{2,\alpha}$) at $x_0\in \partial \Omega$, the solution is $C^{1,\alpha}$ (or $C^{2,\alpha}$) at $x_0$. Our results are new even for the Laplace equation. Moreover, our proofs are simple.


title: Layered semiconductor EuTe 4 with charge density wave order in square tellurium sheets

abstract: We report a novel quasi-two dimensional compound of EuTe4 hosting charge density waves (CDW) instability. The compound has a crystallographic structure in a orthorhombic space group Pmmn (No.59) with cell parameters a = 4.6347(2){\AA}, b = 4.5119(2){\AA}, c = 15.6747(10){\AA} at room temperature. The pristine structure contains consecutive near-square Te sheets separated by corrugated Eu-Te slabs. Upon cooling, the compound experiences a phase transition near 255 K. X-ray crystallographic analysis and transmission electron microscopy (TEM) measurements reveal strong structural distortions in the low temperature phase, showing a superstructure with a periodic formation of Te-trimers in the monolayer Te sheets, yielding evidence for the formation of CDW order. The charge transport properties show a semiconducting behavior in the CDW state. Density functional theory calculations reveals a Fermi surface nesting driven instability with a nesting vector in good agreement with the one observed experimentally. Our finding provides a promising system for the study of CDW driven 2D semiconducting mechanisms, which would shed a new light on exploring novel 2D semiconductors with collective electronic states.


title: An Optimal Geometric Condition on Domains for Boundary Differentiability of Solutions of Elliptic Equations

abstract: In this paper, a geometric condition on domains will be given which guarantees the boundary differentiability of solutions of elliptic equations, that is, the solutions are differentiable at any boundary point. We will show that this geometric condition is optimal.


abstract: In this paper, we generalize the $W^{2,p}$ interior estimates of fully nonlinear elliptic equations that were obtained by Caffarelli in [1]. The generalizations are carried out in two directions. One is that we relax the regularity requirement on the "constant coefficients" equations and the other one is that we broaden the range of $p$.


title: Physics of even-even superheavy nuclei with 96 < Z < 110 in the Quark-Meson-Coupling Model

abstract: The Quark-Meson-Coupling (QMC) model has been applied to the study of the properties of even-even super-heavy nuclei with 96 < Z < 110, over a wide range of neutron numbers. The aim is to identify the deformed shell gaps at N = 152 and N = 162 predicted in macroscopic-microscopic (macro-micro) models, in a model based on the mean-field Hartree-Fock+BCS approximation. The predictive power of the model has been tested on proton and neutron spherical shell gaps in light doubly closed (sub)shell nuclei. In the super-heavy region, the ground state binding energies of 98 < Z < 110 and 146 < N < 160 differ, in the majority of cases, from the measured values by less than 2.5 MeV, with the deviation decreasing with increasing Z and N. The axial quadrupole deformation parameter, calculated over the range of neutron numbers 138 < N < 184, revealed a prolate-oblate coexistence and shape transition around N = 168, followed by an oblate-spherical transition towards the expected N = 184 shell closure in Cm, Cf, Fm and No. The closure is not predicted in Rf, Sg, Hs and Ds as another shape transition to a highly deformed shape in Sg, Hs and Ds for N > 178 appears, while 288Rf (N = 184) remains oblate. The bulk properties predicted by QMC are found to have a limited sensitivity to the deformed shell gaps at N = 152 and 162. However, the evolution of the neutron single-particle spectra with 0 < beta2 < 0.55 gives unambiguous evidence for the location and size of the N = 152 and 162 gaps as a function of Z and N. In addition, the neutron number dependence of neutron pairing energies provides supporting evidence for existence of the energy gaps.


title: Pointwise Boundary Differentiability of Solutions of Elliptic Equations

abstract: In this paper, we give pointwise geometric conditions on the boundary which guarantee the differentiability of the solution at the boundary. Precisely, the geometric conditions are two parts: the proper blow up condition (see Definition 1) and the exterior Dini hypersurface condition (see Definition 2). If $\Omega$ satisfies this two conditions at $x_0\in\partial \Omega$, the solution is differentiable at $x_0$. Furthermore, counterexamples show that the conditions are optimal (see Remark 3 and the counterexample in Section 2).


title: Classification of tight contact structures on surgeries on the figure-eight knot

abstract: Two of the basic questions in contact topology are which manifolds admit tight contact structures, and on those that do, can we classify such structures. We present the first such classification on an infinite family of (mostly) hyperbolic 3-manifolds: surgeries on the figure-eight knot. We also determine which of the tight contact structures are symplectically fillable and which are universally tight.


title: A Generic Transformation for Optimal Node Repair in MDS Array Codes over $\mathbf{F}_2$

abstract: For high-rate linear systematic maximum distance separable (MDS) codes, most early constructions could initially optimally repair all the systematic nodes but not all the parity nodes. Fortunately, this issue was first solved by Li et al. in (IEEE Trans. Inform. Theory, 64(9), 6257-6267, 2018), where a transformation that can convert any nonbinary MDS array code into another one with desired properties was proposed. However, the transformation does not work for binary MDS array codes. In this paper, we address this issue by proposing another generic transformation that can convert any $[n, k]$ binary MDS array code into a new one, which endows any $r=n-k\ge2$ chosen nodes with optimal repair bandwidth and optimal rebuilding access properties, and at the same time, preserves the normalized repair bandwidth/rebuilding access for the remaining $k$ nodes under some conditions. As two immediate applications, we show that 1) by applying the transformation multiple times, any binary MDS array code can be converted into one with optimal rebuilding access for all nodes, 2) any binary MDS array code with optimal repair bandwidth or optimal rebuilding access for the systematic nodes can be converted into one with the corresponding optimality property for all nodes.


title: Effects of charge symmetry breaking on form factors of the pion and kaon

abstract: Effects of charge symmetry breaking associated with the $u$ and $d$ quark mass difference in the elastic form factors of the pion and kaon are presented. We use a confining version of the Nambu--Jona-Lasinio model. The pion and kaon are described as a dressed quark and antiquark bound states governed by the Bethe-Salpeter equation, and exhibit the properties of Goldstone bosons, with the pion mass difference given by $m_{\pi^{+}}^2 - m_{\pi^{0}}^2 \propto (m_u -m_d)^2$ as demanded by dynamical chiral symmetry breaking. We found significant charge symmetry breaking effects for realistic current quark mass ratios ($m_u/m_d \sim 0.5$) in the quark electromagnetic form factors of the pion and kaon. We also report the effects of charge symmetry breaking on the parton distribution functions, which are rather smaller than those found in the electromagnetic form factors.


title: Higher-order Galilean contractions

abstract: A Galilean contraction is a way to construct Galilean conformal algebras from a pair of infinite-dimensional conformal algebras, or equivalently, a method for contracting tensor products of vertex algebras. Here, we present a generalisation of the Galilean contraction prescription to allow for inputs of any finite number of conformal algebras, resulting in new classes of higher-order Galilean conformal algebras. We provide several detailed examples, including infinite hierarchies of higher-order Galilean Virasoro algebras, affine Kac-Moody algebras and the associated Sugawara constructions, and $W_{3}$ algebras.


title: Discrete Analogues in Harmonic Analysis: Directional Maximal Functions in $\mathbb{Z}^2$

abstract: Let $V = \{ v_1,\dots,v_N\}$ be a collection of $N$ vectors that live near a discrete sphere. We consider discrete directional maximal functions on $\mathbb{Z}^2$ where the set of directions lies in $V$, given by \[ \sup_{v \in V, k \geq C \log N} \left| \sum_{n \in \mathbb{Z}} f(x-v\cdot n ) \cdot \phi_k(n) \right|, \ f:\mathbb{Z}^2 \to \mathbb{C}, \] where and $\phi_k(t) := 2^{-k} \phi(2^{-k} t)$ for some bump function $\phi$. Interestingly, the study of these operators leads one to consider an "arithmetic version" of a Kakeya-type problem in the plane, which we approach using a combination of geometric and number-theoretic methods. Motivated by the Furstenberg problem from geometric measure theory, we also consider a discrete directional maximal operator along polynomial orbits, \[ \sup_{v \in V} \left| \sum_{n \in \mathbb{Z}} f(x-v\cdot P(n) ) \cdot \phi_k(n) \right|, \ P \in \mathbb{Z}[-] \] for $k \geq C_d \log N$ sufficiently large.


title: Dipion light-cone distribution amplitudes and $B \to \pi\pi$ form factors

abstract: We suggest to update the expansion coefficients of 2$\pi$DAs with the distribution amplitudes of light mesons evaluated from lattice QCD, with which we revisit $\overline{B}^0 \to \pi^+\pi^0$ transition form factors from light-cone sum rules approach and extend the predictions from the threshold of dipion invariant mass to high energies with including the resonance intervals. We also derive $B^- \to \pi^0\pi^0$ transition form factors with the isoscalar dipion final state, serving as the supplement to the isovector ones to complete the set of light-cone sum rules prediction of $B \to \pi\pi$ form factors. Our numerics shows that the lowest resonance gives the dominant contribution to $P-$wave form factors, while the resonance contribution in $S-$wave is not so salient.


title: A Submillimeter Polarization Analysis of Frosty Leo

abstract: We present a polarimetric investigation of the protoplanetary nebula Frosty Leo performed with the Submillimeter Array. We were able to detect, in the low continuum level (peak at 14.4 mJy beam$^{-1}$), a marginal polarization at $\sim2.6\sigma$. The molecular line investigation based on the CO $J=3\rightarrow2$ emission shows a peak emission of 68.1 Jy beam$^{-1}$ km s$^{-1}$ and the polarization detection in this CO line is also marginal, with a peak at $\sim3.8\sigma$. In both cases, it was therefore not possible to use the electric vector maps (B-field) to accurately trace the magnetic field (B-field) within the PPN. The spatio-kinematic modelling realised with the different velocity channel maps indicates three main structures: a distorted torus accompanied by a bipolar outflow or jet aligned with its axis and a flattened spherical "cap". The comparison of the CO polarization segments with our model suggests that the polarized emission probably arises in the first two components.


title: Ballistic transport experiment detects Fermi surface anisotropy of graphene

abstract: Monolayer graphene and bilayer graphene have strikingly different properties. One such difference is the shape of the Fermi surface. Although anisotropic band structures can be detected in optical measurements, they have so far been difficult to detect in transport experiments on twodimensional materials. Here we describe a ballistic transport experiment using high-quality graphene that revealed Fermi surface anisotropy in the magnetoresistance. The shape of the Fermi surface is closely related with the cyclotron orbit in real space. Electron trajectories in samples with triangular lattices of holes depend on the anisotropy of the Fermi surface. We found that this results in the magnetoresistance which are dependent on crystallographic orientation of the antidot lattice, which indicates the anisotropic Fermi surface of bilayer graphene which is a trigonally-warped circle in shape. While in monolayer, shape of magnetoresistance was approximately independent of the orientation of antidot lattice, which indicates that the Fermi surface is a circle in shape. The ballistic transport experiment is a new method of detecting anisotropic electronic band structures in two-dimensional electron systems.


title: Exact Controllability for a Refined Stochastic Wave Equation

abstract: A widely used stochastic wave equation is the classical wave equation perturbed by a term of It\^o's integral. We show that this equation is not exactly controllable even if the controls are effective everywhere in both the drift and the diffusion terms and also on the boundary. In some sense this means that some key feature has been ignored in this model. Then, based on a stochastic Newton's law, we propose a refined stochastic wave equation. By means of a new global Carleman estimate, we establish the exact controllability of our stochastic wave equation with three controls. Moreover, we give a result about the lack of exact controllability, which shows that the action of three controls is necessary. Our analysis indicates that, at least from the point of view of control theory, the new stochastic wave equation introduced in this paper is a more reasonable model than that in the existing literatures.


title: Splitting Methods for Convex Bi-Clustering and Co-Clustering

abstract: Co-Clustering, the problem of simultaneously identifying clusters across multiple aspects of a data set, is a natural generalization of clustering to higher-order structured data. Recent convex formulations of bi-clustering and tensor co-clustering, which shrink estimated centroids together using a convex fusion penalty, allow for global optimality guarantees and precise theoretical analysis, but their computational properties have been less well studied. In this note, we present three efficient operator-splitting methods for the convex co-clustering problem: a standard two-block ADMM, a Generalized ADMM which avoids an expensive tensor Sylvester equation in the primal update, and a three-block ADMM based on the operator splitting scheme of Davis and Yin. Theoretical complexity analysis suggests, and experimental evidence confirms, that the Generalized ADMM is far more efficient for large problems.


title: Experimental Observation of Invariance of Spectral Degree of Coherence with Change in Bandwidth of Light

abstract: An experimental study is conducted to show the effect of the change in bandwidth of light on the spectral degree of coherence at a pair of points in the cross-section of a beam. For this purpose a polychromatic source and a monochromator with variable entrance and exit slits were used to produce a variable bandwidth source. The classic Youngs interferometer was used to produce an interference pattern. The spectral measurements of the visibility of the interference fringes show that the spectral degree of coherence remains unaffected by the change in the frequency pass-band of the light.


title: Kernel Change-point Detection with Auxiliary Deep Generative Models

abstract: Detecting the emergence of abrupt property changes in time series is a challenging problem. Kernel two-sample test has been studied for this task which makes fewer assumptions on the distributions than traditional parametric approaches. However, selecting kernels is non-trivial in practice. Although kernel selection for two-sample test has been studied, the insufficient samples in change point detection problem hinder the success of those developed kernel selection algorithms. In this paper, we propose KL-CPD, a novel kernel learning framework for time series CPD that optimizes a lower bound of test power via an auxiliary generative model. With deep kernel parameterization, KL-CPD endows kernel two-sample test with the data-driven kernel to detect different types of change-points in real-world applications. The proposed approach significantly outperformed other state-of-the-art methods in our comparative evaluation of benchmark datasets and simulation studies.


title: Unconditionally stable second order convergent partitioned methods for multiple-network poroelasticity

abstract: In this paper, we consider partitioned numerical methods for quasi-static multiple-network poroelasticity (MPET) equations, generalizations of the Biot model in poroelasticity for multiple pore networks. Two partitioned numerical methods are presented for the equations which split time discretization into solving two subequations, a Lame equation and a system of heat equations, alternatively. In contrast to the iterative coupling methods which require multiple iterations at each time step, our numerical methods solve these smaller equations only once at each time step. We prove their unconditional stability and high order convergence in time with a novel error analysis. A number of numerical results are presented to illustrate good performances of these partitioned methods.


title: Chinese Word Segmentation: Another Decade Review (2007-2017)

abstract: This paper reviews the development of Chinese word segmentation (CWS) in the most recent decade, 2007-2017. Special attention was paid to the deep learning technologies that has already permeated into most areas of natural language processing (NLP). The basic view we have arrived at is that compared to traditional supervised learning methods, neural network based methods have not shown any superior performance. The most critical challenge still lies on balancing of recognition of in-vocabulary (IV) and out-of-vocabulary (OOV) words. However, as neural models have potentials to capture the essential linguistic structure of natural language, we are optimistic about significant progresses may arrive in the near future.


title: Accelerated Experimental Design for Pairwise Comparisons

abstract: Pairwise comparison labels are more informative and less variable than class labels, but generating them poses a challenge: their number grows quadratically in the dataset size. We study a natural experimental design objective, namely, D-optimality, that can be used to identify which $K$ pairwise comparisons to generate. This objective is known to perform well in practice, and is submodular, making the selection approximable via the greedy algorithm. A na\"ive greedy implementation has $O(N^2d^2K)$ complexity, where $N$ is the dataset size, $d$ is the feature space dimension, and $K$ is the number of generated comparisons. We show that, by exploiting the inherent geometry of the dataset--namely, that it consists of pairwise comparisons--the greedy algorithm's complexity can be reduced to $O(N^2(K+d)+N(dK+d^2) +d^2K).$ We apply the same acceleration also to the so-called lazy greedy algorithm. When combined, the above improvements lead to an execution time of less than 1 hour for a dataset with $10^8$ comparisons; the na\"ive greedy algorithm on the same dataset would require more than 10 days to terminate.


title: DeepOtsu: Document Enhancement and Binarization using Iterative Deep Learning

abstract: This paper presents a novel iterative deep learning framework and apply it for document enhancement and binarization. Unlike the traditional methods which predict the binary label of each pixel on the input image, we train the neural network to learn the degradations in document images and produce the uniform images of the degraded input images, which allows the network to refine the output iteratively. Two different iterative methods have been studied in this paper: recurrent refinement (RR) which uses the same trained neural network in each iteration for document enhancement and stacked refinement (SR) which uses a stack of different neural networks for iterative output refinement. Given the learned uniform and enhanced image, the binarization map can be easy to obtain by a global or local threshold. The experimental results on several public benchmark data sets show that our proposed methods provide a new clean version of the degraded image which is suitable for visualization and promising results of binarization using the global Otsu's threshold based on the enhanced images learned iteratively by the neural network.


title: Probabilistic symmetries and invariant neural networks

abstract: Treating neural network inputs and outputs as random variables, we characterize the structure of neural networks that can be used to model data that are invariant or equivariant under the action of a compact group. Much recent research has been devoted to encoding invariance under symmetry transformations into neural network architectures, in an effort to improve the performance of deep neural networks in data-scarce, non-i.i.d., or unsupervised settings. By considering group invariance from the perspective of probabilistic symmetry, we establish a link between functional and probabilistic symmetry, and obtain generative functional representations of probability distributions that are invariant or equivariant under the action of a compact group. Our representations completely characterize the structure of neural networks that can be used to model such distributions and yield a general program for constructing invariant stochastic or deterministic neural networks. We demonstrate that examples from the recent literature are special cases, and develop the details of the general program for exchangeable sequences and arrays.


title: Protocol for reading out Majorana vortex qubit and testing non-Abelian statistics

abstract: The successful test of non-Abelian statistics not only serves as a milestone in fundamental physics but also provides a quantum gate operation in topological quantum computation. An accurate and efficient readout scheme of a topological qubit is an essential step toward the experimental confirmation of non-Abelian statistics. In the current work, we propose a protocol to read out the quantum state of a Majorana vortex qubit on a topological superconductor island. The protocol consists of four Majorana zero modes trapped in spatially well-separated vortex cores on the two-dimensional surface of a Coulomb blockaded topological superconductor. Our proposed measurement is implemented by a pair of weakly coupled Majorana modes separately in touch with two normal metal leads, and the readout is realized by observing the conductance peak location in terms of gate voltage. Using this protocol, we can further test the non-Abelian statistics of Majorana zero modes in the two-dimensional platform. A successful readout of Majorana qubit is a crucial step towards the future application of topological quantum computation. In addition, this Coulomb blockaded setup can distinguish Majorana zero modes from Caroli-de Gennes-Matricon modes in vortex cores.


title: Visible and Ultraviolet Laser Spectroscopy of ThF

abstract: The molecular ion ThF$^+$ is the species to be used in the next generation of search for the electron's Electric Dipole Moment (eEDM) at JILA. The measurement requires creating molecular ions in the eEDM sensitive state, the rovibronic ground state $^3\Delta_1$, $v^+=0$, $J^+=1$. Survey spectroscopy of neutral ThF is required to identify an appropriate intermediate state for a Resonance Enhanced Multi-Photon Ionization (REMPI) scheme that will create ions in the required state. We perform broadband survey spectroscopy (from 13000 to 44000~cm$^{-1}$) of ThF using both Laser Induced Fluorescence (LIF) and $1+1'$ REMPI spectroscopy. We observe and assign 345 previously unreported vibronic bands of ThF. We demonstrate 30\% efficiency in the production of ThF$^+$ ions in the eEDM sensitive state using the $\Omega = 3/2$ [32.85] intermediate state. In addition, we propose a method to increase the aforementioned efficiency to $\sim$100\% by using vibrational autoionization via core-nonpenetrating Rydberg states, and discuss theoretical and experimental challenges. Finally, we also report 83 vibronic bands of an impurity species, ThO.


title: Theory of Minds: Understanding Behavior in Groups Through Inverse Planning

abstract: Human social behavior is structured by relationships. We form teams, groups, tribes, and alliances at all scales of human life. These structures guide multi-agent cooperation and competition, but when we observe others these underlying relationships are typically unobservable and hence must be inferred. Humans make these inferences intuitively and flexibly, often making rapid generalizations about the latent relationships that underlie behavior from just sparse and noisy observations. Rapid and accurate inferences are important for determining who to cooperate with, who to compete with, and how to cooperate in order to compete. Towards the goal of building machine-learning algorithms with human-like social intelligence, we develop a generative model of multi-agent action understanding based on a novel representation for these latent relationships called Composable Team Hierarchies (CTH). This representation is grounded in the formalism of stochastic games and multi-agent reinforcement learning. We use CTH as a target for Bayesian inference yielding a new algorithm for understanding behavior in groups that can both infer hidden relationships as well as predict future actions for multiple agents interacting together. Our algorithm rapidly recovers an underlying causal model of how agents relate in spatial stochastic games from just a few observations. The patterns of inference made by this algorithm closely correspond with human judgments and the algorithm makes the same rapid generalizations that people do.


title: WALL-E: An Efficient Reinforcement Learning Research Framework

abstract: There are two halves to RL systems: experience collection time and policy learning time. For a large number of samples in rollouts, experience collection time is the major bottleneck. Thus, it is necessary to speed up the rollout generation time with multi-process architecture support. Our work, dubbed WALL-E, utilizes multiple rollout samplers running in parallel to rapidly generate experience. Due to our parallel samplers, we experience not only faster convergence times, but also higher average reward thresholds. For example, on the MuJoCo HalfCheetah-v2 task, with $N = 10$ parallel sampler processes, we are able to achieve much higher average return than those from using only a single process architecture.


title: Modular Verification for Almost-Sure Termination of Probabilistic Programs

abstract: In this work, we consider the almost-sure termination problem for probabilistic programs that asks whether a given probabilistic program terminates with probability 1. Scalable approaches for program analysis often rely on modularity as their theoretical basis. In non-probabilistic programs, the classical variant rule (V-rule) of Floyd-Hoare logic provides the foundation for modular analysis. Extension of this rule to almost-sure termination of probabilistic programs is quite tricky, and a probabilistic variant was proposed in [Fioriti and Hermanns 2015]. While the proposed probabilistic variant cautiously addresses the key issue of integrability, we show that the proposed modular rule is still not sound for almost-sure termination of probabilistic programs. Besides establishing unsoundness of the previous rule, our contributions are as follows: First, we present a sound modular rule for almost-sure termination of probabilistic programs. Our approach is based on a novel notion of descent supermartingales. Second, for algorithmic approaches, we consider descent supermartingales that are linear and show that they can be synthesized in polynomial time. Finally, we present experimental results on a variety of benchmarks and several natural examples that model various types of nested while loops in probabilistic programs and demonstrate that our approach is able to efficiently prove their almost-sure termination property.


title: Bosonic superfluid on lowest Landau level

abstract: We develop a low-energy effective field theory of a two-dimensional bosonic superfluid on the lowest Landau level at zero temperature and identify a Berry term that governs the dynamics of coarse-grained superfluid degrees of freedom. For an infinite vortex crystal we compute how the Berry term affects the low-energy spectrum of soft collective Tkachenko oscillations and non-dissipative Hall responses of the particle number current and stress tensor. This term gives rise to a quadratic in momentum term in the Hall conductivity, but does not generate a non-dissipative Hall viscosity.

categories: cond-mat.quant-gas cond-mat.str-el cond-mat.supr-con hep-th


title: An ADMM-Based Approach to Robust Array Pattern Synthesis

abstract: In most existing robust array beam pattern synthesis studies, the bounded-sphere model is used to describe the steering vector (SV) uncertainties. In this letter, instead of bounding the norm of SV perturbations as a whole, we explore the amplitude and phase perturbations of each SV element separately, thereby obtaining a tighter SV uncertainty model. Based on this model, we formulate the robust array pattern synthesis problem from the perspective of the min-max optimization, which aims to minimize the maximum side lobe response, while preserving the main lobe response. However, this problem is difficult due to the infinitely many non-convex constraints. As a remedy, we employ the worst-case criterion and recast the problem as a convex second-order cone program (SOCP). To solve the SOCP, we further develop an alternating direction method of multipliers (ADMM)-based algorithm, which is computationally efficient with each step being computed in closed form. Numerical simulations demonstrate the efficacy and efficiency of the proposed algorithm.


title: Description of the recently observed hypernucleus $^{15}{\!\!\!_{\Xi^-}}$C within a quark-meson coupling model

abstract: We investigate within a quark-meson coupling (QMC) model, the structure of the bound $\Xi^-$ hypernucleus $^{15}{\!\!\!_{\Xi^-}}$C ($^{14}$N + $\Xi^-$), which has been observed in a recent analysis of the KEK-E373 experiment. In the QMC model, light quarks in nonoverlapping nucleon and $\Xi^-$ bags interact self-consistently with isoscalar-scalar ($\sigma$), isoscalar-vector ($\omega$), and isovector-vector ($\rho$) mesons in the mean field approximation. The parameters of the model (quark-meson coupling constants and masses) are mostly fixed from the nuclear matter saturation properties. The QMC model closely reproduces the separation energies of the two $\Xi^-$ hyperon states in $^{15}{\!\!\!_{\Xi^-}}$C reported in the KEK-E373 analysis, and identifies their quantum numbers. We also make predictions for the cross sections for the production of the $^{15}{\!\!\!_{\Xi^-}}$C hypernuclear specta in the ($K^-, K^+$) reaction on a $^{15}$O target within a covariant effective Lagrangian model using the $\Xi^-$ bound state spinors obtained within the same QMC model.


title: Transfer Learning and Meta Classification Based Deep Churn Prediction System for Telecom Industry

abstract: A churn prediction system guides telecom service providers to reduce revenue loss. However, the development of a churn prediction system for a telecom industry is a challenging task, mainly due to the large size of the data, high dimensional features, and imbalanced distribution of the data. In this paper, we present a solution to the inherent problems of churn prediction, using the concept of Transfer Learning (TL) and Ensemble-based Meta-Classification. The proposed method TL-DeepE is applied in two stages. The first stage employs TL by fine-tuning multiple pre-trained Deep Convolution Neural Networks (CNNs). Telecom datasets are normally in vector form, which is converted into 2D images because Deep CNNs have high learning capacity on images. In the second stage, predictions from these Deep CNNs are appended to the original feature vector and thus are used to build a final feature vector for the high-level Genetic Programming (GP) and AdaBoost based ensemble classifier. Thus, the experiments are conducted using various CNNs as base classifiers and the GP-AdaBoost as a meta-classifier. By using 10-fold cross-validation, the performance of the proposed TL-DeepE system is compared with existing techniques, for two standard telecommunication datasets; Orange and Cell2cell. Performing experiments on Orange and Cell2cell datasets, the prediction accuracy obtained was 75.4% and 68.2%, while the area under the curve was 0.83 and 0.74, respectively.


title: Anti-Ramsey numbers of paths and cycles in hypergraphs

abstract: The anti-Ramsey problem was introduced by Erd\H{o}s, Simonovits and S\'{o}s in 1970s. The anti-Ramsey number of a hypergraph $\mathcal{H}$, $ar(n,s, \mathcal{H})$, is the smallest integer $c$ such that in any coloring of the edges of the $s$-uniform complete hypergraph on $n$ vertices with exactly $c$ colors, there is a copy of $\mathcal{H}$ whose edges have distinct colors. In this paper, we determine the anti-Ramsey numbers of linear paths and loose paths in hypergraphs for sufficiently large $n$, and give bounds for the anti-Ramsey numbers of Berge paths. Similar exact anti-Ramsey numbers are obtained for linear/loose cycles, and bounds are obtained for Berge cycles. Our main tools are path extension technique and stability results on hypergraph Tur\'{a}n problems of paths and cycles.


title: $4\times4$ unextendible product basis and genuinely entangled space

abstract: We show that there are six inequivalent $4\times4$ unextendible product bases (UPBs) of size eight, when we consider only 4-qubit product vectors. We apply our results to construct Positive-Partial-Transpose entangled states of rank nine. They are at the same 4-qubit, $2\times2\times4$ and $4\times4$ states, and their ranges have product vectors. One of the six UPBs turns out to be orthogonal to an almost genuinely entangled space, in the sense that the latter does not contain $4\times4$ product vector in any bipartition of 4-qubit systems. We also show that the multipartite UPB orthogonal to a genuinely entangled space exists if and only if the $n\times n\times n$ UPB orthogonal to a genuinely entangled space exists for some $n$. These results help understand an open problem in [Phys. Rev. A 98, 012313, 2018].


title: Asteroseismology of the pre-main-sequence $\delta$ Scuti pulsator IP Persei

abstract: A grid of theoretical models are computed to fit the 9 oscillation modes of IP Per detected earlier from a multi-site ground-based campaign. Fitting results show that there are two sets of theoretical models that could reproduce the observed frequencies more or less euqally well. In view of other available spectroscopic and photometric measurements, our best fitting stellar parameters for IP Per are $\upsilon_{\rm e} = 91^{+5}_{-3}$ km s$^{-1}$, $Z=0.009^{+0.004}_{-0.001}$, $M = 1.64^{+0.10}_{-0.04}$ $M_{\odot}$, $T_{\rm eff} = 7766^{+348}_{-173}$ K, $\log L/L_{\odot} = 1.125^{+0.094}_{-0.046}$, $\log g = 4.041^{+0.008}_{-0.003}$ dex, $R = 2.022^{+0.042}_{-0.018}$ $R_{\odot}$, $\tau_{0} = 8711^{+68}_{-35}$ s, age = $7.39^{+0.76}_{-0.46}$ Myr. Meanwhile, IP Per is found to be a pre-main sequence star where CN cycle has not yet reached the equilibrium state. At present fourteen percent of C12 have been turned into N14. Based on the best-fitting model, $f_{6}$ is identified as a radial mode, $f_{1}$ and $f_{2}$ as two dipole modes, and $f_{3}$, $f_{4}$, $f_{5}$, $f_{7}$, $f_{8}$, and $f_{9}$ as six quadrupole modes.


title: Taming Distrust in the Decentralized Internet with PIXIU

abstract: Decentralized Internet is booming. People are fascinated by its promise that users can truly own their data. However, in a decentralized Internet, completing a task usually involves multiple nodes with mutual distrust. Such distrust might eventually become a major obstacle for the growth of the decentralized Internet. In this paper, we analyze the distrust using a simple model and highlight the properties required to faithfully accomplish one task in a decentralized Internet. We also introduce our draft solution -- PIXIU, a framework to mitigate the distrust among different nodes. In PIXIU, we design and utilize trust-{\lambda} and decentralized executor to achieve the above-needed properties.


title: Repeated minimizers of $p$-frame energies

abstract: For a collection of $N$ unit vectors $\mathbf{X}=\{x_i\}_{i=1}^N$, define the $p$-frame energy of $\mathbf{X}$ as the quantity $\sum_{i\neq j} |\langle x_i,x_j \rangle|^p$. In this paper, we connect the problem of minimizing this value to another optimization problem, so giving new lower bounds for such energies. In particular, for $p<2$, we prove that this energy is at least $2(N-d) p^{-\frac p 2} (2-p)^{\frac {p-2} 2}$ which is sharp for $d\leq N\leq 2d$ and $p=1$. We prove that for $1\leq m<d$, a repeated orthonormal basis construction of $N=d+m$ vectors minimizes the energy over an interval, $p\in[1,p_m]$, and demonstrate an analogous result for all $N$ in the case $d=2$. Finally, in connection, we give conjectures on these and other energies.


title: Anisotropic inflation with coupled $\boldsymbol{p}$-forms

abstract: We study the cosmology in the presence of arbitrary couplings between $p$-forms in 4-dimensional space-time for a general action respecting gauge symmetry and parity invariance. The interaction between 0-form (scalar field $\phi$) and 3-form fields gives rise to an effective potential $V_{\rm eff}(\phi)$ for the former after integrating out the contribution of the latter. We explore the dynamics of inflation on an anisotropic cosmological background for a coupled system of 0-, 1-, and 2-forms. In the absence of interactions between 1- and 2-forms, we derive conditions under which the anisotropic shear endowed with nearly constant energy densities of 1- and 2-forms survives during slow-roll inflation for an arbitrary scalar potential $V_{\rm eff}(\phi)$. If 1- and 2-forms are coupled to each other, we show the existence of a new class of anisotropic inflationary solutions in which the energy density of 2-form is sustained by that of 1-form through their interactions. Our general analytic formulas for the anisotropic shear are also confirmed by the numerical analysis for a concrete inflaton potential.


title: Null Geodesics and Repulsive Behavior of Gravity in (2+1)-dimensional Massive Gravity

abstract: We study the null geodesics in a static circularly symmetric (SCS) black hole spacetime which is a solution in the $(2+1)$-dimensional massive gravity proposed by Bergshoeff, Hohm and Townsend (BHT massive gravity). We obtain analytic solutions for the null geodesic equation in the SCS black hole background and find the explicit form of deflection angles. We see that for various values of the impact parameter, the deflection angle can be positive, negative or even zero in this black hole spacetime. The negative deflection angle indicates the repulsive behavior of the gravity which comes from the gravitational hair parameter that is the most characteristic quantity of the BHT massive gravity.


title: Investigating the accuracy of the diffusion coefficient estimation based on the rotating ring-disk electrode transient measurements in the cases of kinetic-limited regime and disk surface passivation

abstract: The chronoamperometric measurements performed with rotating ring-disc electrode become a one of the standard techniques for the diffusion coefficient determination. However, the theoretical estimation of the transit time on which the technique is based is not strictly connected to the apparent time interval measured in the experiments. Therefore, we employed numerical simulation of RRDE in order to predict possible error of the diffusion coefficient estimation in respect to the disc electrode conditions. According to the results the obtained estimation can vary up to two times depending on the disk electrode potential. On the other hand, even an intense disk passivation process leading to the peak-like shape of the ring current transient does not affect significantly the apparent transit time and the diffusion coefficient estimation. Additionally, it was showed, that the presence of a linear segment in the disk current transient indicates that the time it took to cover most of the disk electrode with the passivation film is close to the RRDE characteristic time.


title: Extremality and Sharp Bounds for the $k$-edge-connectivity of Graphs

abstract: Boesch and Chen (SIAM J. Appl. Math., 1978) introduced the cut-version of the generalized edge-connectivity, named $k$-edge-connectivity. For any integer $k$ with $2\leq k\leq n$, the {\em $k$-edge-connectivity} of a graph $G$, denoted by $\lambda_k(G)$, is defined as the smallest number of edges whose removal from $G$ produces a graph with at least $k$ components. In this paper, we first compute some exact values and sharp bounds for $\lambda_k(G)$ in terms of $n$ and $k$. We then discuss the relationships between $\lambda_k(G)$ and other generalized connectivities. An algorithm in $\mathcal{O}(n^2)$ time will be provided such that we can get a sharp upper bound in terms of the maximum degree. Among our results, we also compute some exact values and sharp bounds for the function $f(n,k,t)$ which is defined as the minimum size of a connected graph $G$ with order $n$ and $\lambda_k(G)=t$.


title: A Parallel Hierarchical Blocked Adaptive Cross Approximation Algorithm

abstract: This paper presents a hierarchical low-rank decomposition algorithm assuming any matrix element can be computed in $O(1)$ time. The proposed algorithm computes rank-revealing decompositions of sub-matrices with a blocked adaptive cross approximation (BACA) algorithm, followed by a hierarchical merge operation via truncated singular value decompositions (H-BACA). The proposed algorithm significantly improves the convergence of the baseline ACA algorithm and achieves reduced computational complexity compared to the full decompositions such as rank-revealing QR decompositions. Numerical results demonstrate the efficiency, accuracy and parallel efficiency of the proposed algorithm.


title: Berry-Esseen Type Bound for Fractional Ornstein-Uhlenbeck Type Process Driven by Sub-fractional Brownian Motion

abstract: We obtain a Berry-Esseen type bound for the distribution of the maximum likelihood estimator of the drift parameter for fractional Ornstein-uhlenbeck type process driven by sub-fractional Brownian motion.


title: Exploring Semi-supervised Variational Autoencoders for Biomedical Relation Extraction

abstract: The biomedical literature provides a rich source of knowledge such as protein-protein interactions (PPIs), drug-drug interactions (DDIs) and chemical-protein interactions (CPIs). Biomedical relation extraction aims to automatically extract biomedical relations from biomedical text for various biomedical research. State-of-the-art methods for biomedical relation extraction are primarily based on supervised machine learning and therefore depend on (sufficient) labeled data. However, creating large sets of training data is prohibitively expensive and labor-intensive, especially so in biomedicine as domain knowledge is required. In contrast, there is a large amount of unlabeled biomedical text available in PubMed. Hence, computational methods capable of employing unlabeled data to reduce the burden of manual annotation are of particular interest in biomedical relation extraction. We present a novel semi-supervised approach based on variational autoencoder (VAE) for biomedical relation extraction. Our model consists of the following three parts, a classifier, an encoder and a decoder. The classifier is implemented using multi-layer convolutional neural networks (CNNs), and the encoder and decoder are implemented using both bidirectional long short-term memory networks (Bi-LSTMs) and CNNs, respectively. The semi-supervised mechanism allows our model to learn features from both the labeled and unlabeled data. We evaluate our method on multiple public PPI, DDI and CPI corpora. Experimental results show that our method effectively exploits the unlabeled data to improve the performance and reduce the dependence on labeled data. To our best knowledge, this is the first semi-supervised VAE-based method for (biomedical) relation extraction. Our results suggest that exploiting such unlabeled data can be greatly beneficial to improved performance in various biomedical relation extraction.


title: Superconductivity above 28 K in single unit cell FeSe films interfaced with GaO$_{2-\delta}$ layer on NdGaO$_{3}$(110)

abstract: We prepared single unit cell FeSe films on GaO$_{2-\delta}$ terminated perovskite NdGaO$_{3}$(110) substrates and performed ex situ transport and scanning transmission electron microscopy measurements on the FeTe protected films. Our experimental measurements showed that the single unit cell FeSe films interfaced with GaO$_{2-{\delta}}$ layer are electron doped via interface charge transfer. Most importantly, this type of heterostructure can host interface enhanced superconductivity with an onset temperature of about 28 K, which is much higher than the value of 8 K in bulk FeSe. Our work indicates that FeSe/GaO$_{2-{\delta}}$can be a comparative platform with the FeSe/TiO$_{2-{\delta}}$ family for understanding the mechanism of interface enhanced high temperature superconductivity.


title: Single cell data explosion: Deep learning to the rescue

abstract: The plethora of single-cell multi-omics data is getting treatment with deep learning, a revolutionary method in artificial intelligence, which has been increasingly expanding its reign over the bioscience frontiers.


title: Frequent flare events on the short-period M-type eclipsing binary BX Tri

abstract: We present long-term, multi-color photometric monitoring and spectroscopic observations of the short-period M-type eclipsing binary BX Tri. Six flare events were recorded in 4 years from 2014 to 2017. Three of them were detected on one night within an orbital cycle. The strongest one was identified on December 23, 2014. With the amplitudes of $\Delta$B=0.48 mag, $\Delta$V=0.28 mag, $\Delta$R=0.10 mag, $\Delta$I=0.02 mag, the total energy due to the flare event was measured to be 4.08 ($\pm$0.24) $\times$$10^{34}$ erg, exceeding the superflare level ($10^{34}$). Based on the observations, the evolutionary status of the binary system as well as the long-term orbital period changes were analyzed. It reveals that BX Tri is probably a semi-detached system with the primary component filling its Roche lobe. The extremely high occurrence of flare events of the binary could be related to the rapid mass transfer between components.


title: Influences of electron-phonon interaction on quantum transport through one quantum-dot system with side-coupled Majorana zero mode

abstract: We investigate the influences of the electron-phonon interaction on the transport properties of one quantum-dot system with a side-coupled Majorana zero mode (MZM). Our calculation results show that at the zero-temperature limit, the MZM-governed zero-bias conductance value can be magnified, dependent on the interplay between electron-phonon interaction and dot-MZM coupling. In the case of finite temperature, the electron-phonon interaction makes leading contributions to the suppression of the magnitude of zero-bias conductance. We believe that this work can be helpful for understanding the signature of the MZM in electron transport through mesoscopic circuits.


title: First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation

abstract: Translating formulas of Linear Temporal Logic (LTL) over finite traces, or LTLf, to symbolic Deterministic Finite Automata (DFA) plays an important role not only in LTLf synthesis, but also in synthesis for Safety LTL formulas. The translation is enabled by using MONA, a powerful tool for symbolic, BDD-based, DFA construction from logic specifications. Recent works used a first-order encoding of LTLf formulas to translate LTLf to First Order Logic (FOL), which is then fed to MONA to get the symbolic DFA. This encoding was shown to perform well, but other encodings have not been studied. Specifically, the natural question of whether second-order encoding, which has significantly simpler quantificational structure, can outperform first-order encoding remained open. In this paper we address this challenge and study second-order encodings for LTLf formulas. We first introduce a specific MSO encoding that captures the semantics of LTLf in a natural way and prove its correctness. We then explore is a Compact MSO encoding, which benefits from automata-theoretic minimization, thus suggesting a possible practical advantage. To that end, we propose a formalization of symbolic DFA in second-order logic, thus developing a novel connection between BDDs and MSO. We then show by empirical evaluations that the first-order encoding does perform better than both second-order encodings. The conclusion is that first-order encoding is a better choice than second-order encoding in LTLf-to-Automata translation.


title: Look before you sweep: Visibility-aware motion planning

abstract: This paper addresses the problem of planning for a robot with a directional obstacle-detection sensor that must move through a cluttered environment. The planning objective is to remain safe by finding a path for the complete robot, including sensor, that guarantees that the robot will not move into any part of the workspace before it has been seen by the sensor. Although a great deal of work has addressed a version of this problem in which the "field of view" of the sensor is a sphere around the robot, there is very little work addressing robots with a narrow or occluded field of view. We give a formal definition of the problem, several solution methods with different computational trade-offs, and experimental results in illustrative domains.


title: Linearized ADMM and Fast Nonlocal Denoising for Efficient Plug-and-Play Restoration

abstract: In plug-and-play image restoration, the regularization is performed using powerful denoisers such as nonlocal means (NLM) or BM3D. This is done within the framework of alternating direction method of multipliers (ADMM), where the regularization step is formally replaced by an off-the-shelf denoiser. Each plug-and-play iteration involves the inversion of the forward model followed by a denoising step. In this paper, we present a couple of ideas for improving the efficiency of the inversion and denoising steps. First, we propose to use linearized ADMM, which generally allows us to perform the inversion at a lower cost than standard ADMM. Moreover, we can easily incorporate hard constraints into the optimization framework as a result. Second, we develop a fast algorithm for doubly stochastic NLM, originally proposed by Sreehari et al. (IEEE TCI, 2016), which is about 80x faster than brute-force computation. This particular denoiser can be expressed as the proximal map of a convex regularizer and, as a consequence, we can guarantee convergence for linearized plug-and-play ADMM. We demonstrate the effectiveness of our proposals for super-resolution and single-photon imaging.


title: CRDN: Cascaded Residual Dense Networks for Dynamic MR Imaging with Edge-enhanced Loss Constraint

abstract: Dynamic magnetic resonance (MR) imaging has generated great research interest, as it can provide both spatial and temporal information for clinical diagnosis. However, slow imaging speed or long scanning time is still one of the challenges for dynamic MR imaging. Most existing methods reconstruct Dynamic MR images from incomplete k-space data under the guidance of compressed sensing (CS) or low rank theory, which suffer from long iterative reconstruction time. Recently, deep learning has shown great potential in accelerating dynamic MR. Our previous work proposed a dynamic MR imaging method with both k-space and spatial prior knowledge integrated via multi-supervised network training. Nevertheless, there was still a certain degree of smooth in the reconstructed images at high acceleration factors. In this work, we propose cascaded residual dense networks for dynamic MR imaging with edge-enhance loss constraint, dubbed as CRDN. Specifically, the cascaded residual dense networks fully exploit the hierarchical features from all the convolutional layers with both local and global feature fusion. We further utilize the total variation (TV) loss function, which has the edge enhancement properties, for training the networks.


title: Fast High-Dimensional Kernel Filtering

abstract: The bilateral and nonlocal means filters are instances of kernel-based filters that are popularly used in image processing. It was recently shown that fast and accurate bilateral filtering of grayscale images can be performed using a low-rank approximation of the kernel matrix. More specifically, based on the eigendecomposition of the kernel matrix, the overall filtering was approximated using spatial convolutions, for which efficient algorithms are available. Unfortunately, this technique cannot be scaled to high-dimensional data such as color and hyperspectral images. This is simply because one needs to compute/store a large matrix and perform its eigendecomposition in this case. We show how this problem can be solved using the Nystr\"om method, which is generally used for approximating the eigendecomposition of large matrices. The resulting algorithm can also be used for nonlocal means filtering. We demonstrate the effectiveness of our proposal for bilateral and nonlocal means filtering of color and hyperspectral images. In particular, our method is shown to be competitive with state-of-the-art fast algorithms, and moreover it comes with a theoretical guarantee on the approximation error.


title: Compatibility of covariant quantum channels with emphasis on Weyl symmetry

abstract: Compatibility conditions of quantum channels featuring symmetry through covariance are studied. Compatibility here means the possibility of obtaining two or more channels through partial trace out of a broadcasting channel. We see that covariance conditions can be used to simplify compatibility conditions as the broadcasting channel can be assumed to be covariant in a particular way. A particular emphasis is on Weyl covariance and in determining compatibility conditions for Weyl-covariant channels. The concrete examples studied include the case of a non-compact continuous phase space and the case of a finite phase space.


title: Small RNA driven feed-forward loop: critical role of sRNA in noise filtering

abstract: A feed-forward loop (FFL) is a common gene-regulatory motif in which usually the upstream regulator is a protein, a transcription factor, that regulates the expression of the target protein in two parallel pathways. Here, we study a distinct sRNA-driven FFL (sFFL) discovered recently in Salmonella enterica. Unlike previously studied transcriptional FFLs (tFFL) and sRNA-mediated FFLs (smFFL), here the upstream regulator is an sRNA that activates the target protein and its transcriptional activator. Such sFFL has not been subjected to rigorous analysis. We, therefore, set out to understand two aspects. First is a quantitative comparison of the regulatory response of sFFL with tFFL and smFFL using a differential equation framework. Since the process of gene expression is inherently stochastic, the second objective is to find how the noise affects the functionality of sFFL. We find the response of sFFLto be stronger, faster, and more sensitive to the initial concentration of the upstream regulator than tFFL and smFFL. Further, a generating function based analysis and stochastic simulations lead to a non-trivial prediction that an optimal noise filtration can be attained depending on the synthesis rate of the sRNA and the degradation rate of the transcriptional activator. We conclude that in sFFL, sRNA plays a critical role not only in driving a rapid and strong response, but also a reliable response that depends critically on its concentration. Given the advantages of sFFL brought out in this work, it should not be surprising if future work reveals their employment in different biological contexts.


title: Prostate segmentation using Z-net

abstract: In this paper, we proposed a novel architecture of convolutional neural network (CNN), namely Z-net, for segmenting prostate from magnetic resonance images (MRIs). In the proposed Z-net, 5 pairs of Z-block and decoder Z-block with different sizes and numbers of feature maps were assembled in a way similar to that of U-net. The proposed architecture can capture more multi-level features by using concatenation and dense connection. A total of 45 training images were used to train the proposed Z-net and the evaluations were conducted qualitatively on 5 validation images and quantitatively on 30 testing images. In addition, three approaches including pad and cut, 2D resize, and 3D resize for uniforming the size of samples were evaluated and compared. The experimental results demonstrated that the 2D resize is the most suitable approach for the proposed Z-net. Compared to the other two classical CNN architectures, the proposed method was observed with superior performance for segmenting prostate.


title: Nonconvex Rectangular Matrix Completion via Gradient Descent without $\ell_{2,\infty}$ Regularization

abstract: The analysis of nonconvex matrix completion has recently attracted much attention in the community of machine learning thanks to its computational convenience. Existing analysis on this problem, however, usually relies on $\ell_{2,\infty}$ projection or regularization that involves unknown model parameters, although they are observed to be unnecessary in numerical simulations, see, e.g., Zheng and Lafferty [2016]. In this paper, we extend the analysis of the vanilla gradient descent for positive semidefinite matrix completion proposed in Ma et al. [2017] to the rectangular case, and more significantly, improve the required sampling rate from $O(\operatorname{poly}(\kappa)\mu^3 r^3 \log^3 n/n )$ to $O(\mu^2 r^2 \kappa^{14} \log n/n )$. Our technical ideas and contributions are potentially useful in improving the leave-one-out analysis in other related problems.


title: About the Kerr nature of the stellar-mass black hole in GRS 1915+105

abstract: We employ the accretion disk reflection model RELXILL_NK to test the spacetime geometry around the stellar-mass black hole in GRS 1915+105. We adopt the Johannsen metric with the deformation parameters $\alpha_{13}$ and $\alpha_{22}$, for which the Kerr solution is recovered when $\alpha_{13} = \alpha_{22} = 0$. We analyze a NuSTAR observation of 2012, obtaining vanishing and non-vanishing values of the deformation parameters depending on the astrophysical model adopted. Similar difficulties were not found in our previous tests with other sources. The results of this work can shed light on the choice of sources suitable for testing the Kerr metric using X-ray reflection spectroscopy and on the parts of our reflection models that more urgently require improvement.


title: Abstract Fractional Calculus for m-accretive Operators

abstract: In this paper we aim to construct an abstract model of a differential operator with a fractional integro-differential operator composition in final terms, where modeling is understood as an interpretation of concrete differential operators in terms of the infinitesimal generator of a corresponding semigroup. We study such operators as a Kipriyanov operator, Riesz potential, difference operator. Along with this, we consider transforms of m-accretive operators as a generalization, introduce an operator class $\mathfrak{G_{\alpha}}$ and provide a description of its spectral properties.


title: Crossover in the pressure evolution of elementary distortions in RFeO3 perovskites and its impact on their phase transition

abstract: This work reports on the pressure dependence of the octahedra tilts and mean Fe-O bond lengths in RFeO3 (R=Nd, Sm, Eu, Gd, Tb and Dy), determined through synchrotron X-ray diffraction and Raman scattering, and their role on the pressure induced phase transition displayed by all of these compounds. For larger rare-earth cations (Nd-Sm), both anti- and in-phase octahedra tilting decrease as pressure increases, whereas the reverse behavior is observed for smaller ones (Gd-Dy). EuFeO3 stands at the borderline, as the tilts are pressure independent. For the compounds where the tilts increase with pressure, the FeO6 octahedra are compressed at lower rates than for those ones exhibiting opposite pressure tilt dependence. The crossover between the two opposite pressure behaviors is discussed and faced with the rules grounded on the current theoretical approaches. The similarity of the pressure-induced isostructural insulator-to-metal phase transition, observed in the whole series, point out that the tilts play a minor role in its driving mechanisms. A clear relationship between octahedra compressibility and critical pressure is ascertained.


title: Magnetic, Transport, and Phonon Properties of the Trivalent Eu Metallic Compound EuBe13

abstract: Magnetic susceptibility, specific heat, and electrical resistivity measurements have been performed on single-crystal EuBe13 in the temperature range between 2 and 300 K to investigate its phonon property and the valence state of the Eu ion. The obtained temperature dependence of the magnetic susceptibility curves obey a typical Van Vleck susceptibility for Eu3+ with a nonmagnetic ground state in the entire measured temperature range. In the case of the specific heat, we observed the coexistence of Debye and Einstein phonon modes with characteristic Debye and Einstein temperatures of ~ 835 K and ~167 K, respectively, which are in good agreement with those previously reported for other isostructural MBe13 compounds (M = rare earths and actinides). The temperature dependence of the resistivity for EuBe13 shows an unusual T-cubed like dependence at low temperatures, as also observed for the nonmagnetic isostructural compound LaBe13, which can be reproduced well by calculations based on electron--phonon scattering using the estimated Debye temperature and Einstein temperature. We also summarized the relationship between the Eu-valence state and the free distance between the Eu ion and the first-nearest-neighbor atoms in several Eu-based cubic compounds, and argued that EuBe13 takes the Eu3+ state despite its larger free distance than other Eu3+ compounds.


title: Strange and charmed baryon productions with an instanton interaction

abstract: We study strange and charmed baryon productions, ${\pi + p \rightarrow K(D) + Y(Y_c)}$, where ${Y(Y_c)}$ is a strange(charmed) baryon of a ground or an excited state. We propose a new production mechanism where two quarks in the baryon participate in the reaction (two-quark process), which enables excitation of both ${\lambda}$- and ${\rho}$-modes of the baryons. To deal with the two-quark process, we consider the 't Hooft six-quark interaction from the instanton model. We study production rates in relation with the structure of charmed baryons for the forward angle scattering.


title: Cocktail BPSK: Achievable Data Rate beyond Channel Capacity

abstract: In this paper, we propose a method layering two independent BPSK symbol streams in parallel transmission through a single additive white Gaussian noise (AWGN) channel and investigate its achievable data rate (ADR). The receiver processes the two layered signals individually, where the critical point is to translate the interference between the two layers into the problem of one BPSK symbol having two equiprobable amplitudes. After detecting one symbol stream, we subtract the detected result to demodulate the other symbol stream. Based on the concept of mutual information, we formulate the ADRs and unearth an interesting phenomenon -- the sum ADR of the two BPSK symbol streams is higher than the channel capacity at low signal to noise ratio (SNR). Our theoretical derivations together with illustrative numerical results substantiate this phenomenon. We refer to this approach as cocktail BPSK because the amplitudes of the two layered BPSK streams can be adjusted at the transmitter to achieve high spectral efficiency.


title: The structure of the conjugate locus of a general point on ellipsoids and certain Liouville manifolds

abstract: It is well known since Jacobi that the geodesic flow of the ellipsoid is "completely integrable", which means that the geodesic orbits are described in a certain explicit way. However, it does not directly indicate that any global behavior of the geodesics becomes easy to see. In fact, it happened quite recently that a proof for the statement "The conjugate locus of a general point in two-dimensional ellipsoid has just four cusps" in Jacobi's Vorlesungen \"uber dynamik appeared in the literature. In this paper, we consider Liouville manifolds, a certain class of Riemannian manifolds which contains ellipsoids. We solve the geodesic equations; investigate the behavior of the Jacobi fields, especially the positions of the zeros; and clarify the structure of the conjugate locus of a general point. In particular, we show that the singularities arising in the conjugate loci are only cuspidal edges and $D_4^+$ Lagrangian singularities, which would be the higher dimensional counterpart of Jacobi's statement.


title: Continuum Limits of Quantum Lattice Systems

abstract: We describe a general procedure to give effective continuous descriptions of quantum lattice systems in terms of quantum fields. There are two key novelties of our method: firstly, it is framed in the hamiltonian setting and applies equally to distinguishable quantum spins, bosons, and fermions and, secondly, it works for arbitrary variational tensor network states and can easily produce computable non-gaussian quantum field states. Our construction extends the mean-field fluctuation formalism of Hepp and Lieb (developed later by Verbeure and coworkers) to identify emergent continuous large-scale degrees of freedom - the continuous degrees of freedom are not identified beforehand. We apply the construction to to tensor network states, including, matrix product states and projected entangled-pair states, where we recover their recently introduced continuous counterparts, and also for tree tensor networks and the multi-scale entanglement renormalisation ansatz. Finally, extending the continuum limit to include dynamics we obtain a strict light cone for the propagation of information.


title: Cold-start Playlist Recommendation with Multitask Learning

abstract: Playlist recommendation involves producing a set of songs that a user might enjoy. We investigate this problem in three cold-start scenarios: (i) cold playlists, where we recommend songs to form new personalised playlists for an existing user; (ii) cold users, where we recommend songs to form new playlists for a new user; and (iii) cold songs, where we recommend newly released songs to extend users' existing playlists. We propose a flexible multitask learning method to deal with all three settings. The method learns from user-curated playlists, and encourages songs in a playlist to be ranked higher than those that are not by minimising a bipartite ranking loss. Inspired by an equivalence between bipartite ranking and binary classification, we show how one can efficiently approximate an optimal solution of the multitask learning objective by minimising a classification loss. Empirical results on two real playlist datasets show the proposed approach has good performance for cold-start playlist recommendation.


title: Semigroups generated by partitions

abstract: Let $X$ be a nonempty set and $X^{2}$ be the Cartesian square of $X$. Some semigroups of binary relations generated partitions of $X^2$ are studied. In particular, the algebraic structure of semigroups generated by the finest partition of $X^{2}$ and, respectively, by the finest symmetric partition of $X^{2}$ are described.


title: Neutrino Oscillations and Leptogenesis

abstract: The symmetry breaking of left right symmetric model around few TeV range permits the existence of massive right handed neutrinos or gauge bosons. In this work the decay of lightest right handed neutrinos in a class of minimal left right symmetric model is analysed for the generation of adequate lepton asymmetry. An analytical expression for the lepton asymmetry is developed. In an attempt to achieve the required baryogenesis, we have imposed certain constrains on the parameter space corresponding to low energy neutrino oscillation parameters (especially {\theta} 13 ) and the three phases ( CP, majorana and higher energy phase).


title: A note on the Harnack inequality for elliptic equations in divergence form

abstract: In 1957, De Giorgi [3] proved the H\"{o}lder continuity for elliptic equations in divergence form and Moser [7] gave a new proof in 1960. Next year, Moser [8] obtained the Harnack inequality. In this note, we point out that the Harnack inequality was hidden in [3].


title: Multi-Object Tracking with Multiple Cues and Switcher-Aware Classification

abstract: In this paper, we propose a unified Multi-Object Tracking (MOT) framework learning to make full use of long term and short term cues for handling complex cases in MOT scenes. Besides, for better association, we propose switcher-aware classification (SAC), which takes the potential identity-switch causer (switcher) into consideration. Specifically, the proposed framework includes a Single Object Tracking (SOT) sub-net to capture short term cues, a re-identification (ReID) sub-net to extract long term cues and a switcher-aware classifier to make matching decisions using extracted features from the main target and the switcher. Short term cues help to find false negatives, while long term cues avoid critical mistakes when occlusion happens, and the SAC learns to combine multiple cues in an effective way and improves robustness. The method is evaluated on the challenging MOT benchmarks and achieves the state-of-the-art results.


title: Decay of I-ball/Oscillon in Classical Field Theory

abstract: I-balls/oscillons are long-lived and spatially localized solutions of real scalar fields. They are produced in various contexts of the early universe in, such as, the inflaton evolution and the axion evolution. However, their decay process has long been unclear. In this paper, we derive an analytic formula of the decay rate of the I-balls/oscillons within the classical field theory. In our approach, we calculate the Poynting vector of the perturbation around the I-ball/oscillon profile by solving a relativistic field equation, with which the decay rate of the I-ball/oscillon is obtained. We also perform a classical lattice simulation and confirm the validity of our analytical formula of the decay rate numerically.


title: On the boundary H\"{o}lder regularity for the infinity Laplace equation

abstract: In this note, we prove the boundary H\"{o}lder regularity for the infinity Laplace equation under a proper geometric condition. This geometric condition is quite general, and the exterior cone condition, the Reifenberg flat domains, and the corkscrew domains (including the non-tangentially accessible domains) are special cases. The key idea, following [3], is that the strong maximum principle and the scaling invariance imply the boundary H\"{o}lder regularity.


title: An Analytical Model of the Kelvin-Helmholtz Instability of Transverse Coronal Loop Oscillations

abstract: Recent numerical simulations have demonstrated that transverse coronal loop oscillations are susceptible to the Kelvin-Helmholtz (KH) instability due to the counter-streaming motions at the loop boundary. We present the first analytical model of this phenomenon. The region at the loop boundary where the shearing motions are greatest is treated as a straight interface separating time-periodic counter-streaming flows. In order to consider a twisted tube, the magnetic field at one side of the interface is inclined. We show that the evolution of the displacement at the interface is governed by Mathieu's equation and we use this equation to study the stability of the interface. We prove that the interface is always unstable, and that, under certain conditions, the magnetic shear may reduce the instability growth rate. The result, that the magnetic shear cannot stabilise the interface, explains the numerically found fact that the magnetic twist does not prevent the onset of the KH instability at the boundary of an oscillating magnetic tube. We also introduce the notion of the loop $\sigma$-stability. We say that a transversally oscillating loop is $\sigma$-stable if the KH instability growth time is larger than the damping time of the kink oscillation. We show that even relatively weakly twisted loops are $\sigma$-stable.


title: Truncations and extensions of the Brauer-Chen algebra

abstract: The Brauer-Chen algebra is a generalization of the algebra of Brauer diagrams to arbitrary complex reflection groups, that admits a natural monodromic deformation. We determine the generic representation theory of the first non trivial quotient of this algebra. We also define natural extensions of this algebra and prove that they similarly admit natural monodromic deformations.


title: Dynamic Carrier and Power Amplifier Mapping for Energy Efficient Multi-Carrier Wireless Communications

abstract: The rapid increasing demand of wireless transmission has incurred mobile broadband to continuously evolve through multiple frequency bands, massive antennas and other multi-stream processing schemes. Together with the improved data transmission rate, the power consumption for multi-carrier transmission and processing is proportionally increasing, which contradicts with the energy efficiency requirements of 5G wireless systems. To meet this challenge, multi carrier power amplifier (MCPA) technology, e.g., to support multiple carriers through a single power amplifier, is widely deployed in practical. With massive carriers required for 5G communication and limited number of carriers supported per MCPA, a natural question to ask is how to map those carriers into multiple MCPAs and whether we shall dynamically adjust this mapping relation. In this paper, we have theoretically formulated the dynamic carrier and MCPA mapping problem to jointly optimize the traditional separated baseband and radio frequency processing. On top of that, we have also proposed a low complexity algorithm that can achieve most of the power saving with affordable computational time, if compared with the optimal exhaustive search based algorithm.


title: Regularity for fully nonlinear elliptic equations with oblique boundary conditions

abstract: In this paper, we obtain a series of regularity results for viscosity solutions of fully nonlinear elliptic equations with oblique derivative boundary conditions. In particular, we derive the pointwise $C^{\alpha}$, $C^{1,\alpha}$ and $C^{2,\alpha}$ regularity. As byproducts, we also prove the A-B-P maximum principle, Harnack inequality, uniqueness and solvability of the equations.


title: Effective inseparability, lattices, and pre-ordering relations

abstract: We study effectively inseparable (e.i.) pre-lattices (i.e. structures of the form $L=\langle \omega, \wedge, \lor, 0, 1, \leq_L\rangle$ where $\omega$ denotes the set of natural numbers and the following hold: $\wedge, \lor$ are binary computable operations; $\leq_L$ is a c.e. pre-ordering relation, with $0 \leq_{L} x \leq_{L} 1$ for every $x$; the equivalence relation $\equiv_L$ originated by $\leq_L$ is a congruence on $L$ such that the corresponding quotient structure is a non-trivial bounded lattice; the $\equiv_L$-equivalence classes of $0$ and $1$ form an effectively inseparable pair), and show that if $L$ is an e.i. pre-lattice then $\le_{L}$ is universal with respect to all c.e. pre-ordering relations, i.e. for every c.e. pre-ordering relation $R$ there exists a computable function $f$ such that, for all $x,y$, $x \mathrel{R} y$ if and only if $f(x) \le_{L} f(y)$; in fact $\leq_L$ is locally universal, i.e. for every pair $a<_{L} b$ and every c.e. pre ordering relation $R$ one can find a reducing function $f$ from $R$ to $\le_{L}$ such that the range of $f$ is contained in the interval $\{x: a \leq_{L} x \leq_{L} b\}$. Also $\leq_L$ is uniformly dense, i.e. there exists a computable function $f$ such that for every $a,b$ if $a<_{L} b$ then $a<_{L} f(a,b) <_{L} b$, and if $a\equiv_{L} a'$ and $b \equiv_{L} b'$ then $f(a,b)\equiv_{L} f(a',b')$. Some consequences and applications of these results are discussed: in particular for $n \ge 1$ the c.e. pre-ordering relation on $\Sigma_{n}$ sentences yielded by the relation of provable implication of any c.e. consistent extension of Robinson's $Q$ or $R$ is locally universal and uniformly dense; and the c.e. pre-ordering relation of provable implication of Heyting Arithmetic is locally universal and uniformly dense.


title: Exact bipartite Tur\'an numbers of large even cycles

abstract: Let the bipartite Tur\'an number $ex(m,n,H)$ of a graph $H$ be the maximum number of edges in an $H$-free bipartite graph with two parts of sizes $m$ and $n$, respectively. In this paper, we prove that $ex(m,n,C_{2t})=(t-1)n+m-t+1$ for any positive integers $m,n,t$ with $n\geq m\geq t\geq \frac{m}{2}+1$. This confirms the rest of a conjecture of Gy\"{o}ri \cite{G97} (in a stronger form), and improves the upper bound of $ex(m,n,C_{2t})$ obtained by Jiang and Ma \cite{JM18} for this range. We also prove a tight edge condition for consecutive even cycles in bipartite graphs, which settles a conjecture in \cite{A09}. As a main tool, for a longest cycle $C$ in a bipartite graph, we obtain an estimate on the upper bound of the number of edges which are incident to at most one vertex in $C$. Our two results generalize or sharpen a classical theorem due to Jackson \cite{J85} in different ways.


title: Double-frequency Aharonov-Bohm effect and non-Abelian braiding properties of Jackiw-Rebbi zero-mode

abstract: Ever since its first proposal in 1976, Jackiw-Rebbi zero-mode has been drawing extensive attention for its charming properties including charge fractionalization, topologically protected zero-energy and possible non-Abelian statistics. We investigate these properties through the Jackiw-Rebbi zero-modes in quantum spin Hall insulator. Though charge fractionalization is not manifested, Jackiw-Rebbi zero-mode's zero-energy nature leads to a double-frequency Aharonov-Bohm effect, implying that it can be viewed as a special case of Majorana zero-mode breaking particle-hole symmetry. Such relation is strengthened since Jackiw-Rebbi zero-modes also exhibit non-Abelian braiding properties in the absence of superconductivity, and the symmetry-protected degeneracy of both Jackiw-Rebbi and Majorana zero-modes is proved to be equally important as the topological gap for their non-Abelian statistics.


title: Centre-finding in E. coli and the role of mathematical modelling: past, present and future

abstract: We review the key role played by mathematical modelling in elucidating two centre-finding patterning systems in E. coli: midcell division positioning by the MinCDE system and DNA partitioning by the ParABS system. We focus particularly on how, despite much experimental effort, these systems were simply too complex to unravel by experiments alone, and instead required key injections of quantitative, mathematical thinking. We conclude the review by analysing the frequency of modelling approaches in microbiology over time. We find that while such methods are increasing in popularity, they are still probably heavily under-utilised for optimal progress on complex biological questions.