title: Indicatements that character language models learn English morpho-syntactic units and regularities

abstract: Character language models have access to surface morphological patterns, but it is not clear whether or how they learn abstract morphological regularities. We instrument a character language model with several probes, finding that it can develop a specific unit to identify word boundaries and, by extension, morpheme boundaries, which allows it to capture linguistic properties and regularities of these units. Our language model proves surprisingly good at identifying the selectional restrictions of English derivational morphemes, a task that requires both morphological and syntactic awareness. Thus we conclude that, when morphemes overlap extensively with the words of a language, a character language model can perform morphological abstraction.


title: On commutative left-nilalgebras of index 4

abstract: We first present a solution to a conjecture of I. Correa, A. Labra and I.R. Hentzel in the positive. We prove that if $A$ is a commutative nonassociative algebra over a field of characteristic $\ne 2,3$, satisfying the identity $x(x(xx))=0$, then $L_{a^{t_1}}L_{a^{t_2}}\cdots L_{a^{t_s}} \equiv 0$ if $ t_1+t_2+\cdots + t_s \geq 10$, where $a\in A$.


title: Denoising Neural Machine Translation Training with Trusted Data and Online Data Selection

abstract: Measuring domain relevance of data and identifying or selecting well-fit domain data for machine translation (MT) is a well-studied topic, but denoising is not yet. Denoising is concerned with a different type of data quality and tries to reduce the negative impact of data noise on MT training, in particular, neural MT (NMT) training. This paper generalizes methods for measuring and selecting data for domain MT and applies them to denoising NMT training. The proposed approach uses trusted data and a denoising curriculum realized by online data selection. Intrinsic and extrinsic evaluations of the approach show its significant effectiveness for NMT to train on data with severe noise.


title: When to Finish? Optimal Beam Search for Neural Text Generation (modulo beam size)

abstract: In neural text generation such as neural machine translation, summarization, and image captioning, beam search is widely used to improve the output text quality. However, in the neural generation setting, hypotheses can finish in different steps, which makes it difficult to decide when to end beam search to ensure optimality. We propose a provably optimal beam search algorithm that will always return the optimal-score complete hypothesis (modulo beam size), and finish as soon as the optimality is established (finishing no later than the baseline). To counter neural generation's tendency for shorter hypotheses, we also introduce a bounded length reward mechanism which allows a modified version of our beam search algorithm to remain optimal. Experiments on neural machine translation demonstrate that our principled beam search algorithm leads to improvement in BLEU score over previously proposed alternatives.


title: Nightmare at test time: How punctuation prevents parsers from generalizing

abstract: Punctuation is a strong indicator of syntactic structure, and parsers trained on text with punctuation often rely heavily on this signal. Punctuation is a diversion, however, since human language processing does not rely on punctuation to the same extent, and in informal texts, we therefore often leave out punctuation. We also use punctuation ungrammatically for emphatic or creative purposes, or simply by mistake. We show that (a) dependency parsers are sensitive to both absence of punctuation and to alternative uses; (b) neural parsers tend to be more sensitive than vintage parsers; (c) training neural parsers without punctuation outperforms all out-of-the-box parsers across all scenarios where punctuation departs from standard punctuation. Our main experiments are on synthetically corrupted data to study the effect of punctuation in isolation and avoid potential confounds, but we also show effects on out-of-domain data.


title: Calibration of Differential Light Curves for Physical Analysis of Starspots

abstract: This paper presents detailed consideration of methodologies to calibrate differential light curves for accurate physical starspot modeling. We use the Sun and starspot models as a testbed to highlight some factors in this calibration that that have not yet been treated with care. One unambiguously successful procedure for converting a differential light curve into a light deficit curve appears difficult to implement, but methodologies are presented that work in many cases. The years-long time coverage of Kepler provides a strong advantage, but unresolved issues concerning the competing and sometimes similar effects of surface differential rotation versus spot number and size evolution can prevent the confident recovery of correct spot covering fractions in certain cases. We also consider whether faculae are detected by Kepler and/or must be accounted for. We conclude their effects are such that absolute photometry is not required for spot deficit calibrations. To elucidate their signature we re-examine correlations between absolute brightness, differential variability, and apparent spot coverage for hundreds of Kepler stars with absolute calibrations from Montet et al. (2017). The results are similar to theirs, but we draw somewhat different conclusions. Most of the stars in this active solar-type sample are spot-dominated as expected. Partly because of a dearth of longer period stars, the evidence for facular dominance in this sample is both sparse and relatively weak. The facular population exhibits a puzzling lack of dependence on rotation period, which raises questions about the apparent detection of a "facular" signal at short periods.


title: RxNN: A Framework for Evaluating Deep Neural Networks on Resistive Crossbars

abstract: Resistive crossbars designed with non-volatile memory devices have emerged as promising building blocks for Deep Neural Network (DNN) hardware, due to their ability to compactly and efficiently realize vector-matrix multiplication (VMM), the dominant computational kernel in DNNs. However, a key challenge with resistive crossbars is that they suffer from a range of device and circuit level non-idealities such as interconnect parasitics, peripheral circuits, sneak paths, and process variations. These non-idealities can lead to errors in VMMs, eventually degrading the DNN's accuracy. It is therefore critical to study the impact of crossbar non-idealities on the accuracy of large-scale DNNs. However, this is challenging because existing device and circuit models are too slow to use in application-level evaluations. We present RxNN, a fast and accurate simulation framework to evaluate large-scale DNNs on resistive crossbar systems. RxNN splits and maps the computations involved in each DNN layer into crossbar operations, and evaluates them using a Fast Crossbar Model (FCM) that accurately captures the errors arising due to crossbar non-idealities while being four-to-five orders of magnitude faster than circuit simulation. FCM models a crossbar-based VMM operation using three stages - non-linear models for the input and output peripheral circuits (DACs and ADCs), and an equivalent non-ideal conductance matrix for the core crossbar array. We implement RxNN by extending the Caffe machine learning framework and use it to evaluate a suite of six large-scale DNNs developed for the ImageNet Challenge. Our experiments reveal that resistive crossbar non-idealities can lead to significant accuracy degradations (9.6%-32%) for these large-scale DNNs. To the best of our knowledge, this work is the first quantitative evaluation of the accuracy of large-scale DNNs on resistive crossbar based hardware.


title: Large $N_c$ Thermodynamics with Dynamical Fermions

abstract: We present a progress report on our investigation of the thermodynamics of QCD with $N_f=2$ flavors of dynamical Wilson fermions in the limit of a large number of colors $N_c$. To date, studies of the thermodynamics of QCD at large $N_c$ have been limited to the quenched approximation, i.e., to the behavior of pure $\mathrm{SU}(N_c)$ gauge theory at large $N_c$. This is the first study of thermodynamics at large $N_c$ using dynamical fermions, and thus the first study able to test whether the quenched approximation is a valid way to investigate large $N_c$ thermodynamics. After reviewing 't Hooft's large $N_c$ limit, we discuss the automation we use to make this study feasible, and finally compare our preliminary physics results for $\mathrm{SU}(3-5)$ with large $N_c$ expectations.


title: Study of Xi Photoproduction from Threshold to W = 3.3 GeV

abstract: The doubly-strange Xi baryons provide an effective way to study a puzzle called the missing-baryons problem, where both quark models and lattice gauge theory predict more baryon excited states than are seen experimentally. However, few of these excited states have been observed with any certainty. Here, high-mass Xi states have been searched for in photoproduction with the CLAS detector, and upper limits for the total cross sections have been established from threshold to W = 3.3 GeV. In addition, the total cross sections of the ground state Xi(1320) and first excited state Xi(1530) are presented, extending significantly the center-of-mass energy range of previous data.


title: Semantic Mapping for Orchard Environments by Merging Two-Sides Reconstructions of Tree Rows

abstract: Measuring semantic traits for phenotyping is an essential but labor-intensive activity in horticulture. Researchers often rely on manual measurements which may not be accurate for tasks such as measuring tree volume. To improve the accuracy of such measurements and to automate the process, we consider the problem of building coherent three dimensional (3D) reconstructions of orchard rows. Even though 3D reconstructions of side views can be obtained using standard mapping techniques, merging the two side-views is difficult due to the lack of overlap between the two partial reconstructions. Our first main contribution in this paper is a novel method that utilizes global features and semantic information to obtain an initial solution aligning the two sides. Our mapping approach then refines the 3D model of the entire tree row by integrating semantic information common to both sides, and extracted using our novel robust detection and fitting algorithms. Next, we present a vision system to measure semantic traits from the optimized 3D model that is built from the RGB or RGB-D data captured by only a camera. Specifically, we show how canopy volume, trunk diameter, tree height and fruit count can be automatically obtained in real orchard environments. The experiment results from multiple datasets quantitatively demonstrate the high accuracy and robustness of our method.


title: 3D Segmentation with Exponential Logarithmic Loss for Highly Unbalanced Object Sizes

abstract: With the introduction of fully convolutional neural networks, deep learning has raised the benchmark for medical image segmentation on both speed and accuracy, and different networks have been proposed for 2D and 3D segmentation with promising results. Nevertheless, most networks only handle relatively small numbers of labels (<10), and there are very limited works on handling highly unbalanced object sizes especially in 3D segmentation. In this paper, we propose a network architecture and the corresponding loss function which improve segmentation of very small structures. By combining skip connections and deep supervision with respect to the computational feasibility of 3D segmentation, we propose a fast converging and computationally efficient network architecture for accurate segmentation. Furthermore, inspired by the concept of focal loss, we propose an exponential logarithmic loss which balances the labels not only by their relative sizes but also by their segmentation difficulties. We achieve an average Dice coefficient of 82% on brain segmentation with 20 labels, with the ratio of the smallest to largest object sizes as 0.14%. Less than 100 epochs are required to reach such accuracy, and segmenting a 128x128x128 volume only takes around 0.4 s.


title: Collective fast delivery by energy-efficient agents

abstract: We consider k mobile agents initially located at distinct nodes of an undirected graph (on n nodes, with edge lengths) that have to deliver a single item from a given source node s to a given target node t. The agents can move along the edges of the graph, starting at time 0 with respect to the following: Each agent i has a weight w_i that defines the rate of energy consumption while travelling a distance in the graph, and a velocity v_i with which it can move. We are interested in schedules (operating the k agents) that result in a small delivery time T (time when the package arrives at t), and small total energy consumption E. Concretely, we ask for a schedule that: either (i) Minimizes T, (ii) Minimizes lexicographically (T,E) (prioritizing fast delivery), or (iii) Minimizes epsilon*T + (1-epsilon)*E, for a given epsilon, 0<epsilon<1. We show that (i) is solvable in polynomial time, and show that (ii) is polynomial-time solvable for uniform velocities and solvable in time O(n + k log k) for arbitrary velocities on paths, but in general is NP-hard even on planar graphs. As a corollary of our hardness result, (iii) is NP-hard, too. We show that there is a 3-approximation algorithm for (iii) using a single agent.


title: Equivalence of relative Gibbs and relative equilibrium measures for actions of countable amenable groups

abstract: We formulate and prove a very general relative version of the Dobrushin-Lanford-Ruelle theorem which gives conditions on constraints of configuration spaces over a finite alphabet such that for every absolutely summable relative interaction, every translation-invariant relative Gibbs measure is a relative equilibrium measure and vice versa. Neither implication is true without some assumption on the space of configurations. We note that the usual finite type condition can be relaxed to a much more general class of constraints. By "relative" we mean that both the interaction and the set of allowed configurations are determined by a random environment. The result includes many special cases that are well known. We give several applications including (1) Gibbsian properties of measures that maximize pressure among all those that project to a given measure via a topological factor map from one symbolic system to another; (2) Gibbsian properties of equilibrium measures for group shifts defined on arbitrary countable amenable groups; (3) A Gibbsian characterization of equilibrium measures in terms of equilibrium condition on lattice slices rather than on finite sets; (4) A relative extension of a theorem of Meyerovitch, who proved a version of the Lanford--Ruelle theorem which shows that every equilibrium measure on an arbitrary subshift satisfies a Gibbsian property on interchangeable patterns.


title: A continuum model of multi-phase reactive transport in igneous systems

abstract: Multi-phase reactive transport processes are ubiquitous in igneous systems. A challenging aspect of modelling igneous phenomena is that they range from solid-dominated porous to liquid-dominated suspension flows and therefore entail a wide spectrum of rheological conditions, flow speeds, and length scales. Most previous models have been restricted to the two-phase limits of porous melt transport in deforming, partially molten rock and crystal settling in convecting magma bodies. The goal of this paper is to develop a framework that can capture igneous system from source to surface at all phase proportions including not only rock and melt but also an exsolved volatile phase. Here, we derive an n-phase reactive transport model building on the concepts of Mixture Theory, along with principles of Rational Thermodynamics and procedures of Non-equilibrium Thermodynamics. Our model operates at the macroscopic system scale and requires constitutive relations for fluxes within and transfers between phases, which are the processes that together give rise to reactive transport phenomena. We introduce a phase- and process-wise symmetrical formulation for fluxes and transfers of entropy, mass, momentum, and volume, and propose phenomenological coefficient closures that determine how fluxes and transfers respond to mechanical and thermodynamic forces. Finally, we demonstrate that the known limits of two-phase porous and suspension flow emerge as special cases of our general model and discuss some ramifications for modelling pertinent two- and three-phase flow problems in igneous systems.


title: Location and Capacity Planning of Facilities with General Service-Time Distributions Using Conic Optimization

abstract: This paper studies a stochastic congested location problem in the network of a service system that consists of facilities to be established in a finite number of candidate locations. Population zones allocated to each open service facility together creates a stream of demand that follows a Poisson process and may cause congestion at the facility. The service time at each facility is stochastic and depends on the service capacity and follows a general distribution that can differ for each facility. The service capacity is selected from a given (bounded or unbounded) interval. The objective of our problem is to optimize a balanced performance measure that compromises between facility-induced and customer-related costs. Service times are represented by a flexible location-scale stochastic model. The problem is formulated using quadratic conic optimization. Valid inequalities and a cut-generation procedure are developed to increase computational efficiency. A comprehensive numerical study is carried out to show the efficiency and effectiveness of the solution procedure. Moreover, our numerical experiments using real data of a preventive healthcare system in Toronto show that the optimal service network configuration is highly sensitive to the service-time distribution. Our method for convexifying the waiting-time formulas of M/G/1 queues is general and extends the existing convexity results in queueing theory such that they can be used in optimization problems where the service rates are continuous.


title: Localization and Non-propagation in a Groupoid Framework

abstract: Normal elements (or multipliers) of the C* algebra of a certain class of locally compact groupoids admit a natural faithful representation as normal operators on the $L^2$-space of a dense orbit of the groupoid. We prove norm estimates on the product between elements of the functional calculus of these operators and multiplication operators, subject to suitable restrictions expressed in terms of the orbit structure of the groupoid. As a consequence, one gets uniform estimates on the local behavior of the evolution group of the operators.


title: NEU: A Meta-Algorithm for Universal UAP-Invariant Feature Representation

abstract: Effective feature representation is key to the predictive performance of any algorithm. This paper introduces a meta-procedure, called Non-Euclidean Upgrading (NEU), which learns feature maps that are expressive enough to embed the universal approximation property (UAP) into most model classes while only outputting feature maps that preserve any model class's UAP. We show that NEU can learn any feature map with these two properties if that feature map is asymptotically deformable into the identity. We also find that the feature-representations learned by NEU are always submanifolds of the feature space. NEU's properties are derived from a new deep neural model that is universal amongst all orientation-preserving homeomorphisms on the input space. We derive qualitative and quantitative approximation guarantees for this architecture. We quantify the number of parameters required for this new architecture to memorize any set of input-output pairs while simultaneously fixing every point of the input space lying outside some compact set, and we quantify the size of this set as a function of our model's depth. Moreover, we show that no deep feed-forward network with commonly used activation function has all these properties. NEU's performance is evaluated against competing machine learning methods on various regression and dimension reduction tasks both with financial and simulated data.

categories: stat.ML cs.LG cs.NA math.NA math.PR q-fin.CP


title: Predicting protein inter-residue contacts using composite likelihood maximization and deep learning

abstract: Accurate prediction of inter-residue contacts of a protein is important to calcu- lating its tertiary structure. Analysis of co-evolutionary events among residues has been proved effective to inferring inter-residue contacts. The Markov ran- dom field (MRF) technique, although being widely used for contact prediction, suffers from the following dilemma: the actual likelihood function of MRF is accurate but time-consuming to calculate, in contrast, approximations to the actual likelihood, say pseudo-likelihood, are efficient to calculate but inaccu- rate. Thus, how to achieve both accuracy and efficiency simultaneously remains a challenge. In this study, we present such an approach (called clmDCA) for contact prediction. Unlike plmDCA using pseudo-likelihood, i.e., the product of conditional probability of individual residues, our approach uses composite- likelihood, i.e., the product of conditional probability of all residue pairs. Com- posite likelihood has been theoretically proved as a better approximation to the actual likelihood function than pseudo-likelihood. Meanwhile, composite likelihood is still efficient to maximize, thus ensuring the efficiency of clmDCA. We present comprehensive experiments on popular benchmark datasets, includ- ing PSICOV dataset and CASP-11 dataset, to show that: i) clmDCA alone outperforms the existing MRF-based approaches in prediction accuracy. ii) When equipped with deep learning technique for refinement, the prediction ac- curacy of clmDCA was further significantly improved, suggesting the suitability of clmDCA for subsequent refinement procedure. We further present successful application of the predicted contacts to accurately build tertiary structures for proteins in the PSICOV dataset. Accessibility: The software clmDCA and a server are publicly accessible through http://protein.ict.ac.cn/clmDCA/.


title: Understanding Neural Pathways in Zebrafish through Deep Learning and High Resolution Electron Microscope Data

abstract: The tracing of neural pathways through large volumes of image data is an incredibly tedious and time-consuming process that significantly encumbers progress in neuroscience. We are exploring deep learning's potential to automate segmentation of high-resolution scanning electron microscope (SEM) image data to remove that barrier. We have started with neural pathway tracing through 5.1GB of whole-brain serial-section slices from larval zebrafish collected by the Center for Brain Science at Harvard University. This kind of manual image segmentation requires years of careful work to properly trace the neural pathways in an organism as small as a zebrafish larva (approximately 5mm in total body length). In automating this process, we would vastly improve productivity, leading to faster data analysis and breakthroughs in understanding the complexity of the brain. We will build upon prior attempts to employ deep learning for automatic image segmentation extending methods for unconventional deep learning data.


title: A Simplified Approach to Deep Learning for Image Segmentation

abstract: Leaping into the rapidly developing world of deep learning is an exciting and sometimes confusing adventure. All of the advice and tutorials available can be hard to organize and work through, especially when training specific models on specific datasets, different from those originally used to train the network. In this short guide, we aim to walk the reader through the techniques that we have used to successfully train two deep neural networks for pixel-wise classification, including some data management and augmentation approaches for working with image data that may be insufficiently annotated or relatively homogenous.


title: Transport and dispersion of active particles in periodic porous media

abstract: The transport of self-propelled particles such as bacteria and phoretic swimmers through crowded heterogeneous environments is relevant to many natural and engineering processes, from biofilm formation and contamination processes to transport in soils and biomedical devices. While there has been experimental progress, a theoretical understanding of mean transport properties in these systems has been lacking. In this work, we apply generalized Taylor dispersion theory to analyze the long-time statistics of an active self-propelled Brownian particle transported under an applied flow through the interstices of a periodic lattice that serves as an idealization of a porous medium. Our theoretical model, which we validate against Brownian dynamics simulations, is applied to unravel the roles of motility, fluid flow, and lattice geometry on asymptotic mean velocity and dispersivity. In weak flows, transport is dominated by active dispersion, which results from self-propulsion in the presence of noise and is hindered by the obstacles that act as entropic barriers. In strong flows, shear-induced Taylor dispersion becomes the dominant mechanism for spreading, with pillars now acting as regions of shear production that enhance dispersion. The interplay of these two effects leads to complex and unexpected trends, such as a non-monotonic dependence of axial dispersivity on flow strength and a reduction in dispersion due to swimming activity in strong flows. Brownian dynamics are used to cast light on the pre-asymptotic regime, where tailed distributions are observed in agreement with recent experiments on motile micro-organisms. Our results also highlight the subtle effects of pillar shape, which can be used to control the magnitude of dispersion and to drive a net particle migration in quiescent systems.


title: The homomorphism of presheaves ${\mathrm{K}}^\mathrm{MW}_*\to {\pi}^{*,*}_s$ over a base

abstract: We construct the homomorphism of presheaves ${\mathrm{K}}^\mathrm{MW}_* \to {\pi}^{*,*}$ over an arbitrary base scheme $S$, where $\mathrm{K}^\mathrm{MW}$ is the (naive) Milnor-Witt K-theory presheave. Also we discuss some partly alternative proof (or proofs) of the isomorphism of sheaves $\unKMW_n\simeq \underline{\pi}^{n,n}_s$, $n\in \mathbb Z$, over a filed $k$ originally proved in \cite{M02} and \cite{M-A1Top}.


title: Hierarchical CVAE for Fine-Grained Hate Speech Classification

abstract: Existing work on automated hate speech detection typically focuses on binary classification or on differentiating among a small set of categories. In this paper, we propose a novel method on a fine-grained hate speech classification task, which focuses on differentiating among 40 hate groups of 13 different hate group categories. We first explore the Conditional Variational Autoencoder (CVAE) as a discriminative model and then extend it to a hierarchical architecture to utilize the additional hate category information for more accurate prediction. Experimentally, we show that incorporating the hate category information for training can significantly improve the classification performance and our proposed model outperforms commonly-used discriminative models.


title: Eliminating Boundaries in Cloud Storage with Anna

abstract: In this paper, we describe how we extended a distributed key-value store called Anna into an elastic, multi-tier service for the cloud. In its extended form, Anna is designed to overcome the narrow cost-performance limitations typical of current cloud storage systems. We describe three key aspects of Anna's new design: multi-master selective replication of hot keys, a vertical tiering of storage layers with different cost-performance tradeoffs, and horizontal elasticity of each tier to add and remove nodes in response to load dynamics. Anna's policy engine uses these mechanisms to balance service-level objectives around cost, latency and fault tolerance. Experimental results explore the behavior of Anna's mechanisms and policy, exhibiting orders of magnitude efficiency improvements over both commodity cloud KVS services and research systems.


title: Can Stellar Discs in a Cosmological Setting Avoid Forming Strong Bars?

abstract: We investigate the connection between the vertical structure of stellar discs and the formation of bars using high-resolution simulations of galaxies in isolation and in the cosmological context. In particular, we simulate a suite of isolated galaxy models that have the same Toomre Q parameter and swing amplification parameter but that differ in the vertical scale height and velocity dispersion. We find that the onset of bar formation occurs more slowly in models with thicker discs. Moreover, thicker discs and also discs evolved in simulations with larger force softening also appear to be more resilient to buckling, which acts to regulate the length and strength of bars. We also simulate disc-halo systems in the cosmological environment using a disc-insertion technique developed in a previous paper. In this case, bar formation is driven by the stochastic effects of a triaxial halo and subhalo-disc interactions and the initial growth of bars appears to be relatively insensitive to the thickness of the disc. On the other hand, thin discs in cosmological halos do appear to be more susceptible to buckling than thick ones and therefore bar strength correlates with disc thickness as in the isolated case. More to the point, one can form discs in cosmological simulations with relatively weak bars or no bars at all provided the discs as thin as the discs we observe and the softening length is smaller than the disc scale height.


title: Generalized Ait-Sahalia-type interest rate model with Poisson jumps and convergence of the numerical approximation

abstract: In this paper, we consider the generalized Ait-Sahaliz interest rate model with Poisson jumps in finance. The analytical properties including the positivity, boundedness and pathwise asymptotic estimations of the solution to the model are investigated. Moreover, we prove that the Euler-Maruyama (EM) numerical solutions will converge to the true solution in probability. Finally, under assumption that the interest rate or the asset price is governed by this model, we apply the EM solutions to compute some financial quantities.


title: Cost Functions for Robot Motion Style

abstract: We focus on autonomously generating robot motion for day to day physical tasks that is expressive of a certain style or emotion. Because we seek generalization across task instances and task types, we propose to capture style via cost functions that the robot can use to augment its nominal task cost and task constraints in a trajectory optimization process. We compare two approaches to representing such cost functions: a weighted linear combination of hand-designed features, and a neural network parameterization operating on raw trajectory input. For each cost type, we learn weights for each style from user feedback. We contrast these approaches to a nominal motion across different tasks and for different styles in a user study, and find that they both perform on par with each other, and significantly outperform the baseline. Each approach has its advantages: featurized costs require learning fewer parameters and can perform better on some styles, but neural network representations do not require expert knowledge to design features and could even learn more complex, nuanced costs than an expert can easily design.


title: Robust 3D Distributed Formation Control with Application to Quadrotors

abstract: We present a distributed control strategy for a team of quadrotors to autonomously achieve a desired 3D formation. Our approach is based on local relative position measurements and does not require global position information or inter-vehicle communication. We assume that quadrotors have a common sense of direction, which is chosen as the direction of gravitational force measured by their onboard IMU sensors. However, this assumption is not crucial, and our approach is robust to inaccuracies and effects of acceleration on gravitational measurements. In particular, converge to the desired formation is unaffected if each quadrotor has a velocity vector that projects positively onto the desired velocity vector provided by the formation control strategy. We demonstrate the validity of proposed approach in an experimental setup and show that a team of quadrotors achieve a desired 3D formation.


title: Graph Energies of Egocentric Networks and Their Correlation with Vertex Centrality Measures

abstract: Graph energy is the energy of the matrix representation of the graph, where the energy of a matrix is the sum of singular values of the matrix. Depending on the definition of a matrix, one can contemplate graph energy, Randi\'c energy, Laplacian energy, distance energy, and many others. Although theoretical properties of various graph energies have been investigated in the past in the areas of mathematics, chemistry, physics, or graph theory, these explorations have been limited to relatively small graphs representing chemical compounds or theoretical graph classes with strictly defined properties. In this paper we investigate the usefulness of the concept of graph energy in the context of large, complex networks. We show that when graph energies are applied to local egocentric networks, the values of these energies correlate strongly with vertex centrality measures. In particular, for some generative network models graph energies tend to correlate strongly with the betweenness and the eigencentrality of vertices. As the exact computation of these centrality measures is expensive and requires global processing of a network, our research opens the possibility of devising efficient algorithms for the estimation of these centrality measures based only on local information.


title: Learning Sparse Low-Precision Neural Networks With Learnable Regularization

abstract: We consider learning deep neural networks (DNNs) that consist of low-precision weights and activations for efficient inference of fixed-point operations. In training low-precision networks, gradient descent in the backward pass is performed with high-precision weights while quantized low-precision weights and activations are used in the forward pass to calculate the loss function for training. Thus, the gradient descent becomes suboptimal, and accuracy loss follows. In order to reduce the mismatch in the forward and backward passes, we utilize mean squared quantization error (MSQE) regularization. In particular, we propose using a learnable regularization coefficient with the MSQE regularizer to reinforce the convergence of high-precision weights to their quantized values. We also investigate how partial L2 regularization can be employed for weight pruning in a similar manner. Finally, combining weight pruning, quantization, and entropy coding, we establish a low-precision DNN compression pipeline. In our experiments, the proposed method yields low-precision MobileNet and ShuffleNet models on ImageNet classification with the state-of-the-art compression ratios of 7.13 and 6.79, respectively. Moreover, we examine our method for image super resolution networks to produce 8-bit low-precision models at negligible performance loss.


title: Vision-Based Distributed Formation Control of Unmanned Aerial Vehicles

abstract: We present a novel control strategy for a team of unmanned aerial vehicles (UAVs) to autonomously achieve a desired formation using only visual feedback provided by the UAV's onboard cameras. This effectively eliminates the need for global position measurements. The proposed pipeline is fully distributed and encompasses a collision avoidance scheme. In our approach, each UAV extracts feature points from captured images and communicates their pixel coordinates and descriptors among its neighbors. These feature points are used in our novel pose estimation algorithm, QuEst, to localize the neighboring UAVs. Compared to existing methods, QuEst has better estimation accuracy and is robust to feature point degeneracies. We demonstrate the proposed pipeline in a high-fidelity simulation environment and show that UAVs can achieve a desired formation in a natural environment without any fiducial markers.


title: A new method to probe the boundary where KAM tori persist by square matrix

abstract: The nonlinear dynamics of a system can be analyzed using a square matrix. If off resonance, the lead vector of a Jordan chain in a left eigenspace of the square matrix is an accurate action- angle variable for sufficiently high power order. The deviation from constancy of the action-angle variable provides a measure of the stability of a trajectory. However, near resonance or the stability boundary, the fluctuation increases rapidly and the lead vector no longer represents an accurate action-angle variable. In this paper we show that near resonance or stability boundary, it is possible to find a set of linear combinations of the vectors in the degenerate Jordan chains as the action-angle variables by an iteration procedure so that the fluctuation is minimized. Using the Henon-Heiles problem as an example on resonance, we show that when compared with conventional canonical perturbation theory, the iteration leads to result in much more close agreement with the forward integration, and the iteration is convergent even very close to the stability boundary. It is further shown that the action-angle variables found in the iteration can be used to find another action-angle variables even much more closer to rigid rotations (KAM invariants). The fast convergent result is not in the form of polynomials, it is an exponential function with a rational function in the exponent more similar to a Laurent series than a Taylor series. Hence the method provides a new way to probe the boundary of the region where KAM tori exist.


title: Evidence for the photoionization absorption edge in a photospheric radius expansion X-ray burst from GRS 1747$-$312 in Terzan 6

abstract: Thermonuclear X-ray bursts on the surface of neutron stars (NSs) can enrich photosphere with metals, which may imprint the photoionization edges on the burst spectra. We report here the discovery of absorption edges in the spectra of the type I X-ray burst from the NS low-mass X-ray binary GRS 1747$-$312 in Terzan 6 during observations by the Rossi X-ray Timing Explorer. We find that the edge energy evolves from $9.45\pm0.51$ keV to $\sim6$ keV and then back to $9.44\pm0.40$ keV during the photospheric radius expansion phase and remains at $8.06\pm0.66$ keV in the cooling tail. The photoionization absorption edges of hydrogen-like Ni, Fe or Fe/Ni mixture and the bound-bound transitions of metals may be responsible for the observed spectral features. The ratio of the measured absorption edge energy in the cooling tail to the laboratory value of hydrogen-like Ni(Fe) edge energy allows us to estimate the gravitational redshift factor $1+z=1.34\pm0.11$($1+z=1.15\pm0.09$). The evolution of the spectral parameters during the cooling tail are well-described by the metal-rich atmosphere models. The combined constraints on the NS mass and radius from the direct cooling method and the tidal deformability strongly suggest very high atmospheric abundance of the iron group elements and limit the distance to the source to $11\pm1$ kpc.


title: Bubble Structure in Magic Nuclei

abstract: The existence of bubble nuclei identified by the central depletion in nucleonic density is studied for the conventional magic N (Z) $=$ 8, 20, 28, 40, 50, 82, 126 isotones (isotopes) and recently speculated magic N $=$ 164, 184, 228 superheavy isotones. Many new bubble nuclei are predicted in all regions. Study of density profiles, form factor, single particle levels and depletion fraction (DF) across the periodic chart reveals that the central depletion is correlated to shell structure and occurs due to unoccupancy in s-orbit (2s, 3s, 4s) and inversion of (2s, 1d) and (3s, 1h) states in nuclei upto Z $\le$ 82. Bubble effect in superheavy region is a signature of the interplay between the Coulomb and nn-interaction and depletion fraction (DF) is found to increase with Z (Coulomb repulsion) and decrease with isospin. Our results are consistent with the available data. The occupancy in s-state in $^{34}$Si increases with temperature which appears to quench the bubble effect.


title: A simulation-based approach to estimate joint model of longitudinal and event-time data with many missing longitudinal observations

abstract: Joint models of longitudinal and event-time data have been extensively studied and applied in many different fields. Estimation of joint models is challenging, most present procedures are computational expensive and have a strict requirement on data quality. In this study, a novel simulation-based procedure is proposed to estimate a general family of joint models, which include many widely-applied joint models as special cases. Our procedure can easily handle low-quality data where longitudinal observations are systematically missed for some of the covariate dimensions. In addition, our estimation procedure is compatible with parallel computing framework when combining with stochastic descending algorithm, it is perfectly applicable to massive data and therefore suitable for many financial applications. Consistency and asymptotic normality of our estimator are proved, a simulation study is conducted to illustrate its effectiveness. Finally, as an application, the procedure is applied to estimate pre-payment probability of a massive consumer-loan dataset drawn from one biggest P2P loan platform of China.


title: Attentive Crowd Flow Machines

abstract: Traffic flow prediction is crucial for urban traffic management and public safety. Its key challenges lie in how to adaptively integrate the various factors that affect the flow changes. In this paper, we propose a unified neural network module to address this problem, called Attentive Crowd Flow Machine~(ACFM), which is able to infer the evolution of the crowd flow by learning dynamic representations of temporally-varying data with an attention mechanism. Specifically, the ACFM is composed of two progressive ConvLSTM units connected with a convolutional layer for spatial weight prediction. The first LSTM takes the sequential flow density representation as input and generates a hidden state at each time-step for attention map inference, while the second LSTM aims at learning the effective spatial-temporal feature expression from attentionally weighted crowd flow features. Based on the ACFM, we further build a deep architecture with the application to citywide crowd flow prediction, which naturally incorporates the sequential and periodic data as well as other external influences. Extensive experiments on two standard benchmarks (i.e., crowd flow in Beijing and New York City) show that the proposed method achieves significant improvements over the state-of-the-art methods.


title: Fast and robust quantum control for multimode interactions by using shortcuts to adiabaticity

abstract: Adiabatic quantum control is a very important approach for quantum physics and quantum information processing. It holds the advantage with robustness to experimental imperfections but accumulates more decoherence due to the long evolution time. Here, we propose a universal protocol for fast and robust quantum control in multimode interactions of a quantum system by using shortcuts to adiabaticity. The results show this protocol can speed up the evolution of a multimode quantum system effectively, and it can also keep the robustness very good while adiabatic quantum control processes cannot. We apply this protocol for the quantum state transfer in quantum information processing in the photon-phonon interactions in an optomechanical system, showing a perfect result. These good features make this protocol have the capability of improving effectively the feasibility of the practical applications of multimode interactions in quantum information processing in experiment.


title: Privacy, ethics, and data access: A case study of the Fragile Families Challenge

abstract: Stewards of social science data face a fundamental tension. On one hand, they want to make their data accessible to as many researchers as possible to facilitate new discoveries. At the same time, they want to restrict access to their data as much as possible in order to protect the people represented in the data. In this paper, we provide a case study addressing this common tension in an uncommon setting: the Fragile Families Challenge, a scientific mass collaboration designed to yield insights that could improve the lives of disadvantaged children in the United States. We describe our process of threat modeling, threat mitigation, and third-party guidance. We also describe the ethical principles that formed the basis of our process. We are open about our process and the trade-offs that we made in the hopes that others can improve on what we have done.


title: Nonuniqueness for a fully nonlinear boundary Yamabe-type problem via bifurcation theory

abstract: One way to generalize the boundary Yamabe problem posed by Escobar is to ask if a given metric on a compact manifold with boundary can be conformally deformed to have vanishing $\sigma_k$-curvature in the interior and constant $H_k$-curvature on the boundary. When restricting to the closure of the positive $k$-cone, this is a fully nonlinear degenerate elliptic boundary value problem with fully nonlinear Robin-type boundary condition. We prove a general bifurcation theorem which allows us to construct examples of compact Riemannian manifolds $(X,g)$ for which this problem admits multiple non-homothetic solutions in the case when $2k<\dim X$. Our examples are all such that the boundary with its induced metric is a Riemannian product of a round sphere with an Einstein manifold.


title: Self-error-rejecting quantum state transmission of entangled photons for faithful quantum communication without calibrate reference frames

abstract: We propose an alignment-free two-party polarization-entanglement transmission scheme for entangled photons by using only linear-optical elements, requiring neither ancillary photons nor calibrated reference frames. The scheme is robust against both the random channel noise and the instability of reference frames, and it is subsequently extended to multi-party Greenberger-Horne-Zeilinger state transmission. Furthermore, the success probabilities for two- and multi-party entanglement transmission are, in principle, improved to unity when active polarization controllers are used. The distinct characters of a simple structure, easy to be implemented, and a high fidelity and efficiency make our protocol very useful for long-distance quantum communications and distributed quantum networks in practical applications.


title: Continuous data assimilation with blurred-in-time measurements of the surface quasi-geostrophic equation

abstract: An intrinsic property of almost any physical measuring device is that it makes observations which are slightly blurred in time. We consider a nudging-based approach for data assimilation that constructs an approximate solution based on a feedback control mechanism that is designed to account for observations that have been blurred by a moving time average. Analysis of this nudging model in the context of the subcritical surface quasi-geostrophic equation shows, provided the time-averaging window is sufficiently small and the resolution of the observations sufficiently fine, that the approximating solution converges exponentially fast to the observed solution over time. In particular, we demonstrate that observational data with a small blur in time possess no significant obstructions to data assimilation provided that the nudging properly takes the time averaging into account. Two key ingredients in our analysis are additional boundedness properties for the relevant interpolant observation operators and a non-local Gronwall inequality.


title: Dependency-based Hybrid Trees for Semantic Parsing

abstract: We propose a novel dependency-based hybrid tree model for semantic parsing, which converts natural language utterance into machine interpretable meaning representations. Unlike previous state-of-the-art models, the semantic information is interpreted as the latent dependency between the natural language words in our joint representation. Such dependency information can capture the interactions between the semantics and natural language words. We integrate a neural component into our model and propose an efficient dynamic-programming algorithm to perform tractable inference. Through extensive experiments on the standard multilingual GeoQuery dataset with eight languages, we demonstrate that our proposed approach is able to achieve state-of-the-art performance across several languages. Analysis also justifies the effectiveness of using our new dependency-based representation.


title: Saddle-node--transcritical interactions in a stressed predator-prey-nutrient system

abstract: We examine the interaction of transcritical and saddle-node bifurcations in a predator-prey-nutrient system that is stressed by the presence of a toxicant affecting the prey. This model, formulated by Kooi et al. ({\sl Ecol. Model.} {\bf 212}(2008), 304--318), has a two-dimensional invariant sub system with zero predator density. In the sub system, a pair of prey-nutrient equilibria is created in a saddle-node bifurcation, while predator invasion in modelled by a transcritical bifurcation of one of this pair. Interactions of these bifurcations at codimension-two points give rise to bistable, periodic and heteroclinic predator-prey-nutrient dynamics. We explain why the the codimension-two points are numerically detected as cusp and Bogdanov-Takens points when using standard test functions and propose a new test function for systems with codimension one trancritical curves.


title: Multi-UAV Continuum Deformation Flight Optimization in Cluttered Urban Environments

abstract: This paper studies collective motion optimization of a fleet of UAVs flying over a populated and geometrically constrained area. The paper treats UAVs as particles of a deformable body, thus, UAV coordination is defined by a homeomorphic continuum deformation function. Under continuum deformation, the distance between individual UAVs can significantly change while assuring the UAVs dont collide, enabling a swarm to travel through the potentially cluttered environment. To ensure inter-agent and obstacle collision avoidance, the paper formulates safety requirements as inequality constraints of the coordination optimization problem. The main objective of the paper is then to optimize continuum deformation of the UAV team satisfying all continuum deformation inequality constraints. Given initial and target configurations, the cost is defined as a weighted sum of the travel distance and distributed cost proportional to the likelihood of the human presence


title: DAC-SDC Low Power Object Detection Challenge for UAV Applications

abstract: The 55th Design Automation Conference (DAC) held its first System Design Contest (SDC) in 2018. SDC'18 features a lower power object detection challenge (LPODC) on designing and implementing novel algorithms based object detection in images taken from unmanned aerial vehicles (UAV). The dataset includes 95 categories and 150k images, and the hardware platforms include Nvidia's TX2 and Xilinx's PYNQ Z1. DAC-SDC'18 attracted more than 110 entries from 12 countries. This paper presents in detail the dataset and evaluation procedure. It further discusses the methods developed by some of the entries as well as representative results. The paper concludes with directions for future improvements.


title: What's a little leakage between friends?

abstract: This paper introduces a new attack on recent messaging systems that protect communication metadata. The main observation is that if an adversary manages to compromise a user's friend, it can use this compromised friend to learn information about the user's other ongoing conversations. Specifically, the adversary learns whether a user is sending other messages or not, which opens the door to existing intersection and disclosure attacks. To formalize this compromised friend attack, we present an abstract scenario called the exclusive call center problem that captures the attack's root cause, and demonstrates that it is independent of the particular design or implementation of existing metadata-private messaging systems. We then introduce a new primitive called a private answering machine that can prevent the attack. Unfortunately, building a secure and efficient instance of this primitive under only computational hardness assumptions does not appear possible. Instead, we give a construction under the assumption that users can place a bound on their maximum number of friends and are okay leaking this information.


title: Field Generated by Division Points of Certain Formal Group Laws

abstract: In this article we study the Galois group of field generated by division points of special class of formal group laws and prove an equivalent condition for the group to be abelian. Further, we explore relations between the endomorphism ring of a formal group and the Galois group of field generated by division points.


title: Barrier Inhomogeneity of Schottky Diode on Nonpolar AlN Grown by Physical Vapor Transport

abstract: An aluminum nitride (AlN) Schottky barrier diode (SBD) was fabricated on a nonpolar AlN crystal grown on tungsten substrate by physical vapor transport. The Ni/Au-AlN SBD features a low ideality factor n of 3.3 and an effective Schottky barrier height (SBH) of 1.05 eV at room temperature. The ideality factor n decreases and the effective SBH increases at high temperatures. The temperature dependences of n and SBH were explained using an inhomogeneous model. A mean SBH of 2.105 eV was obtained for the Ni-AlN Schottky junction from the inhomogeneity analysis of the current-voltage characteristics. An equation in which the parameters have explicit physical meanings in thermionic emission theory is proposed to describe the current-voltage characteristics of inhomogeneous SBDs.


title: Crystal bases and categorifications

abstract: This is a survey paper of the theory of crystal bases, global bases and the cluster algebra structure on the quantum coordinate rings.


title: Theoretical perspective for the future experiments on parton densities

abstract: I explain the current status of parton-distribution-function (PDF) studies and future experimental prospects on their determinations. First, unpolarized PDFs of the nucleon are introduced as a field of precision QCD physics including higher-order $\alpha_s$ corrections. Second, nuclear PDFs and polarized nucleonic PDFs are discussed. Third, the determination of fragmentation functions is explained. Forth, the three-dimensional (3D) structure functions are discussed in connection with the origin of the nucleon spin and gravitational form factors of hadrons. By the 3D structure functions, gravitational sources and the origin of nucleon mass could be clarified in the microscopic level of quarks and gluons. Furthermore, 3D structure studies of hadrons could be used for clarifying internal structure of exotic hadron candidates, nuclear composition of ultra-high-energy cosmic rays, and color-entanglement phenomena. The PDF field will be developed further along with progress in other fields of science.


title: On Triangluar Separation of Bichromatic Point Sets in Polygonal Environment

abstract: Let $\mathcal P$ be a simple polygonal environment with $k$ vertices in the plane. Assume that a set $B$ of $b$ blue points and a set $R$ of $r$ red points are distributed in $\mathcal P$. We study the problem of computing triangles that separate the sets $B$ and $R$, and fall in $\mathcal P$. We call these triangles \emph{inscribed triangular separators}. We propose an output-sensitive algorithm to solve this problem in $O(r \cdot (r+c_B+k)+h_\triangle)$ time, where $c_B$ is the size of convex hull of $B$, and $h_\triangle$ is the number of inscribed triangular separators. We also study the case where there does not exist any inscribed triangular separators. This may happen due to the tight distribution of red points around convex hull of $B$ while no red points are inside this hull. In this case we focus to compute a triangle that separates most of the blue points from the red points. We refer to these triangles as \emph{maximum triangular separators}. Assuming $n=r+b$, we design a constant-factor approximation algorithm to compute such a separator in $O(n^{4/3} \log^3 n)$ time. "Eligible for best student paper"


title: Entanglement purification of nonlocal quantum-dot-confined electrons assisted by double-sided optical microcavities

abstract: We present a nondestructive parity-check detector (PCD) scheme for two single-electron quantum dots embedded in double-sided optical microcavities. Using a polarization-entangled photon pair, the PCD works in a parallel style and is robust to the phase fluctuation of the optical path length. In addition, we present an economic entanglement purification protocol for electron pairs with our nondestructive PCD. The parties in quantum communication can increase the purification efficiency and simultaneously decrease the quantum source consumed for some particular fidelity thresholds. Therefore, our protocol has good applications in the future quantum communication and distributed quantum networks.


title: CO observations toward the isolated mid-infrared bubble S44: External triggering of O-star formation by a cloud-cloud collision

abstract: We have performed a multi-wavelength study of the mid-infrared bubble S44 to investigate the origin of isolated high-mass star(s) and the star-formation process around the bubble formed by the HII region. In this paper, we report the results of new CO observations ($^{12}$CO, $^{13}$CO $J=$1-0, and $^{12}$CO $J=$3-2) toward the isolated bubble S44 using the NANTEN2, Mopra, and ASTE radio telescopes. We found two velocity components in the direction of the bubble, at $-84$ km s$^{-1}$ and $-79$ km s$^{-1}$. These two clouds are likely to be physically associated with the bubble,both because of the enhanced $^{12}$CO $J=$3-2/1-0 intensity ratio from a ring-like structure affected by ultraviolet radiation from embedded high-mass star(s) and from the morphological correspondence between the 8 $\mu$m emission and the CO distribution. Assuming a single object, we estimate the spectral type of the embedded star inside the bubble to be O8.5-9 ($\sim 20 M_{\odot}$) from the radio-continuum free-free emission. We hypothesize that the two clouds collided with each other 3 Myr ago, triggering the formation of the isolated high-mass star in S44, as also occurred with RCW 120 and RCW 79. We argue that this scenario can explain the origin of the isolated O-star inside the bubble.


title: Controlled Layer-by-Layer Oxidation of MoTe2 via O3 Exposure

abstract: Growing uniform oxides with various thickness on TMDs is one of the biggest challenges to integrate TMDs into complementary metal oxide semiconductor (CMOS) logic circuits. Here, we report a layer-by-layer oxidation of atomically thin MoTe2 flakes via ozone (O3) exposure. The thickness of MoOx oxide film could be tuning with atomic-level accuracy simply by varying O3 exposure time. Additionally, MoOx-covered MoTe2 shows a hole-dominated transport behavior. Our findings point to a simple and effective strategy for growing homogenous surface oxide film on MoTe2, which is promising for several purposes in metal-oxide-semiconductor transistor, ranging from surface passivation to dielectric layers.


title: Beyond Error Propagation in Neural Machine Translation: Characteristics of Language Also Matter

abstract: Neural machine translation usually adopts autoregressive models and suffers from exposure bias as well as the consequent error propagation problem. Many previous works have discussed the relationship between error propagation and the \emph{accuracy drop} (i.e., the left part of the translated sentence is often better than its right part in left-to-right decoding models) problem. In this paper, we conduct a series of analyses to deeply understand this problem and get several interesting findings. (1) The role of error propagation on accuracy drop is overstated in the literature, although it indeed contributes to the accuracy drop problem. (2) Characteristics of a language play a more important role in causing the accuracy drop: the left part of the translation result in a right-branching language (e.g., English) is more likely to be more accurate than its right part, while the right part is more accurate for a left-branching language (e.g., Japanese). Our discoveries are confirmed on different model structures including Transformer and RNN, and in other sequence generation tasks such as text summarization.


title: A Review of Software-Defined WLANs: Architectures and Central Control Mechanisms

abstract: The significant growth in the number of WiFi-enabled devices as well as the increase in the traffic conveyed through wireless local area networks (WLANs) necessitate the adoption of new network control mechanisms. Specifically, dense deployment of access points, client mobility, and emerging QoS demands bring about challenges that cannot be effectively addressed by distributed mechanisms. Recent studies show that software-defined WLANs (SDWLANs) simplify network control, improve QoS provisioning, and lower the deployment cost of new network control mechanisms. In this paper, we present an overview of SDWLAN architectures and provide a qualitative comparison in terms of features such as programmability and virtualization. In addition, we classify and investigate the two important classes of centralized network control mechanisms: (i) association control (AsC) and (ii) channel assignment (ChA). We study the basic ideas employed by these mechanisms, and in particular, we focus on the metrics utilized and the problem formulation techniques proposed. We present a comparison of these mechanisms and identify open research problems.


title: Meromorphic Solution of the Degenerate Third Painlev\'e Equation Vanishing at the Origin

abstract: We prove that there exists the unique odd meromorphic solution of dP3, $u(\tau)$ such that $u(0)=0$, and study some of its properties, mainly: the coefficients of its Taylor expansion at the origin and asymptotic behaviour as $\tau\to+\infty$.


title: A Numerical Method to Analyze Geometric Factors of a Space Particle Detector Relative to Omnidirectional Proton and Electron Fluxes

abstract: A numerical method is proposed to calculate the response of detectors measuring particle energies from incident isotropic fluxes of electrons and positive ions. The isotropic flux is generated by injecting particles moving radially inward on a hypothetical, spherical surface encompassing the detectors. A geometric projection of the field-of-view from the detectors onto the spherical surface allows for the identification of initial positions and momenta corresponding to the clear field-of-view of the detectors. The contamination of detector responses by particles penetrating through, or scattering off, the structure is also similarly identified by tracing the initial positions and momenta of the detected particles. The relative contribution from the contaminating particles is calculated using GEANT4 to obtain the geometric factor of the instrument as a function of the energy. This calculation clearly shows that the geometric factor is a strong function of incident particle energies. The current investigation provides a simple and decisive method to analyze the instrument geometric factor, which is a complicated function of contributions from the anticipated field-of-view particles, together with penetrating or scattered particles.


title: On gravastar formation: What can be the evidence of a black hole?

abstract: Any observer outside black holes cannot detect any physical signal produced by the black holes themselves, since, by definition, the black holes are not located in the causal past of the outside observer. In fact, what we regard as black hole candidates in our view are not black holes but will be gravitationally contracting objects. As well known, a black hole will form by a gravitationally collapsing object in the infinite future in the views of distant observers like us. At the very late stage of the gravitational collapse, the gravitationally contracting object behaves as a black body due to its gravity. Due to this behavior, the physical signals produced around it (e.g. the quasi-normal ringings and the shadow image) will be very similar to those caused in the eternal black hole spacetime. However those physical signals do not necessarily imply the formation of a black hole in the future, since we cannot rule out the possibility that the formation of the black hole is prevented by some unexpected event in the future yet unobserved. As such an example, we propose a scenario in which the final state of the gravitationally contracting spherical thin shell is a gravastar that has been proposed as a final configuration alternative to a black hole by Mazur and Mottola. This scenario implies that time necessary to observe the moment of the gravastar formation can be much longer than the lifetime of the present civilization, although such a scenario seems to be possible only if the dominant energy condition is largely violated.


title: Simple Fusion: Return of the Language Model

abstract: Neural Machine Translation (NMT) typically leverages monolingual data in training through backtranslation. We investigate an alternative simple method to use monolingual data for NMT training: We combine the scores of a pre-trained and fixed language model (LM) with the scores of a translation model (TM) while the TM is trained from scratch. To achieve that, we train the translation model to predict the residual probability of the training data added to the prediction of the LM. This enables the TM to focus its capacity on modeling the source sentence since it can rely on the LM for fluency. We show that our method outperforms previous approaches to integrate LMs into NMT while the architecture is simpler as it does not require gating networks to balance TM and LM. We observe gains of between +0.24 and +2.36 BLEU on all four test sets (English-Turkish, Turkish-English, Estonian-English, Xhosa-English) on top of ensembles without LM. We compare our method with alternative ways to utilize monolingual data such as backtranslation, shallow fusion, and cold fusion.


title: Gravi-Weak Unification and the Black-Hole-Hedgehog's Solution with Magnetic Field Contribution

abstract: In the present paper, we investigated the gravitational black-hole-hedgehog's solution with magnetic field contribution in the framework of the f(R)--gravity described by the Gravi-Weak unification model. Assuming the Multiple Point Principle (MPP), we considered the existence of the two degenerate vacua of the Universe: the first Electroweak (EW) vacuum with $v_1 \approx 246$ GeV ("true vacuum"), and the second Planck scale ("false vacuum") with $v_2 \sim 10^{18}$ GeV. In these vacua, we investigated different topological defects. The main aim of this paper is an investigation of the black-hole-hedgehog configurations as defects of the "false vacuum". We have obtained the solution which corresponds to a global monopole, that has been "swallowed" by the black-hole with core mass $M_{BH}\approx 3.65\times 10^{18}\,\, {\rm{GeV}}$ and radius $\delta \approx 6\cdot 10^{-21} {\rm{GeV}}^{-1}.$ We investigated the metric in the vicinity of the black-hole-hedgehog and estimated its horizon radius: $r_h\approx 1.14 \delta$. We have considered the phase transition from the "false vacuum" to the "true vacuum" and confirmed the stability of the EW--vacuum.


title: Spontaneous parametric down-conversion

abstract: Spontaneous Parametric Down-Conversion (SPDC), also known as parametric fluorescence, parametric noise, parametric scattering and all various combinations of the abbreviation SPDC, is a non-linear optical process where a photon spontaneously splits into two other photons of lower energies. One would think that this article is about particle physics and yet it is not, as this process can occur fairly easily on a day to day basis in an optics laboratory. Nowadays, SPDC is at the heart of many quantum optics experiments for applications in quantum cryptography, quantum simulation, quantum metrology but also for testing fundamentals laws of physics in quantum mechanics. In this article, we will focus on the physics of this process and highlight few important properties of SPDC. There will be two parts: a first theoretical one showing the particular quantum nature of SPDC and the second part, more experimental and in particular focusing on applications of parametric down-conversion. This is clearly a non-exhaustive article about parametric down-conversion as there is a tremendous literature on the subject, but it gives the necessary first elements needed for a novice student or researcher to work on SPDC sources of light.


title: Finding a promising venture capital project with todim under probabilistic hesitant fuzzy circumstance

abstract: Considering the risk aversion for gains and the risk seeking for losses of venture capitalists, the TODIM has been chosen as the decision-making method. Moreover, group decision is an available way to avoid the limited ability and knowledge etc. of venture capitalists.Simultaneously, venture capitalists may be hesitant among several assessed values with different probabilities to express their real perceptionbecause of the uncertain decision-making environment. However, the probabilistic hesitant fuzzy information can solve such problems effectively. Therefore, the TODIM has been extended to probabilistic hesitant fuzzy circumstance for the sake of settling the decision-making problem of venture capitalists in this paper. Moreover, due to the uncertain investment environment, the criteria weights are considered as probabilistic hesitant fuzzyinformation as well. Then, a case study has been used to verify the feasibility and validity of the proposed TODIM.Also, the TODIM with hesitant fuzzy information has been carried out to analysis the same case.From the comparative analysis, the superiority of the proposed TODIM in this paper has already appeared.


title: Contextual Encoding for Translation Quality Estimation

abstract: The task of word-level quality estimation (QE) consists of taking a source sentence and machine-generated translation, and predicting which words in the output are correct and which are wrong. In this paper, propose a method to effectively encode the local and global contextual information for each target word using a three-part neural network approach. The first part uses an embedding layer to represent words and their part-of-speech tags in both languages. The second part leverages a one-dimensional convolution layer to integrate local context information for each target word. The third part applies a stack of feed-forward and recurrent neural networks to further encode the global context in the sentence before making the predictions. This model was submitted as the CMU entry to the WMT2018 shared task on QE, and achieves strong results, ranking first in three of the six tracks.


title: Semi-supervised Learning on Graphs with Generative Adversarial Nets

abstract: We investigate how generative adversarial nets (GANs) can help semi-supervised learning on graphs. We first provide insights on working principles of adversarial learning over graphs and then present GraphSGAN, a novel approach to semi-supervised learning on graphs. In GraphSGAN, generator and classifier networks play a novel competitive game. At equilibrium, generator generates fake samples in low-density areas between subgraphs. In order to discriminate fake samples from the real, classifier implicitly takes the density property of subgraph into consideration. An efficient adversarial learning algorithm has been developed to improve traditional normalized graph Laplacian regularization with a theoretical guarantee. Experimental results on several different genres of datasets show that the proposed GraphSGAN significantly outperforms several state-of-the-art methods. GraphSGAN can be also trained using mini-batch, thus enjoys the scalability advantage.


title: Higgs Cosmology and Dark Matter

abstract: Higgs vacuum stability has important consequences for cosmology. In particular, we argue that if the Higgs vacuum is metastable, then the dark matter cannot contain a single black hole of mass less than $10^{15}{\rm g}$ in our entire past light cone. In addition to being the destroyer microscopic black holes, it may be possible that Higgs vacuum decay is a source of primordial black holes during inflation.


title: Angle-Domain Approach for Parameter Estimation in High-Mobility OFDM with Fully/Partly Calibrated Massive ULA

abstract: In this paper, we consider a downlink orthogonal frequency division multiplexing (OFDM) system from a base station to a high-speed train (HST) equipped with fully/partly calibrated massive uniform linear antenna-array (ULA) in wireless environments with abundant scatterers. Multiple Doppler frequency offsets (DFOs) stemming from intensive propagation paths together with transceiver oscillator frequency offset (OFO) result in a fast time-varying frequency-selective channel. We develop an angle domain carrier frequency offset (CFO, general designation for DFO and OFO) estimation approach. A high-resolution beamforming network is designed to separate different DFOs into a set of parallel branches in angle domain such that each branch is mainly affected by a single dominant DFO. Then, a joint estimation algorithm for both maximum DFO and OFO is developed for fully calibrated ULA. Next, its estimation mean square error (MSE) performance is analyzed under inter-subarray mismatches. To mitigate the detrimental effects of inter-subarray mismatches, we introduce a calibration-oriented beamforming parameter (COBP) and develop the corresponding modified joint estimation algorithm for partly calibrated ULA. Moreover, the Cramer-Rao lower bound of CFO estimation is derived. Both theoretical and numerical results are provided to corroborate the proposed method.


title: Linear syzygy graph and linear resolution

abstract: For each squarefree monomial ideal $I\subset S = k[x_{1},\ldots, x_{n}] $, we associate a simple graph $G_I$ by using the first linear syzygies of $I$. In cases, where $G_I$ is a cycle or a tree, we show the following are equivalent: (a) $ I $ has a linear resolution (b) $ I $ has linear quotients (c) $ I $ is a variable-decomposable ideal In addition, with the same assumption on $G_I$, we characterize all monomial ideals with a linear resolution. Using our results, we characterize all Cohen-Macaulay codimension $2$ monomial ideals with a linear resolution. As an other application of our results, we also characterize all Cohen-Macaulay simplicail complexes in cases that $G_{\Delta}\cong G_{I_{\Delta^{\vee}}}$ is a cycle or a tree.


title: The Data Complexity of Ontology-Mediated Queries with Closed Predicates

abstract: In the context of ontology-mediated querying with description logics (DLs), we study the data complexity of queries in which selected predicates can be closed (OMQCs). We provide a non-uniform analysis, aiming at a classification of the complexity into tractable and non-tractable for ontologies in the lightweight DLs DL-Lite and EL, and the expressive DL ALCHI. At the level of ontologies, we prove a dichotomy between FO-rewritable and coNP-complete for DL-Lite and between PTime and coNP-complete for EL. The meta problem of deciding tractability is proved to be in PTime. At the level of OMQCs, we show that there is no dichotomy (unless NP equals PTime) if both concept and role names can be closed. If only concept names can be closed, we tightly link the complexity of query evaluation to the complexity of surjective CSPs. We also identify a class of OMQCs based on ontologies formulated in DL-Lite that are guaranteed to be tractable and even FO-rewritable.


title: First-principles many-body study of the electronic and optical properties of CsK2Sb, a semiconducting material for ultra-bright electron sources

abstract: We present a comprehensive first-principles investigation of the electronic and optical properties of CsK2Sb, a semiconducting material for ultra-bright electron sources for particle accelerators. Our study, based on density-fuctional theory and many-body perturbation theory, provides all the ingredients to model the emission of this material as a photocathode, including band gap, band dispersion, and optical absorption. An accurate description of these properties beyond the mean-field picture is relevant to take into account many-body effects. We discuss our results in the context of state-of-the-art electron sources for particle accelerators to set the stage towards improved modeling of quantum efficiency, intrinsic emittance, and other relevant quantities determining the macroscopic characteristics of photocathodes for ultra-bright beams.


title: A construction of graphs with positive Ricci curvature

abstract: Two complete graphs are connected by adding some edges. The obtained graph is called the gluing graph. The more we add edges, the larger the Ricci curvature on it becomes. We calculate the Ricci curvature of each edge on the gluing graph and obtain the least number of edges that result in the gluing graph having positive Ricci curvature.


title: Beamforming Network Optimization for Reducing Channel Time Variation in High-Mobility Massive MIMO

abstract: Communications in high-mobility environments have caught a lot of attentions recently. In this paper, fast time-varying channels for massive multiple-input multiple-output (MIMO) systems are addressed. We derive the exact channel power spectrum density (PSD) for the uplink from a high-speed railway (HSR) to a base station (BS) and propose to further reduce the channel time variation via beamforming network optimization. A large-scale uniform linear array (ULA) is equipped at the HSR to separate multiple Doppler shifts in angle domain through high-resolution transmit beamforming. Each branch comprises a dominant Doppler shift, which can be compensated to suppress the channel time variation, and we derive the channel PSD and the Doppler spread to assess the residual channel time variation. Interestingly, the channel PSD can be exactly expressed as the product of a pattern function and a beam-distortion function. The former reflects the impact of array aperture and is the converted radiation pattern of ULA, while the latter depends on the configuration of beamforming directions. Inspired by the PSD analysis, we introduce a common configurable amplitudes and phases (CCAP) parameter to optimize the beamforming network, by partly removing the constant modulus quantized phase constraints of matched filter (MF) beamformers. In this way, the residual Doppler shifts can be ulteriorly suppressed, further reducing the residual channel time variation. The optimal CCAP parameter minimizing the Doppler spread is derived in a closed form. Numerical results are provided to corroborate both the channel PSD analysis and the superiority of beamforming network optimization technique.


title: Test Case Prioritization Using Test Similarities

abstract: A classical heuristic in software testing is to reward diversity, which implies that a higher priority must be assigned to test cases that differ the most from those already prioritized. This approach is commonly known as similarity-based test prioritization (SBTP) and can be realized using a variety of techniques. The objective of our study is to investigate whether SBTP is more effective at finding defects than random permutation, as well as determine which SBTP implementations lead to better results. To achieve our objective, we implemented five different techniques from the literature and conducted an experiment using the defects4j dataset, which contains 395 real faults from six real-world open-source Java programs. Findings indicate that running the most dissimilar test cases early in the process is largely more effective than random permutation (Vargha-Delaney A [VDA]: 0.76-0.99 observed using normalized compression distance). No technique was found to be superior with respect to the effectiveness. Locality-sensitive hashing was, to a small extent, less effective than other SBTP techniques (VDA: 0.38 observed in comparison to normalized compression distance), but its speed largely outperformed the other techniques (i.e., it was approximately 5-111 times faster). Our results bring to mind the well-known adage, "don't put all your eggs in one basket". To effectively consume a limited testing budget, one should spread it evenly across different parts of the system by running the most dissimilar test cases early in the testing process.


title: Selective survey on spaces of closed subgroups of topological groups

abstract: We survey different topologizations of the set $\mathcal{S}(G)$ of all closed subgroups of a topological group $G$ and demonstrate some applications in Topological Grous, Model Theory, Geometric Group Theory, Topological Dynamics.


title: Phase Transition in Iterated Quantum Protocols for Noisy Inputs

abstract: Quantum information processing exploits all the features quantum mechanics offers. Among them there is the possibility to induce nonlinear maps on a quantum system by involving two or more identical copies of the given system in the same state. Such maps play a central role in distillation protocols used for quantum key distribution. We determine that such protocols may exhibit sensitive, quasi-chaotic evolution not only for pure initial states but also for mixed states, i.e. the complex dynamical behavior is not destroyed by small initial uncertainty. We show that the appearance of sensitive, complex dynamics associated with a fractal structure in the parameter space of the system has the character of a first order phase transition. The purity of the initial state plays the role of the control parameter and the dimension of the fractal structure is independent of the purity value after passing the phase transition point. The critical purity coincides with the purity of a repelling fixed point of the dynamics and we show that all the pre-images of states from the close neighborhood of pure chaotic initial states have purity larger than this. Initial states from this set can be considered as quasi-chaotic.


title: A Graph Based Framework for Malicious Insider Threat Detection

abstract: While most security projects have focused on fending off attacks coming from outside the organizational boundaries, a real threat has arisen from the people who are inside those perimeter protections. Insider threats have shown their power by hugely affecting national security, financial stability, and the privacy of many thousands of people. What is in the news is the tip of the iceberg, with much more going on under the radar, and some threats never being detected. We propose a hybrid framework based on graphical analysis and anomaly detection approaches, to combat this severe cybersecurity threat. Our framework analyzes heterogeneous data in isolating possible malicious users hiding behind others. Empirical results reveal this framework to be effective in distinguishing the majority of users who demonstrate typical behavior from the minority of users who show suspicious behavior.


title: The Star Dichromatic Number

abstract: We introduce a new notion of circular colourings for digraphs. The idea of this quantity, called star dichromatic number $\vec{\chi}^\ast(D)$ of a digraph $D$, is to allow a finer subdivision of digraphs with the same dichromatic number into such which are "easier" or "harder" to colour by allowing fractional values. This is related to a coherent notion for the vertex arboricity of graphs introduced by Wang et al. and resembles the concept of the star chromatic number of graphs introduced by Vince in the framework of digraph colouring. After presenting basic properties of the new quantity, including range, simple classes of digraphs, general inequalities and its relation to integer counterparts as well as other concepts of fractional colouring, we compare our notion with the notion of circular colourings for digraphs introduced by Bokal et al. and point out similarities as well as differences in certain situations. As it turns out, the star dichromatic number is a lower bound for the circular dichromatic number of Bokal et al., but the gap between the numbers may be arbitrarily close to $1$. We conclude with a discussion of the case of planar digraphs and point out some open problems.


title: Test Prioritization in Continuous Integration Environments

abstract: Two heuristics namely diversity-based (DBTP) and history-based test prioritization (HBTP) have been separately proposed in the literature. Yet, their combination has not been widely studied in continuous integration (CI) environments. The objective of this study is to catch regression faults earlier, allowing developers to integrate and verify their changes more frequently and continuously. To achieve this, we investigated six open-source projects, each of which included several builds over a large time period. Findings indicate that previous failure knowledge seems to have strong predictive power in CI environments and can be used to effectively prioritize tests. HBTP does not necessarily need to have large data, and its effectiveness improves to a certain degree with larger history interval. DBTP can be used effectively during the early stages, when no historical data is available, and also combined with HBTP to improve its effectiveness. Among the investigated techniques, we found that history-based diversity using NCD Multiset is superior in terms of effectiveness but comes with relatively higher overhead in terms of method execution time. Test prioritization in CI environments can be effectively performed with negligible investment using previous failure knowledge, and its effectiveness can be further improved by considering dissimilarities among the tests.


title: A novel dynamic scheme to reconstruct sub-50 atto-second pulses

abstract: The attosecond streaking technique is normally utilized to characterize the attosecond pulses in extreme ultraviolet spectrum, while the pulse simulation and reconstruction schemes turn out to be unreliable for extremely short sub-100as pulses. Based on systematical analysis and subtle investigation, we developed a dynamic streaking model for ultrashort photoelectron pulses and demonstrated concretely how the temporal phase of attosecond pulses would influence the streaked spectrogram. Upon that, a novel numeric scheme is established to retrieve the pulse-lengths and chirps. Different with the traditional FROG-CRAB algorithm utilizing the central energy approximation, our approach concerns the actual time-energy distribution of an electron wave-packet within sub-100as time-scale, capable for retrieving the temporal profiles of the ultrashort pulse more accurately.


title: A spectral characterization for concentration of the cover time

abstract: We prove that for a sequence of finite vertex-transitive graphs of increasing sizes, the cover times are asymptotically concentrated if and only if the product of the spectral-gap and the expected cover time diverges. In fact, we prove this for general reversible Markov chains under the much weaker assumption (than transitivity) that the maximal hitting time of a state is of the same order as the average hitting time.


title: Dark structures in sunspot light bridges

abstract: We present unprecedented high-resolution TiO images and Fe I 1565 nm spectropolarimetric data of two light bridges taken by the 1.6-m Goode Solar Telescope at Big Bear Solar Observatory. In the first light bridge (LB1), we find striking knot-like dark structures within the central dark lane. Many dark knots show migration away from the penumbra along the light bridge. The sizes, intensity depressions and apparent speeds of their proper motion along the light bridges of 33 dark knots identified from the TiO images are mainly in the ranges of 80$\sim$200~km, 30\%$\sim$50\%, and 0.3$\sim$1.2~km~s$^{-1}$, respectively. In the second light bridge (LB2), a faint central dark lane and striking transverse intergranular lanes were observed. These intergranular lanes have sizes and intensity depressions comparable to those of the dark knots in LB1, and also migrate away from the penumbra at similar speeds. Our observations reveal that LB2 is made up of a chain of evolving convection cells, as indicated by patches of blue shift surrounded by narrow lanes of red shift. The central dark lane generally corresponds to blueshifts, supporting the previous suggestion of central dark lanes being the top parts of convection upflows. In contrast, the intergranular lanes are associated with redshifts and located at two sides of each convection cell. The magnetic fields are stronger in intergranular lanes than in the central dark lane. These results suggest that these intergranular lanes are manifestations of convergent convective downflows in the light bridge. We also provide evidence that the dark knots observed in LB1 may have a similar origin.


title: Computability at zero temperature

abstract: In this paper, we investigate the computability of thermodynamic invariants at zero temperature for one-dimensional subshifts of finite type. In particular, we prove that the residual entropy (i.e., the joint ground state entropy) is an upper semi-computable function on the space of continuous potentials, but it is not computable. Next, we consider locally constant potentials for which the zero-temperature measure is known to exist. We characterize the computability of the zero-temperature measure and its entropy for potentials that are constant on cylinders of a given length k. In particular, we show the existence of an open and dense set of locally constant potentials for which the zero-temperature measure can be computationally identified as an elementary periodic point measure. Finally, we show that our methods do not generalize to treat the case when k is not given


title: Extending the Particle ESBGK Method to Diatomic Molecules including Quantized Vibrational Energies

abstract: The particle-based ellipsoidal statistical Bhatnagar-Gross-Krook (ESBGK) model is extended to diatomic molecules and compared with the Direct Simulation Monte Carlo (DSMC) method. For this an efficient method is developed that optionally allows the handling of quantized vibrational energies. The proposed method is verified with a gas in an adiabatic box relaxing from a non-equilibrium state to an equilibrium. It is shown that the analytical Landau-Teller expression as well as DSMC results agree very well with the new method. Furthermore, the method is compared with DSMC results and experimental measurements of a hypersonic flow around a 70$^\circ$ blunted cone. It is shown that the ellipsoidal statistical BGK compares very well with the DSMC results while saving up to a factor of $\approx 35.8$ CPU time for this low Knudsen number case.


title: Model-free trading and hedging with continuous price paths

abstract: In this paper, we provide a model-independent extension of the paradigm of dynamic hedging of derivative claims. We relate model-independent replication strategies to local martingales having a closed form which we can characterise via solutions of coupled PDEs. We provide a general framework and then apply it to a market with no traded claims, a market with an underlying asset and a convex claim and a market with an underlying asset and a set of co-maturing call options. The results encompass known examples of model-independent identities and provide a methodology for deriving new identities.


title: Why is unsupervised alignment of English embeddings from different algorithms so hard?

abstract: This paper presents a challenge to the community: Generative adversarial networks (GANs) can perfectly align independent English word embeddings induced using the same algorithm, based on distributional information alone; but fails to do so, for two different embeddings algorithms. Why is that? We believe understanding why, is key to understand both modern word embedding algorithms and the limitations and instability dynamics of GANs. This paper shows that (a) in all these cases, where alignment fails, there exists a linear transform between the two embeddings (so algorithm biases do not lead to non-linear differences), and (b) similar effects can not easily be obtained by varying hyper-parameters. One plausible suggestion based on our initial experiments is that the differences in the inductive biases of the embedding algorithms lead to an optimization landscape that is riddled with local optima, leading to a very small basin of convergence, but we present this more as a challenge paper than a technical contribution.


title: LIUM-CVC Submissions for WMT18 Multimodal Translation Task

abstract: This paper describes the multimodal Neural Machine Translation systems developed by LIUM and CVC for WMT18 Shared Task on Multimodal Translation. This year we propose several modifications to our previous multimodal attention architecture in order to better integrate convolutional features and refine them using encoder-side information. Our final constrained submissions ranked first for English-French and second for English-German language pairs among the constrained submissions according to the automatic evaluation metric METEOR.


title: Attack Tolerance of Link Prediction Algorithms: How to Hide Your Relations in a Social Network

abstract: Link prediction is one of the fundamental research problems in network analysis. Intuitively, it involves identifying the edges that are most likely to be added to a given network, or the edges that appear to be missing from the network when in fact they are present. Various algorithms have been proposed to solve this problem over the past decades. For all their benefits, such algorithms raise serious privacy concerns, as they could be used to expose a connection between two individuals who wish to keep their relationship private. With this in mind, we investigate the ability of such individuals to evade link prediction algorithms. More precisely, we study their ability to strategically alter their connections so as to increase the probability that some of their connections remain unidentified by link prediction algorithms. We formalize this question as an optimization problem, and prove that finding an optimal solution is NP-complete. Despite this hardness, we show that the situation is not bleak in practice. In particular, we propose two heuristics that can easily be applied by members of the general public on existing social media. We demonstrate the effectiveness of those heuristics on a wide variety of networks and against a plethora of link prediction algorithms.


title: Mixing Grains with Different Elongation in a Rotating Drums

abstract: Mixing grains with different properties is a remarkably challenging process, relevant to many industrial applications. Rotating drums have been used extensively as model systems to study granular media flow and mixing and segregation. Numerous studies considered the mixing of grains with different sizes, but only few studies considered shape and elongation, which have been already identified as important characteristics affecting packing and inducing segregation. In this contribution, the mixing of binary mixtures of grains having the same volume, but different elongations was studied experimentally. The mixing dynamics of a layered granular medium was characterized in a rotating drum, highlighting the impact of the grain shape, of the drum angular speed and of the drum filling ratio. A mixed or segregated state is reached very rapidly, but experiments are continued to verify that the state reached is a steady state. The experiments demonstrated that below a critical difference of elongation, the grains can be mixed effectively. Conversely, when grain elongations are very different, a central core is formed, rich in the more elongated grains. In this case only limited mixing can be achieved. These results can guide the formulation of mixtures of grains with different elongations.


title: Dark Energy in the Swampland II

abstract: In this recent Letter [1], we studied the implications of string Swampland conjectures for quintessence models of dark energy. A couple of days ago, a paper appeared [2] which refers to our work but misrepresents what we have done. Here, we set the record straight.


title: The Boundedness of Cauchy Integral Operator on a Domain Having Closed Analytic Boundary

abstract: In this paper, we prove that the Cauchy integral operators (or Cauchy transforms) define continuous linear operators on the Smirnov classes for some certain domain with closed analytic boundary.


title: Optimization of Modified Quantum Discord in Projector Space

abstract: In a pair of correlated quantum systems a measurement in one corresponds to a change in the state of the other. In the process, information is lost. Measurement along which set of projectors would accompany minimum loss in information content is the optimization problem of quantum discord and is an important aspect of a classical to quantum transition because it asks us to look for the most classical states. This optimization problem is known to be NP-complete and is important because discord is defined through it making it a major obstacle on every computation. The standard zero discord condition helps us move to a stronger measure that addresses the correlated observables, in such a context we show that discord minimizes at the diagonal basis of the reduced density matrices and present an analytical expression of the measure.