title: Sample efficient tomography via Pauli Measurements

abstract: Pauli Measurements are the most important measurements in both theoretical and experimental aspects of quantum information science. In this paper, we explore the power of Pauli measurements in the state tomography related problems. Firstly, we show that the \textit{quantum state tomography} problem of $n$-qubit system can be accomplished with ${\mathcal{O}}(\frac{10^n}{\epsilon^2})$ copies of the unknown state using Pauli measurements. As a direct application, we studied the \textit{quantum overlapping tomography} problem introduced by Cotler and Wilczek in Ref. \cite{Cotler_2020}. We show that the sample complexity is $\mathcal{O}(\frac{10^k\cdot\log({{n}\choose{k}}/\delta))}{\epsilon^{2}})$ for quantum overlapping tomography of $k$-qubit reduced density matrices among $n$ is quantum system, where $1-\delta$ is the confidential level, and $\epsilon$ is the trace distance error. This can be achieved using Pauli measurements. Moreover, we prove that $\Omega(\frac{\log(n/\delta)}{\epsilon^{2}})$ copies are needed. In other words, for constant $k$, joint, highly entangled, measurements are not asymptotically more efficient than Pauli measurements.


title: Subscribing to Big Data at Scale

abstract: Today, data is being actively generated by a variety of devices, services, and applications. Such data is important not only for the information that it contains, but also for its relationships to other data and to interested users. Most existing Big Data systems focus on passively answering queries from users, rather than actively collecting data, processing it, and serving it to users. To satisfy both passive and active requests at scale, users need either to heavily customize an existing passive Big Data system or to glue multiple systems together. Either choice would require significant effort from users and incur additional overhead. In this paper, we present the BAD (Big Active Data) system, which is designed to preserve the merits of passive Big Data systems and introduce new features for actively serving Big Data to users at scale. We show the design and implementation of the BAD system, demonstrate how BAD facilitates providing both passive and active data services, investigate the BAD system's performance at scale, and illustrate the complexities that would result from instead providing BAD-like services with a "glued" system.


title: How Political is the Spread of COVID-19 in the United States? An Analysis using Transportation and Weather Data

abstract: We investigate the difference in the spread of COVID-19 between the states won by Donald Trump (Red) and the states won by Hillary Clinton (Blue) in the 2016 presidential election, by mining transportation patterns of US residents from March 2020 to July 2020. To ensure a fair comparison, we first use a K-means clustering method to group the 50 states into five clusters according to their population, area and population density. We then characterize daily transportation patterns of the residents of different states using the mean percentage of residents traveling and the number of trips per person. For each state, we study the correlations between travel patterns and infection rate for a 2-month period before and after the official states reopening dates. We observe that during the lock-down, Red and Blue states both displayed strong positive correlations between their travel patterns and infection rates. However, after states reopened we find that Red states had higher travel-infection correlations than Blue states in all five state clusters. We find that the residents of both Red and Blue states displayed similar travel patterns during the period post the reopening of states, leading us to conclude that, on average, the residents in Red states might be mobilizing less safely than the residents in Blue states. Furthermore, we use temperature data to attempt to explain the difference in the way residents travel and practice safety measures.


title: Optimal regularity for Lagrangian mean curvature type equations

abstract: We classify regularity for a class of Lagrangian mean curvature type equations, which includes the potential equation for prescribed Lagrangian mean curvature and those for Lagrangian mean curvature flow self-shrinkers and expanders, translating solitons, and rotating solitons. We first show that convex viscosity solutions are regular provided the Lagrangian angle or phase is $C^2$ and convex in the gradient variable. We next show that for merely H\"older continuous phases, convex solutions are regular if they are $C^{1,\beta}$ for sufficiently large $\beta$. Singular solutions are given to show that each condition is optimal and that the H\"older exponent is sharp. Along the way, we generalize the constant rank theorem of Bian and Guan to include arbitrary dependence on the Legendre transform.


title: End-to-end Kernel Learning via Generative Random Fourier Features

abstract: Random Fourier features (RFFs) provide a promising way for kernel learning in a spectral case. Current RFFs-based kernel learning methods usually work in a two-stage way. In the first-stage process, learning the optimal feature map is often formulated as a target alignment problem, which aims to align the learned kernel with the pre-defined target kernel (usually the ideal kernel). In the second-stage process, a linear learner is conducted with respect to the mapped random features. Nevertheless, the pre-defined kernel in target alignment is not necessarily optimal for the generalization of the linear learner. Instead, in this paper, we consider a one-stage process that incorporates the kernel learning and linear learner into a unifying framework. To be specific, a generative network via RFFs is devised to implicitly learn the kernel, followed by a linear classifier parameterized as a full-connected layer. Then the generative network and the classifier are jointly trained by solving the empirical risk minimization (ERM) problem to reach a one-stage solution. This end-to-end scheme naturally allows deeper features, in correspondence to a multi-layer structure, and shows superior generalization performance over the classical two-stage, RFFs-based methods in real-world classification tasks. Moreover, inspired by the randomized resampling mechanism of the proposed method, its enhanced adversarial robustness is investigated and experimentally verified.


title: A question of Joseph Ritt from the point of view of vertex algebras

abstract: Let $k$ be a field of characteristic zero. This paper studies a problem proposed by Joseph F. Ritt in 1950. Precisely, we prove that (1) If $p\geq 2$ is an integer, for every integer $i\in\mathbb{N}$, the nilpotency index of the image of $T_i$ in the ring $k\{T\}/[T^p]$ equals $(i+1)p-i$. (2) For every pair of integers $(i,j)$, the nilpotency index of the image of $T_iU_j$ in the ring $k\{T\}/[TU]$ equals $i+j+1$.


title: Invariant Gibbs measures for the three-dimensional wave equation with a Hartree nonlinearity II: Dynamics

abstract: In this two-paper series, we prove the invariance of the Gibbs measure for a three-dimensional wave equation with a Hartree nonlinearity. The novelty lies in the singularity of the Gibbs measure with respect to the Gaussian free field. In this paper, we focus on the dynamical aspects of our main result. The local theory is based on a para-controlled approach, which combines ingredients from dispersive equations, harmonic analysis, and random matrix theory. The main contribution, however, lies in the global theory. We develop a new globalization argument, which addresses the singularity of the Gibbs measure and its consequences.


title: Emora: An Inquisitive Social Chatbot Who Cares For You

abstract: Inspired by studies on the overwhelming presence of experience-sharing in human-human conversations, Emora, the social chatbot developed by Emory University, aims to bring such experience-focused interaction to the current field of conversational AI. The traditional approach of information-sharing topic handlers is balanced with a focus on opinion-oriented exchanges that Emora delivers, and new conversational abilities are developed that support dialogues that consist of a collaborative understanding and learning process of the partner's life experiences. We present a curated dialogue system that leverages highly expressive natural language templates, powerful intent classification, and ontology resources to provide an engaging and interesting conversational experience to every user.


title: An update to the MARVEL dataset and ExoMol line list for 12C2

abstract: The spectrum of dicarbon (C2) is important in astrophysics and for spectroscopic studies of plasmas and flames. The C2 spectrum is characterized by many band systems with new ones still being actively identified; astronomical observations involve eight of these bands. Recently, Furtenbacher et al. (2016, Astrophys. J. Suppl., 224, 44) presented a set of 5699 empirical energy levels for 12C2, distributed among 11 electronic states and 98 vibronic bands, derived from 42 experimental studies and obtained using the MARVEL (Measured Active Rotational-Vibrational Energy Levels) procedure. Here, we add data from 13 new sources and update data from 5 sources. Many of these data sources characterize high-lying electronic states, including the newly detected 3Pig state. Older studies have been included following improvements in the MARVEL procedure which allow their uncertainties to be estimated. These older works in particular determine levels in the C1Pig state, the upper state of the insufficiently characterized Deslandres-d'Azambuja (C1Pig-A1Piu) band. The new compilation considers a total of 31323 transitions and derives 7047 empirical(MARVEL) energy levels spanning 20 electronic and 142 vibronic states. These new empirical energy levels are used here to update the 8states C2 ExoMol line list. This updated line list is highly suitable for high-resolution cross-correlation studies in astronomical spectroscopy of, for example, exoplanets, as 99.4% of the transitions with intensities over 10^(-18) cm/molecule at 1000 K have frequencies determined by empirical energy levels.


title: Accelerating High-Order Stencils on GPUs

abstract: Stencil computations are widely used in HPC applications. Today, many HPC platforms use GPUs as accelerators. As a result, understanding how to perform stencil computations fast on GPUs is important. While implementation strategies for low-order stencils on GPUs have been well-studied in the literature, not all of proposed enhancements work well for high-order stencils, such as those used for seismic modeling. Furthermore, coping with boundary conditions often requires different computational logic, which complicates efficient exploitation of the thread-level parallelism on GPUs. In this paper, we study high-order stencils and their unique characteristics on GPUs. We manually crafted a collection of implementations of a 25-point seismic modeling stencil in CUDA and related boundary conditions. We evaluate their code shapes, memory hierarchy usage, data-fetching patterns, and other performance attributes. We conducted an empirical evaluation of these stencils using several mature and emerging tools and discuss our quantitative findings. Among our implementations, we achieve twice the performance of a proprietary code developed in C and mapped to GPUs using OpenACC. Additionally, several of our implementations have excellent performance portability.


title: Compact spin qubits using the common gate structure of fin field-effect transistors

abstract: The sizes of commercial transistors are of nanometer order, and there have already been many proposals of spin qubits using conventional complementary metal oxide semiconductor (CMOS) transistors. However, the previously proposed spin qubits require many wires to control a small number of qubits. This causes a significant 'jungle of wires' problem when the qubits are integrated into a chip. Herein, to reduce the complicated wiring, we theoretically consider spin qubits embedded into fin field-effect transistor (FinFET) devices such that the spin qubits share the common gate electrode of the FinFET. The interactions between qubits occur via the Ruderman Kittel Kasuya Yosida (RKKY) interaction via the channel of the FinFET. The compensation for the compact implementation requires high-density current lines in a small space. The possibility of a quantum annealing machine is discussed in addition to the quantum computers of the current proposals.


title: The Laplacian spectrum, Kirchhoff index and complexity of the linear heptagonal networks

abstract: Let $H_n$ be the linear heptagonal networks with $2n$ heptagons. We study the structure properties and the eigenvalues of the linear heptagonal networks. According to the Laplacian polynomial of $H_n$, we utilize the decomposition theorem. Thus, the Laplacian spectrum of $H_n$ is created by eigenvalues of a pair of matrices: $L_A$ and $L_S$ of order number $5n+1$ and $4n+1$, respectively. On the basis of the roots and coefficients of their characteristic polynomials of $L_A$ and $L_S$, we not only get the explicit forms of Kirchhoff index, but also corresponding total complexity of $H_n$.


title: MicroGrad: A Centralized Framework for Workload Cloning and Stress Testing

abstract: We present MicroGrad, a centralized automated framework that is able to efficiently analyze the capabilities, limits and sensitivities of complex modern processors in the face of constantly evolving application domains. MicroGrad uses Microprobe, a flexible code generation framework as its back-end and a Gradient Descent based tuning mechanism to efficiently enable the evolution of the test cases to suit tasks such as Workload Cloning and Stress Testing. MicroGrad can interface with a variety of execution infrastructure such as performance and power simulators as well as native hardware. Further, the modular 'abstract workload model' approach to building MicroGrad allows it to be easily extended for further use. In this paper, we evaluate MicroGrad over different use cases and architectures and showcase that MicroGrad can achieve greater than 99\% accuracy across different tasks within few tuning epochs and low resource requirements. We also observe that MicroGrad's accuracy is 25 to 30\% higher than competing techniques. At the same time, it is 1.5x to 2.5x faster or would consume 35 to 60\% less compute resources (depending on implementation) over alternate mechanisms. Overall, MicroGrad's fast, resource efficient and accurate test case generation capability allow it to perform rapid evaluation of complex processors.


title: Shift-plethysm, Hydra continued fractions, and m-distinct partitions

abstract: We introduce the hydra continued fractions, as a generalization of the Rogers-Ramanujan continued fractions, and give a combinatorial interpretation in terms of shift-plethystic trees. We then show it is possible to express them as a quotient of m-distinct partition generating functions, and in its dual form as a quotient of the generating functions of compositions with contiguous rises upper bounded by m-1. We obtain new generating functions for compositions according to their local minima, for partitions with a prescribed set of rises, and for compositions with prescribed sets of contiguous differences.


title: Classification of blow-up and global existence of solutions to an initial $\textrm{Neumann}$ problem

abstract: The aim of this paper is to apply the modified potential well method and some new differential inequalities to study the asymptotic behavior of solutions to the initial homogeneous $\hbox{Neumann}$ problem of a nonlinear diffusion equation driven by the $p(x)$-\hbox{Laplace} operator. Complete classification of global existence and blow-up in finite time of solutions is given when the initial data satisfies different conditions. Roughly speaking, we obtain a threshold result for the solution to exist globally or to blow up in finite time when the initial energy is subcritical and critical, respectively. Further, the decay rate of the $L^2$ norm is also obtained for global solutions. Sufficient conditions for the existence of global and blow-up solutions are also provided for supercritical initial energy. At last, we give two-sided estimates of asymptotic behavior when the diffusion term dominates the source. This is a continuation of our previous work \cite{GG}.


title: Path planning model of mobile robots in the context of crowds

abstract: Robot path planning model based on RNN and visual quality evaluation in the context of crowds is analyzed in this paper. Mobile robot path planning is the key to robot navigation and an important field in robot research. Let the motion space of the robot be a two-dimensional plane, and the motion of the robot is regarded as a kind of motion under the virtual artificial potential field force when the artificial potential field method is used for the path planning. Compared to simple image acquisition, image acquisition in a complex crowd environment requires image pre-processing first. We mainly use OpenCV calibration tools to pre-process the acquired images. In themethodology design, the RNN-based visual quality evaluation to filter background noise is conducted. After calibration, Gaussian noise and some other redundant information affecting the subsequent operations still exist in the image. Based on RNN, a new image quality evaluation algorithm is developed, and denoising is performed on this basis. Furthermore, the novel path planning model is designed and simulated. The expeirment compared with the state-of-the-art models have shown the robustness of the model.


title: QuantNet: Learning to Quantize by Learning within Fully Differentiable Framework

abstract: Despite the achievements of recent binarization methods on reducing the performance degradation of Binary Neural Networks (BNNs), gradient mismatching caused by the Straight-Through-Estimator (STE) still dominates quantized networks. This paper proposes a meta-based quantizer named QuantNet, which utilizes a differentiable sub-network to directly binarize the full-precision weights without resorting to STE and any learnable gradient estimators. Our method not only solves the problem of gradient mismatching, but also reduces the impact of discretization errors, caused by the binarizing operation in the deployment, on performance. Generally, the proposed algorithm is implemented within a fully differentiable framework, and is easily extended to the general network quantization with any bits. The quantitative experiments on CIFAR-100 and ImageNet demonstrate that QuantNet achieves the signifficant improvements comparing with previous binarization methods, and even bridges gaps of accuracies between binarized models and full-precision models.


title: Parallel Spin Stripes and Their Coexistance with Superconducting Ground States at Optimal and High Doping in La$_{1.6-x}$Nd$_{0.4}$Sr$_x$CuO$_4$

abstract: Quasi-two dimensional quantum magnetism is clearly highly correlated with superconducting ground states in cuprate-based High T$_c$ superconductivity. Three dimensional, commensurate long range magnetic order in La$_2$CuO$_4$ quickly evolves to quasi-two dimensional, incommensurate correlations on doping with mobile holes, and superconducting ground states follow for x as small as 0.05 in the La$_{2-x}$Sr$_x$/Ba$_x$CuO$_4$ family of superconductors. It has long been known that the onset of superconducting ground states in these systems is coincident with a remarkable rotation of the incommensurate spin order from "diagonal stripes" below x = 0.05, to "parallel stripes" above. However, little is known about the spin correlations at optimal and high doping levels, where the dome of superconductivity draws to an end. Here we present new elastic and inelastic neutron scattering measurements on single crystals of La$_{1.6-x}$Nd$_{0.4}$Sr$_x$CuO$_4$ with x = 0.125, 0.19, 0.24 and 0.26, and show that two dimensional, quasi-static, parallel spin stripes are observed to onset at temperatures such that the parallel spin stripe phase envelopes all superconducting ground states in this system. Parallel spin stripes stretch across 0.05 < < 0.26, with rapidly decreasing moment size and onset temperatures for x > 0.125. We also show that the low energy, parallel spin stripe fluctuations for optimally doped x = 0.19 display dynamic spectral weight which grows with decreasing temperature and saturates below its superconducting T$_c$. The elastic order parameter for x = 0.19 also shows plateau behavior coincident with the onset of superconductivity. This set of observations assert the foundational role played by two dimensional parallel spin stripe order and fluctuations in High T$_c$ cuprate superconductivity.


title: Eruptions from coronal hole bright points: observations and non-potential modelling

abstract: A single case study of a CBP in an equatorial coronal hole with an exceptionally large size is investigated to extend our understanding of the formation of mini-filaments, their destabilisation and the origin of the eruption triggering the formation of jet-like features recorded in the extreme-ultraviolet (EUV) and X-ray emission. We aim to explore the nature of the so-called micro-flares in CBPs associated with jets in coronal holes and mini coronal mass ejections in the quiet Sun. Co-observations from the Atmospheric Imaging Assembly (AIA) and Helioseismic Magnetic Imager (HMI) on board the Solar Dynamics Observatory, and GONG Halpha images are used together with a Non-Linear Force Free Field (NLFFF) relaxation approach, where the latter is based on a time series of HMI line-of-sight magnetograms. A mini-filament (MF) that formed beneath the CBP arcade around 3-4 h before the eruption is seen in the Halpha and EUV AIA images to lift up and erupt triggering the formation of an X-ray jet. No significant photospheric magnetic flux concentration displacement (convergence) is observed and neither is magnetic flux cancellation between the two main magnetic polarities forming the CBP in the time period leading to the MF liftoff. The CBP micro-flare is associated with three flare kernels that formed shortly after the MF liftoff. No observational signature is found for reconnection beneath the erupting MF. The applied NLFFF modelling successfully reproduces both the CBP loop complex as well as the magnetic flux rope that hosts the MF during the build-up to the eruption.


title: Adjusting Bias in Long Range Stereo Matching: A semantics guided approach

abstract: Stereo vision generally involves the computation of pixel correspondences and estimation of disparities between rectified image pairs. In many applications, including simultaneous localization and mapping (SLAM) and 3D object detection, the disparities are primarily needed to calculate depth values and the accuracy of depth estimation is often more compelling than disparity estimation. The accuracy of disparity estimation, however, does not directly translate to the accuracy of depth estimation, especially for faraway objects. In the context of learning-based stereo systems, this is largely due to biases imposed by the choices of the disparity-based loss function and the training data. Consequently, the learning algorithms often produce unreliable depth estimates of foreground objects, particularly at large distances~($>50$m). To resolve this issue, we first analyze the effect of those biases and then propose a pair of novel depth-based loss functions for foreground and background, separately. These loss functions are tunable and can balance the inherent bias of the stereo learning algorithms. The efficacy of our solution is demonstrated by an extensive set of experiments, which are benchmarked against state of the art. We show on KITTI~2015 benchmark that our proposed solution yields substantial improvements in disparity and depth estimation, particularly for objects located at distances beyond 50 meters, outperforming the previous state of the art by $10\%$.


title: A Minimum Energy Filter for Localisation of an Unmanned Aerial Vehicle

abstract: Accurate localisation of unmanned aerial vehicles is vital for the next generation of automation tasks. This paper proposes a minimum energy filter for velocity-aided pose estimation on the extended special Euclidean group. The approach taken exploits the Lie-group symmetry of the problem to combine Inertial Measurement Unit (IMU) sensor output with landmark measurements into a robust and high performance state estimate. We propose an asynchronous discrete-time implementation to fuse high bandwidth IMU with low bandwidth discrete-time landmark measurements typical of real-world scenarios. The filter's performance is demonstrated by simulation.


title: Self-Supervised Annotation of Seismic Images using Latent Space Factorization

abstract: Annotating seismic data is expensive, laborious and subjective due to the number of years required for seismic interpreters to attain proficiency in interpretation. In this paper, we develop a framework to automate annotating pixels of a seismic image to delineate geological structural elements given image-level labels assigned to each image. Our framework factorizes the latent space of a deep encoder-decoder network by projecting the latent space to learned sub-spaces. Using constraints in the pixel space, the seismic image is further factorized to reveal confidence values on pixels associated with the geological element of interest. Details of the annotated image are provided for analysis and qualitative comparison is made with similar frameworks.


title: Assignment Flow for Order-Constrained OCT Segmentation

abstract: At the present time Optical Coherence Tomography (OCT) is among the most commonly used non-invasive imaging methods for the acquisition of large volumetric scans of human retinal tissues and vasculature. To resolve decisive information from extracted OCT volumes and to make it applicable for further diagnostic analysis, the exact identification of retinal layer thicknesses serves as an essential task be done for each patient separately. However, the manual examination of multiple OCT scans in a row is a demanding and time consuming task, which results in a lengthy qualification process and is frequently confounded in the presence of tissue-dependent speckle noise. Therefore, the elaboration of automated segmentation models has become an important task in the field of medical image processing. We propose a novel, purely data driven \textit{geometric approach to order-constrained 3D OCT retinal cell layer segmentation} which takes as input data in any metric space and comes along with basic operations that can be effectively computed in parallel. As opposed to many established retina detection methods, our presented formulation avoids the use of any shape prior and accomplishes the natural order of the retina in a purely geometric way. This makes the approach unbiased and hence suited for the detection of local anatomical changes of retinal tissue structure. To demonstrate robustness of the proposed approach, we compare two different choices of features on a data set of manually annotated 3D OCT volumes of healthy human retina. The quality of computed segmentations is compared to the state of the art in terms of mean absolute error and the Dice similarity coefficient. The results indicate a great potential for applying our method to the classification of diseased retina and opens a new research direction regarding the joint segmentation of retinal cell layers and blood vessel structures.


title: Empirical test for relativistic kinetic theories based on the Sunyaev-Zel'dovich effect

abstract: We propose a new method to determine the electron velocity (EV) distribution function in the intracluster gas (ICG) in clusters of galaxies based on the frequency dependence of the Sunyaev-Zel'dovich (SZ) effect. It is generally accepted that the relativistic equilibrium EV distribution is the one suggested by Juttner. However, there is an ongoing debate on the foundation of relativistic kinetic theory, and other distributions have also been proposed. The mildly relativistic intracluster gas (ICG) provides a unique laboratory to test relativistic kinetic theories. We carried out Monte Carlo simulations to generate SZ signal from a single-temperature gas assuming the Juttner EV distribution assuming a few per cent errors. We fitted SZ models based on non-relativistic Maxwellian, and its two relativistic generalizations, the Juttner and modified Juttner distributions. We found that a 1% error in the SZ signal is sufficient to distinguish between these distributions with high significance based on their different best-fit temperatures. However, in any LOS in a cluster, the ICG contains a range of temperatures. Using our N-body/hydrodynamical simulation of a merging galaxy cluster and assuming a 1% error in the SZ measurements in a LOS through a bow shock, we find that it is possible to distinguish between Juttner and modified Juttner distributions with high significance. Our results suggest that deriving ICG temperatures from fitting to SZ data assuming different EV distribution functions and comparing them to the temperature in the same cluster obtained using other observations would enable us to distinguish between the different distributions.11 pages, 8 figures, and 1 table, accepted for publication in the Astrophysical Journal


title: Multimodal Noisy Segmentation based fragmented burn scars identification in Amazon Rainforest

abstract: Detection of burn marks due to wildfires in inaccessible rain forests is important for various disaster management and ecological studies. The fragmented nature of arable landscapes and diverse cropping patterns often thwart the precise mapping of burn scars. Recent advances in remote-sensing and availability of multimodal data offer a viable solution to this mapping problem. However, the task to segment burn marks is difficult because of its indistinguishably with similar looking land patterns, severe fragmented nature of burn marks and partially labelled noisy datasets. In this work we present AmazonNET -- a convolutional based network that allows extracting of burn patters from multimodal remote sensing images. The network consists of UNet: a well-known encoder decoder type of architecture with skip connections commonly used in biomedical segmentation. The proposed framework utilises stacked RGB-NIR channels to segment burn scars from the pastures by training on a new weakly labelled noisy dataset from Amazonia. Our model illustrates superior performance by correctly identifying partially labelled burn scars and rejecting incorrectly labelled samples, demonstrating our approach as one of the first to effectively utilise deep learning based segmentation models in multimodal burn scar identification.


title: Configured Grant for Semi-Deterministic Traffic for Ultra-Reliable and Low Latency Communications

abstract: Configured Grant-based allocation has been adopted in New Radio 3rd Generation Partnership Project Release 16. This scheme is beneficial in supporting Ultra-Reliable and Low Latency Communication for industrial communication, a key Fifth Generation mobile communication usage scenario. This scheduling mechanism enables a user with a periodic traffic to transmit its data readily and bypasses the signaling entailed to scheduling requests and scheduling grants; and provides low latency access. To facilitate ultra-reliable communication, the scheduling mechanism can allow the user to transmit redundant transmissions at consecutive repetition occasions in a pre-defined period. However, for the user with semi-deterministic traffic, the reliability and latency performance with Configured Grant-based allocation deteriorates. This can be due to, e.g., late data arrival in the buffer, and the user unable to transmit its repetitions, which leads to reliability degradation. To improve the Configured Grant reliability performance with semi-deterministic traffic, we consider various allocation designs utilizing, e.g., additional unlicensed spectrum, or flexible transmission in a Configured Grant period, or allowing time-gaps between the repetitions, etc. These enhancements could be a stepping-stone for Sixth Generation Configured Grant models.


title: A performance study of some approximation algorithms for minimum dominating set in a graph

abstract: We implement and test the performances of several approximation algorithms for computing the minimum dominating set of a graph. These algorithms are the standard greedy algorithm, the recent LP rounding algorithms and a hybrid algorithm that we design by combining the greedy and LP rounding algorithms. All algorithms perform better than anticipated in their theoretical analysis, and have small performance ratios, measured as the size of output divided by the LP objective lower-bound. However, each may have advantages over the others. For instance, LP rounding algorithm normally outperforms the other algorithms on sparse real-world graphs. On a graph with 400,000+ vertices, LP rounding took less than 15 seconds of CPU time to generate a solution with performance ratio 1.011, while the greedy and hybrid algorithms generated solutions of performance ratio 1.12 in similar time. For synthetic graphs, the hybrid algorithm normally outperforms the others, whereas for hypercubes and k-Queens graphs, greedy outperforms the rest. Another advantage of the hybrid algorithm is to solve very large problems where LP solvers crash, as demonstrated on a real-world graph with 7.7 million+ vertices.


title: Totally geodesic surfaces in twist knot complements

abstract: In this article, we give explicit examples of infinitely many non-commensurable (non-arithmetic) hyperbolic $3$-manifolds admitting exactly $k$ totally geodesic surfaces for any positive integer $k$, answering a question of Bader, Fisher, Miller and Stover. The construction comes from a family of twist knot complements and their dihedral covers. The case $k=1$ arises from the uniqueness of an immersed totally geodesic thrice-punctured sphere, answering a question of Reid. Applying the proof techniques of the main result, we explicitly construct non-elementary maximal Fuchsian subgroups of infinite covolume within twist knot groups, and we also show that no twist knot complement with odd prime half twists is right-angled in the sense of Champanerkar, Kofman, and Purcell.


title: Towards Reliable UAV-Enabled Positioning in Mountainous Environments: System Design and Preliminary Results

abstract: Reliable positioning services are extremely important for users and devices in mountainous environments as it enables a variety of location-based applications. However, in such environments, the service reliability of conventional wireless positioning technologies is often disappointing. Frequent non-line-of-sight (NLoS) propagation and poor geometry of available anchor nodes are two significant challenges. Due to the high maneuverability and flexible deployment of unmanned aerial vehicles (UAVs), UAV-enabled positioning could be a promising solution to these challenges. Compared with satellites and terrestrial base stations, UAVs are capable of flying to places where both the propagation conditions and geometry are favorable for positioning. The eventual aim of this research project is to design a novel UAV-enabled positioning system that uses a low-altitude UAV platform to provide highly reliable services for ground users in mountainous environments. In this article, we introduce the recent progress made in the first phase of our project, including the following. First, the structure of the proposed system and the positioning method used are determined after comprehensive consideration of various factors. Utilizing the digital elevation model of the realistic terrain, we then establish a geometry-based NLoS probability model so that the NLoS propagation can be treated as a type of fault during the reliability analysis. Most importantly, a reliability prediction method and the corresponding metric are developed to evaluate the system's ability to provide reliable positioning services. At the end of this article, we also propose a voting-based method for improving the service reliability. Numerical results demonstrate the tremendous potential of the proposed system in reliable positioning.


title: Improving Coreference Resolution by Leveraging Entity-Centric Features with Graph Neural Networks and Second-order Inference

abstract: One of the major challenges in coreference resolution is how to make use of entity-level features defined over clusters of mentions rather than mention pairs. However, coreferent mentions usually spread far apart in an entire text, which makes it extremely difficult to incorporate entity-level features. We propose a graph neural network-based coreference resolution method that can capture the entity-centric information by encouraging the sharing of features across all mentions that probably refer to the same real-world entity. Mentions are linked to each other via the edges modeling how likely two linked mentions point to the same entity. Modeling by such graphs, the features between mentions can be shared by message passing operations in an entity-centric manner. A global inference algorithm up to second-order features is also presented to optimally cluster mentions into consistent groups. Experimental results show our graph neural network-based method combing with the second-order decoding algorithm (named GNNCR) achieved close to state-of-the-art performance on the English CoNLL-2012 Shared Task dataset.


title: On the Fairness of 'Fake' Data in Legal AI

abstract: The economics of smaller budgets and larger case numbers necessitates the use of AI in legal proceedings. We examine the concept of disparate impact and how biases in the training data lead to the search for fairer AI. This paper seeks to begin the discourse on what such an implementation would actually look like with a criticism of pre-processing methods in a legal context . We outline how pre-processing is used to correct biased data and then examine the legal implications of effectively changing cases in order to achieve a fairer outcome including the black box problem and the slow encroachment on legal precedent. Finally we present recommendations on how to avoid the pitfalls of pre-processed data with methods that either modify the classifier or correct the output in the final step.


title: A Note on Pure Braids and Link Concordance

abstract: The knot concordance group can be contextualized as organizing problems about 3- and 4-dimensional spaces and the relationships between them. Every 3-manifold is surgery on some link, not necessarily a knot, and thus it is natural to ask about such a group for links. In 1988, Le Dimet constructed the string link concordance groups and in 1998, Habegger and Lin precisely characterized these groups as quotients of the link concordance sets using a group action. Notably, the knot concordance group is abelian while, for each $n$, the string link concordance group on $n$ strands is non-abelian as it contains the pure braid group on $n$ strands as a subgroup. In this work, we prove that even the quotient of each string link concordance group by its pure braid subgroup is non-abelian.


title: Enhanced Quadratic Video Interpolation

abstract: With the prosperity of digital video industry, video frame interpolation has arisen continuous attention in computer vision community and become a new upsurge in industry. Many learning-based methods have been proposed and achieved progressive results. Among them, a recent algorithm named quadratic video interpolation (QVI) achieves appealing performance. It exploits higher-order motion information (e.g. acceleration) and successfully models the estimation of interpolated flow. However, its produced intermediate frames still contain some unsatisfactory ghosting, artifacts and inaccurate motion, especially when large and complex motion occurs. In this work, we further improve the performance of QVI from three facets and propose an enhanced quadratic video interpolation (EQVI) model. In particular, we adopt a rectified quadratic flow prediction (RQFP) formulation with least squares method to estimate the motion more accurately. Complementary with image pixel-level blending, we introduce a residual contextual synthesis network (RCSN) to employ contextual information in high-dimensional feature space, which could help the model handle more complicated scenes and motion patterns. Moreover, to further boost the performance, we devise a novel multi-scale fusion network (MS-Fusion) which can be regarded as a learnable augmentation process. The proposed EQVI model won the first place in the AIM2020 Video Temporal Super-Resolution Challenge.


title: Design Equations for a Closely-Spaced Two-Element Interferometer Including Internal Noise Coupling

abstract: We present design equations for a two-element closely-spaced interferometer for measuring the noise temperature of a uniform sky. Such an interferometer is useful for observing highly diffuse radio sources such as the Milky Way and Cosmological signals. We develop a simple equivalent circuit based on radiophysics and antenna theory to describe the interactions between key design parameters such as antenna self and mutual impedance and noise parameters of the receiver; the latter is considered internal noise. This approach straightforwardly facilitates design studies as the response of the uniform signal and the systematic error due to internal noise coupling can be analyzed using the same equivalent circuit. The equivalent circuit shows that mutual coherence due to internal noise coupling is non-negligible and an inherent property of a closely-spaced interferometer. A realistic example design involving two closely-spaced horizontal dipoles over a lossy ground for Cosmological signal detection from 50 to 100 MHz is discussed as an illustration.


title: Tuning a magnetic field to generate spinning ferrofluid droplets with controllable speed via nonlinear periodic interfacial waves

abstract: Two dimensional free surface flows in Hele-Shaw configurations are a fertile ground for exploring nonlinear physics. Since Saffman and Taylor's work on linear instability of fluid--fluid interfaces, significant effort has been expended to determining the physics and forcing that set the linear growth rate. However, linear stability does not always imply nonlinear stability. We demonstrate how the combination of a radial and an azimuthal external magnetic field can manipulate the interfacial shape of a linearly unstable ferrofluid droplet in a Hele-Shaw configuration. We show that weakly nonlinear theory can be used to tune the initial unstable growth. Then, nonlinearity arrests the instability, and leads to a permanent deformed droplet shape. Specifically, we show that the deformed droplet can be set into motion with a predictable rotation speed, demonstrating nonlinear traveling waves on the fluid-fluid interface. The most linearly unstable wavenumber and the combined strength of the applied external magnetic fields determine the traveling wave shape, which can be asymmetric.


title: Non-contact Real time Eye Gaze Mapping System Based on Deep Convolutional Neural Network

abstract: Human-Computer Interaction(HCI) is a field that studies interactions between human users and computer systems. With the development of HCI, individuals or groups of people can use various digital technologies to achieve the optimal user experience. Human visual attention and visual intelligence are related to cognitive science, psychology, and marketing informatics, and are used in various applications of HCI. Gaze recognition is closely related to the HCI field because it is meaningful in that it can enhance understanding of basic human behavior. We can obtain reliable visual attention by the Gaze Matching method that finds the area the user is staring at. In the previous methods, the user wears a glasses-type device which in the form of glasses equipped with a gaze tracking function and performs gaze tracking within a limited monitor area. Also, the gaze estimation within a limited range is performed while the user's posture is fixed. We overcome the physical limitations of the previous method in this paper and propose a non-contact gaze mapping system applicable in real-world environments. In addition, we introduce the GIST Gaze Mapping (GGM) dataset, a Gaze mapping dataset created to learn and evaluate gaze mapping.


title: Key-Point Sequence Lossless Compression for Intelligent Video Analysis

abstract: Feature coding has been recently considered to facilitate intelligent video analysis for urban computing. Instead of raw videos, extracted features in the front-end are encoded and transmitted to the back-end for further processing. In this article, we present a lossless key-point sequence compression approach for efficient feature coding. The essence of this predict-and-encode strategy is to eliminate the spatial and temporal redundancies of key points in videos. Multiple prediction modes with an adaptive mode selection method are proposed to handle key-point sequences with various structures and motion. Experimental results validate the effectiveness of the proposed scheme on four types of widely used key-point sequences in video analysis.


title: COVID-19 Pandemic Cyclic Lockdown Optimization Using Reinforcement Learning

abstract: This work examines the use of reinforcement learning (RL) to optimize cyclic lockdowns, which is one of the methods available for control of the COVID-19 pandemic. The problem is structured as an optimal control system for tracking a reference value, corresponding to the maximum usage level of a critical resource, such as ICU beds. However, instead of using conventional optimal control methods, RL is used to find optimal control policies. A framework was developed to calculate optimal cyclic lockdown timings using an RL-based on-off controller. The RL-based controller is implemented as an RL agent that interacts with an epidemic simulator, implemented as an extended SEIR epidemic model. The RL agent learns a policy function that produces an optimal sequence of open/lockdown decisions such that goals specified in the RL reward function are optimized. Two concurrent goals were used: the first one is a public health goal that minimizes overshoots of ICU bed usage above an ICU bed threshold, and the second one is a socio-economic goal that minimizes the time spent under lockdowns. It is assumed that cyclic lockdowns are considered as a temporary alternative to extended lockdowns when a region faces imminent danger of overpassing resource capacity limits and when imposing an extended lockdown would cause severe social and economic consequences due to lack of necessary economic resources to support its affected population during an extended lockdown.


title: Many Body Thermodynamics on Quantum Computers via Partition Function Zeros

abstract: Interacting quantum systems illustrate complex phenomena including phase transitions to novel ordered phases. The universal nature of critical phenomena reduces their description to determining only the transition temperature and the critical exponents. Numerically calculating these results for systems in new universality classes is complicated due to critical slowing down, requiring increasing resources near the critical point. An alternative approach analytically continues the calculation onto the complex plane and determines the partition function via its zeros. Here we show how to robustly perform this analysis on noisy intermediate scale trapped ion quantum computers in a scalable manner, using the XXZ model as a prototype. We illustrate the transition from XY-like behavior to Ising-like behavior as a function of the anisotropy. While quantum computers cannot yet scale to the thermodynamic limit, our work provides a pathway to do so as hardware improves, allowing the determination of critical phenomena for systems that cannot be solved otherwise.


title: New Combinatorial Interpretations of the Fibonacci Numbers Squared, Golden Rectangle Numbers, and Jacobsthal Numbers Using Two Types of Tile

abstract: We consider the tiling of an $n$-board (a board of size $n\times1$) with squares of unit width and $(1,1)$-fence tiles. A $(1,1)$-fence tile is composed of two unit-width square subtiles separated by a gap of unit width. We show that the number of ways to tile an $n$-board using unit-width squares and $(1,1)$-fence tiles is equal to a Fibonacci number squared when $n$ is even and a golden rectangle number (the product of two consecutive Fibonacci numbers) when $n$ is odd. We also show that the number of tilings of boards using $n$ such square and fence tiles is a Jacobsthal number. Using combinatorial techniques we prove identities involving sums of Fibonacci and Jacobsthal numbers in a straightforward way. Some of these identities appear to be new. We also construct and obtain identities for a known Pascal-like triangle (which has alternating ones and zeros along one side) whose $(n,k)$th entry is the number of tilings using $n$ tiles of which $k$ are fence tiles. There is a simple relation between this triangle and the analogous one for tilings of an $n$-board. Connections between the triangles and Riordan arrays are also demonstrated. With the help of the triangles, we express the Fibonacci numbers squared, golden rectangle numbers, and Jacobsthal numbers as double sums of products of two binomial coefficients.


title: Towards Fine-grained Large Object Segmentation 1st Place Solution to 3D AI Challenge 2020 -- Instance Segmentation Track

abstract: This technical report introduces our solutions of Team 'FineGrainedSeg' for Instance Segmentation track in 3D AI Challenge 2020. In order to handle extremely large objects in 3D-FUTURE, we adopt PointRend as our basic framework, which outputs more fine-grained masks compared to HTC and SOLOv2. Our final submission is an ensemble of 5 PointRend models, which achieves the 1st place on both validation and test leaderboards. The code is available at https://github.com/zehuichen123/3DFuture_ins_seg.


title: Universal consistency of Wasserstein $k$-NN classifier: Negative and Positive Results

abstract: The Wasserstein distance provides a notion of dissimilarities between probability measures, which has recent applications in learning of structured data with varying size such as images and text documents. In this work, we study the $k$-nearest neighbor classifier ($k$-NN) of probability measures under the Wasserstein distance. We show that the $k$-NN classifier is not universally consistent on the space of measures supported in $(0,1)$. As any Euclidean ball contains a copy of $(0,1)$, one should not expect to obtain universal consistency without some restriction on the base metric space, or the Wasserstein space itself. To this end, via the notion of $\sigma$-finite metric dimension, we show that the $k$-NN classifier is universally consistent on spaces of measures supported in a $\sigma$-uniformly discrete set. In addition, by studying the geodesic structures of the Wasserstein spaces for $p=1$ and $p=2$, we show that the $k$-NN classifier is universally consistent on the space of measures supported on a finite set, the space of Gaussian measures, and the space of measures with densities expressed as finite wavelet series.


title: Technical Note: A fast and monolithic prototype clinical proton radiography system optimized for pencil beam scanning

abstract: Purpose: To demonstrate a proton imaging system based on well-established fast scintillator technology to achieve high performance with low cost and complexity, with the potential of a straightforward translation into clinical use. Methods: The system tracks individual protons through one (X, Y) scintillating fiber tracker plane upstream and downstream of the object and into a 13 cm-thick scintillating block residual energy detector. The fibers in the tracker planes are multiplexed into silicon photomultipliers (SiPMs) to reduce the number of electronics channels. The light signal from the residual energy detector is collected by 16 photomultiplier tubes (PMTs). Only four signals from the PMTs are output from each event, which allows for fast signal readout. A robust calibration method of the PMT signal to residual energy has been developed to obtain accurate proton images. The development of patient-specific scan patterns using multiple input energies allows for an image to be produced with minimal excess dose delivered to the patient. Results: The calibration of signals in the energy detector produces accurate residual range measurements limited by intrinsic range straggling. We measured the water-equivalent thickness (WET) of a block of solid water (physical thickness of 6.10 mm) with a proton radiograph. The mean WET from all pixels in the block was 6.13 cm (SD 0.02 cm). The use of patient-specific scan patterns using multiple input energies enables imaging with a compact range detector. Conclusions: We have developed a prototype clinical proton radiography system for pretreatment imaging in proton radiation therapy. We have optimized the system for use with pencil beam scanning systems and have achieved a reduction of size and complexity compared to previous designs.


title: Non-minimal bridge position of $2$-cable links

abstract: Suppose that every non-minimal bridge position of a knot $K$ is perturbed. We show that if $L$ is a $(2, 2q)$-cable link of $K$, then every non-minimal bridge position of $L$ is also perturbed.


title: Three-dimensional time reversal invariant topological superconductivity in doped chiral topological semimetals

abstract: Chiral topological semimetals host multifold degenerate band crossing points under the protection of crystalline symmetries. In this paper, we suggest that the recently discovered chiral topological semimetals in space group 198, parts of which are superconducting upon doping, can be new candidates of time reversal invariant topological superconductors. By investigating the Fermi surfaces around the band crossing points that carry nonzero Chern numbers, we clarify how the nontrivial topology of chiral topological semimetals affects their superconducting state and show the existence of topological superconductivity in $s_\pm$-wave pairing with surface Majorana fermions. We further demonstrate that the topological superconductivity is favored by the inter-unit-cell phonon-mediated electron-electron interaction.


title: SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)

abstract: The key concept for safe and efficient traffic management for Unmanned Aircraft Systems (UAS) is the notion of operation volume (OV). An OV is a 4-dimensional block of airspace and time, which can express an aircraft's intent, and can be used for planning, de-confliction, and traffic management. While there are several high-level simulators for UAS Traffic Management (UTM), we are lacking a framework for creating, manipulating, and reasoning about OVs for heterogeneous air vehicles. In this paper, we address this and present SkyTrakx -- a software toolkit for simulation and verification of UTM scenarios based on OVs. First, we illustrate a use case of SkyTrakx by presenting a specific air traffic coordination protocol. This protocol communicates OVs between participating aircraft and an airspace manager for traffic routing. We show how existing formal verification tools, Dafny and Dione, can assist in automatically checking key properties of the protocol. Second, we show how the OVs can be computed for heterogeneous air vehicles like quadcopters and fixed-wing aircraft using another verification technique, namely reachability analysis. Finally, we show that SkyTrakx can be used to simulate complex scenarios involving heterogeneous vehicles, for testing and performance evaluation in terms of workload and response delays analysis. Our experiments delineate the trade-off between performance and workload across different strategies for generating OVs.


title: Learning Universal Representations from Word to Sentence

abstract: Despite the well-developed cut-edge representation learning for language, most language representation models usually focus on specific level of linguistic unit, which cause great inconvenience when being confronted with handling multiple layers of linguistic objects in a unified way. Thus this work introduces and explores the universal representation learning, i.e., embeddings of different levels of linguistic unit in a uniform vector space through a task-independent evaluation. We present our approach of constructing analogy datasets in terms of words, phrases and sentences and experiment with multiple representation models to examine geometric properties of the learned vector space. Then we empirically verify that well pre-trained Transformer models incorporated with appropriate training settings may effectively yield universal representation. Especially, our implementation of fine-tuning ALBERT on NLI and PPDB datasets achieves the highest accuracy on analogy tasks in different language levels. Further experiments on the insurance FAQ task show effectiveness of universal representation models in real-world applications.


title: Analysis of characteristics of images acquired with a prototype clinical proton radiography system

abstract: Verification of patient specific proton stopping powers obtained in the patient treatment position can be used to reduce the distal margins needed in particle beam planning. Proton radiography can be used as a pre-treatment instrument to verify integrated stopping power consistency with the treatment planning CT. Although a proton radiograph is a pixel by pixel representation of integrated stopping powers, the image may also be of high enough quality and contrast to be used for patient alignment. This investigation qualifies the accuracy and image quality of a prototype proton radiography system on a clinical proton delivery system. We have developed a clinical prototype proton radiography system designed for integration into efficient clinical workflows. We tested the images obtained by this system for water-equivalent thickness (WET) accuracy, image noise, and spatial resolution. We evaluated the WET accuracy by comparing the average WET and rms error in several regions of interest (ROI) on a proton radiograph of a custom peg phantom. We measured the spatial resolution on a CATPHAN Line Pair phantom and a custom edge phantom by measuring the 10% value of the modulation transfer function (MTF). In addition, we tested the ability to detect proton range errors due to anatomical changes in a patient with a customized CIRS pediatric head phantom and inserts of varying WET placed in the posterior fossae of the brain. We took proton radiographs of the phantom with each insert in place and created difference maps between the resulting images. Integrated proton range was measured from an ROI in the difference maps.


title: A new proof of Balinski's theorem on the connectivity of polytopes

abstract: Balinski (1961) proved that the graph of a $d$-dimensional convex polytope is $d$-connected. We provide a new proof of this result. Our proof provides details on the nature of a separating set with exactly $d$ vertices; some of which appear to be new.


title: Improved Robustness to Open Set Inputs via Tempered Mixup

abstract: Supervised classification methods often assume that evaluation data is drawn from the same distribution as training data and that all classes are present for training. However, real-world classifiers must handle inputs that are far from the training distribution including samples from unknown classes. Open set robustness refers to the ability to properly label samples from previously unseen categories as novel and avoid high-confidence, incorrect predictions. Existing approaches have focused on either novel inference methods, unique training architectures, or supplementing the training data with additional background samples. Here, we propose a simple regularization technique easily applied to existing convolutional neural network architectures that improves open set robustness without a background dataset. Our method achieves state-of-the-art results on open set classification baselines and easily scales to large-scale open set classification problems.


title: CAD-PU: A Curvature-Adaptive Deep Learning Solution for Point Set Upsampling

abstract: Point set is arguably the most direct approximation of an object or scene surface, yet its practical acquisition often suffers from the shortcoming of being noisy, sparse, and possibly incomplete, which restricts its use for a high-quality surface recovery. Point set upsampling aims to increase its density and regularity such that a better surface recovery could be achieved. The problem is severely ill-posed and challenging, considering that the upsampling target itself is only an approximation of the underlying surface. Motivated to improve the surface approximation via point set upsampling, we identify the factors that are critical to the objective, by pairing the surface approximation error bounds of the input and output point sets. It suggests that given a fixed budget of points in the upsampling result, more points should be distributed onto the surface regions where local curvatures are relatively high. To implement the motivation, we propose a novel design of Curvature-ADaptive Point set Upsampling network (CAD-PU), the core of which is a module of curvature-adaptive feature expansion. To train CAD-PU, we follow the same motivation and propose geometrically intuitive surrogates that approximate discrete notions of surface curvature for the upsampled point set. We further integrate the proposed surrogates into an adversarial learning based curvature minimization objective, which gives a practically effective learning of CAD-PU. We conduct thorough experiments that show the efficacy of our contributions and the advantages of our method over existing ones. Our implementation codes are publicly available at https://github.com/JiehongLin/CAD-PU.


title: A Framework for Fairer Machine Learning in Organizations

abstract: With the increase in adoption of machine learning tools by organizations risks of unfairness abound, especially when human decision processes in outcomes of socio-economic importance such as hiring, housing, lending, and admissions are automated. We reveal sources of unfair machine learning, review fairness criteria, and provide a framework which, if implemented, would enable an organization to both avoid implementing an unfair machine learning model, but also to avoid the common situation that as an algorithm learns with more data it can become unfair over time. Issues of behavioral ethics in machine learning implementations by organizations have not been thoroughly addressed in the literature, because many of the necessary concepts are dispersed across three literatures: ethics, machine learning, and management. Further, tradeoffs between fairness criteria in machine learning have not been addressed with regards to organizations. We advance the research by introducing an organizing framework for selecting and implementing fair algorithms in organizations.


title: Experimental Authentication of Quantum Key Distribution with Post-quantum Cryptography

abstract: Quantum key distribution (QKD) can provide information theoretically secure key exchange even in the era of quantum computer. However, QKD requires the classical channel to be authenticated, and the current method is pre-sharing symmetric keys. For a QKD network of $n$ users, this method requires $C_n^2 = n(n-1)/2$ pairs of symmetric keys to realize pairwise interconnection. In contrast, with the help of mature public key infrastructure (PKI) and post-quantum cryptography (PQC) with quantum resistant security, each user only needs to apply for a digital certificate from certificate authority (CA) to achieve efficient and secure authentication for QKD. We only need to assume the short-term security of the PQC algorithm to achieve the long-term security of the distributed keys. Here, we experimentally verified the feasibility, efficiency and stability of the PQC algorithm in QKD authentication, and demonstrated the advantages when new users join the QKD network. Using PQC authentication we only need to believe the CA is safe, rather than all trusted relays. QKD combined with PQC authentication will greatly promote and extend the application prospects of quantum safe communication.


title: Effects of transient non-thermal particles on the big bang nucleosynthesis

abstract: The effects of introducing a small amount of non-thermal distribution (NTD) of elements in big bang nucleosynthesis (BBN) are studied by allowing a fraction of the NTD to be time-dependent so that it contributes only during a certain period of the BBN evolution. The fraction is modeled as a Gaussian-shaped function of $\log(T)$, where $T$ is the temperature of the cosmos, and thus the function is specified by three parameters; the central temporal position, the width and the magnitude. The change in the average nuclear reaction rates due to the presence of the NTD is assumed to be proportional to the Maxwellian reaction rates but with temperature $T_{\rm NTD} \equiv \zeta T$, $\zeta$ being another parameter of our model. By scanning a wide four-dimensional parametric space at about half a million points, we have found about 130 points with $\chi^2< 1$, at which the predicted primordial abundances of light elements are consistent with the observations. The magnitude parameter $\varepsilon_0$ of these points turns out to be scattered over a very wide range from $\varepsilon_0 \sim 10^{-19}$ to $\sim 10^{-1}$, and the $\zeta$-parameter is found to be strongly correlated with the magnitude parameter $\varepsilon_0$. The temperature region with $0.3\times 10^9 \mbox{K} \lesssim T \lesssim 0.4\times 10^9 \mbox{K}$ or the temporal region $t\simeq 10^3$ s seems to play a central role in lowering $\chi^2$.


title: A class of AF-algebras up to universal UHF-algebra stability

abstract: We will show that separable unital AF-algebras whose Bratteli diagrams do not allow converging two nodes into one node, can be classified up to the tensor product with the universal UHF-algebra $\Q$ only by their trace spaces. That is, if $\A$ and $\B$ are such AF-algebras, then $T(A)=T(B)$ if and only if $\A\otimes \Q \cong \B\otimes \Q$.


title: Asymptotic curvature estimate for steady solitons

abstract: In this note, we shall investigate the asymptotic curvature estimate on steady Ricci solitons.


title: Sharp error bounds for turning point expansions

abstract: Computable and sharp error bounds are derived for asymptotic expansions for linear differential equations having a simple turning point. The expansions involve Airy functions and slowly varying coefficient functions. The sharpness of the bounds is illustrated numerically with an application to Bessel functions of large order.


title: Quasiperiodic Music

abstract: Using the definition of quasiperiodic function as a motivation, we introduce the idea of quasiperiodic music and detail the composition process of a quasiperiodic music piece, Raindrops in A minor. We also discuss connections between quasiperiodic music and other works of music theory and composition that make use of aperiodic order or periodic order with large periods, such as Lindenmayer systems, Vuza canons, Messiaen's Quatuor pour la Fin du Temps, and the phase music of Steve Reich.


title: Stability of the boundary layer expansion for the 3D plane parallel MHD flow

abstract: In this paper, we establish the mathematical validity of the Prandtl boundary layer theory for a class of nonlinear plane parallel flows of viscous incompressible magnetohydrodynamic (MHD) flow with no-slip boundary condition of velocity and perfectly conducting wall for magnetic fields. The convergence is shown under various Sobolev norms, including the physically important space-time uniform norm $L^\infty(H^1)$. In addition, the similar convergence results are also obtained under the case with uniform magnetic fields. This implies the stabilizing effects of magnetic fields. Besides, the higher-order expansion is also considered.


title: Crowder and Surface Effects on Self-organization of Microtubules

abstract: Microtubules are an essential physical building block of cellular systems. They are organized using specific crosslinkers, motors, and influencers of nucleation and growth. With the addition of anti-parallel crosslinkers, microtubule pattern goes through transition from fan-like structures to homogeneous tactoid condensates in vitro. Tactoids are reminiscent of biological mitotic spindles, the cell division machinery. To accomplish these organizations, we use polymer crowding agents. Here we study how altering the properties of the crowders, such as size, concentration, and molecular weight, affect microtubule organization. Using simulations with experiments, we observe a scaling law associated with the fan-like patterns in the absence of crosslinkers. Tactoids formed in the presence of crosslinkers show variable length, depending on the crowders. The subtle differences correlate to individual filament contour length changes, likely due to effects on nucleation and growth of the microtubules. Using quantitative image analysis, we deduce that the tactoids differ from traditional liquid crystal organization, as they are limited in width irrespective of crowders and surfaces, and behave as solid-like condensates.


title: The many faces of the stochastic zeta function

abstract: We introduce a framework to study the random entire function $\zeta_\beta$ whose zeros are given by the Sine$_\beta$ process, the bulk limit of beta ensembles. We present several equivalent characterizations, including an explicit power series representation built from Brownian motion. We study related distributions using stochastic differential equations. Our function is a uniform limit of characteristic polynomials in the circular beta ensemble; we give upper bounds on the rate of convergence. Most of our results are new even for classical values of $\beta$. We provide explicit moment formulas for $\zeta$ and its variants, and we show that the Borodin-Strahov moment formulas hold for all $\beta$ both in the limit and for circular beta ensembles. We show a uniqueness theorem for $\zeta$ in the Cartwright class, and deduce some product identities between conjugate values of $\beta$. The proofs rely on the structure of the Sine$_\beta$ operator to express $\zeta$ in terms of a regularized determinant.


title: Eight years of homicide evolution in Monterrey, Mexico: a network approach

abstract: Homicide is without doubt one of Mexico's most important security problems, with data showing that this dismal kind of violence sky-rocketed shortly after the war on drugs was declared in 2007. Since then, violent war-like zones have appeared and disappeared throughout Mexico, causing unfathomable human, social and economic losses. One of the most emblematic of these zones is the city of Monterrey, a central scenario in the narco-war. To better understand the underlying mechanisms by which violence has evolved and spread through the city, here we propose a network-based approach. For this purpose, we define a homicide network where nodes are geographical entities that are connected through spatial proximity and crime similarity. Data is taken from a crime database spanning 86 months in the Monterrey metropolitan area, containing manually curated geo-located and dated homicides, as well as from Open Street Map for urban environment. Under this approach, we first identify independent crime sectors corresponding to different connected components. Each of these clusters of crime presents crime evolution similar to the one at state and national levels. We then show how crime spread from neighborhood to adjacent neighborhoods when violence was mainly cartel-related and how it was chiefly static at a different time. Finally, we show a relation between homicidal crime and urban landscape by studying the distance of safe and violent neighborhoods to the closest highway and by studying the evolution of highway and crime distance over the cartel-related years and the following period. With this approach, we are able to describe more accurately the evolution of homicidal crime in a metropolitan area.


title: Integrated nanoextraction and colorimetric reactions in surface nanodroplets for combinative analysis

abstract: A combinative approach for chemical analysis makes it possible to distinguish a mixture of a large number of compounds from other mixtures in a single step. This work demonstrates a combinative analysis approach by using surface nanodroplets for integrating nanoextraction and colorimetric reactions for the identification of multi-component mixtures. The model analytes are acidic compounds dissolved in oil that are extracted into aqueous droplets on a solid substrate. The proton from acid dissociation reacts with the halochromic chemical compounds inside the droplets, leading to the color change of the droplets. The rate of the colorimetric reaction exhibits certain specificity for the acid type, distinguishing acid mixtures with the same pH value. The underlying principle is that the acid transport rate is associated with the partition coefficient and the dissociation constant of the acid, in addition to the concentration in oil. As a demonstration, we showed that droplet-based combinative analysis can be applied for anti-counterfeiting of various alcoholic spirits by comparing decolor time of organic acid mixtures in the spirits. The readout can be done by using a common hand-hold mobile phone.


title: A study of topological characterization and symmetries for a quantum simulated Kitaev chain

abstract: An attempt is made to quantum simulate the topological classification, such as winding number, geometric phase and symmetry properties for a quantum simulated Kitaev chain. We find, {\alpha} (ratio between the spin-orbit coupling and magnetic field) and the range of momentum space of consideration, which plays a crucial role for the topological classification. We show explicitly that the topological quantum phase transition does not occurs at k = 0 limit for the quantum simulated Kitaev chain. We observe that the quasi-particle mass of the Majorana mode plays the significant role in topological quantum phase transition. We also show that the symmetry properties of simulated Kitaev chain is the same with original Kitaev chain. The exact solution of simulated Kitaev chain is given. This work provides a new perspective on new emerging quantum simulator and also for the topological state of matter.


title: Spectral Clustering with Smooth Tiny Clusters

abstract: Spectral clustering is one of the most prominent clustering approaches. The distance-based similarity is the most widely used method for spectral clustering. However, people have already noticed that this is not suitable for multi-scale data, as the distance varies a lot for clusters with different densities. State of the art(ROSC and CAST ) addresses this limitation by taking the reachability similarity of objects into account. However, we observe that in real-world scenarios, data in the same cluster tend to present in a smooth manner, and previous algorithms never take this into account. Based on this observation, we propose a novel clustering algorithm, which con-siders the smoothness of data for the first time. We first divide objects into a great many tiny clusters. Our key idea is to cluster tiny clusters, whose centers constitute smooth graphs. Theoretical analysis and experimental results show that our clustering algorithm significantly outperforms state of the art. Although in this paper, we singly focus on multi-scale situations, the idea of data smoothness can certainly be extended to any clustering algorithms


title: Experimental investigation on the susceptibility of minimal networks to a change in topology and number of oscillators

abstract: Understanding the global dynamical behaviour of a network of coupled oscillators has been a topic of immense research in many fields of science and engineering. Various factors govern the resulting dynamical behaviour of such networks, including the number of oscillators and their coupling schemes. Although these factors are seldom significant in large populations, a small change in them can drastically affect the global behaviour in small populations. In this paper, we perform an experimental investigation on the effect of these factors on the coupled behaviour of a minimal network of candle-flame oscillators. We observe that strongly coupled oscillators exhibit the global behaviour of in-phase synchrony and amplitude death, irrespective of the number and the topology of oscillators. However, when they are weakly coupled, their global behaviour exhibits the intermittent occurrence of multiple stable states in time. In addition to states of clustering, chimera, and weak chimera, we report the experimental discovery of partial amplitude death in a network of candle-flame oscillators. We also show that closed-loop networks tend to hold global synchronization for longer duration as compared to open-loop networks. We believe that our results would find application in real-life problems such as power grids, neuronal networks, and seizure dynamics.


title: Non-adiabatic turbulence driving during gravitational collapse

abstract: We investigate the generation of turbulence during the prestellar gravitational contraction of a turbulent spherical core. We define the ratio $g$ of the one-dimensional turbulent velocity dispersion, $\sigma_\mathrm{1D}$ to the gravitational velocity $v_g$, to then analytically estimate $g$ under the assumptions of a) equipartition or virial equilibrium between the gravitational ($E_g$) and turbulent kinetic ($E_\mathrm{turb}$) energies and b) stationarity of transfer from gravitational to turbulent energy (implying $E_\mathrm{turb}/E_g=$cst). In the equipartition and virial cases, we find $g=\sqrt{1/3}\approx0.58$ and $g=\sqrt{1/6}\approx0.41$, respectively; in the stationary case we find $g=\langle v_\mathrm{rad}\rangle L_d/(4\pi\sqrt{3}\eta Rv_g)$, where $\eta$ is an efficiency factor, $L_d$ is the energy injection scale of the turbulence, and $R$ is the core's radius. Next, we perform AMR simulations of the prestellar collapse of an isothermal, transonic turbulent core at two different resolutions, and a non-turbulent control simulation. We find that the turbulent simulations collapse at the same rate as the non-turbulent one, so that the turbulence generation does not significantly slow down the collapse. We also find that a) the simulations approach near balance between the rates of energy injection from the collapse and of turbulence dissipation; b) $g\approx0.395\pm0.035$, close to the "virial" value (turbulence is $\sim35-40\%$ of non-thermal linewidth); c) the injection scale is $L_d\lesssim R$, and d) the "turbulent pressure" $\rho\sigma_\mathrm{1D}^2$ scales as $\sim\rho^{1.64}$, an apparently nearly-adiabatic scaling. We propose that this scaling and the nearly virial values of the turbulent velocity dispersion may be reconciled with the non-delayed collapse rate if the turbulence is dissipated as soon as it is generated.


title: Tropical analogs of Milnor $K$-groups and tropicalizations of Zariski-Riemann spaces

abstract: As a step of a tropical approach to problems on algebraic classes of cohomology groups (such as the Hodge conjecture), in this paper, we introduce tropical analogs of (rational) Milnor $K$-groups, and prove the existence of the Gersten resolution of their Zariski sheafification. Our result will be used to prove a tropical analog of the Hodge conjecture for smooth algebraic varieties over trivially valued fields in a subsequent paper.


title: Double-phase-field formulation for mixed-mode fracture in rocks

abstract: Cracking of rocks and rock-like materials exhibits a rich variety of patterns where tensile (mode I) and shear (mode II) fractures are often interwoven. These mixed-mode fractures are usually cohesive (quasi-brittle) and frictional. Although phase-field modeling is increasingly used for rock fracture simulation, no phase-field formulation is available for cohesive and frictional mixed-mode fracture. To address this shortfall, here we develop a double-phase-field formulation that employs two different phase fields to describe cohesive tensile fracture and frictional shear fracture individually. The formulation rigorously combines the two phase fields through three approaches: (i) crack-direction-based decomposition of the strain energy into the tensile, shear, and pure compression parts, (ii) contact-dependent calculation of the potential energy, and (iii) energy-based determination of the dominant fracturing mode in each contact condition. We validate the proposed model, both qualitatively and quantitatively, with experimental data on mixed-mode fracture in rocks. The validation results demonstrate that the double-phase-field model -- a combination of two quasi-brittle phase-field models -- allows one to directly use material strengths measured from experiments, unlike brittle phase-field models for mixed-mode fracture in rocks. Another standout feature of the double-phase-field model is that it can simulate, and naturally distinguish between, tensile and shear fractures without complex algorithms.


title: Investigating the integrate and fire model as the limit of a random discharge model: a stochastic analysis perspective

abstract: In the mean field integrate-and-fire model, the dynamics of a typical neuron within a large network is modeled as a diffusion-jump stochastic process whose jump takes place once the voltage reaches a threshold. In this work, the main goal is to establish the convergence relationship between the regularized process and the original one where in the regularized process, the jump mechanism is replaced by a Poisson dynamic, and jump intensity within the classically forbidden domain goes to infinity as the regularization parameter vanishes. On the macroscopic level, the Fokker-Planck equation for the process with random discharges (i.e. Poisson jumps) are defined on the whole space, while the equation for the limit process is on the half space. However, with the iteration scheme, the difficulty due to the domain differences has been greatly mitigated and the convergence for the stochastic process and the firing rates can be established. Moreover, we find a polynomial-order convergence for the distribution by a re-normalization argument in probability theory. Finally, by numerical experiments, we quantitatively explore the rate and the asymptotic behavior of the convergence for both linear and nonlinear models.


title: Stochastic non-attractor inflation

abstract: We extend the formalism of stochastic inflation to the setup of non-attractor inflation with a sound speed $c_s$. We obtain the Langevin equations for the superhorizon perturbations and calculate the stochastic corrections to curvature perturbation power spectrum. It is shown that the fractional stochastic corrections in mean number of e-folds and power spectrum are at the order of power spectrum. We also calculate the boundary crossing and the first hitting probabilities in a hypothetical dS space with two boundaries in field space. Furthermore, the stochastic corrections in power spectrum in a setup akin to eternal inflation with large diffusion term are calculated.


title: Large-scale nonlinear Granger causality: A data-driven, multivariate approach to recovering directed networks from short time-series data

abstract: To gain insight into complex systems it is a key challenge to infer nonlinear causal directional relations from observational time-series data. Specifically, estimating causal relationships between interacting components in large systems with only short recordings over few temporal observations remains an important, yet unresolved problem. Here, we introduce a large-scale Nonlinear Granger Causality (lsNGC) approach for inferring directional, nonlinear, multivariate causal interactions between system components from short high-dimensional time-series recordings. By modeling interactions with nonlinear state-space transformations from limited observational data, lsNGC identifies casual relations with no explicit a priori assumptions on functional interdependence between component time-series in a computationally efficient manner. Additionally, our method provides a mathematical formulation revealing statistical significance of inferred causal relations. We extensively study the ability of lsNGC to recovering network structure from two-node to thirty-four node chaotic time-series systems. Our results suggest that lsNGC captures meaningful interactions from limited observational data, where it performs favorably when compared to traditionally used methods. Finally, we demonstrate the applicability of lsNGC to estimating causality in large, real-world systems by inferring directional nonlinear, multivariate causal relationships among a large number of relatively short time-series acquired from functional Magnetic Resonance Imaging (fMRI) data of the human brain.


title: Network Traffic Analysis based IoT Device Identification

abstract: Device identification is the process of identifying a device on Internet without using its assigned network or other credentials. The sharp rise of usage in Internet of Things (IoT) devices has imposed new challenges in device identification due to a wide variety of devices, protocols and control interfaces. In a network, conventional IoT devices identify each other by utilizing IP or MAC addresses, which are prone to spoofing. Moreover, IoT devices are low power devices with minimal embedded security solution. To mitigate the issue in IoT devices, fingerprint (DFP) for device identification can be used. DFP identifies a device by using implicit identifiers, such as network traffic (or packets), radio signal, which a device used for its communication over the network. These identifiers are closely related to the device hardware and software features. In this paper, we exploit TCP/IP packet header features to create a device fingerprint utilizing device originated network packets. We present a set of three metrics which separate some features from a packet which contribute actively for device identification. To evaluate our approach, we used publicly accessible two datasets. We observed the accuracy of device genre classification 99.37% and 83.35% of accuracy in the identification of an individual device from IoT Sentinel dataset. However, using UNSW dataset device type identification accuracy reached up to 97.78%.


title: Optimal Eco-driving Control of Autonomous and Electric Trucks in Adaptation to Highway Topography: Energy Minimization and Battery Life Extension

abstract: In this paper, we develop a model to plan energy-efficient speed trajectories of electric trucks in real-time by taking into account the information of topography and traffic ahead of the vehicle. In this real time control model, a novel state-space model is first developed to capture vehicle speed, acceleration, and state of charge. We then formulate an energy minimization problem and solve it by an alternating direction method of multipliers (ADMM) method that exploits the structure of the problem. A model predictive control framework is then employed to deal with topographic and traffic uncertainties in real-time. An empirical study is conducted on the performance of the proposed eco-driving algorithm and its impact on battery degradation. The experimental results show that the energy consumption by using the developed method is reduced by up to 5.05%, and the battery life extended by as high as 35.35% compared to benchmarking solutions.


title: Tensor-based Multi-dimensional Wideband Channel Estimation for mmWave Hybrid Cylindrical Arrays

abstract: Channel estimation is challenging for hybrid millimeter wave (mmWave) large-scale antenna arrays which are promising in 5G/B5G applications. The challenges are associated with angular resolution losses resulting from hybrid front-ends, beam squinting, and susceptibility to the receiver noises. Based on tensor signal processing, this paper presents a novel multi-dimensional approach to channel parameter estimation with large-scale mmWave hybrid uniform circular cylindrical arrays (UCyAs) which are compact in size and immune to mutual coupling but known to suffer from infinite-dimensional array responses and intractability. We design a new resolution-preserving hybrid beamformer and a low-complexity beam squinting suppression method, and reveal the existence of shift-invariance relations in the tensor models of received array signals at the UCyA. Exploiting these relations, we propose a new tensor-based subspace estimation algorithm to suppress the receiver noises in all dimensions (time, frequency, and space). The algorithm can accurately estimate the channel parameters from both coherent and incoherent signals. Corroborated by the Cram\'{e}r-Rao lower bound (CRLB), simulation results show that the proposed algorithm is able to achieve substantially higher estimation accuracy than existing matrix-based techniques, with a comparable computational complexity.


title: Dirac electrons in the square lattice Hubbard model with a $d$-wave pairing field: chiral Heisenberg universality class revisited

abstract: We numerically investigate the quantum criticality of the chiral Heisenberg universality class with the total number of fermion components $N$=8 in terms of the Gross-Neveu theory. Auxiliary-field quantum Monte Carlo simulations are performed for the square lattice Hubbard model in the presence of a $d$-wave pairing field, inducing Dirac cones in the single particle spectrum. This property makes the model particularly interesting because it turns out to belong to the same universality class of the Hubbard model on the honeycomb lattice, that is the canonical model for graphene, despite the unit cells being apparently different (e.g. they contain one and two sites, respectively). We indeed show that the two phase transitions, expected to occur on the square and on the honeycomb lattices, have the same quantum criticality. We also argue that details of the models, i.e., the way of counting $N$ and the anisotropy of the Dirac cones, do not change the critical exponents. The present estimates of the exponents for the $N$=8 chiral Heisenberg universality class are $\nu$=1.05(5), $\eta_{\phi}$=0.75(4), and $\eta_{\psi}$=0.23(4), which are compared with the previous numerical estimations.


title: A novel experimental method of estimating tracer and intrinsic diffusion coefficients from multicomponent diffusion profiles

abstract: A few decades earlier, Kirkaldy and Lane proposed an indirect method of estimating the tracer and intrinsic diffusion coefficients in a ternary system (without showing experimental verification), which is otherwise impossible following the Kirkendall marker experiments. Subsequently, Manning proposed the relations between the tracer and intrinsic diffusion coefficients in the multicomponent system by extending the Onsager formalism (although could not be estimated by intersecting the diffusion couples). By solving these issues in this article, we have now proposed the equations and method for estimating these parameters in pseudo-ternary diffusion couples in which diffusion paths can be intersected in multicomponent space. We have chosen NiCoFeCr system for verification of this method because of the availability of good quality diffusion couple experiments and estimated tracer diffusion coefficients of all the components measured by the radiotracer method. An excellent match is found when the tracer diffusion coefficients estimated following the newly proposed method are compared with the data estimated following the radiotracer method. Following, the intrinsic diffusion coefficients are estimated experimentally in a multicomponent system for the first time highlighting diffusional interactions between the components. We have further shown that the intrinsic diffusion coefficients are the same (if the vacancy wind effect is negligible/neglected) when estimated from other types of diffusion couples (pseudo-binary and body diagonal) in the same multi-component system. This method can be now extended to the Al, Ga, Si containing systems in which the estimation of tracer diffusion coefficients following the radiotracer method is difficult/impossible because of various reasons.


title: Connected components of the general linear group of a real hereditarily indecomposable Banach space

abstract: We give a complete description of the structure of the connected components of the general linear group of a real hereditarily indecomposable Banach space, depending on the existence of complex structures on the space itself and on its hyperplanes. A side result is the fact that complex structures cannot exist simultaneously on such a space and on its hyperplanes.


title: SkyMapper colours of Seyfert galaxies and Changing-Look AGN

abstract: We study the utility of broad-band colours in the SkyMapper Southern Survey for selecting Seyfert galaxies at low luminosity. We find that the $u-v$ index, built from the ultraviolet $u$ and violet $v$ filters, separates normal galaxies, starburst galaxies and type-1 AGN. This $u-v$ index is not sensitive to age or metallicity in a stellar population but is instead a quenching-and-bursting indicator in galaxies and detects power-law continua in type-1 AGN. Using over 25,000 galaxies at $z<0.1$ from 6dFGS, we find a selection cut based on $u-v$ and central $u$ band brightness that identifies type-1 AGN. By eyeballing 6dFGS spectra we classify new Seyfert galaxies of type 1 to 1.8. Our sample includes eight known Changing-Look AGN, two of which show such strong variability that they move across the selection cut during the five years of SkyMapper observations in DR3, along mixing sequences of nuclear and host galaxy light. We identify 46 Changing-Look AGN candidates in our sample, one of which has been reported as a type-IIn supernova. We show that this transient persists for at least five years and marks a flare in a Seyfert-1 period of a new Changing-Look AGN.


title: Dynamics of mode-locked nanolasers based on Hermite-Gaussian modes

abstract: The different dynamical behaviors of the Hermite-Gaussian (HG) modes of mode-locked nanolasers based on a harmonic photonic cavity are investigated in detail using a model based on a modified Gross-Pitaevskii Equation. Such nanolasers are shown to exhibit mode-locking with a repetition rate independent of the cavity length, which is a strong asset for compactness.The differences with respect to conventional lasers are shown to originate from the peculiar gain competition between HG modes, which is investigated in details. In the presence of a saturable absorber, the different regimes, i. e. Q-switching, Q-switched mode-locking, and continuous-wave (cw) mode locking, are isolated in a phase diagram and separately described. Mode-locking is found to be robust against phase-intensity coupling and to be achievable in a scheme with spatially separated gain and absorber.


title: On tropical cycle class maps

abstract: In this paper, we show that tropical cycle class maps introduced by Liu for smooth algebraic varieties over trivially valued fields are isomorphisms. More precisely, we prove that tropical cohomology is isomorphic to Zariski sheaf cohomology of the sheaves of tropical analogs of Milnor $K$-groups. Proof is based on a theorem on "cohomology theories", developed by many mathematicians, and explicit computation of tropical cohomology of $\mathbb{A}^1$-fibers by non-archimedean geometry.


title: Lunar Near-Surface Volatile Sample Return

abstract: The origin, distribution, depth and volume of lunar volatiles remain open questions. One of the possible sources of Moon's volatiles is their volcanic outgassing during the peak of lunar volcanic activity ~3.5 Ga. This same outgassing would also produce a tenuous transient atmosphere which would promote the delivery of volatiles from the volcanic sources to the polar cold traps. Though such an atmosphere could have played an important role in the evolution of the Moon, little is known about it due to high uncertainty level in the mechanisms involved. The only reliable proxy for the ancient lunar atmosphere are the primordial volatiles deposited by it, which are expected to be preserved in the polar cold traps, and could be studied through sample return. In this white paper we therefore advocate that a volatile sample return from the Moon's polar cold traps should be a fundamental part of the Artemis program.


title: General anomaly matching by Goldstone bosons

abstract: We describe how Goldstone bosons of spontaneous symmetry breaking $G \to H$ can reproduce anomalies of UV theories under the symmetry group $G$ at the nonperturbative level. This is done by giving a general definition of Wess-Zumino-Witten terms in terms of the invertible field theories in $d+1$ dimensions which describe the anomalies of $d$-dimensional UV theories. The hidden local symmetry $\widehat H$, which is used to describe Goldstone bosons in coset construction $G/H$, plays an important role. Our definition also naturally leads to generalized $\theta$-angles of the hidden local gauge group $\widehat H$. We illustrate this point by ${\rm SO}(N_c)$ (or ${\rm Spin}(N_c)$) QCD-like theories in four dimensions.


title: Virtual Image Correlation uncertainty

abstract: The Virtual Image Correlation method applies for the measurement of silhouettes boundaries with sub-pixel precision. It consists in a correlation between the image of interest and a virtual image based on a parametrized curve. Thanks to a new formulation, it is shown that the method is exact in 1D, insensitive to local curvature and to contrast variation, and that the bias induced by luminance variation can be easily corrected. Optimal value of the virtual image width, the sole parameter of the method, and optimal numerical settings are established. An estimator is proposed to assess the relevance of the user-chosen curve to describe the contour with a sub-pixel precision. Analytical formulas are given for the measurement uncertainty in both cases of noiseless and noisy images and their prediction is successfully compared to numerical tests.