title: Diffuser-based computational imaging funduscope

abstract: Poor access to eye care is a major global challenge that could be ameliorated by low-cost, portable, and easy-to-use diagnostic technologies. Diffuser-based imaging has the potential to enable inexpensive, compact optical systems that can reconstruct a focused image of an object over a range of defocus errors. Here, we present a diffuser-based computational funduscope that reconstructs important clinical features of a model eye. Compared to existing diffuser-imager architectures, our system features an infinite-conjugate design by relaying the ocular lens onto the diffuser. This offers shift-invariance across a wide field-of-view (FOV) and an invariant magnification across an extended depth range. Experimentally, we demonstrate fundus image reconstruction over a 33$^{\circ}$ FOV and robustness to $\pm$4D refractive error using a constant point-spread-function. Combined with diffuser-based wavefront sensing, this technology could enable combined ocular aberrometry and funduscopic screening through a single diffuser sensor.


title: Max-Affine Spline Insights into Deep Generative Networks

abstract: We connect a large class of Generative Deep Networks (GDNs) with spline operators in order to derive their properties, limitations, and new opportunities. By characterizing the latent space partition, dimension and angularity of the generated manifold, we relate the manifold dimension and approximation error to the sample size. The manifold-per-region affine subspace defines a local coordinate basis; we provide necessary and sufficient conditions relating those basis vectors with disentanglement. We also derive the output probability density mapped onto the generated manifold in terms of the latent space density, which enables the computation of key statistics such as its Shannon entropy. This finding also enables the computation of the GDN likelihood, which provides a new mechanism for model comparison as well as providing a quality measure for (generated) samples under the learned distribution. We demonstrate how low entropy and/or multimodal distributions are not naturally modeled by DGNs and are a cause of training instabilities.


title: Alpha-N: Shortest Path Finder Automated Delivery Robot with Obstacle Detection and Avoiding System

abstract: Alpha N A self-powered, wheel driven Automated Delivery Robot is presented in this paper. The ADR is capable of navigating autonomously by detecting and avoiding objects or obstacles in its path. It uses a vector map of the path and calculates the shortest path by Grid Count Method of Dijkstra Algorithm. Landmark determination with Radio Frequency Identification tags are placed in the path for identification and verification of source and destination, and also for the recalibration of the current position. On the other hand, an Object Detection Module is built by Faster RCNN with VGGNet16 architecture for supporting path planning by detecting and recognizing obstacles. The Path Planning System is combined with the output of the GCM, the RFID Reading System and also by the binary results of ODM. This PPS requires a minimum speed of 200 RPM and 75 seconds duration for the robot to successfully relocate its position by reading an RFID tag. In the result analysis phase, the ODM exhibits an accuracy of 83.75 percent, RRS shows 92.3 percent accuracy and the PPS maintains an accuracy of 85.3 percent. Stacking all these 3 modules, the ADR is built, tested and validated which shows significant improvement in terms of performance and usability comparing with other service robots.


title: Numerical analysis of two Galerkin discretizations with graded temporal grids for fractional evolution equations

abstract: Two numerical methods with graded temporal grids are analyzed for fractional evolution equations. One is a low-order discontinuous Galerkin (DG) discretization in the case of fractional order $0<\alpha<1$, and the other one is a low-order Petrov Galerkin (PG) discretization in the case of fractional order $1<\alpha<2$. By a new duality technique, pointwise-in-time error estimates of first-order and $ (3-\alpha) $-order temporal accuracies are respectively derived for DG and PG, under reasonable regularity assumptions on the initial value. Numerical experiments are performed to verify the theoretical results.


title: Keel's base point free theorem and quotients in mixed characteristic

abstract: We develop techniques of mimicking the Frobenius action in the study of universal homeomorphisms in mixed characteristic. As a consequence, we show a mixed characteristic Keel's base point free theorem obtaining applications towards the mixed characteristic Minimal Model Program, we generalise Koll\'ar's theorem on the existence of quotients by finite equivalence relations to mixed characteristic, and we provide a new proof of the existence of quotients by affine group schemes.


title: Tuning-free ridge estimators for high-dimensional generalized linear models

abstract: Ridge estimators regularize the squared Euclidean lengths of parameters. Such estimators are mathematically and computationally attractive but involve tuning parameters that can be difficult to calibrate. In this paper, we show that ridge estimators can be modified such that tuning parameters can be avoided altogether. We also show that these modified versions can improve on the empirical prediction accuracies of standard ridge estimators combined with cross-validation, and we provide first theoretical guarantees.


title: Rotating Navier-Stokes-$\alpha$ equations: Exponential Attractors in Hilbert and Banach Spaces

abstract: This article covers the construction of exponential attractors in two different functional space settings; one is in Hilbert's space, and the other is in the Banach space. The former relies on the squeezing properties of solution trajectories, but the latter does not. We present these different methods for constructing exponential attractors using the three-dimensional Rotating Navier-Stokes-$\alpha$ equations.


title: Segmentation-based Method combined with Dynamic Programming for Brain Midline Delineation

abstract: The midline related pathological image features are crucial for evaluating the severity of brain compression caused by stroke or traumatic brain injury (TBI). The automated midline delineation not only improves the assessment and clinical decision making for patients with stroke symptoms or head trauma but also reduces the time of diagnosis. Nevertheless, most of the previous methods model the midline by localizing the anatomical points, which are hard to detect or even missing in severe cases. In this paper, we formulate the brain midline delineation as a segmentation task and propose a three-stage framework. The proposed framework firstly aligns an input CT image into the standard space. Then, the aligned image is processed by a midline detection network (MD-Net) integrated with the CoordConv Layer and Cascade AtrousCconv Module to obtain the probability map. Finally, we formulate the optimal midline selection as a pathfinding problem to solve the problem of the discontinuity of midline delineation. Experimental results show that our proposed framework can achieve superior performance on one in-house dataset and one public dataset.


title: Network Cooperation with Progressive Disambiguation for Partial Label Learning

abstract: Partial Label Learning (PLL) aims to train a classifier when each training instance is associated with a set of candidate labels, among which only one is correct but is not accessible during the training phase. The common strategy dealing with such ambiguous labeling information is to disambiguate the candidate label sets. Nonetheless, existing methods ignore the disambiguation difficulty of instances and adopt the single-trend training mechanism. The former would lead to the vulnerability of models to the false positive labels and the latter may arouse error accumulation problem. To remedy these two drawbacks, this paper proposes a novel approach termed "Network Cooperation with Progressive Disambiguation" (NCPD) for PLL. Specifically, we devise a progressive disambiguation strategy of which the disambiguation operations are performed on simple instances firstly and then gradually on more complicated ones. Therefore, the negative impacts brought by the false positive labels of complicated instances can be effectively mitigated as the disambiguation ability of the model has been strengthened via learning from the simple instances. Moreover, by employing artificial neural networks as the backbone, we utilize a network cooperation mechanism which trains two networks collaboratively by letting them interact with each other. As two networks have different disambiguation ability, such interaction is beneficial for both networks to reduce their respective disambiguation errors, and thus is much better than the existing algorithms with single-trend training process. Extensive experimental results on various benchmark and practical datasets demonstrate the superiority of our NCPD to other state-of-the-art PLL methods.


title: Optimal Ate Pairing on Elliptic Curves with Embedding Degree $9,15$ and $27$

abstract: Much attention has been given to the efficient computation of pairings on elliptic curves with even embedding degree since the advent of pairing-based cryptography. The few existing works in the case of odd embedding degrees require some improvements. This paper considers the computation of optimal ate pairings on elliptic curves of embedding degrees $k=9$, $15$, $27$ which have twists of order three. Our main goal is to provide a detailed arithmetic and cost estimation of operations in the tower extensions field of the corresponding extension fields. A good selection of parameters enables us to improve the theoretical cost for the Miller step and the final exponentiation using the lattice-based method as compared to the previous few works that exist in these cases. In particular, for $k=15$, $k=27$, we obtain an improvement, in terms of operations in the base field, of up to 25% and 29% respectively in the computation of the final exponentiation. We also find that elliptic curves with embedding degree $k=15$ present faster results than BN12 curves at the 128-bit security level. We provide a MAGMA implementation in each case to ensure the correctness of the formulas used in this work.


title: RNNPool: Efficient Non-linear Pooling for RAM Constrained Inference

abstract: Standard Convolutional Neural Networks (CNNs) designed for computer vision tasks tend to have large intermediate activation maps. These require large working memory and are thus unsuitable for deployment on resource-constrained devices typically used for inference on the edge. Aggressively downsampling the images via pooling or strided convolutions can address the problem but leads to a significant decrease in accuracy due to gross aggregation of the feature map by standard pooling operators. In this paper, we introduce RNNPool, a novel pooling operator based on Recurrent Neural Networks (RNNs), that efficiently aggregates features over large patches of an image and rapidly downsamples activation maps. Empirical evaluation indicates that an RNNPool layer can effectively replace multiple blocks in a variety of architectures such as MobileNets, DenseNet when applied to standard vision tasks like image classification and face detection. That is, RNNPool can significantly decrease computational complexity and peak memory usage for inference while retaining comparable accuracy. We use RNNPool with the standard S3FD architecture to construct a face detection method that achieves state-of-the-art MAP for tiny ARM Cortex-M4 class microcontrollers with under 256 KB of RAM. Code is released at https://github.com/Microsoft/EdgeML.


title: The spin measurement of the black hole in 4U 1543-47 constrained with the X-ray reflected emission

abstract: 4U 1543-47 is a low mass X-ray binary which harbours a stellar-mass black hole located in our Milky Way galaxy. In this paper, we revisit 7 data sets which were in the Steep Power Law state of the 2002 outburst. The spectra were observed by the Rossi X-ray Timing Explorer. We have carefully modelled the X-ray reflection spectra, and made a joint-fit to these spectra with relxill, for the reflected emission. We found a moderate black hole spin, which is $0.67_{-0.08}^{+0.15}$ at 90% statistical confidence. Negative and low spins (< 0.5) at more than 99% statistical confidence are ruled out. In addition, our results indicate that the model requires a super-solar iron abundance: $5.05_{-0.26}^{+1.21}$, and the inclination angle of the inner disc is $36.3_{-3.4}^{+5.3}$ degrees. This inclination angle is appreciably larger than the binary orbital inclination angle (~21 degrees); this difference is possibly a systematic artefact of the artificially low-density employed in the reflection model for this X-ray binary system.


title: The Effectiveness of Johnson-Lindenstrauss Transform for High Dimensional Optimization With Adversarial Outliers, and the Recovery

abstract: In this paper, we consider robust optimization problems in high dimensions. Because a real-world dataset may contain significant noise or even specially crafted samples from some attacker, we are particularly interested in the optimization problems with arbitrary (and potentially adversarial) outliers. We focus on two fundamental optimization problems: {\em SVM with outliers} and {\em $k$-center clustering with outliers}. They are in fact extremely challenging combinatorial optimization problems, since we cannot impose any restriction on the adversarial outliers. Therefore, their computational complexities are quite high especially when we consider the instances in high dimensional spaces. The {\em Johnson-Lindenstrauss (JL) Transform} is one of the most popular methods for dimension reduction. Though the JL transform has been widely studied in the past decades, its effectiveness for dealing with adversarial outliers has never been investigated before (to the best of our knowledge). Based on some novel insights from the geometry, we prove that the complexities of these two problems can be significantly reduced through the JL transform. Moreover, we prove that the solution in the dimensionality-reduced space can be efficiently recovered in the original $\mathbb{R}^d$ while the quality is still preserved. In the experiments, we compare JL transform with several other well known dimension reduction methods, and study their performances on synthetic and real datasets.


title: Path Integral for Spin-1 Chain in the Fluctuating Matrix Product State Basis

abstract: A new method of writing down the path integral for spin-1 Heisenberg antiferromagnetic chain is introduced. In place of the conventional coherent state basis that leads to the non-linear sigma-model, we use a new basis called the fluctuating matrix product states (fMPS) which embodies inter-site entanglement from the outset. It forms an overcomplete set spanning the entire Hilbert space of the spin-1 chain. Saddle-point analysis performed for the bilinear-biquadratic spin model predicts Affeck-Kennedy-Lieb-Tasaki (AKLT) state as the ground state in the vicinity of the AKLT Hamiltonian. Quadratic effective action derived by gradient expansion around the saddle point is free from constraints that plagued the non-linear sigma model and exactly solvable. The obtained excitation modes agree precisely with the single-mode approximation result for the AKLT Hamiltonian. Excitation spectra for other BLBQ Hamiltonians are obtained as well by diagonalizing the quadratic action.


title: Set-Constrained Viterbi for Set-Supervised Action Segmentation

abstract: This paper is about weakly supervised action segmentation, where the ground truth specifies only a set of actions present in a training video, but not their true temporal ordering. Prior work typically uses a classifier that independently labels video frames for generating the pseudo ground truth, and multiple instance learning for training the classifier. We extend this framework by specifying an HMM, which accounts for co-occurrences of action classes and their temporal lengths, and by explicitly training the HMM on a Viterbi-based loss. Our first contribution is the formulation of a new set-constrained Viterbi algorithm (SCV). Given a video, the SCV generates the MAP action segmentation that satisfies the ground truth. This prediction is used as a framewise pseudo ground truth in our HMM training. Our second contribution in training is a new regularization of feature affinities between training videos that share the same action classes. Evaluation on action segmentation and alignment on the Breakfast, MPII Cooking2, Hollywood Extended datasets demonstrates our significant performance improvement for the two tasks over prior work.


title: Generation, manipulation and detection of snake state trajectories of a neutral atom in a ring-cavity

abstract: We propose a set-up to create and detect the atomic counterpart of snake state trajectories which occur at the interface where the magnetic field reverses direction. Such a magnetic field is generated by coupling two counter-propagating modes of a ring cavity to a two-level atom. The spatial distribution and the strength of the induced magnetic field are controlled by the transverse mode profile of the cavity modes and the number of photons in the two modes, respectively. By analysing the atomic motion in such a magnetic field while including the cavity back-action, we find that the atom follows snake state trajectories which can be non-destructively detected and reconstructed from the phase and the intensity of the light field leaking from the cavity. We finally show that the system parameters can be tuned to modify the transport properties of the snake states and even amplify the effect of cavity feedback which can completely alter their topology.


title: Social-STGCNN: A Social Spatio-Temporal Graph Convolutional Neural Network for Human Trajectory Prediction

abstract: Better machine understanding of pedestrian behaviors enables faster progress in modeling interactions between agents such as autonomous vehicles and humans. Pedestrian trajectories are not only influenced by the pedestrian itself but also by interaction with surrounding objects. Previous methods modeled these interactions by using a variety of aggregation methods that integrate different learned pedestrians states. We propose the Social Spatio-Temporal Graph Convolutional Neural Network (Social-STGCNN), which substitutes the need of aggregation methods by modeling the interactions as a graph. Our results show an improvement over the state of art by 20% on the Final Displacement Error (FDE) and an improvement on the Average Displacement Error (ADE) with 8.5 times less parameters and up to 48 times faster inference speed than previously reported methods. In addition, our model is data efficient, and exceeds previous state of the art on the ADE metric with only 20% of the training data. We propose a kernel function to embed the social interactions between pedestrians within the adjacency matrix. Through qualitative analysis, we show that our model inherited social behaviors that can be expected between pedestrians trajectories. Code is available at https://github.com/abduallahmohamed/Social-STGCNN.


title: Boundedness of log pluricanonical representations of log Calabi-Yau pairs in dimension 2

abstract: We show the boundedness of B-pluricanonical representations of lc log Calabi-Yau pairs in dimension $2$. As applications, we prove the boundedness of indices of slc log Calabi-Yau pairs up to dimension $3$ and that of non-klt lc log Calabi-Yau pairs in dimension $4$.


title: Notes on the lattice of fuzzy rough sets with crisp reference sets

abstract: Since the theory of rough sets was introduced by Zdzislaw Pawlak, several approaches have been proposed to combine rough set theory with fuzzy set theory. In this paper, we examine one of these approaches, namely fuzzy rough sets with crisp reference sets, from a lattice-theoretic point of view. We connect the lower and upper approximations of a fuzzy relation $R$ to the approximations of the core and support of $R$. We also show that the lattice of fuzzy rough sets corresponding to a fuzzy equivalence relation $R$ and the crisp subsets of its universe is isomorphic to the lattice of rough sets for the (crisp) equivalence relation $E$, where $E$ is the core of $R$. We establish a connection between the exact (fuzzy) sets of $R$ and the exact (crisp) sets of the support of $R$.


title: Auto-Encoding Twin-Bottleneck Hashing

abstract: Conventional unsupervised hashing methods usually take advantage of similarity graphs, which are either pre-computed in the high-dimensional space or obtained from random anchor points. On the one hand, existing methods uncouple the procedures of hash function learning and graph construction. On the other hand, graphs empirically built upon original data could introduce biased prior knowledge of data relevance, leading to sub-optimal retrieval performance. In this paper, we tackle the above problems by proposing an efficient and adaptive code-driven graph, which is updated by decoding in the context of an auto-encoder. Specifically, we introduce into our framework twin bottlenecks (i.e., latent variables) that exchange crucial information collaboratively. One bottleneck (i.e., binary codes) conveys the high-level intrinsic data structure captured by the code-driven graph to the other (i.e., continuous variables for low-level detail information), which in turn propagates the updated network feedback for the encoder to learn more discriminative binary codes. The auto-encoding learning objective literally rewards the code-driven graph to learn an optimal encoder. Moreover, the proposed model can be simply optimized by gradient descent without violating the binary constraints. Experiments on benchmarked datasets clearly show the superiority of our framework over the state-of-the-art hashing methods. Our source code can be found at https://github.com/ymcidence/TBH.


title: Design-theoretic analogies between codes, lattices, and vertex operator algebras

abstract: There are many analogies between codes, lattices, and vertex operator algebras. For example, extremal objects are good examples of combinatorial, spherical, and conformal designs. In this study, we investigated these objects from the aspect of design theory.


title: Bounds on the Horndeski Gauge-Gravity Coupling

abstract: The Horndeski gauge-gravity coupling is the leading non-minimal interaction between gravity and gauge bosons, and it preserves all the symmetries and the number of physical degrees of freedom of the standard model of particle physics and general relativity. In this paper we study the effects of the non-minimal interaction in astronomy and cosmology, and obtain upper bounds on the associated dimensionless coupling constant $\lambda$. From the modification of equations of motion of gauge bosons applied to compact astronomical objects, we find upper bounds $|\lambda| \lesssim 10^{88}$, $|\lambda| \lesssim 10^{75}$ and $|\lambda| \lesssim 10^{84}$ from a black hole shadow, neutron stars and white dwarfs, respectively. The bound $|\lambda| \lesssim 10^{75}$ that is deduced from neutron stars is the strongest and provides twenty orders of magnitude improvement of the previously known best bound on this parameter. On the other hand, the effects of this term on modification of the gravitational Poisson equation lead to a weaker bound $|\lambda| \lesssim 10^{98}$. From the propagation of gravitational waves we also find $|\lambda| \lesssim 10^{119}$, which is even weaker.


title: On Metric DBSCAN with Low Doubling Dimension

abstract: The density based clustering method {\em Density-Based Spatial Clustering of Applications with Noise (DBSCAN)} is a popular method for outlier recognition and has received tremendous attention from many different areas. A major issue of the original DBSCAN is that the time complexity could be as large as quadratic. Most of existing DBSCAN algorithms focus on developing efficient index structures to speed up the procedure in low-dimensional Euclidean space. However, the research of DBSCAN in high-dimensional Euclidean space or general metric space is still quite limited, to the best of our knowledge. In this paper, we consider the metric DBSCAN problem under the assumption that the inliers (excluding the outliers) have a low doubling dimension. We apply a novel randomized $k$-center clustering idea to reduce the complexity of range query, which is the most time consuming step in the whole DBSCAN procedure. Our proposed algorithms do not need to build any complicated data structures and are easy to be implemented in practice. The experimental results show that our algorithms can significantly outperform the existing DBSCAN algorithms in terms of running time.


title: Supervised Dimensionality Reduction and Visualization using Centroid-encoder

abstract: Visualizing high-dimensional data is an essential task in Data Science and Machine Learning. The Centroid-Encoder (CE) method is similar to the autoencoder but incorporates label information to keep objects of a class close together in the reduced visualization space. CE exploits nonlinearity and labels to encode high variance in low dimensions while capturing the global structure of the data. We present a detailed analysis of the method using a wide variety of data sets and compare it with other supervised dimension reduction techniques, including NCA, nonlinear NCA, t-distributed NCA, t-distributed MCML, supervised UMAP, supervised PCA, Colored Maximum Variance Unfolding, supervised Isomap, Parametric Embedding, supervised Neighbor Retrieval Visualizer, and Multiple Relational Embedding. We empirically show that centroid-encoder outperforms most of these techniques. We also show that when the data variance is spread across multiple modalities, centroid-encoder extracts a significant amount of information from the data in low dimensional space. This key feature establishes its value to use it as a tool for data visualization.


title: The Burger-Sarnak Method and Operations on the Unitary Duals of Classical Groups

abstract: The Burger-Sarnak method shows that the restriction of an automorphic representation of a reductive group to a reductive subgroup has automorphic support. Clozel has conjectured a qualitative refinement of this result, which were first verified and quantified in the $GL_n$ case by Venkatesh. We give a proof of this conjecture in the classical group cases.


title: Weak Supervision in Convolutional Neural Network for Semantic Segmentation of Diffuse Lung Diseases Using Partially Annotated Dataset

abstract: Computer-aided diagnosis system for diffuse lung diseases (DLDs) is necessary for the objective assessment of the lung diseases. In this paper, we develop semantic segmentation model for 5 kinds of DLDs. DLDs considered in this work are consolidation, ground glass opacity, honeycombing, emphysema, and normal. Convolutional neural network (CNN) is one of the most promising technique for semantic segmentation among machine learning algorithms. While creating annotated dataset for semantic segmentation is laborious and time consuming, creating partially annotated dataset, in which only one chosen class is annotated for each image, is easier since annotators only need to focus on one class at a time during the annotation task. In this paper, we propose a new weak supervision technique that effectively utilizes partially annotated dataset. The experiments using partially annotated dataset composed 372 CT images demonstrated that our proposed technique significantly improved segmentation accuracy.


title: Coprimeness-preserving discrete KdV type equation on an arbitrary dimensional lattice

abstract: We introduce an equation defined on a multi-dimensional lattice, which can be considered as an extension to the coprimeness-preserving discrete KdV like equation in our previous paper. The equation is also interpreted as a higher-dimensional analogue of the Hietarinta-Viallet equation, which is famous for its singularity confining property while having an exponential degree growth. As the main theorem we prove the Laurent and the irreducibility properties of the equation in its "tau-function" form. From the theorem the coprimeness of the equation follows. In Appendix we review the coprimeness-preserving discrete KdV like equation whichis a base equation for our main system and prove the properties such as the coprimeness.


title: Analysis of Attack via Grounding and Countermeasures in Discrete-Time Consensus Networks

abstract: We investigate the disruption of discrete-time consensus problems via grounding. Loosely speaking, grounding a network occurs if the state of one agent no longer responds to inputs from other agents and/or changes its dynamics. Then, the agent becomes a leader or a so called stubborn agent. The disruption of the agent can be caused by internal faults, safety protocols or externally due to a malicious attack. In this paper we investigate how the grounding affects the eigenratio of expander graph families that usually exhibit good scaling properties with increasing network size. It is shown that the algebraic connectivity and eigenratio of the network will decrease due to the grounding causing the performance and scalability of the network to deteriorate, even to the point of losing consensusability. We then present countermeasures to such interruptions both in a passive and active manner. Our findings are supported by numerical simulations given within the paper.


title: Weakly supervised discriminative feature learning with state information for person identification

abstract: Unsupervised learning of identity-discriminative visual feature is appealing in real-world tasks where manual labelling is costly. However, the images of an identity can be visually discrepant when images are taken under different states, e.g. different camera views and poses. This visual discrepancy leads to great difficulty in unsupervised discriminative learning. Fortunately, in real-world tasks we could often know the states without human annotation, e.g. we can easily have the camera view labels in person re-identification and facial pose labels in face recognition. In this work we propose utilizing the state information as weak supervision to address the visual discrepancy caused by different states. We formulate a simple pseudo label model and utilize the state information in an attempt to refine the assigned pseudo labels by the weakly supervised decision boundary rectification and weakly supervised feature drift regularization. We evaluate our model on unsupervised person re-identification and pose-invariant face recognition. Despite the simplicity of our method, it could outperform the state-of-the-art results on Duke-reID, MultiPIE and CFP datasets with a standard ResNet-50 backbone. We also find our model could perform comparably with the standard supervised fine-tuning results on the three datasets. Code is available at https://github.com/KovenYu/state-information


title: How Much Can A Retailer Sell? Sales Forecasting on Tmall

abstract: Time-series forecasting is an important task in both academic and industry, which can be applied to solve many real forecasting problems like stock, water-supply, and sales predictions. In this paper, we study the case of retailers' sales forecasting on Tmall|the world's leading online B2C platform. By analyzing the data, we have two main observations, i.e., sales seasonality after we group different groups of retails and a Tweedie distribution after we transform the sales (target to forecast). Based on our observations, we design two mechanisms for sales forecasting, i.e., seasonality extraction and distribution transformation. First, we adopt Fourier decomposition to automatically extract the seasonalities for different categories of retailers, which can further be used as additional features for any established regression algorithms. Second, we propose to optimize the Tweedie loss of sales after logarithmic transformations. We apply these two mechanisms to classic regression models, i.e., neural network and Gradient Boosting Decision Tree, and the experimental results on Tmall dataset show that both mechanisms can significantly improve the forecasting results.


title: Distribution of Non-Wieferich primes in certain algebraic groups under ABC

abstract: Under ABC, Silverman showed that there are infinitely many non-Wieferich primes with respect to any (non-trivial) base $a$. Recently Srinivas and Subramani proved an analogous result over number fields with trivial class group. In the first part of this article, we extend their result to any arbitrary number fields. Secondly, we give an asymptotic lower bound for the number of non-Wieferich prime ideals. Furthermore, we show a lower bound of same order is achievable for non-Wieferich prime ideals having norm congruent to $1 \pmod k.$ Lastly, we generalize Silverman's work for elliptic curves over arbitrary number fields following the treatment by K\"uhn and M\"uller.


title: A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

abstract: It is well-known that some equational theories such as groups or boolean algebras can be defined by fewer equational axioms than the original axioms. However, it is not easy to determine if a given set of axioms is the smallest or not. Malbos and Mimram investigated a general method to find a lower bound of the cardinality of the set of equational axioms (or rewrite rules) that is equivalent to a given equational theory (or term rewriting systems), using homological algebra. Their method is an analog of Squier's homology theory on string rewriting systems. In this paper, we develop the homology theory for term rewriting systems more and provide a better lower bound under a stronger notion of equivalence than their equivalence. The author also implemented a program to compute the lower bounds, and experimented with 64 complete TRSs.


title: Finite-temperature properties of excitonic condensation in the extended Falicov-Kimball model: Cluster mean-field-theory approach

abstract: We study the electron-hole pair (or excitonic) condensation in the extended Falicov-Kimball model at finite temperatures based on the cluster mean-field-theory approach, where we make the grand canonical exact-diagonalization analysis of small clusters using the sine-square deformation function. We thus calculate the ground-state and finite-temperature phase diagrams of the model, as well as its optical conductivity and single-particle spectra, thereby clarifying how the preformed pair states appear in the strong-coupling regime of excitonic insulators. We compare our results with experiment on Ta$_2$NiSe$_5$.


title: Sigma-3: Integration and Analysis of a 6 DOF Robotic Arm Configuration in a Rescue Robot

abstract: This paper introduces a rescue robot named Sigma 3 which is developed for potential applications such as helping hands for humans where a human can not reach to have an assessment of the hazardous environment. Also, these kinds of robot can be controlled remotely with an adequate control system. The proposed methodology forces on two issues : 1. Novel mechanism design for measuring rotation, joints, links of Degree of Freedom DOF for an arm which is integrated with Sigma 3, 2. Precise measuring of end effector motion control over three dimensions. In the proposed mechanism design, the DOF measurement is presented by a planar and spatial mechanism where 4 types of rigid joints build up each DOF with controlling by six High Torque MG996R servo motors. Rotation and DOF measurement are consisting of different theoretical references of Rotation Matrix, Inverse Kinematics with experimental results. Presented methodology over Oscillation Damping performance exhibits less than 3 percent error while configuring for on hands testing. Another evaluation of operating time state strongly defends the mechanism of low power consumption ability.


title: Is my Neural Network Neuromorphic? Taxonomy, Recent Trends and Future Directions in Neuromorphic Engineering

abstract: In this paper, we review recent work published over the last 3 years under the umbrella of Neuromorphic engineering to analyze what are the common features among such systems. We see that there is no clear consensus but each system has one or more of the following features:(1) Analog computing (2) Non vonNeumann Architecture and low-precision digital processing (3) Spiking Neural Networks (SNN) with components closely related to biology. We compare recent machine learning accelerator chips to show that indeed analog processing and reduced bit precision architectures have best throughput, energy and area efficiencies. However, pure digital architectures can also achieve quite high efficiencies by just adopting a non von-Neumann architecture. Given the design automation tools for digital hardware design, it raises a question on the likelihood of adoption of analog processing in the near future for industrial designs. Next, we argue about the importance of defining standards and choosing proper benchmarks for the progress of neuromorphic system designs and propose some desired characteristics of such benchmarks. Finally, we show brain-machine interfaces as a potential task that fulfils all the criteria of such benchmarks.


title: Quantum supremacy in driven quantum many-body systems

abstract: A crucial milestone in the field of quantum simulation and computation is to demonstrate that a quantum device can compute certain tasks that are impossible to reproduce by a classical computer with any reasonable resources. Such a demonstration is referred to as quantum supremacy. One of the most important questions is to identify setups that exhibit quantum supremacy and can be implemented with current quantum technology. The two standard candidates are boson sampling and random quantum circuits. Here, we show that quantum supremacy can be obtained in generic periodically-driven quantum many-body systems. Our analysis is based on the eigenstate thermalization hypothesis and strongly-held conjectures in complexity theory. To illustrate our work, We give examples of simple disordered Ising chains driven by global magnetic fields and Bose-Hubbard chains with modulated hoppings. Our proposal opens the way for a large class of quantum platforms to demonstrate and benchmark quantum supremacy.


title: Shape model and spin state of non-principal axis rotator (5247) Krylov

abstract: Context. The study of non-principal axis (NPA) rotators can provide important clues to the evolution of the spin state of asteroids. However, so far, very few studies have focused on NPA-rotating main-belt asteroids (MBAs). One of MBAs that are known to be in an excited rotation state is asteroid (5247) Krylov. Aims. By using disk-integrated photometric data, we construct a physical model of (5247) Krylov including shape and spin state. Methods. We apply the light curve convex inversion method employing optical light curves obtained by using ground-based telescopes in three apparitions during 2006, 2016, and 2017, along with infrared light curves obtained by the Wide-field Infrared Survey Explorer (WISE) satellite in 2010. Results. Asteroid (5247)~Krylov is spinning in a short axis mode (SAM) characterized by rotation and precession periods of 368.7 hr and 67.27 hr, respectively. The angular momentum vector orientation of Krylov is found to be $\lambda_{L} = 298^\circ$ and $\beta_{L} = -58^\circ$. The ratio of the rotational kinetic energy to the basic spin state energy $E/E_{0} \simeq 1.02$ shows that the (5247) Krylov is about 2% excited state compared to the Principal Axis (PA) rotation state. The shape of (5247) Krylov can be approximated by an elongated prolate ellipsoid with a ratio of moments of inertia of $I_{a}:I_{b}:I_{c}=0.36:0.96:1$. This is the first physical model of NPA rotator among MBAs. The physical processes that led to the current NPA rotation cannot be unambiguously reconstructed.


title: Features for Ground Texture Based Localization -- A Survey

abstract: Ground texture based vehicle localization using feature-based methods is a promising approach to achieve infrastructure-free high-accuracy localization. In this paper, we provide the first extensive evaluation of available feature extraction methods for this task, using separately taken image pairs as well as synthetic transformations. We identify AKAZE, SURF and CenSurE as best performing keypoint detectors, and find pairings of CenSurE with the ORB, BRIEF and LATCH feature descriptors to achieve greatest success rates for incremental localization, while SIFT stands out when considering severe synthetic transformations as they might occur during absolute localization.


title: Unbiased Scene Graph Generation from Biased Training

abstract: Today's scene graph generation (SGG) task is still far from practical, mainly due to the severe training bias, e.g., collapsing diverse "human walk on / sit on / lay on beach" into "human on beach". Given such SGG, the down-stream tasks such as VQA can hardly infer better scene structures than merely a bag of objects. However, debiasing in SGG is not trivial because traditional debiasing methods cannot distinguish between the good and bad bias, e.g., good context prior (e.g., "person read book" rather than "eat") and bad long-tailed bias (e.g., "near" dominating "behind / in front of"). In this paper, we present a novel SGG framework based on causal inference but not the conventional likelihood. We first build a causal graph for SGG, and perform traditional biased training with the graph. Then, we propose to draw the counterfactual causality from the trained graph to infer the effect from the bad bias, which should be removed. In particular, we use Total Direct Effect (TDE) as the proposed final predicate score for unbiased SGG. Note that our framework is agnostic to any SGG model and thus can be widely applied in the community who seeks unbiased predictions. By using the proposed Scene Graph Diagnosis toolkit on the SGG benchmark Visual Genome and several prevailing models, we observed significant improvements over the previous state-of-the-art methods.


title: On de Sitter future-past extremal surfaces and the "entanglement wedge"

abstract: We develop further the codim-2 future-past extremal surfaces stretching between the future and past boundaries in de Sitter space, discussed in previous work. We first make more elaborate the construction of such surfaces anchored at more general subregions of the future boundary, and stretching to equivalent subregions at the past boundary. These top-bottom symmetric future-past extremal surfaces cannot penetrate beyond a certain limiting surface in the Northern/Southern diamond regions: the boundary subregions become the whole boundary for this limiting surface. For multiple disjoint subregions, this construction leads to mutual information vanishing and strong subadditivity being saturated. We then discuss an effective codim-1 envelope surface arising from these codim-2 surfaces. This leads to analogs of the entanglement wedge and subregion duality for these future-past extremal surfaces in de Sitter space.


title: Serre's condition for tensor products and $n$-Tor-rigidity of modules

abstract: In this paper, we study Serre's condition $(S_n)$ for tensor products of modules over a commutative noetherian local ring. The paper aims to show the following. Let $M$ and $N$ be finitely generated module over a commutative noetherian local ring $R$, either of which is $(n+1)$-Tor-rigid. If the tensor product $M \otimes_R N$ satisfies $(S_{n+1})$, then under some assumptions $\mathrm{Tor}_{i}^R(M, N) = 0$ for all $i \ge 1$. The key role is played by $(n+1)$-Tor-rigidity of modules. As applications, we will show that the result recovers several known results.


title: Autonomous robotic nanofabrication with reinforcement learning

abstract: The ability to handle single molecules as effectively as macroscopic building-blocks would enable the construction of complex supramolecular structures inaccessible to self-assembly. The fundamental challenges obstructing this goal are the uncontrolled variability and poor observability of atomic-scale conformations. Here, we present a strategy to work around both obstacles, and demonstrate autonomous robotic nanofabrication by manipulating single molecules. Our approach employs reinforcement learning (RL), which finds solution strategies even in the face of large uncertainty and sparse feedback. We demonstrate the potential of our RL approach by removing molecules autonomously with a scanning probe microscope from a supramolecular structure -- an exemplary task of subtractive manufacturing at the nanoscale. Our RL agent reaches an excellent performance, enabling us to automate a task which previously had to be performed by a human. We anticipate that our work opens the way towards autonomous agents for the robotic construction of functional supramolecular structures with speed, precision and perseverance beyond our current capabilities.


title: On the set of points of zero torsion for negative-torsion maps of the annulus

abstract: For negative-torsion maps on the annulus we show that on every $\mathcal{C}^1$ essential curve there is at least one point of zero torsion. As an outcome, we deduce that the Hausdorff dimension of the set of points of zero torsion is greater or equal 1. As a byproduct, we obtain a Birkhoff's-theorem-like result for $\mathcal{C}^1$ essential curves in the framework of negative-torsion maps.


title: Energy-Efficient Buffer-Aided Relaying Systems with Opportunistic Spectrum Access

abstract: In this paper, an energy-efficient cross-layer design framework is proposed for cooperative relaying networks, which takes into account the influence of spectrum utilization probability. Specifically, random arrival traffic is considered and an adaptive modulation and coding (AMC) scheme is adopted in the cooperative transmission system to improve the system performance. The average packet dropping rate of the relay-buffer is studied at first. With the packet dropping rate and stationary distribution of the system state, the closed-form expression of the delay is derived. Then the energy efficiency for relay-assisted transmission is investigated, which takes into account the queueing process of the relay and the source. In this context, an energy efficiency optimization problem is formulated to determine the optimum strategy of power and time allocation for the relay-assisted cooperative system. Finally, the energy efficient switching strategy between the relay assisted transmission and the direct transmission is obtained, where packet transmissions have different delay requirements. In addition, energy efficient transmission policy with AMC is obtained. Numerical results demonstrate the effectiveness of the proposed design improving the energy efficiency.


title: Fast and Three-rious: Speeding Up Weak Supervision with Triplet Methods

abstract: Weak supervision is a popular method for building machine learning models without relying on ground truth annotations. Instead, it generates probabilistic training labels by estimating the accuracies of multiple noisy labeling sources (e.g., heuristics, crowd workers). Existing approaches use latent variable estimation to model the noisy sources, but these methods can be computationally expensive, scaling superlinearly in the data. In this work, we show that, for a class of latent variable models highly applicable to weak supervision, we can find a closed-form solution to model parameters, obviating the need for iterative solutions like stochastic gradient descent (SGD). We use this insight to build FlyingSquid, a weak supervision framework that runs orders of magnitude faster than previous weak supervision approaches and requires fewer assumptions. In particular, we prove bounds on generalization error without assuming that the latent variable model can exactly parameterize the underlying data distribution. Empirically, we validate FlyingSquid on benchmark weak supervision datasets and find that it achieves the same or higher quality compared to previous approaches without the need to tune an SGD procedure, recovers model parameters 170 times faster on average, and enables new video analysis and online learning applications.


title: Structure Formation Models Weaken Limits on WIMP Dark Matter from Dwarf Spheroidal Galaxies

abstract: Dwarf spheroidal galaxies that form in halo substructures provide stringent constraints on dark matter annihilation. Many ultrafaint dwarfs discovered with modern surveys contribute significantly to these constraints. At present, because of the lack of abundant stellar kinematic data for the ultrafaints, non-informative prior assumptions are usually made for the parameters of the density profiles. Based on semi-analytic models of dark matter subhalos and their connection to satellite galaxies, we present more informative and realistic satellite priors. We show that our satellite priors lead to constraints on the annihilation rate that are between a factor of 2 and a factor of 7 weaker than under non-informative priors. As a result, the thermal relic cross section can at best only be excluded (with 95% probability) for dark matter masses of $\lesssim 40$ GeV from dwarf spheroidal data, assuming annihilation into $b\bar{b}$.


title: New developments in lattice QCD on equilibrium physics and phase diagram

abstract: I review recent new lattice QCD results on a few selected topics which are relevant to the heavy ion physics community. Special emphasis is put on the QCD phase diagram towards the chiral limit and at nonzero baryon density as well as the fate of quarkonia and heavy quark drag coefficients.


title: Studying the $\gamma$-ray pulsar J1932+1916 and its pulsar wind nebula with Chandra

abstract: We report on the results of Chandra X-ray observations of the $\gamma$-ray radio-quiet pulsar J1932+1916. We confirm the previous detection of the pulsar counterpart and its pulsar wind nebula in X-rays from low spatial resolution data obtained by Suzaku and Swift. The Chandra data with much better spatial resolution resolved the fine structure of the nebula in the pulsar vicinity, which can be interpreted as jets bent by the ram pressure. The size of this compact part is about 30'', and it is surrounded by a weak asymmetric diffusive emission extended up to $\approx$ 2.8'. The X-ray spectra of the pulsar, the compact and extended parts of the nebula can be described by the power-law models with photon indexes of 0.44, 2.34 and 2.14, respectively. The actual pulsar's X-ray flux is several times weaker than it was obtained with Suzaku and Swift where it was dominated by the unresolved nebula. We discuss possible associations of J1932+1916 with the nearby supernova remnant G54.4-0.3.


title: Pole analysis on the hadron spectroscopy of $\Lambda_b\to J/\Psi p K^-$

abstract: In this paper we study the $J/\Psi p$ spectroscopy in the process of $\Lambda_b\to J/\Psi p K^-$. The final state interactions of coupled channel $J/\Psi p$ ~-~ $\bar{D} \Sigma_c$~-~$\bar{D}^{*} \Sigma_c$ are constructed based on K-matrix with the Chew-Mandelstam function. We build the $\Lambda_b\to J/\Psi p K^-$ amplitude according to the Au-Morgan-Pennington method. The event shape is fitted and the decay width of $\Lambda_b\to J/\Psi p K^-$ is used to constrain the parameters, too. With the amplitudes we extract out the poles and their residues. Our amplitude and pole analysis suggest that the $P_c(4312)$ should be $\bar{D}\Sigma_c$ molecule, the $P_c(4440)$ could be an S-wave compact pentaquark state, and the structure around $P_c(4457)$ is caused by the cusp effect. The future experimental measurement of the decays of $\Lambda_b\to \bar{D}\Sigma_c K^-$ and $\Lambda_b\to \bar{D}^*\Sigma_c K^-$ would further help to study the nature of these resonances.


title: Self-organized lane-formation in bidirectional transport of molecular motors

abstract: Within cells, vesicles and proteins are actively transported several micrometers along the cytoskeletal filaments. The transport along microtubules is propelled by dynein and kinesin motors, which carry the cargo in opposite directions. Bidirectional intracellular transport is performed with great efficiency, even under strong confinement, as for example in the axon. For this kind of transport system, one would expect generically cluster formation. In this work, we discuss the effect of the recently observed self-enhanced binding-affinity along the kinesin trajectories on the MT. We introduce a stochastic lattice-gas model, where the enhanced binding affinity is realized via a floor-field. From Monte Carlo simulations and a mean-field analysis we show that this mechanism can lead to self-organized symmetry-breaking and lane-formation which indeed leads to efficient bidirectional transport in narrow environments.


title: On the sum of simultaneously proximinal sets

abstract: In this paper, we show that the sum of a compact convex subset and a simultaneously $\tau$-strongly proximinal convex subset (resp. simultaneously approximatively $\tau$-compact convex subset) of a Banach space X is simultaneously tau-strongly proximinal (resp. simultaneously approximatively $\tau$-compact ), and the sum of weakly compact convex subset and a simultaneously approximatively weakly compact convex subset of X is still simultaneously approximatively weakly compact, where $\tau$ is the norm or the weak topology. Moreover, some related results on the sum of simultaneously proximinal subspaces are presented.


title: Can We Find Near-Approximately-Stationary Points of Nonsmooth Nonconvex Functions?

abstract: It is well-known that given a bounded, smooth nonconvex function, standard gradient-based methods can find $\epsilon$-stationary points (where the gradient norm is less than $\epsilon$) in $\mathcal{O}(1/\epsilon^2)$ iterations. However, many important nonconvex optimization problems, such as those associated with training modern neural networks, are inherently not smooth, making these results inapplicable. Moreover, as recently pointed out in Zhang et al. [2020], it is generally impossible to provide finite-time guarantees for finding an $\epsilon$-stationary point of nonsmooth functions. Perhaps the most natural relaxation of this is to find points which are near such $\epsilon$-stationary points. In this paper, we show that even this relaxed goal is hard to obtain in general, given only black-box access to the function values and gradients. We also discuss the pros and cons of alternative approaches.


title: Plannable Approximations to MDP Homomorphisms: Equivariance under Actions

abstract: This work exploits action equivariance for representation learning in reinforcement learning. Equivariance under actions states that transitions in the input space are mirrored by equivalent transitions in latent space, while the map and transition functions should also commute. We introduce a contrastive loss function that enforces action equivariance on the learned representations. We prove that when our loss is zero, we have a homomorphism of a deterministic Markov Decision Process (MDP). Learning equivariant maps leads to structured latent spaces, allowing us to build a model on which we plan through value iteration. We show experimentally that for deterministic MDPs, the optimal policy in the abstract MDP can be successfully lifted to the original MDP. Moreover, the approach easily adapts to changes in the goal states. Empirically, we show that in such MDPs, we obtain better representations in fewer epochs compared to representation learning approaches using reconstructions, while generalizing better to new goals than model-free approaches.


title: Effective formulas for linear recurrence sequences of integers

abstract: We propose a new definition of effective formulas for problems in enumerative combinatorics. We outline the proof of the fact that every linear recurrence sequence of integers has such a formula. It follows from a lower bound that can be deduced from the Skolem-Mahler-Lech theorem and the Subspace Theorem. We will give details of this deduction that is due to P. Corvaja in the full version of this extended abstract.


title: Face Verification Using 60~GHz 802.11 waveforms

abstract: Verification of an identity based on the human face radar signature in mmwave is studied. The chipset for 802.11ad/y networking that is cable of operating in a radar mode is used. A dataset with faces of 200 different persons was collected for the testing. Our preliminary study shows promising results for the application of autoencoder for the setup at hand.


title: Monge-Amp\`ere gravitation as a $\Gamma$-limit of good rate functions

abstract: Monge-Amp\`ere gravitation is a modification of the classical Newtonian gravitation where the linear Poisson equation is replaced by the nonlinear Monge-Amp\`ere equation. This paper is concerned with the rigorous derivation of Monge-Amp\`ere gravitation for a finite number of particles from the stochastic model of a Brownian point cloud, in the spirit of a previous work by the third author [A double large deviation principle for Monge-Amp\`ere gravitation, 2016]. The main step in this derivation is the $\Gamma-$convergence of the good rate functions corresponding to a one-parameter family of large deviation principles. Surprisingly, the derived model includes dissipative phenomena. As an illustration, we show that it leads to sticky collisions in one space dimension.


title: Properties of a new $R$-estimator of shape matrices

abstract: This paper aims at presenting a simulative analysis of the main properties of a new $R$-estimator of shape matrices in Complex Elliptically Symmetric (CES) distributed observations. First proposed by Hallin, Oja and Paindaveine for the real-valued case and then extended to the complex field in our recent work, this $R$-estimator has the remarkable property to be, at the same time, \textit{distributionally robust} and \textit{semiparametric efficient}. Here, the efficiency of different possible configurations of this $R$-estimator are investigated by comparing the resulting Mean Square Error (MSE) with the Constrained Semiparametric Cram\'{e}r-Rao Bound (CSCRB). Moreover, its robustness to outliers is assessed and compared with the one of the celebrated Tyler's estimator.


title: One-level density estimates for Dirichlet L-functions with extended support

abstract: We estimate the $1$-level density of low-lying zeros of $L(s,\chi)$ with $\chi$ ranging over primitive Dirichlet characters of conductor $\in [Q/2,Q]$ and for test functions whose Fourier transform is supported in $[- 2 - 50/1093, 2 + 50/1093]$. Previously any extension of the support past the range $[-2,2]$ was only known conditionally on deep conjectures about the distribution of primes in arithmetic progressions, beyond the reach of the Generalized Riemann Hypothesis (e.g Montgomery's conjecture). Our work provides the first example of a family of $L$-functions in which the support is unconditionally extended past the "trivial range" that follows from a simple application of the underlying trace formula (in this case orthogonality of characters). We also highlight consequences for non-vanishing of $L(s,\chi)$.


title: Vector exceptional points with strong superchiral fields

abstract: Exceptional points(EPs), branch points of complex energy surfaces at which eigenvalues and eigenvectors coalesce, are ubiquitous in non-Hermitian systems. Many novel properties and applications have been proposed around the EPs. One of the important applications is to enhance the detection sensitivity. However, due to the lack of single-handed superchiral fields, all of the proposed EP-based sensing mechanisms are only useful for the non-chiral discrimination. Here, we propose theoretically and demonstrate experimentally a new type of EP, which is a called radiation vector EP, to fulfill the homogeneous superchiral fields for chiral sensing. This type of EP is realized by suitably tuning the coupling strength and radiation losses for a pair of orthogonal polarization modes in the photonic crystal slab. Based on the unique modal-coupling property at the vector EP, we demonstrate that the uniform superchiral fields can be generated with two beams of lights illuminating on the photonic crystal slab from opposite directions. Thus, the designed photonic crystal slab, which supports the vector EP, can be used to perform surface-enhanced chiral detection. Our findings provide a new strategy for ultrasensitive characterization and quantification of molecular chirality, a key aspect for various bioscience and biomedicine applications.


title: On the Gibbons' conjecture for equations involving the $p$-Laplacian

abstract: In this paper we prove the validity of Gibbons' conjecture for the quasilinear elliptic equation $ -\Delta_p u = f(u) $ on $\mathbb{R}^N.$ The result holds true for $(2N+2)/(N+2) < p < 2$ and for a very general class of nonlinearity $f$.


title: Delayed coincidence in electron-neutrino capture on gallium for neutrino spectroscopy

abstract: This work explains a delayed-coincidence method to perform MeV-scale neutrino spectroscopy with electron-neutrino capture on gallium. An electron-neutrino possessing energy greater than 407.6 keV can be captured on gallium and produce a daughter germanium nucleus at its first excited state with a mean lifetime of 114 ns. The released electron and gammas before the first excited state of Ge can generate a prompt signal representing the solar neutrino energy and the gamma from the deexcitation of the first excited state, 175 keV, can give a delayed signal. The cross-section of this electron-neutrino capture process is evaluated and is comparable with electron-neutrino capture on chlorine. A possible implementation with a liquid scintillator is discussed to exploit the delayed coincidence. The detection scheme is more feasible than using 115In, etc, but need a larger target. The proposed method can be helpful for the MeV-scale solar neutrino spectroscopy and for solving the gallium anomaly.


title: Theoretical polarization of zero phonon lines in point defects

abstract: In quantum technologies, point defects in semiconductors are becoming more significant. Understanding the frequency, intensity, and polarization of the zero phonon line is important. The last two properties are the subject of this paper. I present a method for calculating these properties and show the importance of using wave functions from both the ground and excited state. The validity of this method is demonstrated on the divacancy in 4H-SiC. Here, the calculated polarization and lifetimes are in excellent agreement with experimental measurements. In general, this method can help to identify point defects and estimate suitable applications.


title: Symmetry results for $p$-Laplacian systems involving a first order term

abstract: In this paper we obtain symmetry and monotonicity results for positive solutions to some $p$-Laplacian cooperative systems in bounded domains involving first order terms and under zero Dirichlet boundary condition.


title: Performances of the mixed virtual element method on complex grids for underground flow

abstract: The numerical simulation of physical processes in the underground frequently entails challenges related to the geometry and/or data. The former are mainly due to the shape of sedimentary layers and the presence of fractures and faults, while the latter are connected to the properties of the rock matrix which might vary abruptly in space. The development of approximation schemes has recently focused on the overcoming of such difficulties with the objective of obtaining numerical schemes with good approximation properties. In this work we carry out a numerical study on the performances of the Mixed Virtual Element Method (MVEM) for the solution of a single-phase flow model in fractured porous media. This method is able to handle grid cells of polytopal type and treat hybrid dimensional problems. It has been proven to be robust with respect to the variation of the permeability field and of the shape of the elements. Our numerical experiments focus on two test cases that cover several of the aforementioned critical aspects.


title: Magnetars from Neutron Star--White Dwarf Mergers: Application to Fast Radio Bursts

abstract: It is widely believed that magnetars could be born in core-collapse supernovae (SNe), binary neutron star (BNS) or binary white dwarf (BWD) mergers, or accretion-induced collapse (AIC) of white dwarfs. In this paper, we investigate whether magnetars could also be produced from neutron star--white dwarf (NSWD) mergers, motivated by FRB 180924-like fast radio bursts (FRBs) possibly from magnetars born in BNS/BWD/AIC channels suggested by \cite{mar19}. By a preliminary calculation, we find that NSWD mergers with unstable mass transfer could result in the NS acquiring an ultra-strong magnetic field via the dynamo mechanism due to differential rotation and convection or possibly via the magnetic flux conservation scenario of a fossil field. If NSWD mergers can indeed create magnetars, then such objects could produce at least a subset of FRB 180924-like FRBs within the framework of flaring magnetars, since the ejecta, local environments, and host galaxies of the final remnants from NSWD mergers resemble those of BNS/BWD/AIC channels. This NSWD channel is also able to well explain both the observational properties of FRB 180924-like and FRB 180916.J0158+65-like FRBs within a large range in local environments and host galaxies.


title: Model order reduction for parametric high dimensional models in the analysis of financial risk

abstract: This paper presents a model order reduction (MOR) approach for high dimensional problems in the analysis of financial risk. To understand the financial risks and possible outcomes, we have to perform several thousand simulations of the underlying product. These simulations are expensive and create a need for efficient computational performance. Thus, to tackle this problem, we establish a MOR approach based on a proper orthogonal decomposition (POD) method. The study involves the computations of high dimensional parametric convection-diffusion reaction partial differential equations (PDEs). POD requires to solve the high dimensional model at some parameter values to generate a reduced-order basis. We propose an adaptive greedy sampling technique based on surrogate modeling for the selection of the sample parameter set that is analyzed, implemented, and tested on the industrial data. The results obtained for the numerical example of a floater with cap and floor under the Hull-White model indicate that the MOR approach works well for short-rate models.


title: Multiple Discrimination and Pairwise CNN for View-based 3D Object Retrieval

abstract: With the rapid development and wide application of computer, camera device, network and hardware technology, 3D object (or model) retrieval has attracted widespread attention and it has become a hot research topic in the computer vision domain. Deep learning features already available in 3D object retrieval have been proven to be better than the retrieval performance of hand-crafted features. However, most existing networks do not take into account the impact of multi-view image selection on network training, and the use of contrastive loss alone only forcing the same-class samples to be as close as possible. In this work, a novel solution named Multi-view Discrimination and Pairwise CNN (MDPCNN) for 3D object retrieval is proposed to tackle these issues. It can simultaneously input of multiple batches and multiple views by adding the Slice layer and the Concat layer. Furthermore, a highly discriminative network is obtained by training samples that are not easy to be classified by clustering. Lastly, we deploy the contrastive-center loss and contrastive loss as the optimization objective that has better intra-class compactness and inter-class separability. Large-scale experiments show that the proposed MDPCNN can achieve a significant performance over the state-of-the-art algorithms in 3D object retrieval.


title: Fast implicit difference schemes for time-space fractional diffusion equations with the integral fractional Laplacian

abstract: In this paper, we develop two fast implicit difference schemes for solving a class of variable-coefficient time-space fractional diffusion equations with integral fractional Laplacian (IFL). The proposed schemes utilize the graded $L1$ formula for the Caputo fractional derivative and a special finite difference discretization for IFL, where the graded mesh can capture the model problem with a weak singularity at initial time. The stability and convergence are rigorously proved via the $M$-matrix analysis, which is from the spatial discretized matrix of IFL. Moreover, the proposed schemes use the fast sum-of-exponential approximation and Toeplitz matrix algorithms to reduce the computational cost for the nonlocal property of time and space fractional derivatives, respectively. The fast schemes greatly reduce the computational work of solving the discretized linear systems from $\mathcal{O}(MN^3 + M^2N)$ by a direct solver to $\mathcal{O}(MN(\log N + N_{exp}))$ per preconditioned Krylov subspace iteration and a memory requirement from $O(MN^2)$ to $O(NN_{exp})$, where $N$ and $(N_{exp} \ll)~M$ are the number of spatial and temporal grid nodes. The spectrum of preconditioned matrix is also given for ensuring the acceleration benefit of circulant preconditioners. Finally, numerical results are presented to show the utility of the proposed methods.


title: Topological photonic states and directional emission of the light exiting from the photonic topological structure composed of two dimensional honeycomb photonic crystals with different point group symmetries

abstract: In this work, we investigate a two dimensional honeycomb photonic crystal (2D HPC) with C_6 symmetry point group, which is known to demonstrate a double Dirac cone at k=0 of the Brillion zone. Then we design two deformed PCs from the original one, by modifying the radius of the cylinders from the unit cell center in which the symmetry C_6 is reduced to the C_3\u{psion} group and new structure exhibits the photonic topological edge states. Consequently, the topologically protected propagation of the edge states with back scattering-immune feature is observed along the interfaces of the two deformed PCs without any defects or including cavities or bend. Furthermore, the directional surface modes exit from the photonic topological insulators (PTIs) including various defects, is investigated. As well as, we explore the propagation and coupling of light through the coupled photonic topological insulators (CPTIs).


title: Magnetoelectric Effect in the Antiferromagnetic Ordered State of Ce$_{3}$TiBi$_{5}$ with Ce Zig-Zag Chains

abstract: In this study, we investigate the magnetoelectric (ME) effect of the newly discovered antiferromagnetic (AFM) compound Ce$_{3}$TiBi$_{5}$ with a hexagonal structure (space group $P6_{3}$/$mcm$). In this system, Ce ions form zig-zag chains that extend along the $c$-axis. We focus on the lack of the local inversion symmetry at the Ce site, although the crystal structure has an inversion center. A theoretical study has predicted that magnetization can be induced by an electric current in the AFM ordering on the zig-zag chain. We conducted magnetization measurements on Ce$_{3}$TiBi$_{5}$ under an applied constant electric current and a static magnetic field around the AFM ordering temperature of $T_{\rm N}$ = 5.0 K. We successfully observed of the current-induced magnetization below $T_{\rm N}$. The magnitude of the current-induced magnetization has a linear electric current dependence and exhibits no magnetic field dependence. This behavior is consistent with the theoretical prediction of the ME effect in the ferrotoroidal ordered state.


title: The Lang-Vojta conjectures on projective pseudo-hyperbolic varieties

abstract: These notes grew out of a mini-course given from May 13th to May 17th at UQAM in Montreal during a workshop on Diophantine Approximation and Value Distribution Theory. We start with an overview of Lang-Vojta's conjectures on pseudo-hyperbolic projective varieties. These conjectures relate various different notions of hyperbolicity. We begin with Brody hyperbolicity and discuss conjecturally related notions of hyperbolicity in arithmetic geometry and algebraic geometry in subsequent sections. We slowly work our way towards the most general version of Lang-Vojta's conjectures and provide a summary of all the conjectures, as well as a survey of recent progress.


title: Adapted tree boosting for Transfer Learning

abstract: Secure online transaction is an essential task for e-commerce platforms. Alipay, one of the world's leading cashless payment platform, provides the payment service to both merchants and individual customers. The fraud detection models are built to protect the customers, but stronger demands are raised by the new scenes, which are lacking in training data and labels. The proposed model makes a difference by utilizing the data under similar old scenes and the data under a new scene is treated as the target domain to be promoted. Inspired by this real case in Alipay, we view the problem as a transfer learning problem and design a set of revise strategies to transfer the source domain models to the target domain under the framework of gradient boosting tree models. This work provides an option for the cold-starting and data-sharing problems.


title: Smooth and F--smooth systems

abstract: We review the geometric theory of \emp{smooth systems of smooth maps}, of \emp{smooth systems of smooth sections} of a smooth double fibred manifold and of \emp{smooth systems of smooth connections} of a smooth fibred manifold. Moreover, after reviewing the concept of \emp{F-smooth space} due to A. Fr\"olicher, we discuss the \emp{F-smooth systems of smooth maps}, the \emp{F-smooth systems of fibrewisely smooth sections} of a smooth double fibred manifold, the \emp{F-smooth systems of fibrewisely smooth connections} of a smooth fibred manifold and of \emp{F-smooth connections} of an F-smooth system of fibrewisely smooth sections.


title: Sums of averages of gcd-sum functions II

abstract: Let $\gcd(k,j)$ denote the greatest common divisor of the integers $k$ and $j$, and let $r$ be any fixed positive integer. Define $$ M_r(x; f) := \sum_{k\leq x}\frac{1}{k^{r+1}}\sum_{j=1}^{k}j^{r}f(\gcd(j,k)) $$ for any large real number $x\geq 5$, where $f$ is any arithmetical function. Let $\phi$, and $\psi$ denote the Euler totient and the Dedekind function, respectively. In this paper, we refine asymptotic expansions of $M_r(x; {\rm id})$, $M_r(x;{\phi})$ and $M_r(x;{\psi})$. Furthermore, under the Riemann Hypothesis and the simplicity of zeros of the Riemann zeta-function, we establish the asymptotic formula of $M_r(x;{\rm id})$ for any large positive number $x>5$ satisfying $x=[x]+\frac{1}{2}$.


title: Compressing Large-Scale Transformer-Based Models: A Case Study on BERT

abstract: Pre-trained Transformer-based models have achieved state-of-the-art performance for various Natural Language Processing (NLP) tasks. However, these models often have billions of parameters, and, thus, are too resource-hungry and computation-intensive to suit low-capability devices or applications with strict latency requirements. One potential remedy for this is model compression, which has attracted a lot of research attention. Here, we summarize the research in compressing Transformers, focusing on the especially popular BERT model. In particular, we survey the state of the art in compression for BERT, we clarify the current best practices for compressing large-scale Transformer models, and we provide insights into the workings of various methods. Our categorization and analysis also shed light on promising future research directions for achieving lightweight, accurate, and generic NLP models.


title: Measurement of the charged-current electron (anti-)neutrino inclusive cross-sections at the T2K off-axis near detector ND280

abstract: The electron (anti-)neutrino component of the T2K neutrino beam constitutes the largest background in the measurement of electron (anti-)neutrino appearance at the far detector. The electron neutrino scattering is measured directly with the T2K off-axis near detector, ND280. The selection of the electron (anti-)neutrino events in the plastic scintillator target from both neutrino and anti-neutrino mode beams is discussed in this paper. The flux integrated single differential charged-current inclusive electron (anti-)neutrino cross-sections, $d\sigma/dp$ and $d\sigma/d\cos(\theta)$, and the total cross-sections in a limited phase-space in momentum and scattering angle ($p > 300$ MeV/c and $\theta \leq 45^{\circ}$) are measured using a binned maximum likelihood fit and compared to the neutrino Monte Carlo generator predictions, resulting in good agreement.


title: Optical identification of binary system millisecond pulsar J1045-4509 with the VLT

abstract: We analyse archival optical data on the binary companion to the millisecond pulsar \j1045\ obtained with the Very Large Telescope. A possible optical counterpart candidate %source position coincides with the pulsar coordinates is found at the pulsar position. Its magnitudes are $V>26.4$, $R=25.7(2)$ and $I=25.4(2)$. The data are compared with white dwarf evolutionary models. Depending on still poorly known distance to the pulsar, two alternative interpretations are possible. For the radio timing parallax distance, the candidate can be a very cool and old white dwarf with the hydrogen atmosphere and the temperature of $< 3000$ K and the age of $> 5$ Gyr. The dispersion measure distance suggests a younger ($\sim$ 2 Gyr) and hotter ($\sim$ 6000 K) white dwarf, whose atmosphere composition remains unknown.


title: Involutions of sl(2,k) and non-split, three-dimensional simple Lie algebras

abstract: We give a process to construct non-split, three-dimensional simple Lie algebras from involutions of sl(2,k), where k is a field of characteristic not two. Up to equivalence, non-split three-dimensional simple Lie algebras obtained in this way are parametrised by a subgroup of the Brauer group of k and are characterised by the fact that their Killing form represents -2. Over local and global fields we re-express this condition in terms of Hilbert and Legendre Symbols and give examples of three-dimensional simple Lie algebras which can and cannot be obtained by this construction over the field of rationals.


title: Assessing causal effects in the presence of treatment switching through principal stratification

abstract: Clinical trials often allow patients in the control arm to switch to the treatment arm if their physical conditions are worse than certain tolerance levels. For instance, treatment switching arises in the Concorde clinical trial, which aims to assess causal effects on the time-to-disease progression or death of immediate versus deferred treatment with zidovudine among patients with asymptomatic HIV infection. The Intention-To-Treat analysis does not measure the effect of the actual receipt of the treatment and ignores the information on treatment switching. Other existing methods reconstruct the outcome a patient would have had if they had not switched under strong assumptions. Departing from the literature, we re-define the problem of treatment switching using principal stratification and focus on causal effects for patients belonging to subpopulations defined by the switching behavior under control. We use a Bayesian approach to inference, taking into account that (i) switching happens in continuous time; (ii) switching time is not defined for patients who never switch in a particular experiment; and (iii) survival time and switching time are subject to censoring. We apply this framework to analyze synthetic data based on the Concorde study. Our data analysis reveals that immediate treatment with zidovudine increases survival time for never switcher and that treatment effects are highly heterogeneous across different types of patients defined by the switching behavior.


title: Nonrelativistic quantum particles on the Minkowski plane

abstract: The quantum-mechanical problems of a nonrelativistic free particle, a harmonic oscillator and a Coulomb particle on Minkowski plane are discussed. The Schr\"odinger equations for eigenvalues are obtained using the Beltrami-Laplas operator of the pseudo-Euclidean plane and the corresponding potentials. It is shown that, in contrast to the standard problem on Euclidean plane, in addition to the continuous spectrum, a free particle has a discrete energy levels and a Coulomb particle, in addition to the discrete spectrum, has unstable states that describe the incidence of a particle on isotropic lines forming a metric cone.


title: Speed limit for open systems coupled to general environments

abstract: In this study, we investigate the bound on the speed of state transformation in the quantum and classical systems that are coupled to general environment with arbitrary coupling interactions. We show that a Mandelstam-Tamm type speed limit exists and energy fluctuation still plays a crucial role in this speed limit inequality for open quantum systems. The energy fluctuation of the target system in addition to the coupling to the environment is key in the inequality. We also present the classical version of the speed limit for open systems. As potential applications of the proposed speed limit expression, we discuss the fundamental limitation of the state change in quantum cyclic engines and the equilibriation time required for the thermalization phenomena of isolated quantum systems.


title: False Discovery Rate Control Under General Dependence By Symmetrized Data Aggregation

abstract: We develop a new class of distribution--free multiple testing rules for false discovery rate (FDR) control under general dependence. A key element in our proposal is a symmetrized data aggregation (SDA) approach to incorporating the dependence structure via sample splitting, data screening and information pooling. The proposed SDA filter first constructs a sequence of ranking statistics that fulfill global symmetry properties, and then chooses a data--driven threshold along the ranking to control the FDR. The SDA filter substantially outperforms the knockoff method in power under moderate to strong dependence, and is more robust than existing methods based on asymptotic $p$-values. We first develop finite--sample theory to provide an upper bound for the actual FDR under general dependence, and then establish the asymptotic validity of SDA for both the FDR and false discovery proportion (FDP) control under mild regularity conditions. The procedure is implemented in the R package \texttt{SDA}. Numerical results confirm the effectiveness and robustness of SDA in FDR control and show that it achieves substantial power gain over existing methods in many settings.


title: Valley Zeeman effect and Landau levels in Two-Dimensional Transition Metal Dichalcogenides

abstract: This paper presents a theoretical description of both the valley Zeeman effect (g-factors) and Landau levels in two-dimensional H-phase transition metal dichalcogenides (TMDs) using the Luttinger-Kohn approximation with spin-orbit coupling. At the valley extrema in TMDs, energy bands split into Landau levels with a Zeeman shift in the presence of a uniform out-of-plane external magnetic field. The Landau level indices are symmetric in the $K$ and $K'$ valleys. We develop a numerical approach to compute the single band g-factors from first principles without the need for a sum over unoccupied bands. Many-body effects are included perturbatively within the GW approximation. Non-local exchange and correlation self-energy effects in the GW calculations increase the magnitude of single band g-factors compared to those obtained from density functional theory. Our first principles results give spin- and valley-split Landau levels, in agreement with recent optical experiments. The exciton g-factors deduced in this work are also in good agreement with experiment for the bright and dark excitons in monolayer WSe$_2$, as well as the lowest-energy bright excitons in MoSe$_2$-WSe$_2$ heterobilayers with different twist angles.


title: Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies

abstract: We give a short and self-contained proof for rates of convergence of the Allen-Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen-Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems.


title: A discrete-time dynamical system of stage-structured wild and sterile mosquito population

abstract: We study the discrete-time dynamical systems associated to a stage-structured wild and sterile mosquito population. We describe all fixed points of the evolution operator (which depends on five parameters) of mosquito population and show that depending on the parameters this operator may have unique, two and infinitely many fixed points. Under some general conditions on parameters we determine type of each fixed point and give the limit points of the dynamical system. Moreover, for a special case of parameters we give full analysis of corresponding dynamical system. We give some biological interpretations of our results.


title: Finite element approximation of a system coupling curve evolution with prescribed normal contact to a fixed boundary to reaction-diffusion on the curve

abstract: We consider a finite element approximation for a system consisting of the evolution of a curve evolving by forced curve shortening flow coupled to a reaction-diffusion equation on the evolving curve. The curve evolves inside a given domain $\Omega\subset \mathbb{R}^2$ and meets $\partial \Omega$ orthogonally. The scheme for the coupled system is based on the schemes derived in [BDS17] and [DE98]. We present numerical experiments and show the experimental order of convergence of the approximation.


title: Flipping exciton angular momentum with chiral phonons in MoSe$_2$/WSe$_2$ heterobilayers

abstract: Identifying quantum numbers to label elementary excitations is essential for the correct description of light-matter interaction in solids. In monolayer semiconducting transition metal dichalcogenides (TMDs) such as MoSe$_2$ or WSe$_2$, most optoelectronic phenomena are described well by labelling electron and hole states with the spin projection along the normal to the layer (S$_z$). In contrast, for WSe$_2$/MoSe$_2$ interfaces recent experiments show that taking S$_z$ as quantum number is not a good approximation, and spin mixing needs to be always considered. Here we argue that the correct quantum number for these systems is not S$_z$, but the $z$-component of the total angular momentum -- J$_z$ = L$_z$ + S$_z$ -- associated to the C$_3$ rotational lattice symmetry, which assumes half-integer values corresponding modulo 3 to distinct states. We validate this conclusion experimentally through the observation of strong intervalley scattering mediated by chiral optical phonons that -- despite carrying angular momentum 1 -- cause resonant intervalley transitions of excitons, with an angular momentum difference of 2.


title: A Quantum Money Solution to the Blockchain Scalability Problem

abstract: We put forward the idea that classical blockchains and smart contracts are potentially useful primitives not only for classical cryptography, but for quantum cryptography as well. Abstractly, a smart contract is a functionality that allows parties to deposit funds, and release them upon fulfillment of algorithmically checkable conditions, and can thus be employed as a formal tool to enforce monetary incentives. In this work, we give the first example of the use of smart contracts in a quantum setting. We describe a simple hybrid classical-quantum payment system whose main ingredients are a classical blockchain capable of handling stateful smart contracts, and quantum lightning, a strengthening of public-key quantum money introduced by Zhandry (Eurocrypt'19). Our hybrid payment system employs quantum states as banknotes and a classical blockchain to settle disputes and to keep track of the valid serial numbers. It has several desirable properties: it is decentralized, requiring no trust in any single entity; payments are as quick as quantum communication, regardless of the total number of users; when a quantum banknote is damaged or lost, the rightful owner can recover the lost value.


title: Lusztig polytopes and FFLV polytopes

abstract: In this paper we prove that in type $\tt A_n$, the Feigin-Fourier-Littelmann-Vinberg (FFLV) polytope coincides with the Minkowski sum of Lusztig polytopes arising from various reduced decompositions. Using this result, we formulate a conjecture about the crystal structures on FFLV polytopes.


title: Statistical properties of periodic points for infinitely renormalizable unimodal maps

abstract: For an infinitely renormalizable negative Schwarzian unimodal map $f$ with non-flat critical point, we analyze statistical properties of periodic points as the periods tend to infinity. Introducing a weight function $\varphi$ which is a continuous or a geometric potential $\varphi=-\beta\log|f'|$ ($\beta\in\mathbb R$), we establish the level-2 Large Deviation Principle for weighted periodic points. From this, we deduce that all weighted periodic points equidistribute with respect to equilibrium states for the potential $\varphi$. In particular, it follows that all periodic points are equidistributed with respect to measures of maximal entropy, and all periodic points weighted with their Lyapunov exponents are equidistributed with respect to the post-critical measure supported on the attracting Cantor set.


title: Learning Optimal Temperature Region for Solving Mixed Integer Functional DCOPs

abstract: Distributed Constraint Optimization Problems (DCOPs) are an important framework for modeling coordinated decision-making problems in multi-agent systems with a set of discrete variables. Later works have extended DCOPs to model problems with a set of continuous variables, named Functional DCOPs (F-DCOPs). In this paper, we combine both of these frameworks into the Mixed Integer Functional DCOP (MIF-DCOP) framework that can deal with problems regardless of their variables' type. We then propose a novel algorithm $-$ Distributed Parallel Simulated Annealing (DPSA), where agents cooperatively learn the optimal parameter configuration for the algorithm while also solving the given problem using the learned knowledge. Finally, we empirically evaluate our approach in DCOP, F-DCOP, and MIF-DCOP settings and show that DPSA produces solutions of significantly better quality than the state-of-the-art non-exact algorithms in their corresponding settings.


title: Extremely large matter radii in $^{49-51}$Ca isotopes and the $0^{+}$ breathing mode states of $^{48}$Ca

abstract: Through inelastic scattering cross section measurements for $^{42-51}$Ca on a carbon target at 280 MeV/nucleon recently, Tanaka {\it et al.} [ arXiv:1911.05262 [nucl-ex]], in a very significant experiment, have demonstrated large swelling of doubly magic $^{48}$Ca core in calcium isotopes beyond N=28. The matter radii observed in these experiments, are surprisingly much larger than the corresponding, already amazingly large charge radii of the same calcium isotopes, by Garcia {\it et al.} [Nat. Phys. 12 (2016) 594]. Here we propose a novel solution, wherein the breathing mode states $0^{+}$ of $^{48}$Ca, provide a global and consistent solution of this matter radii conundrum.


title: Mesoscopic spin transport between strongly interacting Fermi gases

abstract: We investigate a mesoscopic spin current for strongly interacting Fermi gases through a quantum point contact. Under the situation where spin polarizations in left and right reservoirs are same in magnitude but opposite in sign, we calculate the contribution of quasiparticles to the current by means of the linear response theory and many-body $T$-matrix approximation. For a small spin-bias regime, the current in the vicinity of the superfluid transition temperature is strongly suppressed due to the formation of pseudogaps. For a large spin-bias regime where the gases become highly polarized, on the other hand, the current is affected by the enhancement of a minority density of states due to Fermi polarons. We also discuss the broadening of a quasiparticle peak associated with an attractive polaron at a large momentum, which is relevant to the enhancement.


title: Finite Block Length Analysis on Quantum Coherence Distillation and Incoherent Randomness Extraction

abstract: We give the first systematic study on the second order asymptotics of the operational task of coherence distillation with and without assistance. In the unassisted setting, we introduce a variant of randomness extraction framework where free incoherent operations are allowed before the incoherent measurement and the randomness extractors. We then show that the maximum number of random bits extractable from a given quantum state is precisely equal to the maximum number of coherent bits that can be distilled from the same state. This relation enables us to derive tight second order expansions of both tasks in the independent and identically distributed setting. Remarkably, the incoherent operation classes that can empower coherence distillation for generic states all admit the same second order expansions, indicating their operational equivalence for coherence distillation in both asymptotic and large block length regime. We then generalize the above line of research to the assisted setting, arising naturally in bipartite quantum systems where Bob distills coherence from the state at hand, aided by the benevolent Alice possessing the other system. More precisely, we introduce a new assisted incoherent randomness extraction task and establish an exact relation between this task and the assisted coherence distillation. This strengthens the one-shot relation in the unassisted setting and confirms that this cryptographic framework indeed offers a new perspective to the study of quantum coherence distillation. Likewise, this relation yields second order characterizations to the assisted tasks. As by-products, we show the strong converse property of the aforementioned tasks from their second order expansions.


title: Squashed Shifted PMI Matrix: Bridging Word Embeddings and Hyperbolic Spaces

abstract: We show that removing sigmoid transformation in the skip-gram with negative sampling (SGNS) objective does not harm the quality of word vectors significantly and at the same time is related to factorizing a squashed shifted PMI matrix which, in turn, can be treated as a connection probabilities matrix of a random graph. Empirically, such graph is a complex network, i.e. it has strong clustering and scale-free degree distribution, and is tightly connected with hyperbolic spaces. In short, we show the connection between static word embeddings and hyperbolic spaces through the squashed shifted PMI matrix using analytical and empirical methods.


title: Planets in Binaries: Formation and Dynamical Evolution

abstract: Binary systems are very common among field stars. While this relatively small number of planets in binaries is probably partly due to strong observational biases, there is, however, statistical evidence that planets are indeed less frequent in binaries with separations smaller than 100 au, strongly suggesting that the presence of a close in companion star has an adverse effect on planet formation. It is indeed possible for the gravitational pull of the second star to affect all the different stages of planet formation, from proto-planetary disk formation to dust accumulation into planetesimals, to the accretion of these planetesimals into large planetary embryos and, eventually, the final growth of these embryos into planets. For the crucial planetesimal accretion phase, the complex coupling between dynamical perturbations from the binary and friction due to gas in the protoplanetary disk suggests that planetesimal accretion might be hampered due to increased, accretion hostile impact velocities. Likewise, the interplay between the binary secular perturbations and mean motion resonances lead to unstable regions, where not only planet formation is inhibited, but where a massive body would be ejected from the system on a hyperbolic orbit. The amplitude of these two main effects is different for S and P type planets, so that a comparison between the two populations might outline the influence of the companion star on the planet formation process. Unfortunately, at present the two populations (circumstellar or circumbinary) are not known equally well and different biases and uncertainties prevent a quantitative comparison. We also highlight the long term dynamical evolution of both S and P type systems and focus on how these different evolutions influence the final architecture of planetary systems in binaries.