title: Quantization of the dynamics of a particle on a double cone by preserving Noether symmetries

abstract: The classical quantization of the motion of a free particle and that of an harmonic oscillator on a double cone are achieved by a quantization scheme [M.C. Nucci, Theor. Math. Phys. 168 (2011) 994], that preserves the Noether point symmetries of the underlying Lagrangian in order to construct the Schroedinger equation. The result is different from that given in [K. Kowalski, J.Rembielnski, Ann. Phys. 329 (2013) 146]. A comparison of the different outcomes is provided.


title: Generation of arbitrary radially polarized array beams by modulating the correlation structure

abstract: We demonstrate a convenient approach for simultaneously manipulating the amplitude and polarization of light beams by means of the modulation of the correlation structure. As an illustration, we constructed a periodic correlation structure that can generate an arbitrary radially polarized array (RPA) beam of a radial or rectangular symmetry array in the focal plane from a radially polarized (RP) beam. The physical realizability conditions for such source and the far-field beam condition are derived. It is illustrated that the beamlet shape and the state of polarization (SOP) can be effectively controlled by the initial correlation structure and the coherence width. Furthermore, by designing the source correlation structure, a tunable OK-shaped RPA beam and an optical cage are demonstrated, which can find widespread applications in non-destructive manipulation of particles and living biological cells. The arbitrariness in the design of correlation structure prompted us to find more convenient approaches for controlling the statistics of light beams in terms of amplitude and polarization.


title: Gauss-Bonnet Gravitational Baryogenesis

abstract: In this letter we study some variant forms of gravitational baryogenesis by using higher order terms containing the partial derivative of the Gauss-Bonnet scalar coupled to the baryonic current. This scenario extends the well known theory that uses a similar coupling between the Ricci scalar and the baryonic current. One appealing feature of the scenario we study is that the predicted baryon asymmetry during a radiation domination era is non-zero. We calculate the baryon to entropy ratio for the Gauss-Bonnet term and by using the observational constraints we investigate which are the allowed forms of the $R+F(\mathcal{G})$ gravity controlling the evolution. Also we briefly discuss some alternative higher order terms that can generate a non-zero baryon asymmetry, even in the conformal invariance limit.


title: Paths of the directed suspension

abstract: We prove that the loop space of the directed suspension of a directed space is homotopy equivalent to the James construction. In particular, it does not depend on the directed structure of a given directed space.


title: On the Automorphism Group of a Graph

abstract: An automorphism of a graph $G$ with $n$ vertices is a bijective map $\phi$ from $V(G)$ to itself such that $\phi(v_i)\phi(v_j)\in E(G)$ $\Leftrightarrow$ $v_i v_j\in E(G)$ for any two vertices $v_i$ and $v_j$ of $G$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. As well-known, the structure of the action of $\mathfrak{G}$ on $V(G)$ is represented definitely by its block systems. On the other hand for each permutation $\sigma$ on $[n]$, there is a natural action on any vector $\pmb{v}=(v_1,v_2,\ldots,v_n)^t\in \mathbb{R}^n$ such that $\sigma\pmb{v}=(v_{\sigma^{-1}1},v_{\sigma^{-1}2},\ldots,v_{\sigma^{-1} n})^t$. Accordingly, we actually have a permutation representation of $\mathfrak{G}$ in $\mathbb{R}^n$. In this paper, we establish the some connections between block systems of $\mathfrak{G}$ and its irreducible representations, and by virtue of that we finally devise an algorithm outputting a generating set and all block systems of $\mathfrak{G}$ within time $n^{C \log n}$ for some constant $C$.


title: Active Object Localization in Visual Situations

abstract: We describe a method for performing active localization of objects in instances of visual situations. A visual situation is an abstract concept---e.g., "a boxing match", "a birthday party", "walking the dog", "waiting for a bus"---whose image instantiations are linked more by their common spatial and semantic structure than by low-level visual similarity. Our system combines given and learned knowledge of the structure of a particular situation, and adapts that knowledge to a new situation instance as it actively searches for objects. More specifically, the system learns a set of probability distributions describing spatial and other relationships among relevant objects. The system uses those distributions to iteratively sample object proposals on a test image, but also continually uses information from those object proposals to adaptively modify the distributions based on what the system has detected. We test our approach's ability to efficiently localize objects, using a situation-specific image dataset created by our group. We compare the results with several baselines and variations on our method, and demonstrate the strong benefit of using situation knowledge and active context-driven localization. Finally, we contrast our method with several other approaches that use context as well as active search for object localization in images.


title: A Subgradient Method for Free Material Design

abstract: A small improvement in the structure of the material could save the manufactory a lot of money. The free material design can be formulated as an optimization problem. However, due to its large scale, second-order methods cannot solve the free material design problem in reasonable size. We formulate the free material optimization (FMO) problem into a saddle-point form in which the inverse of the stiffness matrix A(E) in the constraint is eliminated. The size of A(E) is generally large, denoted as N by N. This is the first formulation of FMO without A(E). We apply the primal-dual subgradient method [17] to solve the restricted saddle-point formula. This is the first gradient-type method for FMO. Each iteration of our algorithm takes a total of $O(N^2)$ foating-point operations and an auxiliary vector storage of size O(N), compared with formulations having the inverse of A(E) which requires $O(N^3)$ arithmetic operations and an auxiliary vector storage of size $O(N^2)$. To solve the problem, we developed a closed-form solution to a semidefinite least squares problem and an efficient parameter update scheme for the gradient method, which are included in the appendix. We also approximate a solution to the bounded Lagrangian dual problem. The problem is decomposed into small problems each only having an unknown of k by k (k = 3 or 6) matrix, and can be solved in parallel. The iteration bound of our algorithm is optimal for general subgradient scheme. Finally we present promising numerical results.


title: Information-Theoretic Lower Bounds on Bayes Risk in Decentralized Estimation

abstract: We derive lower bounds on the Bayes risk in decentralized estimation, where the estimator does not have direct access to the random samples generated conditionally on the random parameter of interest, but only to the data received from local processors that observe the samples. The received data are subject to communication constraints, due to quantization and the noise in the communication channels from the processors to the estimator. We first derive general lower bounds on the Bayes risk using information-theoretic quantities, such as mutual information, information density, small ball probability, and differential entropy. We then apply these lower bounds to the decentralized case, using strong data processing inequalities to quantify the contraction of information due to communication constraints. We treat the cases of a single processor and of multiple processors, where the samples observed by different processors may be conditionally dependent given the parameter, for noninteractive and interactive communication protocols. Our results recover and improve recent lower bounds on the Bayes risk and the minimax risk for certain decentralized estimation problems, where previously only conditionally independent sample sets and noiseless channels have been considered. Moreover, our results provide a general way to quantify the degradation of estimation performance caused by distributing resources to multiple processors, which is only discussed for specific examples in existing works.


title: A field theory approach to the evolution of canonical helicity and energy

abstract: A redefinition of the Lagrangian of a multi-particle system in fields reformulates the single-particle, kinetic, and fluid equations governing fluid and plasma dynamics as a single set of generalized Maxwell's equations and Ohm's law for canonical force-fields. The Lagrangian includes new terms representing the coupling between the motion of particle distributions, between distributions and electromagnetic fields, with relativistic contributions. The formulation shows that the concepts of self-organization and canonical helicity transport are applicable across single-particle, kinetic, and fluid regimes, at classical and relativistic scales. The theory gives the basis for comparing canonical helicity change to energy change in general systems. For example, in a fixed, isolated system subject to non-conservative forces, a species' canonical helicity changes less than total energy only if gradients in density or distribution function are shallow.

categories: physics.plasm-ph astro-ph.HE astro-ph.SR physics.flu-dyn physics.space-ph


title: On random walk on growing graphs

abstract: Random walk on changing graphs is considered. For sequences of finite graphs increasing monotonically towards a limiting infinite graph, we establish transition probability upper bounds. It yields sufficient transience criteria for simple random walk on slowly growing graphs, upon knowing the volume and Cheeger constant of each graph. For much more specialized cases, we establish matching lower bounds, and deduce sufficient (weak) recurrence criteria. We also address recurrence directly in relation to a universality conjecture of [DHS]. We answer a related question of [SZ, Problem 1.8] about "inhomogeneous merging" in the negative.


title: QSR-Dissipativity and Passivity Analysis of Event-Triggered Networked Control Cyber-Physical Systems

abstract: Input feed-forward output feedback passive (IF-OFP) systems define a great number of dynamical systems. In this report, we show that dissipativity and passivity-based control combined with event-triggered networked control systems (NCS) provide a powerful platform for the design of cyber-physical systems (CPS). We propose QSR-dissipativity, passivity and L2 stability conditions for an event-triggered networked control system in three cases where: (i) an input-output event-triggering sampler condition is located on the plant's output side, (ii) an input-output event-triggering sampler condition is located on controller's output side, (iii) input-output event-triggering sampler conditions are located on the outputs of both the plant and controller. We will show that this leads to a large decrease in communicational load amongst sub-units in networked control structures. We show that passivity and stability conditions depend on passivity levels for the plant and controller. Our results also illustrate the trade-off among passivity levels, stability, and system's dependence on the rate of communication between the plant and controller.


title: Completely Reachable Automata

abstract: We present a few results and several open problems concerning complete deterministic finite automata in which every non-empty subset of the state set occurs as the image of the whole state set under the action of a suitable input word.


title: Cosmology emerging as the gauge structure of a nonlinear quantum system

abstract: Berry phases and gauge structures in parameter spaces of quantum systems are the foundation of a broad range of quantum effects such as quantum Hall effects and topological insulators. The gauge structures of interacting many-body systems, which often present exotic features, are particularly interesting. While quantum systems are intrinsically linear due to the superposition principle, nonlinear quantum mechanics can arise as an effective theory for interacting systems (such as condensates of interacting bosons). Here we show that gauge structures similar to curved spacetime can arise in nonlinear quantum systems where the superposition principle breaks down. In the canonical formalism of the nonlinear quantum mechanics, the geometric phases of quantum evolutions can be formulated as the classical geometric phases of a harmonic oscillator that represents the Bogoliubov excitations. We find that the classical geometric phase can be described by a de Sitter universe. The fundamental frequency of the harmonic oscillator plays the role of the cosmic scale factor and the classical geometric phase is an integral of a differential angle 2-form, which is half of the curvature 2-form of the associated de Sitter universe. While the gauge structure of a linear quantum system presents monopole singularity at energy level degeneracy points, nonlinear quantum systems, corresponding to their quantum critical surfaces in the parameter spaces, exhibits a conic singularity in their gauge structure, which mimics the casual singularity at the big bang of the de Sitter universe. This finding opens up a new approach to studying the gauge and topological structures of interacting quantum systems and sets up a new stage for quantum simulation of fundamental physics.


title: Alzheimer's Disease Diagnostics by a Deeply Supervised Adaptable 3D Convolutional Network

abstract: Early diagnosis, playing an important role in preventing progress and treating the Alzheimer's disease (AD), is based on classification of features extracted from brain images. The features have to accurately capture main AD-related variations of anatomical brain structures, such as, e.g., ventricles size, hippocampus shape, cortical thickness, and brain volume. This paper proposes to predict the AD with a deep 3D convolutional neural network (3D-CNN), which can learn generic features capturing AD biomarkers and adapt to different domain datasets. The 3D-CNN is built upon a 3D convolutional autoencoder, which is pre-trained to capture anatomical shape variations in structural brain MRI scans. Fully connected upper layers of the 3D-CNN are then fine-tuned for each task-specific AD classification. Experiments on the \emph{ADNI} MRI dataset with no skull-stripping preprocessing have shown our 3D-CNN outperforms several conventional classifiers by accuracy and robustness. Abilities of the 3D-CNN to generalize the features learnt and adapt to other domains have been validated on the \emph{CADDementia} dataset.


title: The Red Giant Branch in the Tycho-2 Catalogue

abstract: Based on multicolor photometry from the 2MASS and Tycho-2 catalogues, we have produced a sample of 38 368 branch red giants that has less than 1\% of admixtures and is complete within 500 pc of the Sun. The sample includes 30 671 K giants, 7544 M giants, 49 C giants, and 104 suspected supergiants or S stars. The photometric distances have been calculated for K, M, and C stars with an accuracy of 40\%. Tycho-2 proper motions and PCRV radial velocities are used to analyze the stellar kinematics. The decrease in the stellar distribution density with distance from the Galactic equator approximated by the barometric law, contrary to the Besancon model of the Galaxy, and the kinematic parameters calculated using the Ogorodnikov--Milne model characterize the overwhelming majority of the selected K and M giants as disk stars with ages of more than 3 Gyr. A small number of K and M giants are extremely young or, conversely, thick-disk ones. The latter show a nonuniform distribution in the phase space of coordinates and velocities, arguing against isothermality and full relaxation of the disk and for the theory of dynamical streams or superclusters. The spatial distribution and kinematics of the selected C stars force us to consider them as asymptotic branch giants with masses of more than 2 $M_{\odot}$ and ages of less than 2 Gyr probably associated with the Gould Belt. The offset of the Sun above the Galactic equator has been found from the distribution of stars to be $13\pm2$ pc, which coincides with the previously obtained value for the clump red giants.


title: Electroabsorption in MoS$_2$

abstract: To translate electrical into optical signals one uses the modulation of either the refractive index or the absorbance of a material by an electric field. Contemporary electroabsorption modulators (EAMs) employ the quantum confined Stark effect (QCSE), the field-induced red-shift and broadening of the strong excitonic absorption resonances characteristic of low-dimensional semiconductor structures. Here we show an unprecedentedly strong transverse electroabsorption (EA) signal in a monolayer of the two-dimensional semiconductor MoS2. The EA spectrum is dominated by an apparent linewidth broadening of around 15% at a modulated voltage of only Vpp = 0.5 V. Contrary to the conventional QCSE, the signal increases linearly with the applied field strength and arises from a linear variation of the distance between the strongly overlapping exciton and trion resonances. The achievable modulation depths exceeding 0.1 dBnm-1 bear the scope for extremely compact, ultrafast, energy-efficient EAMs for integrated photonics, including on-chip optical communication.


title: Sub-sampled Newton Methods with Non-uniform Sampling

abstract: We consider the problem of finding the minimizer of a convex function $F: \mathbb R^d \rightarrow \mathbb R$ of the form $F(w) := \sum_{i=1}^n f_i(w) + R(w)$ where a low-rank factorization of $\nabla^2 f_i(w)$ is readily available. We consider the regime where $n \gg d$. As second-order methods prove to be effective in finding the minimizer to a high-precision, in this work, we propose randomized Newton-type algorithms that exploit \textit{non-uniform} sub-sampling of $\{\nabla^2 f_i(w)\}_{i=1}^{n}$, as well as inexact updates, as means to reduce the computational complexity. Two non-uniform sampling distributions based on {\it block norm squares} and {\it block partial leverage scores} are considered in order to capture important terms among $\{\nabla^2 f_i(w)\}_{i=1}^{n}$. We show that at each iteration non-uniformly sampling at most $\mathcal O(d \log d)$ terms from $\{\nabla^2 f_i(w)\}_{i=1}^{n}$ is sufficient to achieve a linear-quadratic convergence rate in $w$ when a suitable initial point is provided. In addition, we show that our algorithms achieve a lower computational complexity and exhibit more robustness and better dependence on problem specific quantities, such as the condition number, compared to similar existing methods, especially the ones based on uniform sampling. Finally, we empirically demonstrate that our methods are at least twice as fast as Newton's methods with ridge logistic regression on several real datasets.


title: Symmetry and Natural Quantum Structures for Three-Particles in One-Dimension

abstract: How do symmetries induce natural and useful quantum structures? This question is investigated in the context of models of three interacting particles in one-dimension. Such models display a wide spectrum of possibilities for dynamical systems, from integrability to hard chaos. This article demonstrates that the related but distinct notions of integrability, separability, and solvability identify meaningful collective observables for Hamiltonians with sufficient symmetry. In turn, these observables induce tensor product structures on the Hilbert space that are especially useful for storing and processing quantum information and provide guidance to interpretation and phenomenology of quantum few-body physics.


title: Selfish Pups: Weaning Conflict and Milk Theft in Free-Ranging Dogs

abstract: Parent-offspring conflict theory predicts the emergence of weaning conflict between a mother and her offspring arising from skewed relatedness benefits. Empirical observations of weaning conflict has not been carried out in canids. In a field-based study on free-ranging dogs we observed that suckling bout durations reduce, proportion of mother-initiated suckling bouts reduce and mother-initiated suckling terminations increase, with pup age. We identified the 7th - 13th week period of pup age as the zone of conflict between the mother and her pups, beyond which suckling solicitations cease, and before which suckling refusals are few. We also report for the first time milk theft by pups who take advantage of the presence of multiple lactating females, due to the promiscuous mating system of the dogs. This behaviour, though apparently disadvantageous for the mothers, is perhaps adaptive for the dogs in the face of high mortality and competition for resources.


title: Integrated Task and Motion Planning for Multiple Robots under Path and Communication Uncertainties

abstract: We consider a problem called task ordering with path uncertainty (TOP-U) where multiple robots are provided with a set of task locations to visit in a bounded environment, but the length of the path between a pair of task locations is initially known only coarsely by the robots. The objective of the robots is to find the order of tasks that reduces the path length (or, energy expended) to visit the task locations in such a scenario. To solve this problem, we propose an abstraction called a task reachability graph (TRG) that integrates the task ordering with the path planning by the robots. The TRG is updated dynamically based on inter-task path costs calculated using a sampling-based motion planner, and, a Hidden Markov Model (HMM)-based technique that calculates the belief in the current path costs based on the environment perceived by the robot's sensors and task completion information received from other robots. We then describe a Markov Decision Process (MDP)-based algorithm that can select the paths that reduce the overall path length to visit the task locations and a coordination algorithm that resolves path conflicts between robots. We have shown analytically that our task selection algorithm finds the lowest cost path returned by the motion planner, and, that our proposed coordination algorithm is deadlock free. We have also evaluated our algorithm on simulated Corobot robots within different environments while varying the number of task locations, obstacle geometries and number of robots, as well as on physical Corobot robots. Our results show that the TRG-based approach can perform considerably better in planning and locomotion times, and number of re-plans, while traveling almost-similar distances as compared to a closest first, no uncertainty (CFNU) task selection algorithm.


title: On the additive bases problem in finite fields

abstract: We prove that if $G$ is an Abelian group and $A_1,\ldots,A_k \subseteq G$ satisfy $m A_i=G$ (the $m$-fold sumset), then $A_1+\ldots+A_k=G$ provided that $k \ge c_m \log n$. This generalizes a result of Alon, Linial, and Meshulam [Additive bases of vector spaces over prime fields. J. Combin. Theory Ser. A, 57(2):203--210, 1991] regarding the so called additive bases.


title: Polyhedral Horofunction Compactification as a Polyhedral Ball

abstract: In this paper we answer positively a question raised by Kapovich and Leeb in a paper titled "Finsler bordifications of symmetric and certain locally symmetric spaces". Specifically, we show that for a finite-dimensional vector space with a polyhedral norm, its horofunction compactification is homeomorphic to the dual unit ball of the norm by an explicit map. To prove this, we establish a criterion for converging sequences in the horofunction compactification and generalize the basic notion of the moment map in the theory of toric varieties.


title: Uniform measures on braid monoids and dual braid monoids

abstract: We aim at studying the asymptotic properties of typical positive braids, respectively positive dual braids. Denoting by $\mu_k$ the uniform distribution on positive (dual) braids of length $k$, we prove that the sequence $(\mu_k)_k$ converges to a unique probability measure $\mu_{\infty}$ on infinite positive (dual) braids. The key point is that the limiting measure $\mu_{\infty}$ has a Markovian structure which can be described explicitly using the combinatorial properties of braids encapsulated in the M\"obius polynomial. As a by-product, we settle a conjecture by Gebhardt and Tawn (J. Algebra, 2014) on the shape of the Garside normal form of large uniform braids.


title: Fourier solution of two-dimensional Navier Stokes equation with periodic boundary conditions and incompressible flow

abstract: An approximate solution to the two dimensional Navier Stokes equation with periodic boundary conditions is obtained by representing the x any y components of fluid velocity with complex Fourier basis vectors. The chosen space of basis vectors is finite to allow for numerical calculations, but of variable size. Comparisons of the resulting approximate solutions as they vary with the size of the chosen vector space allow for extrapolation to an infinite basis vector space. Results suggest that such a solution, with the full basis vector space and which would give the exact solution, would fail for certain initial velocity configurations when initial velocity and time t exceed certain limits.


title: Rademacher Complexity Bounds for a Penalized Multiclass Semi-Supervised Algorithm

abstract: We propose Rademacher complexity bounds for multiclass classifiers trained with a two-step semi-supervised model. In the first step, the algorithm partitions the partially labeled data and then identifies dense clusters containing $\kappa$ predominant classes using the labeled training examples such that the proportion of their non-predominant classes is below a fixed threshold. In the second step, a classifier is trained by minimizing a margin empirical loss over the labeled training set and a penalization term measuring the disability of the learner to predict the $\kappa$ predominant classes of the identified clusters. The resulting data-dependent generalization error bound involves the margin distribution of the classifier, the stability of the clustering technique used in the first step and Rademacher complexity terms corresponding to partially labeled training data. Our theoretical result exhibit convergence rates extending those proposed in the literature for the binary case, and experimental results on different multiclass classification problems show empirical evidence that supports the theory.


title: Interacting composite fermions: Nature of the 4/5, 5/7, 6/7, and 6/17 fractional quantum Hall states

abstract: Numerical studies by W\'ojs, Yi and Quinn have suggested that an unconventional fractional quantum Hall effect is plausible at filling factors $\nu=$ 1/3 and 1/5, provided the interparticle interaction has an unusual form for which the energy of two fermions in the relative angular momentum three channel dominates. The interaction between composite fermions in the second $\Lambda$ level (composite fermion analog of the electronic Landau level) satisfies this property, and recent studies have supported unconventional fractional quantum Hall effect of composite fermions at $\nu^*=$ 4/3 and 5/3, which manifests as fractional quantum Hall effect of electrons at $\nu=$ 4/11, 4/13, 5/13, and 5/17. I investigate in this article the nature of the fractional quantum Hall states at $\nu=$ 4/5, 5/7, 6/17, and 6/7, which correspond to composite fermions at $\nu^*=$ 4/3, 5/3 and 6/5, and find that all these fractional quantum Hall states are conventional. The underlying reason is that the interaction between composite fermions depends substantially on both the number and the direction of the vortices attached to the electrons. I also study in detail the states with different spin polarizations at 6/17 and 6/7 and predict the critical Zeeman energies for the spin phase transitions between them. I calculate the excitation gaps at 4/5, 5/7, 6/7, and 6/17 and compare them against recent experiments.


title: A Dual EnKF for Estimating Water Level, Bottom Roughness, and Bathymetry in a 1-D Hydrodynamic Model

abstract: Data assimilation has been applied to coastal hydrodynamic models to better estimate system states or parameters by incorporating observed data into the model. Kalman Filter (KF) is one of the most studied data assimilation methods whose application is limited to linear systems. For nonlinear systems such as hydrodynamic models a variation of the KF called Ensemble Kalman Filter (EnKF) is applied to update the system state in the context of Monte Carlo simulation. In this research, a dual EnKF approach is used to simultaneously estimate state (water surface elevation) and parameters (bottom roughness and bathymetry) of the shallow water models. The sensitivity of the filter to 1) the quantity and precision of the observations, and 2) the initial estimation of parameters is investigated in a 1-D shallow water problem located in the Gulf of Mexico. Results show that starting from an initial estimate of bottom roughness and bathymetry within a logical range and utilizing observations available at a limited number of gages the dual EnKF is able to improve the bottom roughness and bathymetry fields. The performance of the filter is sensitive to the precision of measured data, especially in the case of estimating Mannings n and bathymetry simultaneously.


title: Representation learning for very short texts using weighted word embedding aggregation

abstract: Short text messages such as tweets are very noisy and sparse in their use of vocabulary. Traditional textual representations, such as tf-idf, have difficulty grasping the semantic meaning of such texts, which is important in applications such as event detection, opinion mining, news recommendation, etc. We constructed a method based on semantic word embeddings and frequency information to arrive at low-dimensional representations for short texts designed to capture semantic similarity. For this purpose we designed a weight-based model and a learning procedure based on a novel median-based loss function. This paper discusses the details of our model and the optimization methods, together with the experimental results on both Wikipedia and Twitter data. We find that our method outperforms the baseline approaches in the experiments, and that it generalizes well on different word embeddings without retraining. Our method is therefore capable of retaining most of the semantic information in the text, and is applicable out-of-the-box.


title: Trimmed Serendipity Finite Element Differential Forms

abstract: We introduce the family of trimmed serendipity finite element differential form spaces, defined on cubical meshes in any number of dimensions, for any polynomial degree, and for any form order. The relation between the trimmed serendipity family and the (non-trimmed) serendipity family developed by Arnold and Awanou [Math. Comp. 83(288) 2014] is analogous to the relation between the trimmed and (non-trimmed) polynomial finite element differential form families on simplicial meshes from finite element exterior calculus. We provide degrees of freedom in the general setting and prove that they are unisolvent for the trimmed serendipity spaces. The sequence of trimmed serendipity spaces with a fixed polynomial order r provides an explicit example of a system described by Christiansen and Gillette [ESAIM:M2AN 50(3) 2016], namely, a minimal compatible finite element system on squares or cubes containing order r-1 polynomial differential forms.


title: Lattice stability and high pressure melting mechanism of dense hydrogen up to 1.5 TPa

abstract: Lattice stability and metastability, as well as melting, are important features of the physics and chemistry of dense hydrogen. Using ab initio molecular dynamics (AIMD), the classical superheating limit and melting line of metallic hydrogen are investigated up to 1.5 TPa. The computations show that the classical superheating degree is about 100 K, and the classical melting curve becomes flat at a level of 350 K when beyond 500 GPa. This information allows us to estimate the well depth and the potential barriers that must be overcome when the crystal melts. Inclusion of nuclear quantum effects (NQE) using path integral molecular dynamics (PIMD) predicts that both superheating limit and melting temperature are lowered to below room temperature, but the latter never reach absolute zero. Detailed analysis indicates that the melting is thermally activated, rather than driven by pure zero-point motion (ZPM). This argument was further supported by extensive PIMD simulations, demonstrating the stability of Fddd structure against liquefaction at low temperatures.

categories: cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Deriving the trajectory equations of gyrocenter with a multi-parameter Lie transform method

abstract: It's pointed out that the values of the generators derived by the modern gyrokinetic theory are inappropriately amplified by the pullback transform with the existence of electromagnetic perturbation, and the trajectory equations of the gyrocenter include terms containing the perturbative magnetic vector potential not in the form of its curl. These terms are not physical ones, as the perturbative magnetic vector potential could include an arbitrary gauge term. In this paper, instead of the single-parameter Lie transform method utilized by the modern gyrokinetic theory, a multi-parameter Lie transform method is utilized. All characteristic scales of the system can be taken into account. With the assistance of a kind of linear cancellation rule, the new method can decouple the gyroangle $\theta$ from the remaining degrees of freedom up to the second order of the parameter as the ratio between the Larmor radius and the transverse length scale of the equilibrium magnetic field. With this new method, those nonphysical terms don't appear anymore in the trajectory equations.


title: Quantum state and circuit distinguishability with single-qubit measurements

abstract: We show that the Quantum State Distinguishability (QSD), which is a QSZK-complete problem, and the Quantum Circuit Distinguishability (QCD), which is a QIP-complete problem, can be solved by the verifier who can perform only single-qubit measurements. To show these results, we use measurement-based quantum computing: the honest prover sends a graph state to the verifier, and the verifier can perform universal quantum computing on it with only single-qubit measurements. If the prover is malicious, he does not necessarily generate the correct graph state, but the verifier can verify the correctness of the graph state by measuring the stabilizer operators.


title: Networked MIMO with Fractional Joint Transmission in Energy Harvesting Systems

abstract: This paper considers two base stations (BSs) powered by renewable energy serving two users cooperatively. With different BS energy arrival rates, a fractional joint transmission (JT) strategy is proposed, which divides each transmission frame into two subframes. In the first subframe, one BS keeps silent to store energy while the other transmits data, and then they perform zero-forcing JT (ZF-JT) in the second subframe. We consider the average sum-rate maximization problem by optimizing the energy allocation and the time fraction of ZF-JT in two steps. Firstly, the sum-rate maximization for given energy budget in each frame is analyzed. We prove that the optimal transmit power can be derived in closed-form, and the optimal time fraction can be found via bi-section search. Secondly, approximate dynamic programming (DP) algorithm is introduced to determine the energy allocation among frames. We adopt a linear approximation with the features associated with system states, and determine the weights of features by simulation. We also operate the approximation several times with random initial policy, named as policy exploration, to broaden the policy search range. Numerical results show that the proposed fractional JT greatly improves the performance. Also, appropriate policy exploration is shown to perform close to the optimal.


title: Diophantine approximation in angular domains

abstract: Let $\alpha$ and $\beta$ be real numbers such that $1$, $\alpha$ and $\beta$ are linearly independent over $\mathbb{Q}$. A classical result of Dirichlet asserts that there are infinitely many triples of integers $(x_0,x_1,x_2)$ such that $|x_0+\alpha x_1+\beta x_2| < \max\{|x_1|,|x_2|\}^{-2}$. In 1976, W. M. Schmidt asked what can be said under the restriction that $x_1$ and $x_2$ be positive. Upon denoting by $\gamma\cong 1.618$ the golden ratio, he proved that there are triples $(x_0,x_1,x_2) \in \mathbb{Z}^3$ with $x_1,x_2>0$ for which the product $|x_0 + \alpha x_1 + \beta x_2| \max\{|x_1|,|x_2|\}^\gamma$ is arbitrarily small. Although Schmidt later conjectured that $\gamma$ can be replaced by any number smaller than $2$, N. Moshchevitin proved very recently that it cannot be replaced by a number larger than $1.947$. In this paper, we present a construction showing that the result of Schmidt is in fact optimal.


title: A Hierarchical Distributed Processing Framework for Big Image Data

abstract: This paper introduces an effective processing framework nominated ICP (Image Cloud Processing) to powerfully cope with the data explosion in image processing field. While most previous researches focus on optimizing the image processing algorithms to gain higher efficiency, our work dedicates to providing a general framework for those image processing algorithms, which can be implemented in parallel so as to achieve a boost in time efficiency without compromising the results performance along with the increasing image scale. The proposed ICP framework consists of two mechanisms, i.e. SICP (Static ICP) and DICP (Dynamic ICP). Specifically, SICP is aimed at processing the big image data pre-stored in the distributed system, while DICP is proposed for dynamic input. To accomplish SICP, two novel data representations named P-Image and Big-Image are designed to cooperate with MapReduce to achieve more optimized configuration and higher efficiency. DICP is implemented through a parallel processing procedure working with the traditional processing mechanism of the distributed system. Representative results of comprehensive experiments on the challenging ImageNet dataset are selected to validate the capacity of our proposed ICP framework over the traditional state-of-the-art methods, both in time efficiency and quality of results.


title: Context-Dependent Word Representation for Neural Machine Translation

abstract: We first observe a potential weakness of continuous vector representations of symbols in neural machine translation. That is, the continuous vector representation, or a word embedding vector, of a symbol encodes multiple dimensions of similarity, equivalent to encoding more than one meaning of the word. This has the consequence that the encoder and decoder recurrent networks in neural machine translation need to spend substantial amount of their capacity in disambiguating source and target words based on the context which is defined by a source sentence. Based on this observation, in this paper we propose to contextualize the word embedding vectors using a nonlinear bag-of-words representation of the source sentence. Additionally, we propose to represent special tokens (such as numbers, proper nouns and acronyms) with typed symbols to facilitate translating those words that are not well-suited to be translated via continuous vectors. The experiments on En-Fr and En-De reveal that the proposed approaches of contextualization and symbolization improves the translation quality of neural machine translation systems significantly.


title: Une version effective du th\'eor\`eme de Lindemann-Weierstrass par des m\'ethodes d'ind\'ependance alg\'ebrique

abstract: We present a new completely effective proof of the Lindemann-Weierstrass theorem based on algebraic independence methods. Although it is slightly weaker than the best known estimate due to A. Sert, it improves the best estimate due to M. Ably obtained by such methods. The novelty of the proof lies in the simplicity of the construction of auxiliary functions, a fact that we exploit to introduce the non-specialist to methods of algebraic independence.


title: The Broucke-H\'enon orbit and the Schubart Orbit in the planar three-body problem with equal masses

abstract: In this paper, we study the variational properties of two special orbits: the Schubart orbit and the Broucke-H\'{e}non orbit. We show that under an appropriate topological constraint, the action minimizer must be either the Schubart orbit or the Broucke-H\'{e}non orbit. One of the main challenges is to prove that the Schubart orbit coincides with the action minimizer connecting a collinear configuration with a binary collision and an isosceles configuration. A new geometric argument is introduced to overcome this challenge.


title: Multiplicity of strong solutions for a class of elliptic problems without the Ambrosetti-Rabinowitz condition in $\mathbb{R}^{N}$

abstract: We investigate the existence and multiplicity of solutions to the following $p(x)$-Laplacian problem in $\mathbb{R}^{N}$ via critical point theory \begin{equation*} \left\{ \begin{array}{l} -\bigtriangleup _{p(x)}u+V(x)\left\vert u\right\vert ^{p(x)-2}u=f(x,u),\text{ in } \mathbb{R}^{N}, \\ u\in W^{1,p(\cdot )}(\mathbb{R}^{N}). \end{array} \right. \end{equation*} We propose a new set of growth conditions which matches the variable exponent nature of the problem. Under this new set of assumptions, we manage to verify the Cerami compactness condition. Therefore, we succeed in proving the existence of multiple solutions to the above problem without the well-known Ambrosetti--Rabinowitz type growth condition. Meanwhile, we could also characterize the pointwise asymptotic behaviors of these solutions. In our main argument, the idea of localization, decomposition of the domain, regularity of weak solutions and comparison principle are crucial ingredients among others.


title: 3D Deeply Supervised Network for Automatic Liver Segmentation from CT Volumes

abstract: Automatic liver segmentation from CT volumes is a crucial prerequisite yet challenging task for computer-aided hepatic disease diagnosis and treatment. In this paper, we present a novel 3D deeply supervised network (3D DSN) to address this challenging task. The proposed 3D DSN takes advantage of a fully convolutional architecture which performs efficient end-to-end learning and inference. More importantly, we introduce a deep supervision mechanism during the learning process to combat potential optimization difficulties, and thus the model can acquire a much faster convergence rate and more powerful discrimination capability. On top of the high-quality score map produced by the 3D DSN, a conditional random field model is further employed to obtain refined segmentation results. We evaluated our framework on the public MICCAI-SLiver07 dataset. Extensive experiments demonstrated that our method achieves competitive segmentation results to state-of-the-art approaches with a much faster processing speed.


title: High Thermoelectric Power Factor in Graphene/hBN Devices

abstract: Fast and controllable cooling at nanoscales requires a combination of highly efficient passive cooling and active cooling. While passive cooling in graphene-based devices is quite effective due to graphene's extraordinary heat-conduction, active cooling has not been considered feasible due to graphene's low thermoelectric power factor. Here we show that the thermoelectric performance of graphene can be significantly improved by using hBN substrates instead of SiO2. We find the room temperature efficiency of active cooling, as gauged by the power factor times temperature, reaches values as high as 10.35 W/mK, corresponding to more than doubling the highest reported room temperature bulk power factors, 5 W/mK in YbAl3, and quadrupling the best 2D power factor, 2.5 W/mK, in MoS2. We further show that in these devices the electron-hole puddles region is significantly reduced. This enables fast gate-controlled switching of the Seebeck coefficient polarity for application in n- and p-type integrated active cooling devices.


title: Multiple solutions with constant sign of a Dirichlet problem for a class of elliptic systems with variable exponent growth

abstract: We investigate the following Dirichlet problem with variable exponents: \begin{equation*} \left\{ \begin{array}{l} -\bigtriangleup _{p(x)}u=\lambda \alpha (x)\left\vert u\right\vert ^{\alpha (x)-2}u\left\vert v\right\vert ^{\beta (x)}+F_{u}(x,u,v),\text{ in }\Omega , \\ -\bigtriangleup _{q(x)}v=\lambda \beta (x)\left\vert u\right\vert ^{\alpha (x)}\left\vert v\right\vert ^{\beta (x)-2}v+F_{v}(x,u,v),\text{ in }\Omega , \\ u=0=v,\text{ on }\partial \Omega. \end{array} \right. \end{equation*} We present here, in the system setting, a new set of growth conditions under which we manage to use a novel method to verify the Cerami compactness condition. By localization argument, decomposition technique and variational methods, we are able to show the existence of multiple solutions with constant sign for the problem without the well-known Ambrosetti--Rabinowitz type growth condition. More precisely, we manage to show that the problem admits four, six and infinitely many solutions respectively.


title: Kinematic properties of double-barred galaxies: simulations vs. integral-field observations

abstract: Using high resolution $N$-body simulations, we recently reported that a dynamically cool inner disk embedded in a hotter outer disk can naturally generate a steady double-barred (S2B) structure. Here we study the kinematics of these S2B simulations, and compare them to integral-field observations from ATLAS$^{3D}$ and SAURON. We show that S2B galaxies exhibit several distinct kinematic features, namely: (1) significantly distorted isovelocity contours at the transition region between the two bars, (2) peaks in $\sigma_\mathrm{LOS}$ along the minor axis of inner bars, which we term "$\sigma$-humps", that are often accompanied by ring/spiral-like features of increased $\sigma_\mathrm{LOS}$, (3) $h_3-\bar{v}$ anti-correlations in the region of the inner bar for certain orientations, and (4) rings of positive $h_4$ when viewed at low inclinations. The most impressive of these features are the $\sigma$-humps, these evolve with the inner bar, oscillating in strength just as the inner bar does as it rotates relative to the outer bar. We show that, in cylindrical coordinates, the inner bar has similar streaming motions and velocity dispersion properties as normal large-scale bars, except for $\sigma_z$, which exhibits peaks on the minor axis, i.e., humps. These $\sigma_z$ humps are responsible for producing the $\sigma$-humps. For three well-resolved early-type S2Bs (NGC 2859, NGC 2950, and NGC 3941) and a potential S2B candidate (NGC 3384), the S2B model qualitatively matches the integral-field data well, including the "$\sigma$-hollows" previously identified. We also discuss the kinematic effect of a nuclear disk in S2Bs.


title: Geometric Bernstein Asymptotics and the Drinfeld-Lafforgue-Vinberg degeneration for arbitrary reductive groups

abstract: We define and study the Drinfeld-Lafforgue-Vinberg compactification of the moduli stack of G-bundles Bun_G for an arbitrary reductive group G; its definition is given in terms of the Vinberg semigroup of G, and is due to Drinfeld (unpublished). Throughout the article we prefer to view the compactification as a canonical multi-parameter degeneration of Bun_G which we call the Drinfeld-Lafforgue-Vinberg degeneration VinBun_G. We construct local models for the degeneration VinBun_G which "factorize in families" and use them to study its singularities, generalizing results of the article [Sch1] which was confined with the case G = SL_2. The multi-parameter degeneration VinBun_G gives rise to, for each parabolic of G, a corresponding nearby cycles functor. Our main theorem expresses the stalks of these nearby cycles in terms of the cohomology of the parabolic Zastava spaces. From this description we deduce that the nearby cycles of VinBun_G correspond, under the sheaf-function correspondence, to Bernstein's asymptotics map on the level of functions. This had been speculated by Bezrukavnikov-Kazhdan [BK] and Chen-Yom Din [CY] and conjectured in a precise form by Sakellaridis [Sak2].


title: Spiral diffusion of rotating self-propellers with stochastic perturbation

abstract: Translationally diffusive behavior arising from the combination of orientational diffusion and powered motion at microscopic scales is a known phenomenon, but the peculiarities of the evolution of expected position conditioned on initial position and orientation have been neglected. A theory is given of the spiral motion of the mean trajectory depending upon propulsion speed, angular velocity, orientational diffusion and rate of random chirality reversal. We demonstrate the experimental accessibility of this effect using both tadpole-like and Janus sphere dimer rotating motors. Sensitivity of the mean trajectory to the kinematic parameters suggest that it may be a useful way to determine those parameters.


title: Improvement of the Orthogonal Code Convolution Capabilities Using FPGA Implementation

abstract: When data is stored, compressed, or communicated through a media such as cable or air, sources of noise and other parameters such as EMI, crosstalk, and distance can considerably affect the reliability of these data. Error detection and correction techniques are therefore required. Orthogonal Code is one of the codes that can detect errors and correct corrupted data. An n-bit orthogonal code has n/2 1s and n/2 0s. In a previous work these properties have been exploited to detect and correct errors. In this paper we present a new methodology to enhance error detection capabilities of the orthogonal code. The technique was implemented experimentally using Field Programmable Gate Arrays (FPGA). The results show that the proposed technique improves the detection capabilities of the orthogonal code by approximately 50%, resulting in 99.9% error detection, and corrects as predicted up to (n/4-1) bits of error in the received impaired code with bandwidth efficiency.


title: An Analysis System for DNA Gel Electrophoresis Images Based on Automatic Thresholding an Enhancement

abstract: Gel electrophoresis, a widely used technique to separate DNA according to their size and weight, generates images that can be analyzed automatically. Manual or semiautomatic image processing presents a bottleneck for further development and leads to reproducibility issues. In this paper, we present a fully automated system with high accuracy for analyzing DNA and proteins. The proposed algorithm consists of four main steps: automatic thresholding, shifting, filtering, and data processing. Automatic thresholding, used to equalize the gray values of the gel electrophoresis image background, is one of the novel operations in this algorithm. Enhancement is also used to improve poor quality images that have faint DNA bands. Experimental results show that the proposed technique eliminates defects due to noise for average quality gel electrophoresis images, while it also improves the quality of poor images.


title: Spectrum Occupancy Measurement: An Autocorrelation based Scanning Technique using USRP

abstract: This paper presents a technique for scanning and evaluating the radio spectrum use. This technique determines the average occupancy of a channel over a specific duration. The technique was implemented using Software Defined Radio units and GNU Radio software. The survey was conducted in Grand Forks, North Dakota, over a frequency range of 824 MHz to 5.8 GHz. The results of this technique were compared to those of two existing techniques, energy detection and autocorrelation, that were also implemented. The results show that the proposed technique is more efficient at scanning the radio spectrum than the other two techniques.


title: A Bayesian Network Model of the Bit Error Rate for Cognitive Radio Networks

abstract: In addition to serve as platforms for dynamic spectrum access, cognitive radios can also serve as a method for improving the performance of wireless communication systems by smartly adjusting their operating parameters according to the environment and requirements. The uncertainty always present in the environment makes the practical implementation of the latter application difficult. In this paper, we propose a probabilistic graphical model, Bayesian network that captures the causal relationships among the variables bit energy to noise spectral density ratio (EbN0), carrier to interference ratio (C/I), modulation scheme (MOD), Doppler phase shift (Dop_Phi), and bit error rate (BER). BER indicates how the communication link is performing. The goal of our proposed Bayesian network is to use the BER as evidence in order to infer the behavior of the other variables, so the cognitive radio can learn how the conditions of the environment are, and based on that knowledge make better informed decisions. This model along with the method used to build it are described in this paper.


title: Automatic Techniques for Gridding cDNA Microarray Images

abstract: Microarray is considered an important instrument and powerful new technology for large-scale gene sequence and gene expression analysis. One of the major challenges of this technique is the image processing phase. The accuracy of this phase has an important impact on the accuracy and effectiveness of the subsequent gene expression and identification analysis. The processing can be organized mainly into four steps: gridding, spot isolation, segmentation, and quantification. Although several commercial software packages are now available, microarray image analysis still requires some intervention by the user, and thus a certain level of image processing expertise. This paper describes and compares four techniques that perform automatic gridding and spot isolation. The proposed techniques are based on template matching technique, standard deviation, sum, and derivative of these profiles. Experimental results show that the accuracy of the derivative of the sum profile is highly accurate compared to other techniques for good and poor quality microarray images.


title: Intramolecular Torque, an Indicator of the Internal Rotation Direction of Rotor Molecules and Similar Systems

abstract: Torque is ubiquitous in many molecular systems, including collisions, chemical reactions, vibrations, electronic excitations and especially rotor molecules. We present a straightforward theoretical method based on forces acting on atoms and obtained from atomistic quantum mechanics calculations, to quickly and qualitatively determine whether a molecule or sub-unit thereof has a tendency to rotation and, if so, around which axis and in which sense: clockwise or counterclockwise. The method also indicates which atoms, if any, are predominant in causing the rotation. Our computational approach can in general efficiently provide insights into the rotational ability of many molecules and help to theoretically screen or modify them in advance of experiments or before analyzing their rotational behavior in more detail with more extensive computations guided by the results from the torque approach. As an example, we demonstrate the effectiveness of the approach using a specific light-driven molecular rotary motor which was successfully synthesized and analyzed in prior experiments and simulations.


title: CGC/saturation approach for high energy soft interactions: `soft' Pomeron structure and $v_{n}$ in hadron and nucleus collisions from Bose-Einstein correlation

abstract: In the framework of our model of soft interactions at high energy based on CGC/saturation approach,we show that Bose-Einstein correlations of identical gluons lead to large values of $v_n$. We demonstrate how three dimensional scales of high energy interactions: hadron radius, typical size of the wave function in diffractive production of small masses (size of the constituent quark), and the saturation momentum, influence the values of BE correlations, and in particular, the values of $v_n$. Our calculation shows that the structure of the `dressed' Pomeron leads to values of $v_n$ which are close to experimental values for proton-proton scattering, 20\% smaller than the observed values for proton-lead collisions, and close to lead-lead collisions for 0-10\% centrality. Bearing this result in mind, we conclude that it is premature to consider, that the appearance of long range rapidity azimuthal correlations are due only to the hydrodynamical behaviour of the quark-gluon plasma.


title: Residential Demand Response Targeting Using Machine Learning with Observational Data

abstract: The large scale deployment of Advanced Metering Infrastructure among residential energy customers has served as a boon for energy systems research relying on granular consumption data. Residential Demand Response aims to utilize the flexibility of consumers to reduce their energy usage during times when the grid is strained. Suitable incentive mechanisms to encourage customers to deviate from their usual behavior have to be implemented to correctly control the bids into the wholesale electricity market as a Demand Response provider. In this paper, we present a framework for short term load forecasting on an individual user level, and relate nonexperimental estimates of Demand Response efficacy, i.e. the estimated reduction of consumption during Demand Response events, to the variability of user consumption. We apply our framework on a data set from a residential Demand Response program in the Western United States. Our results suggest that users with more variable consumption patterns are more likely to reduce their consumption compared to users with a more regular consumption behavior.


title: Testing the Kerr black hole hypothesis using X-ray reflection spectroscopy

abstract: We present the first X-ray reflection model for testing the assumption that the metric of astrophysical black holes is described by the Kerr solution. We employ the formalism of the transfer function proposed by Cunningham. The calculations of the reflection spectrum of a thin accretion disk are split into two parts: the calculation of the transfer function and the calculation of the local spectrum at any emission point in the disk. The transfer function only depends on the background metric and takes into account all the relativistic effects (gravitational redshift, Doppler boosting, and light bending). Our code computes the transfer function for a spacetime described by the Johannsen metric and can easily be extended to any stationary, axisymmetric, and asymptotically flat spacetime. Transfer functions and single line shapes in the Kerr metric are compared with those calculated from existing codes to check that we reach the necessary accuracy. We also simulate some observations with NuSTAR and LAD/eXTP and fit the data with our new model to show the potential capabilities of current and future observations to constrain possible deviations from the Kerr metric.


title: On the Performance of DCSK MIMO Relay Cooperative Diversity in Nakagami-m and Generalized Gaussian Noise Scenarios

abstract: Chaotic Communications have drawn a great deal of attention to the wireless communication industry and research due to its limitless meritorious features, including excellent anti-fading and anti-intercept capabilities and jamming resistance exempli gratia. Differential Chaos Shift Keying (DCSK) is of particular interest due to its low-complexity and low-power and many attractive properties. However, most of the DCSK studies reported in the literature considered the additive white Gaussian noise environment in non-cooperative scenarios. Moreover, the analytical derivations and evaluation of the error rates and other performance metrics are generally left in an integral form and evaluated using numerical techniques. To circumvent on these issues, this work is dedicated to present a new approximate error rates analysis of multi-access multiple-input multiple-output dual-hop relaying DCSK cooperative diversity (DCSK-CD) in Nakagami-m fading channels (enclosing the Rayleigh fading as a particular case). Based on this approximation, closed-form expressions for the average error rates are derived for multiple relaying protocols, namely the error-free and the decode-and-forward relaying. Testing results validate the accuracy of the derived analytical expressions.


title: A Coarse-to-Fine Indoor Layout Estimation (CFILE) Method

abstract: The task of estimating the spatial layout of cluttered indoor scenes from a single RGB image is addressed in this work. Existing solutions to this problems largely rely on hand-craft features and vanishing lines, and they often fail in highly cluttered indoor rooms. The proposed coarse-to-fine indoor layout estimation (CFILE) method consists of two stages: 1) coarse layout estimation; and 2) fine layout localization. In the first stage, we adopt a fully convolutional neural network (FCN) to obtain a coarse-scale room layout estimate that is close to the ground truth globally. The proposed FCN considers combines the layout contour property and the surface property so as to provide a robust estimate in the presence of cluttered objects. In the second stage, we formulate an optimization framework that enforces several constraints such as layout contour straightness, surface smoothness and geometric constraints for layout detail refinement. Our proposed system offers the state-of-the-art performance on two commonly used benchmark datasets.


title: Elastic stress effects on microstructural instabilities

abstract: This review is on the phase field modelling studies in elastic stress effects on microstructural instabilities. We will focus primarily on four elastic stress driven instabilities: (i) Spinodal phase separation; (ii) Particle splitting; (iii) Rafting; and, (iv) Asaro-Tiller-Grinfeld (ATG) instabilities. This review is organised as follows: in Section 1, we briefly describe some of the important and interesting experimental observations on elastic stress effects on microstructural instabilities; in Section 2, we describe, in reasonable detail, the theoretical developments in understanding the effects of elastic stress on microstructural instabilities in solids. Both Section 1 and 2 are neither comprehensive nor complete; however, they are helpful in setting the stage for discussion of (and, in giving a perspective on) phase field modelling studies that will be discussed in Section 3. In Section 4, we conclude with a summary and indication of future directions.


title: Dual decomposition for multi-agent distributed optimization with coupling constraints

abstract: We study distributed optimization in a cooperative multi-agent setting, where agents have to agree on the usage of shared resources and can communicate via a time-varying network to this purpose. Each agent has its own decision variables that should be set so as to minimize its individual objective function subject to local constraints. Resource sharing is modeled via coupling constraints that involve the non-positivity of the sum of agents' individual functions, each one depending on the decision variables of one single agent. We propose a novel distributed algorithm to minimize the sum of the agents' objective functions subject to both local and coupling constraints, where dual decomposition and proximal minimization are combined in an iterative scheme. Notably, privacy of information is guaranteed since only the dual optimization variables associated with the coupling constraints are exchanged by the agents. Under convexity assumptions, jointly with suitable connectivity properties of the communication network, we are able to prove that agents reach consensus to some optimal solution of the centralized dual problem counterpart, while primal variables converge to the set of optimizers of the centralized primal problem. The efficacy of the proposed approach is demonstrated on a plug-in electric vehicles charging problem.


title: Topological rank does not increase by natural extension of Cantor minimals

abstract: Downarowicz and Maass (2008) have defined the topological rank for all Cantor minimal homeomorphisms. On the other hand, Gambaudo and Martens (2006) have expressed all Cantor minimal continuous surjections as the inverse limits of certain graph coverings. Using the aforementioned results, we previously extended the notion of topological rank to all Cantor minimal continuous surjections. In this paper, we show that taking natural extensions of Cantor minimal continuous surjections does not increase their topological ranks. Further, we apply the result to the minimal symbolic case.


title: Single inclusive hadron production in pA collisions at NLO

abstract: We study single inclusive forward hadron production in high energy proton-nucleus collisions at next-to-leading order in the Color Glass Condensate framework. Recent studies have shown that the next-to-leading order corrections to this process are large and negative at large transverse momentum, leading to negative cross sections. We propose to overcome this difficulty by introducing an explicit rapidity factorization scale when subtracting the rapidity divergence into the evolution of the target.


title: Forward $J/\psi$ production in pA collisions: centrality dependence

abstract: The nuclear suppression of forward $J/\psi$ production in high energy proton-nucleus collisions can be used as a probe of gluon saturation at small $x$. In an earlier work we studied this suppression in minimum bias collisions in the Color Glass Condensate formalism, relying on the optical Glauber model to obtain the dipole cross section of the nucleus from the one of the proton fitted to HERA DIS data. Here we study how the impact parameter dependence of this model can be used to compare our results with recent LHC data on the centrality dependence of this suppression.


title: Message Routing in Wireless and Mobile Networks using TDMA Technology

abstract: In an era where communication has a most important role in modern societies, designing efficient algorithms for data transmission is of the outmost importance. TDMA is a technology used in many communication systems such as satellite, cell phone as well as other wireless or mobile networks. Most 2G cellular systems as well as some 3G are TDMA based. In order to transmit data in such systems we need to cluster them in packages. To achieve a faster transmission we are allowed to preempt the transmission of any packet in order to resume at a later time. Preemption can be used to reduce idleness of some stations. Such preemptions though come with a reconfiguration cost in order to setup for the next transmission. In this paper we propose two algorithms which yield improved transmission scheduling. These two algorithms we call MGA and IMGA (Improved MGA). We have proven an approximation ratio for MGA and ran experiments to establish that it works even better in practice. In order to conclude that MGA will be a very helpful tool in constructing an improved schedule for packet routing using preemtion with a setup cost, we compare its results to two other efficient algorithms designed by researchers in the past: A-PBS(d+1) and GWA. To establish the efficiency of IMGA we ran experiments in comparison to MGA as well as A-PBS(d+1) and GWA. IMGA has proven to produce the most efficient schedule on all counts.


title: Extrinsic size effect of pyroelectric response of ferroelectric films

abstract: We developed a theoretical model for the calculation of the main characteristics of pyroelectric response of pyroactive multilayer structures, which are basic elements of modern pyroelectric detectors of radiation and other transducers. In the framework of the proposed model, the dependences of the pyroelectric response frequency spectra on the ferroelectric film thickness have been investigated. It was found that a pronounced extrinsic size effect is inherent to the pyroelectric response frequency spectra, such as the strong thickness dependence of the response maximal value and its frequency position. Thickness dependences of the frequency position of the pyroelectric response maximum and the optimal thickness of the pyroactive ferroelectric film are calculated. The frequency spectra of the pyroelectric current and voltage calculated theoretically are in quantitative agreement with experimental ones for Al/P(VDF-TrFE)/Ti/Si pyroactive structure. Developed procedure is important for improving the sensitivity of pyroelectric devices. Obtained analytical expressions allow us to optimize the performances of pyroactive elements using the existence of the size effect, which depend on pyroactive layer and substrate thicknesses, as well as on the conditions of heat transfer and exchange at corresponding boundaries of the pyroactive structure.


title: Cyclic tridiagonal pairs, higher order Onsager algebras and orthogonal polynomials

abstract: The concept of cyclic tridiagonal pairs is introduced, and explicit examples are given. For a fairly general class of cyclic tridiagonal pairs with cyclicity N, we associate a pair of `divided polynomials'. The properties of this pair generalize the ones of tridiagonal pairs of Racah type. The algebra generated by the pair of divided polynomials is identified as a higher-order generalization of the Onsager algebra. It can be viewed as a subalgebra of the q-Onsager algebra for a proper specialization at q the primitive 2Nth root of unity. Orthogonal polynomials beyond the Leonard duality are revisited in light of this framework. In particular, certain second-order Dunkl shift operators provide a realization of the divided polynomials at N=2 or q=i.


title: Business Process Mining

abstract: One of the most valuable assets of an organization is its organizational data. The analysis and mining of this potential hidden treasure can lead to much added-value for the organization. Process mining is an emerging area that can be useful in helping organizations understand the status quo, check for compliance and plan for improving their processes. The aim of process mining is to extract knowledge from event logs of today's organizational information systems. Process mining includes three main types: discovering process models from event logs, conformance checking and organizational mining. In this paper, we briefly introduce process mining and review some of its most important techniques. Also, we investigate some of the applications of process mining in industry and present some of the most important challenges that are faced in this area.


title: $\phi$-coordinated modules for quantum vertex algebras and associative algebras

abstract: We study $\N$-graded $\phi$-coordinated modules for a general quantum vertex algebra $V$ of a certain type in terms of an associative algebra $\widetilde{A}(V)$ introduced by Y.-Z. Huang. Among the main results, we establish a bijection between the set of equivalence classes of irreducible $\N$-graded $\phi$-coordinated $V$-modules and the set of isomorphism classes of irreducible $\widetilde{A}(V)$-modules. We also show that for a vertex operator algebra, rationality, regularity, and fusion rules are independent of the choice of the conformal vector.


title: Lowest priority waiting time distribution in an accumulating priority L\'evy queue

abstract: This paper presents a new method for deriving the waiting time distribution of the lowest class in an accumulating priority (AP) queue with positive L\'evy input. The priority of a non-atomic customer (particle) is a function of their class and waiting time in the system, and the particles with the highest AP are the next to be processed. The method relies on the construction of a workload overtaking process and solving a first-passage time problem using an appropriate stopping time.


title: Experimental Quantum Randomness Processing

abstract: Coherently manipulating multipartite quantum correlations leads to remarkable advantages in quantum information processing. A fundamental question is whether such quantum advantages persist only by exploiting multipartite correlations, such as entanglement. Recently, Dale, Jennings, and Rudolph negated the question by showing that a randomness processing, quantum Bernoulli factory, using quantum coherence, is strictly more powerful than the one with classical mechanics. In this Letter, focusing on the same scenario, we propose a theoretical protocol that is classically impossible but can be implemented solely using quantum coherence without entanglement. We demonstrate the protocol by exploiting the high-fidelity quantum state preparation and measurement with a superconducting qubit in the circuit quantum electrodynamics architecture and a nearly quantum-limited parametric amplifier. Our experiment shows the advantage of using quantum coherence of a single qubit for information processing even when multipartite correlation is not present.


title: Excitation functions of parameters extracted from three-source (net-)proton rapidity distributions in Au-Au and Pb-Pb collisions over an energy range from AGS to RHIC

abstract: Experimental results of the rapidity spectra of protons and net-protons (protons minus antiprotons) emitted in gold-gold (Au-Au) and lead-lead (Pb-Pb) collisions, measured by a few collaborations at the alternating gradient synchrotron (AGS), super proton synchrotron (SPS), and relativistic heavy ion collider (RHIC), are described by a three-source distribution. The values of the distribution width $\sigma_C$ and contribution ratio (relative contribution) $k_C$ of the central rapidity region, and the distribution width $\sigma_F$ and rapidity shift $\Delta y$ of the forward/backward rapidity regions, are then obtained. The excitation function of $\sigma_C$ increases generally with increase of the center-of-mass energy per nucleon pair $\sqrt{s_{NN}}$. The excitation function of $\sigma_F$ shows a saturation at $\sqrt{s_{NN}}=8.8$ GeV. The excitation function of $k_C$ shows a minimum at $\sqrt{s_{NN}}=8.8$ GeV and a saturation at $\sqrt{s_{NN}}\approx 17$ GeV. The excitation function of $\Delta y$ increase monotonously with $\ln \sqrt{s_{NN}}$ in the considered energy range.


title: Dark Matter Density Spikes around Primordial Black Holes

abstract: We show that density spikes begin to form from dark matter particles around primordial black holes immediately after their formation at the radiation-dominated cosmological stage. This follows from the fact that in the thermal velocity distribution of particles there are particles with low velocities that remain in finite orbits around black holes and are not involved in the cosmological expansion. The accumulation of such particles near black holes gives rise to density spikes. These spikes are considerably denser than those that are formed later by the mechanism of secondary accretion. The density spikes must be bright gamma-ray sources. Comparison of the calculated signal from particle annihilation with the Fermi-LAT data constrains the present-day cosmological density parameter for primordial black holes with masses $M_{\rm BH}\geq10^{-8}M_\odot$ from above by values from $\Omega_{\rm BH}\leq1$ to $\Omega_{\rm BH}\leq10^{-8}$, depending on $M_{\rm BH}$. These constraints are several orders of magnitude more stringent than other known constraints.


title: Insulating phase at low temperature in ultrathin La0.8Sr0.2MnO3 films

abstract: Metal-insulator transition is observed in the La0.8Sr0.2MnO3 thin films with thickness larger than 5 unit cells. Insulating phase at lower temperature appeared in the ultrathin films with thickness ranging from 6 unit cells to 10 unit cells and it is found that the Mott variable range hopping conduction dominates in this insulating phase at low temperature with a decrease of localization length in thinner films. A deficiency of oxygen content and a resulted decrease of the Mn valence have been observed in the ultrathin films with thickness smaller than or equal to 10 unit cells by studying the aberration-corrected scanning transmission electron microscopy and electron energy loss spectroscopy of the films. These results suggest that the existence of the oxygen vacancies in thinner films suppresses the double-exchange mechanism and contributes to the enhancement of disorder, leading to a decrease of the Curie temperature and the low temperature insulating phase in the ultrathin films. In addition, the suppression of the magnetic properties in thinner films indicates stronger disorder of magnetic moments, which is considered to be the reason for this decrease of the localization length.


title: Critical nonlocal systems with concave-convex powers

abstract: By using the fibering method jointly with Nehari manifold techniques, we obtain the existence of multiple solutions to a fractional $p$-Laplacian system involving critical concave-convex nonlinearities provided that a suitable smallness condition on the parameters involved is assumed. The result is obtained despite there is no general classification for the optimizers of the critical fractional Sobolev embedding.


title: On Factorization of Generalized Macdonald Polynomials

abstract: A remarkable feature of Schur functions -- the common eigenfunctions of cut-and-join operators from $W_\infty$ -- is that they factorize at the peculiar two-parametric topological locus in the space of time-variables, what is known as the hook formula for quantum dimensions of representations of $U_q(SL_N)$ and plays a big role in various applications. This factorization survives at the level of Macdonald polynomials. We look for its further generalization to {\it generalized} Macdonald polynomials (GMP), associated in the same way with the toroidal Ding-Iohara-Miki algebras, which play the central role in modern studies in Seiberg-Witten-Nekrasov theory. In the simplest case of the first-coproduct eigenfunctions, where GMP depend on just two sets of time-variables, we discover a weak factorization -- on a codimension-one slice of the topological locus, what is already a very non-trivial property, calling for proof and better understanding.


title: Properties of $G$-martingales with finite variation and the application to $G$-Sobolev spaces

abstract: As is known, a process of form $\int_0^t\eta_sd\langle B\rangle_s-\int_0^t2G(\eta_s)ds$, $\eta\in M^1_G(0,T)$, is a non-increasing $G$-martingale. In this paper, we shall show that a non-increasing $G$-martingale could not be form of $\int_0^t\eta_sds$ or $\int_0^t\gamma_sd\langle B\rangle_s$, $\eta, \gamma \in M^1_G(0,T)$, which implies that the decomposition for generalized $G$-It\^o processes is unique: For $\zeta\in H^1_G(0,T)$, $\eta\in M^1_G(0,T)$ and non-increasing $G$-martingales $K, L$, if \[\int_0^t\zeta_s dB_s+\int_0^t\eta_sds+K_t=L_t,\ t\in[0,T],\] then we have $\eta\equiv0$, $\zeta\equiv0$ and $K_t=L_t$. As an application, we give a characterization to the $G$-Sobolev spaces introduced in Peng and Song (2015).


title: Critical dynamics of classical systems under slow quench

abstract: We study the slow quench dynamics of a one-dimensional nonequilibrium lattice gas model which exhibits a phase transition in the stationary state between a fluid phase with homogeneously distributed particles and a jammed phase with a macroscopic hole cluster. Our main result is that in the critical region ({\it i.e.}, at the critical point and in its vicinity) where the dynamics are assumed to be frozen in the standard Kibble-Zurek argument, the defect density exhibits an algebraic decay in the inverse annealing rate with an exponent that can be understood using critical coarsening dynamics. However, in a part of the critical region in the fluid phase, the standard Kibble-Zurek scaling holds. We also find that when the slow quench occurs deep into the jammed phase, the defect density behavior is explained by the rapid quench dynamics in this phase.


title: Thermoelectric Effects and Topological Insulators

abstract: The recent discovery of topological insulator (TI) offers new opportunities for the development of thermoelectrics, because many TIs (like Bi$_2$Te$_3$) are excellent thermoelectric (TE) materials. In this review, we will first describe the general TE properties of TIs and show that the coexistence of the bulk and boundary states in TIs introduces unusual TE properties, including strong size effects and anomalous Seebeck effect. Importantly, the TE figure of merit $zT$ of TIs is no longer an intrinsic property, but depends strongly on the geometric size. The geometric parameters of two-dimensional TIs can be tuned to enhance $zT$ to be significantly greater than 1. Then a few proof-of-principle experiments on three-dimensional TIs will be discussed, which observed unconventional TE phenomena that are closely related to the topological nature of the materials. However, current experiments indicate that the metallic surface states, if their advantage of high mobility is not fully utilized, would be detrimental to TE performance. Finally we provide an outlook for future work on topological materials, which offers great possibilities to discover exotic TE effects and may lead to significant breakthroughs in improving $zT$.


title: Red Giant Clump in the Tycho-2 Catalogue

abstract: The Tycho-2 proper motions and Tycho-2 and 2MASS photometry are used to select 97348 red giant clump (RGC) stars. The interstellar extinction and photometric distance are calculated for each of the stars. The selected stars are shown to form a selection-unbiased sample of RGC stars within about 350 pc of the Sun with the addition of more distant stars. The distribution of the selected stars in space and their motion are consistent with the assumption that the RGC contains Galactic disk stars with various ages and metallicities, including a significant fraction of stars younger than 1 Gyr with masses of more than 2 $M_{\odot}$. These young stars show differences of their statistical characteristics from those of older RGC stars, including differences in the variations of their distribution density with distance from the Galactic plane and in the dispersion of their velocities found using radial velocities and proper motions. The Sun has been found to rise above the Galactic plane by $13\pm1$ pc. The distribution density of the stars under consideration in space is probably determined by the Local Spiral Arm and the distribution of absorbing matter in the plane of the Gould Belt.


title: Photoresponse of atomically thin MoS2 layers and their planar heterojunctions

abstract: MoS2 monolayers exhibit excellent light absorption and large thermoelectric power, which are, however, accompanied with very strong exciton binding energy - resulting in complex photoresponse characteristics. We study the electrical response to scanning photo-excitation on MoS2 monolayer (1L) and bilayer (2L) devices, and also on monolayer/bilayer (1L/2L) planar heterojunction and monolayer/few-layer/multi-layer (1L/FL/ML) planar double heterojunction devices to unveil the intrinsic mechanisms responsible for photocurrent generation in these materials and junctions. Strong photoresponse modulation is obtained by scanning the position of the laser spot, as a consequence of controlling the relative dominance of a number of layer dependent properties, including (i) photoelectric effect (PE), (ii) photothermoelectric effect (PTE), (iii) excitonic effect, (iv) hot photo-electron injection from metal, and (v) carrier recombination. The monolayer and bilayer devices show peak photoresponse when the laser is focused at the source junction, while the peak position shifts to the monolayer/multi-layer junction in the heterostructure devices. The photoresponse is found to be dependent on the incoming light polarization when the source junction is illuminated, although the polarization sensitivity drastically reduces at the monolayer/multi-layer heterojunction. Finally, we investigate laser position dependent transient response of photocurrent to reveal trapping of carriers in SiO2 at the source junction is the critical factor to determine the transient response in 2D photodetectors, and also show that, by systematic device design, such trapping can be avoided in the heterojunction devices, resulting in fast transient response. The insights obtained will play an important role in designing fast 2D TMDs based photodetector and related optoelectronic and thermoelectric devices.


title: Dipolar exchange induced transparency with Rydberg atoms

abstract: A three-level atomic medium can be made transparent to a resonant probe field in the presence of a strong control field acting on an adjacent atomic transition to a long-lived state, which can be represented by a highly excited Rydberg state. The long-range interactions between the Rydberg state atoms then translate into strong, non-local, dispersive or absorptive interactions between the probe photons, which can be used to achieve deterministic quantum logic gates and single photon sources. Here we show that long-range dipole-dipole exchange interaction with one or more spins -- two-level systems represented by atoms in suitable Rydberg states -- can play the role of control field for the optically-dense medium of atoms. This induces transparency of the medium for a number of probe photons $n_p$ not exceeding the number of spins $n_s$, while all the excess photons are resonantly absorbed upon propagation. In the most practical case of a single spin atom prepared in the Rydberg state, the medium is thus transparent only to a single input probe photon. For larger number of spins $n_s$, all $n_p \leq n_s$ photon components of the probe field would experience transparency but with an $n_p$-dependent group velocity.


title: $B_c\to B_{sJ}$ form factors and $B_c$ decays into $B_{sJ}$ in covariant light-front approach

abstract: We suggest to study the $B_{s}$ and its excitations $B_{sJ}$ in the $B_c$ decays. We calculate the $B_c\to B_{sJ}$ and $B_c\to B_{J}$ form factors within the covariant light-front quark model, where the $B_{sJ}$ and $B_{J}$ denote an s-wave or p-wave $\bar bs$ and $\bar bd$ meson, respectively. The form factors at $q^2=0$ are directly computed while their $q^2$-distributions are obtained by the extrapolation. The derived form factors are then used to study semileptonic $B_c\to (B_{sJ},B_{J})\bar\ell\nu$ decays, and nonleptonic $B_c\to B_{sJ}\pi$. Branching fractions and polarizations are predicted in the standard model. We find that the branching fractions are sizable and might be accessible at the LHC experiment and future high-energy $e^+e^-$ colliders with a high luminosity at the $Z$-pole. The future experimental measurements are helpful to study the nonperturbative QCD dynamics in the presence of a heavy spectator and also of great value for the spectroscopy study.


title: Visualizing Natural Language Descriptions: A Survey

abstract: A natural language interface exploits the conceptual simplicity and naturalness of the language to create a high-level user-friendly communication channel between humans and machines. One of the promising applications of such interfaces is generating visual interpretations of semantic content of a given natural language that can be then visualized either as a static scene or a dynamic animation. This survey discusses requirements and challenges of developing such systems and reports 26 graphical systems that exploit natural language interfaces and addresses both artificial intelligence and visualization aspects. This work serves as a frame of reference to researchers and to enable further advances in the field.


title: Asymptotic Bayesian Theory of Quickest Change Detection for Hidden Markov Models

abstract: In the 1960s, Shiryaev developed a Bayesian theory of change-point detection in the i.i.d. case, which was generalized in the beginning of the 2000s by Tartakovsky and Veeravalli for general stochastic models assuming a certain stability of the log-likelihood ratio process. Hidden Markov models represent a wide class of stochastic processes that are very useful in a variety of applications. In this paper, we investigate the performance of the Bayesian Shiryaev change-point detection rule for hidden Markov models. We propose a set of regularity conditions under which the Shiryaev procedure is first-order asymptotically optimal in a Bayesian context, minimizing moments of the detection delay up to certain order asymptotically as the probability of false alarm goes to zero. The developed theory for hidden Markov models is based on Markov chain representation for the likelihood ratio and r-quick convergence for Markov random walks. In addition, applying Markov nonlinear renewal theory, we present a high-order asymptotic approximation for the expected delay to detection of the Shiryaev detection rule. Asymptotic properties of another popular change detection rule, the Shiryaev{Roberts rule, is studied as well. Some interesting examples are given for illustration.


title: On asymptotic power corrections to differential fluxes and generalization of optical theorem for potential scattering

abstract: In a wide class of potentials the exact asymptotic dependence on finite distance R from scattering center is established for outgoing differential flux. It is shown how this dependence is eliminated by integration over solid angle for total flux, unitarity relation, and optical theorem. Thus, their applicability domain extends naturally to the finite R.


title: A possible relation between flare activity in superluminous supernovae and gamma-ray bursts

abstract: Significant undulations appear in the light curve of a recently discovered super-luminous supernova (SLSN) SN 2015bn after the first peak, while the underlying profile of the light curve can be well explained by a continuous energy supply from a central engine, possibly the spin-down of a millisecond magnetar. We propose that these undulations are caused by an intermittent pulsed energy supply, indicating an energetic flare activity of the central engine of the SLSN. Many post-burst flares were discovered during X-ray afterglow observations of Gamma-Ray Bursts (GRBs). We find that the SLSN flares described here approximately obey the empirical correlation between the luminosity and time scale of GRB flares, extrapolated to the relevant longer time scales of SLSN flares. This confirms the possible connection between these two different phenomena as previously suggested.


title: Surface Code Error Correction on a Defective Lattice

abstract: The yield of physical qubits fabricated in the laboratory is much lower than that of classical transistors in production semiconductor fabrication. Actual implementations of quantum computers will be susceptible to loss in the form of physically faulty qubits. Though these physical faults must negatively affect the computation, we can deal with them by adapting error correction schemes. In this paper We have simulated statically placed single-fault lattices and lattices with randomly placed faults at functional qubit yields of 80%, 90% and 95%, showing practical performance of a defective surface code by employing actual circuit constructions and realistic errors on every gate, including identity gates. We extend Stace et al.'s superplaquettes solution against dynamic losses for the surface code to handle static losses such as physically faulty qubits. The single-fault analysis shows that a static loss at the periphery of the lattice has less negative effect than a static loss at the center. The randomly-faulty analysis shows that 95% yield is good enough to build a large scale quantum computer. The local gate error rate threshold is $\sim 0.3\%$, and a code distance of seven suppresses the residual error rate below the original error rate at $p=0.1\%$. 90% yield is also good enough when we discard badly fabricated quantum computation chips, while 80% yield does not show enough error suppression even when discarding 90% of the chips. We evaluated several metrics for predicting chip performance, and found that the average of the product of the number of data qubits and the cycle time of a stabilizer measurement of stabilizers gave the strongest correlation with post-correction residual error rates. Our analysis will help with selecting usable quantum computation chips from among the pool of all fabricated chips.


title: On the orbital evolution of a pair of giant planets in mean motion resonance

abstract: Pairs of extrasolar giant planets in a mean motion commensurability are common with 2:1 resonance occurring most frequently. Disc-planet interaction provides a mechanism for their origin. However, the time scale on which this could operate in particular cases is unclear. We perform 2D and 3D numerical simulations of pairs of giant planets in a protoplanetary disc as they form and maintain a mean motion commensurability. We consider systems with current parameters similar to those of HD 155358, 24 Sextantis and HD 60532, and disc models of varying mass, decreasing mass corresponding to increasing age. For the lowest mass discs, systems with planets in the Jovian mass range migrate inwards maintaining a 2:1 commensurability. Systems with the inner planet currently at around 1 au from the central star could have originated at a few au and migrated inwards on a time scale comparable to protoplanetary disc lifetimes. Systems of larger mass planets such as HD 60532 attain 3:1 resonance as observed. For a given mass accretion rate, results are insensitive to the disc model for the range of viscosity prescriptions adopted, there being good agreement between 2D and 3D simulations. However, in a higher mass disc a pair of Jovian mass planets passes through 2:1 resonance before attaining a temporary phase lasting a few thousand orbits in an unstable 5:3 resonance prior to undergoing a scattering. Thus finding systems in this commensurability is unlikely.


title: Schematic Interactions with Many Degeneracies

abstract: In previous works we examined the spectra for systems of 2 protons and 2 neutrons, in a single j shell calculation, by obtaining matrix elements from experiment. More recently we considered schematic interactions in the same model space. We continue in this vein here. The present work and the former can be regarded as 2 bookends on a bookshelf.


title: The world's largest turbulence simulations

abstract: Understanding turbulence is critical for a wide range of terrestrial and astrophysical applications. Here we present first results of the world's highest-resolution simulation of turbulence ever done. The current simulation has a grid resolution of 10048^3 points and was performed on 65536 compute cores on SuperMUC at the Leibniz Supercomputing Centre (LRZ). We present a scaling test of our modified version of the FLASH code, which updates the hydrodynamical equations in less than 3 micro seconds per cell per time step. A first look at the column density structure of the 10048^3 simulation is presented and a detailed analysis is provided in a forthcoming paper.

categories: astro-ph.SR astro-ph.GA astro-ph.IM physics.comp-ph physics.flu-dyn


title: Exponential Torsion Growth for Random 3-Manifolds

abstract: We show that a random 3-manifold with positive first Betti number admits a tower of cyclic covers with exponential torsion growth.


title: First-Principles Momentum Dependent Local Ansatz Approach to the Ground-State Properties of Iron-Group Transition Metals

abstract: The ground-state properties of iron-group transition metals from Sc to Cu have been investigated on the basis of the first-principles momentum dependent local ansatz (MLA) theory. Correlation energy gain is found to show large values for Mn and Fe: 0.090 Ry (Mn) and 0.094 Ry (Fe). The Hund-rule coupling energies are found to be 3000 K (Fe), 1400 K (Co), and 300 K (Ni). It is sugested that these values can resolve the inconsistency in magnetic energy between the density functional theory and the first-principles dynamical coherent potential approximation theory at finite temperatures. Charge fluctuations are shown to be suppressed by the intra-orbital correlations and inter-orbital charge-charge correlations, so that they show nearly constant values from V to Fe: 1.57 (V and Cr), 1.52 (Mn), and 1.44 (Fe), which are roughly twice as large as those obtained by the $d$ band model. The amplitudes of local moments are enhanced by the intra-orbital and inter-orbital spin-spin correlations and show large values for Mn and Fe: 2.87 (Mn) and 2.58 (Fe). These values are in good agreement with the experimental values estimated from the effective Bohr magneton number and the inner core photoemission data.


title: Priority, Cut, If-Then-Else and Exception Handling in Logic Programming

abstract: One of the long-standing problems on logic programming is to express {\it priority}-related operations -- default reasoning, if-then-else, cut, exception handling, etc -- in a high-level way. We argue that this problem can be solved by adopting computability logic and prioritized sequential-disjunctive goal formulas of the form $G_0 \bigtriangledown^* G_1$ where $G_0, G_1$ are goals. These goals have the following intended semantics: sequentially $choose$ the first true goal $G_i$ and execute $G_i$ where $i (= 0\ {\rm or}\ 1)$. These goals thus allow us to specify a task $G_0$ with the failure-handling (exception handling) routine $G_1$. This new goal can also be seen as a logic-equivalent of the $if$-$then$-$else$ statement in imperative language. We also discuss sequential-conjunction clauses which are {\it dual} of sequential-disjunctive goals.