title: Unsteady flows and inhomogeneous packing in damp granular heap flows

abstract: We experimentally study the transition from steady flow to unsteady flow in a quasi-2D granular heap when small amounts of water are added to monodisperse glass spheres. Particles flow uniformly down both sides of the heap for low water content, but unsteady flow occurs as the water content increases. The unsteady flow mode consists of a non-depositing downslope avalanche and an upslope propagating granular jump. The transition from steady to unsteady flow occurs when the slope exceeds a critical angle as a result of water-induced cohesion. Under unsteady flow conditions, the deposited heap consists of loosely packed and densely packed layers, the formation of which is closely related to the unsteady flow dynamics.


title: BoloCalc: a sensitivity calculator for the design of Simons Observatory

abstract: The Simons Observatory (SO) is an upcoming experiment that will study temperature and polarization fluctuations in the cosmic microwave background (CMB) from the Atacama Desert in Chile. SO will field both a large aperture telescope (LAT) and an array of small aperture telescopes (SATs) that will observe in six bands with center frequencies spanning from 27 to 270~GHz. Key considerations during the SO design phase are vast, including the number of cameras per telescope, focal plane magnification and pixel density, in-band optical power and camera throughput, detector parameter tolerances, and scan strategy optimization. To inform the SO design in a rapid, organized, and traceable manner, we have created a Python-based sensitivity calculator with several state-of-the-art features, including detector-to-detector optical white-noise correlations, a handling of simulated and measured bandpasses, and propagation of low-level parameter uncertainties to uncertainty in on-sky noise performance. We discuss the mathematics of the sensitivity calculation, the calculator's object-oriented structure and key features, how it has informed the design of SO, and how it can enhance instrument design in the broader CMB community, particularly for CMB-S4.


title: Stochastic Discontinuous Galerkin Methods (SDGM) Based on Fluctuation-Dissipation Balance

abstract: We introduce a general framework for approximating parabolic Stochastic Partial Differential Equations (SPDEs) based on fluctuation-dissipation balance. Using this approach we formulate Stochastic Discontinuous Galerkin Methods (SDGM). We show how methods with linear-time computational complexity can be developed for handling domains with general geometry and generating stochastic terms handling both Dirichlet and Neumann boundary conditions. We demonstrate our approach on example systems and contrast with alternative approaches using direct stochastic discretizations based on random fluxes. We show how our Fluctuation-Dissipation Discretizations (FDD) framework allows for compensating for differences in dissipative properties of discrete numerical operators relative to their continuum counter-parts. This allows us to handle general heterogeneous discretizations capturing accurately statistical relations. Our FDD framework provides a general approach for formulating SDGM discretizations and other numerical methods for robust approximation of stochastic differential equations.


title: Compressed Optimization of Device Architectures (CODA) for semiconductor quantum devices

abstract: Recent advances in nanotechnology have enabled researchers to manipulate small collections of quantum mechanical objects with unprecedented accuracy. In semiconductor quantum dot qubits, this manipulation requires controlling the dot orbital energies, tunnel couplings, and the electron occupations. These properties all depend on the voltages placed on the metallic electrodes that define the device, whose positions are fixed once the device is fabricated. While there has been much success with small numbers of dots, as the number of dots grows, it will be increasingly useful to control these systems with as few electrode voltage changes as possible. Here, we introduce a protocol, which we call the Compressed Optimization of Device Architectures (CODA), in order to both efficiently identify sparse sets of voltage changes that control quantum systems, and to introduce a metric which can be used to compare device designs. As an example of the former, we apply this method to simulated devices with up to 100 quantum dots and show that CODA automatically tunes devices more efficiently than other common nonlinear optimizers. To demonstrate the latter, we determine the optimal lateral scale for a triple quantum dot, yielding a simulated device that can be tuned with small voltage changes on a limited number of electrodes.


title: Codes and Stability

abstract: We introduce new yet easily accessible codes for elements of $GL_r(A)$ with $A$ the adelic ring of a (dimension one) function field over a finite field. They are linear codes, and coincide with classical algebraic geometry codes when $r=1$. Basic properties of these codes are presented. In particular, when offering better bounds for the associated dimensions, naturally introduced is the well-known stability condition. This condition is further used to determine the minimal distances of these codes. To end this paper, for reader's convenience, we add two appendices on some details of the adelic theory of curves and classical AG codes, respectively.


title: Asymmetric motion of magnetically actuated artificial cilia

abstract: Most microorganisms use hair-like cilia with asymmetric beating to perform vital bio-physical processes. In this paper, we demonstrate a novel fabrication method for creating magnetic artificial cilia capable of such biologically inspired asymmetrical beating pattern essential for creating microfluidic transport in low Reynolds number. The cilia are fabricated using a lithographic process in conjunction with deposition of magnetic nickel-iron permalloy to create flexible filaments that can be manipulated by varying an external magnetic field. A rotating permanent magnet is used to actuate the cilia. We examine the kinematics of a cilium and demonstrate that the cilium motion is defined by an interplay among elastic, magnetic, and viscous forces. Specifically, the forward stroke is induced by the rotation of the magnet which bends the cilium, whereas the recovery stroke is defined by the straightening of the deformed cilium, releasing the accumulated elastic potential energy. This difference in dominating forces acting during the forward stroke and the recovery stroke leads to an asymmetrical beating pattern of the cilium. Such magnetic cilia can find applications in microfluidic pumping, mixing, and other fluid handling processes.


title: Energy-Constrained Compression for Deep Neural Networks via Weighted Sparse Projection and Layer Input Masking

abstract: Deep Neural Networks (DNNs) are increasingly deployed in highly energy-constrained environments such as autonomous drones and wearable devices while at the same time must operate in real-time. Therefore, reducing the energy consumption has become a major design consideration in DNN training. This paper proposes the first end-to-end DNN training framework that provides quantitative energy consumption guarantees via weighted sparse projection and input masking. The key idea is to formulate the DNN training as an optimization problem in which the energy budget imposes a previously unconsidered optimization constraint. We integrate the quantitative DNN energy estimation into the DNN training process to assist the constrained optimization. We prove that an approximate algorithm can be used to efficiently solve the optimization problem. Compared to the best prior energy-saving methods, our framework trains DNNs that provide higher accuracies under same or lower energy budgets. Code is publicly available.


title: Fast and selective inter-band transfer of ultracold atoms in bichromatic lattices permitting Dirac points

abstract: An experimental group at Beijing[Yueyang Zhai, ${\it et. al.}$, Phys. Rev. A ${\bf 87}$, 063638 (2013)] introduced the method of standing-wave pulse sequence for efficiently preparing ultracold bosonic atoms into a specific excited band in a 1-dimensional optical lattice. Here, we report a theoretical extension of their work to the problem of 1-dimensional bichromatic superlattice. We find that varying the lattice parameters leads to the so-called Dirac point where a pair of excited bands crosses. This paper thus discusses ${\it simultaneously}$ the efficient excitation of the wave packet to the proximity of the Dirac point and its subsequent dynamics in the force field of a parabolic trap. With the aid of a toy model, we theoretically unravel the mechanism of the efficient preparation, and then numerically explore optimal pulse-sequence parameters for a realistic situation. We find an optimized sequence of a bichromatic optical lattice that excites more than 99% of the atoms to the 1st and 2nd excited bands within 100 $\mu$s without the harmonic trap. Our main finding is that the system permitting the Dirac point possesses a region of parameters where the excited energy bands become nearly parabolic, conducive to robust coherence and isochronicity. We also provide an appropriate data set for future experimentation, including effects of the atom-atom interaction by way of the mean-field nonlinear term.


title: Qualitative difference in rheology between fragile and network-forming strong liquids

abstract: We elucidate a qualitative difference in rheology between fragile and network-forming strong liquids. In a flow field, the structural configuration is distorted in accordance with the flow symmetry, whereas the form of the interaction potential remains unchanged. The role of this mismatch in the relaxation mechanism under the flow field is crucial for understanding the shear-thinning mechanism and differs between strong and fragile glass formers. In fragile glass formers, shear thinning can be attributed to the shear-induced reduction of the {\it effective density}. In contrast, in strong glass formers, the shear-induced reduction of the {\it effective activation energy} is a possible origin of a significant acceleration in relaxation. Our simple predictions of the crossover shear rate, $\dot\gamma_{\rm c}$, from Newtonian to non-Newtonian behaviors can be expressed in terms of experimental observables: in fragile liquids, $\dot\gamma_{\rm c}=(\rho \partial \tau_\alpha/\partial \rho)^{-1}$, where $\rho$ and $\tau_\alpha$ are the density and structural relaxation time, respectively, and in strong liquids, $\dot\gamma_{\rm c}= (\tau_\alpha\Delta E_0 /T)^{-1} $, where $T$ and $\Delta E_0$ are the temperature and equilibrium activation energy, respectively. These predictions are consistent with the results of molecular dynamics simulations for four different glass formers: two fragile and two strong ones. This different route to the non-Newtonian flow response is related to differences in the role of density in the relaxation dynamics.


title: Baseline Requirements For Detecting Biosignatures with the HabEx and LUVOIR Mission Concepts

abstract: A milestone in understanding life in the universe is the detection of biosignature gases in the atmospheres of habitable exoplanets. Future mission concepts under study by the 2020 decadal survey, e.g., HabEx and LUVOIR, have the potential of achieving this goal. We investigate the baseline requirements for detecting four molecular species, H$_2$O, O$_2$, CH$_4$, and CO$_2$, assuming concentrations of these species equal to that of modern Earth. These molecules are highly relevant to habitability and life on Earth and other planets. Through numerical simulations, we find the minimum requirements of spectral resolution, starlight suppression, and exposure time for detecting biosignature and habitability marker gases. The results are highly dependent on cloud conditions. A low-cloud case is more favorable because of deeper and denser lines whereas a no-cloud case is the pessimistic case for its low albedo. The minimum exposure time for detecting a certain molecule species can vary by a large factor ($\sim$10) between the low-cloud case and the no-cloud case. For all cases, we provide baseline requirements for HabEx and LUVOIR. The impact of exo-zodiacal contamination and thermal background is also discussed and will be included in future studies.


title: Augmenting Stream Constraint Programming with Eventuality Conditions

abstract: Stream constraint programming is a recent addition to the family of constraint programming frameworks, where variable domains are sets of infinite streams over finite alphabets. Previous works showed promising results for its applicability to real-world planning and control problems. In this paper, motivated by the modelling of planning applications, we improve the expressiveness of the framework by introducing 1) the "until" constraint, a new construct that is adapted from Linear Temporal Logic and 2) the @ operator on streams, a syntactic sugar for which we provide a more efficient solving algorithm over simple desugaring. For both constructs, we propose corresponding novel solving algorithms and prove their correctness. We present competitive experimental results on the Missionaries and Cannibals logic puzzle and a standard path planning application on the grid, by comparing with Apt and Brand's method for verifying eventuality conditions using a CP approach.


title: Differentiable Compositional Kernel Learning for Gaussian Processes

abstract: The generalization properties of Gaussian processes depend heavily on the choice of kernel, and this choice remains a dark art. We present the Neural Kernel Network (NKN), a flexible family of kernels represented by a neural network. The NKN architecture is based on the composition rules for kernels, so that each unit of the network corresponds to a valid kernel. It can compactly approximate compositional kernel structures such as those used by the Automatic Statistician (Lloyd et al., 2014), but because the architecture is differentiable, it is end-to-end trainable with gradient-based optimization. We show that the NKN is universal for the class of stationary kernels. Empirically we demonstrate pattern discovery and extrapolation abilities of NKN on several tasks that depend crucially on identifying the underlying structure, including time series and texture extrapolation, as well as Bayesian optimization.


title: ISO-Standard Domain-Independent Dialogue Act Tagging for Conversational Agents

abstract: Dialogue Act (DA) tagging is crucial for spoken language understanding systems, as it provides a general representation of speakers' intents, not bound to a particular dialogue system. Unfortunately, publicly available data sets with DA annotation are all based on different annotation schemes and thus incompatible with each other. Moreover, their schemes often do not cover all aspects necessary for open-domain human-machine interaction. In this paper, we propose a methodology to map several publicly available corpora to a subset of the ISO standard, in order to create a large task-independent training corpus for DA classification. We show the feasibility of using this corpus to train a domain-independent DA tagger testing it on out-of-domain conversational data, and argue the importance of training on multiple corpora to achieve robustness across different DA categories.


title: Broadcast and minimum spanning tree with $o(m)$ messages in the asynchronous CONGEST model

abstract: We provide the first asynchronous distributed algorithms to compute broadcast and minimum spanning tree with $o(m)$ bits of communication, in a graph with $n$ nodes and $m$ edges. For decades, it was believed that $\Omega(m)$ bits of communication are required for any algorithm that constructs a broadcast tree. In 2015, King, Kutten and Thorup showed that in the KT1 model where nodes have initial knowledge of their neighbors' identities it is possible to construct MST in $\tilde{O}(n)$ messages in the synchronous CONGEST model. In the CONGEST model messages are of size $O(\log n)$. However, no algorithm with $o(m)$ messages were known for the asynchronous case. Here, we provide an algorithm that uses $O(n^{3/2} \log^{3/2} n)$ messages to find MST in the asynchronous CONGEST model. Our algorithm is randomized Monte Carlo and outputs MST with high probability. We will provide an algorithm for computing a spanning tree with $O(n^{3/2} \log^{3/2} n)$ messages. Given a spanning tree, we can compute MST with $\tilde{O}(n)$ messages.


title: Sparse, Collaborative, or Nonnegative Representation: Which Helps Pattern Classification?

abstract: The use of sparse representation (SR) and collaborative representation (CR) for pattern classification has been widely studied in tasks such as face recognition and object categorization. Despite the success of SR/CR based classifiers, it is still arguable whether it is the $\ell_{1}$-norm sparsity or the $\ell_{2}$-norm collaborative property that brings the success of SR/CR based classification. In this paper, we investigate the use of nonnegative representation (NR) for pattern classification, which is largely ignored by previous work. Our analyses reveal that NR can boost the representation power of homogeneous samples while limiting the representation power of heterogeneous samples, making the representation sparse and discriminative simultaneously and thus providing a more effective solution to representation based classification than SR/CR. Our experiments demonstrate that the proposed NR based classifier (NRC) outperforms previous representation based classifiers. With deep features as inputs, it also achieves state-of-the-art performance on various visual classification tasks.


title: Neural Network Models for Paraphrase Identification, Semantic Textual Similarity, Natural Language Inference, and Question Answering

abstract: In this paper, we analyze several neural network designs (and their variations) for sentence pair modeling and compare their performance extensively across eight datasets, including paraphrase identification, semantic textual similarity, natural language inference, and question answering tasks. Although most of these models have claimed state-of-the-art performance, the original papers often reported on only one or two selected datasets. We provide a systematic study and show that (i) encoding contextual information by LSTM and inter-sentence interactions are critical, (ii) Tree-LSTM does not help as much as previously claimed but surprisingly improves performance on Twitter datasets, (iii) the Enhanced Sequential Inference Model is the best so far for larger datasets, while the Pairwise Word Interaction Model achieves the best performance when less data is available. We release our implementations as an open-source toolkit.


title: Automatic Ship Detection of Remote Sensing Images from Google Earth in Complex Scenes Based on Multi-Scale Rotation Dense Feature Pyramid Networks

abstract: Ship detection has been playing a significant role in the field of remote sensing for a long time but it is still full of challenges. The main limitations of traditional ship detection methods usually lie in the complexity of application scenarios, the difficulty of intensive object detection and the redundancy of detection region. In order to solve such problems above, we propose a framework called Rotation Dense Feature Pyramid Networks (R-DFPN) which can effectively detect ship in different scenes including ocean and port. Specifically, we put forward the Dense Feature Pyramid Network (DFPN), which is aimed at solving the problem resulted from the narrow width of the ship. Compared with previous multi-scale detectors such as Feature Pyramid Network (FPN), DFPN builds the high-level semantic feature-maps for all scales by means of dense connections, through which enhances the feature propagation and encourages the feature reuse. Additionally, in the case of ship rotation and dense arrangement, we design a rotation anchor strategy to predict the minimum circumscribed rectangle of the object so as to reduce the redundant detection region and improve the recall. Furthermore, we also propose multi-scale ROI Align for the purpose of maintaining the completeness of semantic and spatial information. Experiments based on remote sensing images from Google Earth for ship detection show that our detection method based on R-DFPN representation has a state-of-the-art performance.


title: Invariant Tensors in Gauge Theories

abstract: Invariant tensors play an important role in gauge theories, for example, in dualities of N=1 gauge theories. However, for theories with fields in representations larger than the fundamental, the full set of invariant tensors is often difficult to construct. We present a new approach to the construction of these tensors, and use it to find the complete set of invariant tensors of a theory of SO(3) with fields in the symmetric tensor representation.


title: On extremal sections of subspaces of $L_p$

abstract: Let $m,n\in\mathbb{N}$ and $p\in(0,\infty)$. For a finite dimensional quasi-normed space $X=(\mathbb{R}^m, \|\cdot\|_X)$, let $$B_p^n(X) = \Big\{ (x_1,\ldots,x_n)\in\big(\mathbb{R}^{m}\big)^n: \ \sum_{i=1}^n \|x_i\|_X^p \leq 1\Big\}.$$ We show that for every $p\in(0,2)$ and $X$ which admits an isometric embedding into $L_p$, the function $$S^{n-1} \ni \theta = (\theta_1,\ldots,\theta_n) \longmapsto \Big| B_p^n(X) \cap\Big\{(x_1,\ldots,x_n)\in \big(\mathbb{R}^{m}\big)^n: \ \sum_{i=1}^n \theta_i x_i=0 \Big\} \Big|$$ is a Schur convex function of $(\theta_1^2,\ldots,\theta_n^2)$, where $|\cdot|$ denotes Lebesgue measure. In particular, it is minimized when $\theta=\big(\frac{1}{\sqrt{n}},\ldots,\frac{1}{\sqrt{n}}\big)$ and maximized when $\theta=(1,0,\ldots,0)$. This is a consequence of a more general statement about Laplace transforms of norms of suitable Gaussian random vectors which also implies dual estimates for the mean width of projections of the polar body $\big(B_p^n(X)\big)^\circ$ if the unit ball $B_X$ of $X$ is in Lewis' position. Finally, we prove a lower bound for the volume of projections of $B_\infty^n(X)$, where $X=(\mathbb{R}^m,\|\cdot\|_X)$ is an arbitrary quasi-normed space.


title: Bayesian Inference in Nonparanormal Graphical Models

abstract: Gaussian graphical models have been used to study intrinsic dependence among several variables, but the Gaussianity assumption may be restrictive in many applications. A nonparanormal graphical model is a semiparametric generalization for continuous variables where it is assumed that the variables follow a Gaussian graphical model only after some unknown smooth monotone transformations on each of them. We consider a Bayesian approach in the nonparanormal graphical model by putting priors on the unknown transformations through a random series based on B-splines where the coefficients are ordered to induce monotonicity. A truncated normal prior leads to partial conjugacy in the model and is useful for posterior simulation using Gibbs sampling. On the underlying precision matrix of the transformed variables, we consider a spike-and-slab prior and use an efficient posterior Gibbs sampling scheme. We use the Bayesian Information Criterion to choose the hyperparameters for the spike-and-slab prior. We present a posterior consistency result on the underlying transformation and the precision matrix. We study the numerical performance of the proposed method through an extensive simulation study and finally apply the proposed method on a real data set.


title: Adaptive MPC for Autonomous Lane Keeping

abstract: This paper proposes an Adaptive Robust Model Predictive Control strategy for lateral control in lane keeping problems, where we continuously learn an unknown, but constant steering angle offset present in the steering system. Longitudinal velocity is assumed constant. The goal is to minimize the outputs, which are distance from lane center line and the steady state heading angle error, while satisfying respective safety constraints. We do not assume perfect knowledge of the vehicle lateral dynamics model and estimate and adapt in real-time the maximum possible bound of the steering angle offset from data using a robust Set Membership Method based approach. Our approach is even well-suited for scenarios with sharp curvatures on high speed, where obtaining a precise model bias for constrained control is difficult, but learning from data can be helpful. We ensure persistent feasibility using a switching strategy during change of lane curvature. The proposed methodology is general and can be applied to more complex vehicle dynamics problems.


title: Competing edge structures of Sb and Bi bilayers by trivial and nontrivial band topologies

abstract: One-dimensional (1D) edge states formed at the boundaries of 2D normal and topological insulators have shown intriguing quantum phases such as charge density wave and quantum spin Hall effect. Based on first-principles density-functional theory calculations including spin-orbit coupling (SOC), we show that the edge states of zigzag Sb(111) and Bi(111) nanoribbons drastically change the stability of their edge structures. For zigzag Sb(111) nanoribbon, the Peierls-distorted or reconstructed edge structure is stabilized by a band-gap opening. However, for zigzag Bi(111) nanoribbon, such two insulating structures are destabilized due to the presence of topologically protected gapless edge states, resulting in the stabilization of a metallic, shear-distorted edge structure. We also show that the edge states of the Bi(111) nanoribbon exhibit a larger Rashba-type spin splitting at the boundary of Brillouin zone, compared to those of the Sb(111) nanoribbon. Interestingly, the spin textures of edge states in the Peierls-distorted Sb edge structure and the shear-distorted Bi edge structure have all three spin components perpendicular and parallel to the edges, due to their broken mirror-plane symmetry. The present findings demonstrate that the topologically trivial and nontrivial edge states play crucial roles in determining the edge structures of normal and topological insulators.


title: A note on bornologies

abstract: A bornology on a set $X$ is a family $\mathcal{B}$ of subsets of $X$ closed under taking subsets, finite unions and such that $\cup \mathcal{B}=X$. We prove that, for a bornology $\mathcal{B}$ on $X$, the following statements are equivalent: (1) there exists a vector topology $\tau$ on the vector space $\mathbb{V} (X) $ over $\mathbb{R}$ such that $\mathcal{B}$ is the family of all subsets of $X$ bounded in $\tau$; (2) there exists a uniformity $\mathcal{U}$ on $X$ such that $\mathcal{B}$ is the family of all subsets of $X$ totally bounded in $\mathcal{U}$; (3) for every $Y \subseteq X$, $Y \notin \mathcal{B}$, there exists a metric $d$ on $X$ such that $\mathcal{B}\subseteq \mathcal{B}_d$, $Y\notin \mathcal{B}_d$, where $\mathcal{B}_d$ is the family of all closed discrete subsets of $(X, d)$; (4) for every $Y \subseteq X$, $Y \notin \mathcal{B}$, there exists $Z\subseteq Y$ such that $Z^{\prime} \notin \mathcal{B}$ for each infinite subset $Z^{\prime}$ of $Z$. A bornology $\mathcal{B}$ satisfying $(4)$ is called antitall. We give topological and functional characterizations of antitall bornologies.


title: Theoretical and Simulation Study of 'Comb' Electron beam and THz generation

abstract: A compact accelerator based super-radiant THz source is under development at Inter University Accelerator Centre (IUAC), New Delhi. The facility is based on the principle of pre-bunched Free Electron Laser (FEL) which will produce THz radiation in the range of ~0.18 to 3 THz from a modulated electron beam. A photocathode electron gun will generate a short train of microbunches (a "comb" beam) driven by a fiber laser system capable of producing multi micro-pulse laser beam with variable separation ( "comb" laser pulse). Upon acceleration, the electron beam will be injected in to a compact undulator magnet tuned to the same frequency as the separation of the electron micro-bunches. The paper discusses the process of enhancement of super-radiant emission of radiation due to modulation in the comb beam and the conditions required to achieve maximum enhancement of the radiation power. The feasibility study of generating a comb beam at the photocathode and its transport through the beamline while preserving its temporal structure has been reported. To evaluate the characteristics of the radiation emitted from the comb beam, a C++ based particle tracker and Lienard-Wiechert field solver has been developed. The conceptual understanding of the emission of radiation from comb beam is shown to conform with the numerical results. The code has been used to calculate the radiation pulse energy emitted into the central cone of undulator for various comb beam configurations.


title: When Will Gradient Methods Converge to Max-margin Classifier under ReLU Models?

abstract: We study the implicit bias of gradient descent methods in solving a binary classification problem over a linearly separable dataset. The classifier is described by a nonlinear ReLU model and the objective function adopts the exponential loss function. We first characterize the landscape of the loss function and show that there can exist spurious asymptotic local minima besides asymptotic global minima. We then show that gradient descent (GD) can converge to either a global or a local max-margin direction, or may diverge from the desired max-margin direction in a general context. For stochastic gradient descent (SGD), we show that it converges in expectation to either the global or the local max-margin direction if SGD converges. We further explore the implicit bias of these algorithms in learning a multi-neuron network under certain stationary conditions, and show that the learned classifier maximizes the margins of each sample pattern partition under the ReLU activation.


title: On the Non-vanishing of the Central Value of Certain L-functions: Unitary Groups

abstract: Let $\pi$ be an irreducible cuspidal automorphic representation of a quasi-split unitary group ${\rm U}_{\mathfrak n}$ defined over a number field $F$. Under the assumption that $\pi$ has a generic global Arthur parameter, we establish the non-vanishing of the central value of $L$-functions, $L(\frac{1}{2},\pi\times\chi)$, with a certain automorphic character $\chi$ of ${\rm U}_1$, for the case of ${\mathfrak n}=2,3,4$, and for the general ${\mathfrak n}\geq 5$ by assuming a conjecture on certain refined properties of global Arthur packets. In consequence, we obtain some simultaneous non-vanishing results for the central $L$-values by means of the theory of endoscopy.


title: A thermodynamic framework for modelling membrane transporters

abstract: Membrane transporters contribute to the regulation of the internal environment of cells by translocating substrates across cell membranes. Like all physical systems, the behaviour of membrane transporters is constrained by the laws of thermodynamics. However, many mathematical models of transporters, especially those incorporated into whole-cell models, are not thermodynamically consistent, leading to unrealistic behaviour. In this paper we use a physics-based modelling framework, in which the transfer of energy is explicitly accounted for, to develop thermodynamically consistent models of transporters. We then apply this methodology to model two specific transporters: the cardiac sarcoplasmic/endoplasmic Ca$^{2+}$ ATPase (SERCA) and the cardiac Na$^+$/K$^+$ ATPase.


title: Focused Hierarchical RNNs for Conditional Sequence Processing

abstract: Recurrent Neural Networks (RNNs) with attention mechanisms have obtained state-of-the-art results for many sequence processing tasks. Most of these models use a simple form of encoder with attention that looks over the entire sequence and assigns a weight to each token independently. We present a mechanism for focusing RNN encoders for sequence modelling tasks which allows them to attend to key parts of the input as needed. We formulate this using a multi-layer conditional sequence encoder that reads in one token at a time and makes a discrete decision on whether the token is relevant to the context or question being asked. The discrete gating mechanism takes in the context embedding and the current hidden state as inputs and controls information flow into the layer above. We train it using policy gradient methods. We evaluate this method on several types of tasks with different attributes. First, we evaluate the method on synthetic tasks which allow us to evaluate the model for its generalization ability and probe the behavior of the gates in more controlled settings. We then evaluate this approach on large scale Question Answering tasks including the challenging MS MARCO and SearchQA tasks. Our models shows consistent improvements for both tasks over prior work and our baselines. It has also shown to generalize significantly better on synthetic tasks as compared to the baselines.


title: Phase transitions in spiked matrix estimation: information-theoretic analysis

abstract: We study here the so-called spiked Wigner and Wishart models, where one observes a low-rank matrix perturbed by some Gaussian noise. These models encompass many classical statistical tasks such as sparse PCA, submatrix localization, community detection or Gaussian mixture clustering. The goal of these notes is to present in a unified manner recent results (as well as new developments) on the information-theoretic limits of these spiked matrix models. We compute the minimal mean squared error for the estimation of the low-rank signal and compare it to the performance of spectral estimators and message passing algorithms. Phase transition phenomena are observed: depending on the noise level it is either impossible, easy (i.e. using polynomial-time estimators) or hard (information-theoretically possible, but no efficient algorithm is known to succeed) to recover the signal.


title: Optimizing Variational Quantum Circuits using Evolution Strategies

abstract: This version withdrawn by arXiv administrators because the submitter did not have the right to agree to our license at the time of submission.


title: Homological mirror symmetry for Milnor fibers via moduli of $A_\infty$-structures

abstract: We show that the base spaces of the semiuniversal unfoldings of some weighted homogeneous singularities can be identified with moduli spaces of $A_\infty$-structures on the trivial extension algebras of the endomorphism algebras of the tilting objects. The same algebras also appear in the Fukaya categories of their mirrors. Based on these identifications, we discuss applications to homological mirror symmetry for Milnor fibers, and give a proof of homological mirror symmetry for an $n$-dimensional affine hypersurface of degree $n + 2$ and the double cover of the $n$-dimensional affine space branched along a degree $2n + 2$ hypersurface. Along the way, we also give a proof of a conjecture of Seidel from math/0206155 which may be of independent interest.


title: Exploiting Document Knowledge for Aspect-level Sentiment Classification

abstract: Attention-based long short-term memory (LSTM) networks have proven to be useful in aspect-level sentiment classification. However, due to the difficulties in annotating aspect-level data, existing public datasets for this task are all relatively small, which largely limits the effectiveness of those neural models. In this paper, we explore two approaches that transfer knowledge from document- level data, which is much less expensive to obtain, to improve the performance of aspect-level sentiment classification. We demonstrate the effectiveness of our approaches on 4 public datasets from SemEval 2014, 2015, and 2016, and we show that attention-based LSTM benefits from document-level knowledge in multiple ways.


title: Asymmetric response to PMI announcements in China's stock returns

abstract: Considered an important macroeconomic indicator, the Purchasing Managers' Index (PMI) on Manufacturing generally assumes that PMI announcements will produce an impact on stock markets. International experience suggests that stock markets react to negative PMI news. In this research, we empirically investigate the stock market reaction towards PMI in China. The asymmetric effects of PMI announcements on the stock market are observed: no market reaction is generated towards negative PMI announcements, while a positive reaction is generally generated for positive PMI news. We further find that the positive reaction towards the positive PMI news occurs 1 day before the announcement and lasts for nearly 3 days, and the positive reaction is observed in the context of expanding economic conditions. By contrast, the negative reaction towards negative PMI news is prevalent during downward economic conditions for stocks with low market value, low institutional shareholding ratios or high price earnings. Our study implies that China's stock market favors risk to a certain extent given the vast number of individual investors in the country, and there may exist information leakage in the market.


title: Schur Function Expansions and the Rational Shuffle Theorem

abstract: Gorsky and Negut introduced operators $Q_{m,n}$ on symmetric functions and conjectured that, in the case where $m$ and $n$ are relatively prime, the expression ${Q}_{m,n}(1)$ is given by the Hikita polynomial ${H}_{m,n}[X;q,t]$. Later, Bergeron-Garsia-Leven-Xin extended and refined the conjectures of ${Q}_{m,n}(1)$ for arbitrary $m$ and $n$ which we call the Extended Rational Shuffle Conjecture. In the special case ${Q}_{n+1,n}(1)$, the Rational Shuffle Conjecture becomes the Shuffle Conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov, which was proved in 2015 by Carlsson and Mellit as the Shuffle Theorem. The Extended Rational Shuffle Conjecture was later proved by Mellit as the Extended Rational Shuffle Theorem. The main goal of this paper is to study the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$ in certain special cases. Leven gave a combinatorial proof of the Schur function expansion of ${Q}_{2,2n+1}(1)$ and ${Q}_{2n+1,2}(1)$. In this paper, we explore several symmetries in the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$. Especially, we study the hook-shaped Schur function coefficients, and the Schur function expansion of ${Q}_{m,n}(1)$ in the case where $m$ or $n$ equals $3$.


title: Perfect Generation of Angular Momentum with Cylindrical Bianisotropic Metasurfaces

abstract: Recent advances in metasurfaces have shown the importance of controlling the bianisotropic response of the constituent meta-atoms for maximum efficiency wavefront transformation. Under the paradigm of a bianisotropic metasurface, full control of the local scattering properties is allowed opening new design avenues for creating reciprocal metasurfaces. Despite recent advances in the perfect transformation of both electromagnetic and acoustic plane waves, the importance of bianisotropic metasurfaces for transforming cylindrical waves is still unexplored. Motivated by the possibility of arbitrarily controlling the angular momentum of cylindrical waves, we develop a design methodology for a bianisotropic cylindrical metasurface that enables perfect transformation of cylindrical waves. This formalism is applied to the acoustic scenario and the first experimental demonstration of perfect angular momentum transformation is shown.


title: Single flavour optimisations to Hybrid Monte Carlo

abstract: It has become increasingly important to include one or more individual flavours of dynamical fermion in lattice QCD simulations. This is due in part to the advent of QCD+QED calculations, where isospin symmetry breaking means that the up, down, and strange quarks must be treated separately. These single-flavour pseudofermions are typically implemented as rational approximations to the inverse of the fermion matrix, using the technique known as Rational Hybrid Monte Carlo (RHMC). Over the years, a wide range of methods have been developed for accelerating simulations of two degenerate flavours of pseudofermion, while there are comparatively fewer such techniques for single-flavour pseudofermions. Here, we investigate two different filtering methods that can be applied to RHMC for simulating single-flavour pseudofermions, namely polynomial filtering (PF-RHMC), and filtering via truncations of the ordered product (tRHMC). A novel integration step-size tuning technique based on the characteristic scale is also introduced. Studies are performed on two different lattice volumes, demonstrating that one can achieve significant reductions in the computational cost of single-flavour simulations with these filtering techniques.


title: Network Subgraphs of the heterogeneous Chinese credit system

abstract: In this study, we investigate the evolution of Chinese guarantee networks from the angle of sub-patterns. First, we find that the mutual, 2-out-stars and triangle sub-patterns are motifs in 2- and 3-node subgraphs. Considering the heterogeneous financial characteristics of nodes, we find that small firms tend to form a mutual guarantee relationship and large firms are likely to be the guarantors in 2-out-stars sub-patterns.


title: Large $c$ Virasoro Blocks from Monodromy Method beyond Known Limits

abstract: In this paper, we study large $c$ Virasoro blocks by using the Zamolodchikov monodromy method beyond its known limits. We give an analytic proof of our recent conjectur, which implied that the asymptotics of the large $c$ conformal blocks can be expressed in very simple forms, even if outside its known limits, namely the semiclassical limit or the heavy-light limit. In particular, we analytically discuss the fact that the asymptotic behavior of large $c$ conformal blocks drastically changes when the dimensions of external primary states reach the value $\frac{c}{32}$, which is conjectured by our numerical studies. The results presented in this work imply that the general solutions to the Zamolodchikov recursion relation are given by Cardy-like formula, which is an important conclusion that can be numerically drawn from our recent works. Mathematical derivations and analytical results imply that, in the bulk, the collision behavior between two heavy particles may undergo a remarkable transition associated with their masses.


title: Nuclear starburst activity induced by elongated bulges in spiral galaxies

abstract: We study the effects of bulge elongation on the star formation activity in the centers of spiral galaxies using the data from the Sloan Digital Sky Survey Data Release 7. We construct a volume-limited sample of face-on spiral galaxies with $M_r < -$19.5 mag at 0.02 $\leq z <$ 0.055 by excluding barred galaxies, where the aperture of the SDSS spectroscopic fibre covers the bulges of the galaxies. We adopt the ellipticity of bulges measured by Simard et al. (2011) who performed two-dimensional bulge+disc decompositions using the SDSS images of galaxies, and identify nuclear starbursts using the fibre specific star formation rates derived from the SDSS spectra. We find a statistically significant correlation between bulge elongation and nuclear starbursts in the sense that the fraction of nuclear starbursts increases with bulge elongation. This correlation is more prominent for fainter and redder galaxies, which exhibit higher ratios of elongated bulges. We find no significant environmental dependence of the correlation between bulge elongation and nuclear starbursts. These results suggest that non-axisymmetric bulges can efficiently feed the gas into the centre of galaxies to trigger nuclear starburst activity.


title: Superconductivity arising from layer-differentiation in multi-layer cuprates

abstract: In order to theoretically identify the factors governing superconductivity in multi-layer cuprates, a three-layer Hubbard model is studied with the two-particle self-consistent (TPSC) approach so as to incorporate electron correlations. The linearized Eliashberg equation is then solved for the gap function in a matrix form to resolve the role of outer CuO$_2$ planes (OPs) and inner plane (IP). We show that OPs dominate IP in the $d_{x^{2}-y^{2}}$-wave superconductivity, while IP dominates in the antiferromagnetism. This comes from an electron correlation effect in that the correlation makes the doping rates different between OPs and IP (i.e., a self-doping effect), which occurs in intermediate and strong correlation regimes. Namely, the antiferromagnetic fluctuations in IP are stronger due to a stronger electron correlation, which simultaneously reduces the quasiparticle density of states in IP with a suppressed $d_{x^{2}-y^{2}}$-wave superconductivity. Intriguingly, while the off-diagonal (inter-layer) elements in the gap function matrix are tiny, {\it inter-layer pair scattering} processes are in fact at work in enhancing the superconducting transition temperature $T_{\text{c}}$ through the inter-layer Green's functions. This actually causes the trilayer system to have higher $T_{\text{c}}$ than the single-layer in a weak- and intermediate-coupling regimes. This picture holds for a range of the on-site Hubbard repulsion $U$ that contains those estimated for the cuprates. The present result is qualitatively consistent with nuclear magnetic resonance experiments in multi-layer cuprates superconductors.


title: SoK: Sanitizing for Security

abstract: The C and C++ programming languages are notoriously insecure yet remain indispensable. Developers therefore resort to a multi-pronged approach to find security issues before adversaries. These include manual, static, and dynamic program analysis. Dynamic bug finding tools --- henceforth "sanitizers" --- can find bugs that elude other types of analysis because they observe the actual execution of a program, and can therefore directly observe incorrect program behavior as it happens. A vast number of sanitizers have been prototyped by academics and refined by practitioners. We provide a systematic overview of sanitizers with an emphasis on their role in finding security issues. Specifically, we taxonomize the available tools and the security vulnerabilities they cover, describe their performance and compatibility properties, and highlight various trade-offs.


title: A Directed Acyclic Graph Approach to Online Log Parsing

abstract: Logs are widely used in modern software system management because they are often the only data accessible that record system events at runtime. In recent years, because of the ever-increasing log size, data mining techniques are often utilized to help developers and operators conduct system reliability management. A typical log-based system reliability management procedure is to first parse log messages because of their unstructured format; and apply data mining techniques on the parsed logs to obtain critical system behavior information. Most of existing research studies focus on offline log parsing, which need to parse logs in batch mode. However, software systems, especially distributed systems, require online monitoring and maintenance. Thus, a log parser that can parse log messages in a streaming manner is highly in demand. To address this problem, we propose an online log parsing method, namely Drain, based on directed acyclic graph, which encodes specially designed rules for parsing. Drain can automatically generate a directed acyclic graph for a new system and update the graph according to the incoming log messages. Besides, Drain frees developers from the burden of parameter tuning by allowing them use Drain with no pre-defined parameters. To evaluate the performance of Drain, we collect 11 log datasets generated by real-world systems, ranging from distributed systems, Web applications, supercomputers, operating systems, to standalone software. The experimental results show that Drain has the highest accuracy on all 11 datasets. Moreover, Drain obtains 37.15\%$\sim$ 97.14\% improvement in the running time over the state-of-the-art online parsers. We also conduct a case study on a log-based anomaly detection task using Drain in the parsing step, which determines its effectiveness in system reliability management.


title: Multi-Task Neural Models for Translating Between Styles Within and Across Languages

abstract: Generating natural language requires conveying content in an appropriate style. We explore two related tasks on generating text of varying formality: monolingual formality transfer and formality-sensitive machine translation. We propose to solve these tasks jointly using multi-task learning, and show that our models achieve state-of-the-art performance for formality transfer and are able to perform formality-sensitive translation without being explicitly trained on style-annotated translation examples.


title: Rethinking Blockchain Security: Position Paper

abstract: Blockchain technology has become almost as famous for incidents involving security breaches as for its innovative potential. We shed light on the prevalence and nature of these incidents through a database structured using the STIX format. Apart from OPSEC-related incidents, we find that the nature of many incidents is specific to blockchain technology. Two categories stand out: smart contracts, and techno-economic protocol incentives. For smart contracts, we propose to use recent advances in software testing to find flaws before deployment. For protocols, we propose the PRESTO framework that allows us to compare different protocols within a five-dimensional framework.


title: Agent-Based Models in Social Physics

abstract: We review the agent-based models (ABM) on social physics including econophysics. The ABM consists of agent, system space, and external environment. The agent is autonomous and decides his/her behavior by interacting with the neighbors or the external environment with the rules of behavior. Agents are irrational because they have only limited information when they make decisions. They adapt using learning from past memories. Agents have various attributes and are heterogeneous. ABM is a non-equilibrium complex system that exhibits various emergence phenomena. The social complexity ABM describes human behavioral characteristics. In ABMs of econophysics, we introduce the Sugarscape model and the artificial market models. We review minority games and majority games in ABMs of game theory. Social flow ABM introduces crowding, evacuation, traffic congestion, and pedestrian dynamics. We also review ABM for opinion dynamics and voter model. We discuss features and advantages and disadvantages of Netlogo, Repast, Swarm, and Mason, which are representative platforms for implementing ABM.


title: MSplit LBI: Realizing Feature Selection and Dense Estimation Simultaneously in Few-shot and Zero-shot Learning

abstract: It is one typical and general topic of learning a good embedding model to efficiently learn the representation coefficients between two spaces/subspaces. To solve this task, $L_{1}$ regularization is widely used for the pursuit of feature selection and avoiding overfitting, and yet the sparse estimation of features in $L_{1}$ regularization may cause the underfitting of training data. $L_{2}$ regularization is also frequently used, but it is a biased estimator. In this paper, we propose the idea that the features consist of three orthogonal parts, \emph{namely} sparse strong signals, dense weak signals and random noise, in which both strong and weak signals contribute to the fitting of data. To facilitate such novel decomposition, \emph{MSplit} LBI is for the first time proposed to realize feature selection and dense estimation simultaneously. We provide theoretical and simulational verification that our method exceeds $L_{1}$ and $L_{2}$ regularization, and extensive experimental results show that our method achieves state-of-the-art performance in the few-shot and zero-shot learning.


title: Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"

abstract: In the past decades, classical results from algebra, including Hilbert's Basis Theorem, had various applications in formal languages, including a proof of the Ehrenfeucht Conjecture, decidability of HDT0L sequence equivalence, and decidability of the equivalence problem for functional tree-to-string transducers. In this paper, we study the scope of the algebraic methods mentioned above, particularily as applied to the equivalence problem for register automata. We provide two results, one positive, one negative. The positive result is that equivalence is decidable for MSO transformations on unordered forests. The negative result comes from a try to extend this method to decide equivalence on macro tree transducers. We reduce macro tree transducers equivalence to an equivalence problem for some class of register automata naturally relevant to our method. We then prove this latter problem to be undecidable.


title: Simplicity of algebras associated to non-Hausdorff groupoids

abstract: We prove a uniqueness theorem and give a characterization of simplicity for Steinberg algebras associated to non-Hausdorff ample groupoids. We also prove a uniqueness theorem and give a characterization of simplicity for the C*-algebra associated to non-Hausdorff \'etale groupoids. Then we show how our results apply in the setting of tight representations of inverse semigroups, groups acting on graphs, and self-similar actions. In particular, we show that C*-algebra and the complex Steinberg algebra of the self-similar action of the Grigorchuk group are simple but the Steinberg algebra with coefficients in $\mathbb{Z}_2$ is not simple.


title: State and Network Structures of Stock Markets around the Global Financial Crisis

abstract: We consider the effects of the 2008 global financial crisis on the global stock market before, during, and after the crisis. We generate complex networks from a cross-correlation matrix such as the threshold network (TN) and the minimal spanning tree (MST). In the threshold network, we assign a threshold value by using the mean and standard deviation of cross-correlation coefficients. When the threshold is equal to the mean of these coefficients, we observe a giant cluster composed of three economic zones in all three periods. We find that during the crisis, the countries in the Asian zone were weakly connected and those in the American zone were tightly linked to the countries in the European zone. At a large threshold, the three economic zones were fragmented. The European countries connected tightly, but the Asian countries bound weakly. The MST constructed from the distance matrix. In the MST, France remained a hub node in all three periods. The size of the MST shrank slightly during the crisis. We observe a scaling relation between the network distance of nodes from the central hub (France) and the geometrical distance. We observe the topological change of the financial network structure during the global financial crisis. The TN and MST are complementary roles to understand the connecting structure of financial complex networks. The TN reveals to observe the clustering effects and robustness of the cluster during the financial crisis. The MST shows the central hub and connecting node among the economic zones.


title: Downlink Analysis in Unmanned Aerial Vehicle (UAV) Assisted Cellular Networks with Clustered Users

abstract: The use of unmanned aerial vehicles (UAVs) operating as aerial base stations (BSs) has emerged as a promising solution especially in scenarios requiring rapid deployments (e.g., in the cases of crowded hotspots, sporting events, emergencies, natural disasters) in order to assist the ground BSs. In this paper, an analytical framework is provided to analyze the signal-to-interference-plus-noise ratio (SINR) coverage probability of unmanned aerial vehicle (UAV) assisted cellular networks with clustered user equipments (UEs). Locations of UAVs and ground BSs are modeled as Poison point processes (PPPs), and UEs are assumed to be distributed according to a Poisson cluster process (PCP) around the projections of UAVs on the ground. Initially, the complementary cumulative distribution function (CCDF) and probability density function (PDF) of path losses for both UAV and ground BS tiers are derived. Subsequently, association probabilities with each tier are obtained. SINR coverage probability is derived for the entire network using tools from stochastic geometry. Finally, area spectral efficiency (ASE) of the entire network is determined, and SINR coverage probability expression for a more general model is presented by considering that UAVs are located at different heights. Via numerical results, we have shown that UAV height and path-loss exponents play important roles on the coverage performance. Moreover, coverage probability can be improved with smaller number of UAVs, while better area spectral efficiency is achieved by employing more UAVs and having UEs more compactly clustered around the UAVs.


title: Photonic Crystal Fiber Metalens

abstract: Optical fiber is a well-established efficient way to guide and manipulate light and allowing high bandwidth optical transmission for long distance communication with low attenuation. Although a dielectric optical waveguide is efficient for transmitting light, its functionality is limited by the dielectric properties of the materials of core and cladding.The light coming out from optical fiber is typically diverging, and the numerical aperture is determined by the refractive index of the fiber materials. Thus, the light intensity decreases significantly upon exiting the fiber. The use of metasurfaces provides the opportunity to tailor light properties for advanced light manipulation and to develop novel optical applications that are flat. By producing a specific phase profile using spatially-varied nano-antenna elements, metasurfaces can control the wavefront of the transmitted, reflected, and scattered light, and enable novel ultrathin optical components such as flat lenses. Here, we report an ultrathin optical metalens cascaded on the facet of optical fiber that enables light focusing in the telecommunication regime. In-fiber metalenses with focal lengths of 28 and 40 um and maximum efficiency of ~16.4% at a wavelength of 1550 nm are demonstrated. The integration of an ultrathin metalens and optical fiber will open the path to revolutionary in-fiber optical devices for practical applications in optical imaging, sensing, and fiber laser.


title: Heat transfer statistics in extreme-near-field radiation

abstract: We investigate the full counting statistics of extreme-near-field radiative heat transfer using nonequilibrium Green's function formalism. In the extreme near field, the electron-electron interactions between two metallic bodies dominate the heat transfer process. We start from a general tight-binding electron Hamiltonian and obtain a Levitov-Lesovik like scaled cumulant generating function (SCGF) using random phase approximation to deal with electron-electron interaction. The expressions of heat current and its fluctuation (second cumulant) are obtained from the SCGF. The fluctuation symmetry relation of the SCGF is verified. In the linear response limit (small temperature gradient), we express the heat current cumulant by a linear combination of lower order cumulants. The heat current fluctuation is $2k_B T^2$ times the thermal conductance with $T$ the average temperature in the linear response limit, and this provides an evaluation of heat current fluctuation by measuring the thermal conductance in extreme-near field-radiative heat transfer.


title: Reversible Codes and Its Application to Reversible DNA Codes over $F_{4^k}$

abstract: Coterm polynomials are introduced by Oztas et al. [a novel approach for constructing reversible codes and applications to DNA codes over the ring $F_2[u]/(u^{2k}-1)$, Finite Fields and Their Applications 46 (2017).pp. 217-234.], which generate reversible codes. In this paper, we generalize the coterm polynomials and construct some reversible codes which are optimal codes by using $m$-quasi-reciprocal polynomials. Moreover, we give a map from DNA $k$-bases to the elements of $F_{4^k}$, and construct reversible DNA codes over $F_{4^k}$ by DNA-$m$-quasi-reciprocal polynomials.


title: Initialize globally before acting locally: Enabling Landmark-free 3D US to MRI Registration

abstract: Registration of partial-view 3D US volumes with MRI data is influenced by initialization. The standard of practice is using extrinsic or intrinsic landmarks, which can be very tedious to obtain. To overcome the limitations of registration initialization, we present a novel approach that is based on Euclidean distance maps derived from easily obtainable coarse segmentations. We evaluate our approach quantitatively on the publicly available RESECT dataset and show that it is robust regarding overlap of target area and initial position. Furthermore, our method provides initializations that are suitable for state-of-the-art nonlinear, deformable image registration algorithm's capture ranges.


title: Complete regular dessins of odd prime power order

abstract: A dessin is a $2$-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts regularly on the edges. In this paper we employ group-theoretic method to determine and enumerate the isomorphism classes of regular dessins with the complete bipartite underlying graphs of odd prime power order.


title: Nilpotent groups of class two which underly a unique regular dessin

abstract: A dessin is an embedding of connected bipartite graph into an oriented closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts transitively on the edges. In the present paper regular dessins with a nilpotent automorphism group are investigated, and attention are paid on those with the highest level of external symmetry. Depending on the algebraic theory of dessins and using group-theoretical methods, we present a classification of nilpotent groups of class two which underly a unique regular dessin.


title: Regular dessins uniquely determined by a nilpotent automorphism group

abstract: It is well known that the automorphism group of a regular dessin is a two-generator finite group, and the isomorphism classes of regular dessins with automorphism groups isomorphic to a given finite group $G$ are in one-to-one correspondence with the orbits of the action of $\Aut(G)$ on the ordered generating pairs of $G$. If there is only one orbit, then up to isomorphism the regular dessin is uniquely determined by the group $G$ and it is called uniquely regular. In the paper we investigate the classification of uniquely regular dessins with a nilpotent automorphism group. The problem is reduced to the classification of finite maximally automorphic $p$-groups $G$, i.e., the order of the automorphism group of $G$ attains Hall's upper bound. Maximally automorphic $p$-groups of nilpotency class three are classified.


title: Spin-orbit effects at chiral surfaces

abstract: Two-dimensional hexagonal and oblique lattices were investigated theoretically with the aim of observing differences in the spin expectation values between chiral and achiral systems. The spinresolved band structures were derived from the energy eigenvalues and eigenfunctions of a Hamiltonian that includes the lattice potential and the spin-orbit interaction. The spin texture of the achiral hexagonal system was shown to have two non-zero components of the spin polarisation, whereas all three components were calculated to be non-zero for the chiral system. The longitudinal component, found to be zero in the achiral lattice, was observed to invert between the enantiomorphs of the chiral lattice. A heuristic model was introduced to discern the origin of this inverting spin polarisation by considering the dynamics of an electron in chiral and achiral lattices. This model was further used to demonstrate the change in magnitude of the spin polarisation as a function of the lattice parameters and an electric field perpendicular to the lattice.


title: Electronic properties across metal-insulator transition in \beta-pyrochlore-type CsW2O6 epitaxial films

abstract: In CsW2O6, which undergoes a metal-insulator transition (MIT) at 213 K, the emergence of exotic properties associated with rattling motion of Cs is expected owing to its characteristic \beta-pyrochlore-type structure. However, a hurdle for crystal growth hampers elucidation of detailed properties and mechanisms of the MIT. Here we report on the epitaxial growth of \beta-pyrochlore-type CsW2O6 films and their electronic properties across the MIT. Using pulsed-laser deposi-tion technique, we grew single-crystalline CsW2O6 films exhibiting remarkably lower resistivity compared with a poly-crystalline bulk and sharp MIT around 200 K. Negative magnetoresistance and positive Hall coefficient were found, which became pronounced below 200 K. The valence-band and core-levels photoemission spectra indicated the drastic changes across the MIT. In the valence band photoemission spectrum, the finite density of states was observed at the Fermi level in the metallic phase. In contrast, an energy gap appeared in the insulating phase. The split of W 4f core-level spectrum suggested the charge disproportionation of W5+ and W6+ in the insulating phase. The change of spectral shape in the Cs 4d core levels reflected the rattling motion of Cs+ cations. These results strongly suggest that CsW2O6 is a novel material, in which MIT is driven by the charge disproportionation associated with the rattling motion.


title: Fast Rotational Sparse Coding

abstract: We propose an algorithm for rotational sparse coding along with an efficient implementation using steerability. Sparse coding (also called dictionary learning) is an important technique in image processing, useful in inverse problems, compression, and analysis; however, the usual formulation fails to capture an important aspect of the structure of images: images are formed from building blocks, e.g., edges, lines, or points, that appear at different locations, orientations, and scales. The sparse coding problem can be reformulated to explicitly account for these transforms, at the cost of increased computation. In this work, we propose an algorithm for a rotational version of sparse coding that is based on K-SVD with additional rotation operations. We then propose a method to accelerate these rotations by learning the dictionary in a steerable basis. Our experiments on patch coding and texture classification demonstrate that the proposed algorithm is fast enough for practical use and compares favorably to standard sparse coding.


title: Domain formation mechanism of the Si(110)"16 x 2" reconstruction

abstract: The main factor that determines which of the two domains form upon reconstruction of the Si(110)"16 x 2" surface has been investigated. LEED and STM images showed that the domain orientation was independent of the heating current direction used to induce the Si(110)"16 x 2" reconstruction. Reciprocal-space lattice models of the reconstruction allowed for the correct identification of the domain orientations in the LEED images and confirm that the reconstruction is 2D-chiral. It is proposed that the domain orientation upon surface reconstruction is determined by the direction of monoatomic steps present on the Si(110) plane. This is in turn determined by the direction at which the surface is polished off-axis from the (110) plane.


title: Modeling the nonperturbative contributions to the complex heavy-quark potential

abstract: In this paper, we construct a simple model for the complex heavy quark potential which is defined through the Fourier transform of the static gluon propagator. Besides the hard thermal loop resummed contribution, the gluon propagator also includes a non-perturbative term induced by the dimension two gluon condensate. Within the framework of thermal field theory, the real and imaginary parts of the heavy quark potential are determined in a consistent way without resorting to any extra assumption as long as the exact form of the retarded/advanced gluon propagator is specified. The resulting potential model has the desired asymptotic behaviors and reproduces the data from lattice simulation reasonably well. By presenting a direct comparison with other complex potential models on the market, we find the one proposed in this work shows a significant improvement on the description of the lattice results, especially for the imaginary part of the potential, in a temperature region relevant to quarkonium studies.


title: Hybrid stars from the NJL model with a tensor interaction

abstract: In order to obtain the equation of state and construct hybrid stars, we calculate the thermodynamic potential in the two-flavor Nambu--Jona-Lasinio model with tensor-type four-point interaction between quarks. In addition, we impose the beta equilibrium and charge neutrality conditions on the system. We show that the tensor condensate appears at large chemical potential, however, it is difficult to hold hybrid stars with two-solar mass by using the equation of state with the tensor interaction. Although we cannot obtain the stars with two-solar mass because of the absense of the repulsive interaction, the estimated magnetic moment density is very large. Therefore, we expect that the tensor interaction descrobes the magnetic fields of compact stars.


title: Transformation of the linear difference equation into a system of the first order difference equations

abstract: The transformation of the Nth- order linear difference equation into a system of the first order difference equations is presented. The proposed transformation gives possibility to get new forms of the N-dimensional system of the first order equations that can be useful for analysis of the solutions of the Nth- order difference equations. In particular, for the third-order linear difference equation the nonlinear second-order difference equation that plays the same role as the Riccati equation for second-order linear difference equation is obtained. The new form of the N-dimensional system of first order equations can be also used for finding the WKB solutions of the linear difference equation with coefficients that vary sufficiently slowly with index.


title: Monodisperse versus polydisperse ultrasound contrast agents: nonlinear response, sensitivity, and deep tissue imaging potential

abstract: Monodisperse microbubble ultrasound contrast agents have been proposed to further increase the signal-to-noise-ratio of contrast enhanced ultrasound imaging. Here, the sensitivity of a polydisperse preclinical agent was compared experimentally to that of its size- and acoustically-sorted derivatives by using narrowband pressure- and frequency-dependent scattering and attenuation measurements. The sorted monodisperse agents showed up to a two orders of magnitude increase in sensitivity, i.e. in the average scattering cross-section per bubble. Moreover, we demonstrate here, for the first time, that the highly nonlinear response of acoustically sorted microbubbles can be exploited to confine scattering and attenuation to the focal region of ultrasound fields used in clinical imaging. This property is a result of minimal prefocal scattering and attenuation and can be used to minimize shadowing effects in deep tissue imaging. Moreover, it potentially allows for more localized therapy using microbubbles through the spatial control of resonant microbubble oscillations.


title: Chord diagrams, exact correlators in spin glasses and black hole bulk reconstruction

abstract: The exact 2-point function of certain physically motivated operators in SYK-like spin glass models is computed, bypassing the Schwinger-Dyson equations. The models possess an IR low energy conformal window, but our results are exact at all time scales. The main tool developed is a new approach to the combinatorics of chord diagrams, allowing to rewrite the spin glass system using an auxiliary Hilbert space, and Hamiltonian, built on the space of open chord diagrams. We argue the latter can be interpreted as the bulk description and that it reduces to the Schwarzian action in the low energy limit.

categories: hep-th cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Projecting Embeddings for Domain Adaptation: Joint Modeling of Sentiment Analysis in Diverse Domains

abstract: Domain adaptation for sentiment analysis is challenging due to the fact that supervised classifiers are very sensitive to changes in domain. The two most prominent approaches to this problem are structural correspondence learning and autoencoders. However, they either require long training times or suffer greatly on highly divergent domains. Inspired by recent advances in cross-lingual sentiment analysis, we provide a novel perspective and cast the domain adaptation problem as an embedding projection task. Our model takes as input two mono-domain embedding spaces and learns to project them to a bi-domain space, which is jointly optimized to (1) project across domains and to (2) predict sentiment. We perform domain adaptation experiments on 20 source-target domain pairs for sentiment classification and report novel state-of-the-art results on 11 domain pairs, including the Amazon domain adaptation datasets and SemEval 2013 and 2016 datasets. Our analysis shows that our model performs comparably to state-of-the-art approaches on domains that are similar, while performing significantly better on highly divergent domains. Our code is available at https://github.com/jbarnesspain/domain_blse


title: Interaction induced edge states in HgTe/CdTe Quantum Well under magnetic field

abstract: In this paper, we study doped HgTe/CdTe quantum well with Hubbard-type interaction under perpendicular magnetic field using a lattice Bernevig-Hughes-Zhang (BHZ) model with a bulk inversion asymmetry (BIA) term. We show that the BIA term is strongly enhanced by interaction around the region when the band inversion of the topological insulator is destroyed by a magnetic field. The enhanced BIA term creates edge-like electronic states which can explain the experimentally discovered edge conductance in doped HgTe/CdTe quantum well at similar magnetic field regime.


title: Reduced quantum anomaly in a quasi-2D Fermi superfluid: The significance of the confinement-induced effective range of interactions

abstract: A two-dimensional (2D) harmonically trapped interacting Fermi gas is anticipated to exhibit a quantum anomaly and possesses a breathing mode at frequencies different from a classical scale invariant value $\omega_{B}=2\omega_{\perp}$, where $\omega_{\perp}$ is the trapping frequency. The predicted maximum quantum anomaly ($\sim10\%$) has not been confirmed in experiments. Here, we theoretically investigate the zero-temperature density equation of state and the breathing mode frequency of an interacting Fermi superfluid at the dimensional crossover from three to two dimensions. We find that the simple model of a 2D Fermi gas with a single $s$-wave scattering length is not adequate to describe the experiments in the 2D limit, as commonly believed. A more complete description of quasi-2D leads to a much weaker quantum anomaly, consistent with the experimental observations. We clarify that the reduced quantum anomaly is due to the significant confinement-induced effective range of interactions, which is overlooked in previous theoretical and experimental studies.


title: Holomorphic quadratic differentials dual to Fenchel-Nielsen coordinates

abstract: We discuss bases of the space of holomorphic quadratic differentials that are dual to the differentials of Fenchel-Nielsen coordinates and hence appear naturally when considering functions on the set of hyperbolic metrics which are invariant under pull-back by diffeomorphisms, such as eigenvalues of the Laplacian. The precise estimates derived in the current paper form the basis for the proof of the sharp eigenvalue estimates on degenerating surfaces obtained in arXiv:1701.08491.


title: P4CEP: Towards In-Network Complex Event Processing

abstract: In-network computing using programmable networking hardware is a strong trend in networking that promises to reduce latency and consumption of server resources through offloading to network elements (programmable switches and smart NICs). In particular, the data plane programming language P4 together with powerful P4 networking hardware has spawned projects offloading services into the network, e.g., consensus services or caching services. In this paper, we present a novel case for in-network computing, namely, Complex Event Processing (CEP). CEP processes streams of basic events, e.g., stemming from networked sensors, into meaningful complex events. Traditionally, CEP processing has been performed on servers or overlay networks. However, we argue in this paper that CEP is a good candidate for in-network computing along the communication path avoiding detouring streams to distant servers to minimize communication latency while also exploiting processing capabilities of novel networking hardware. We show that it is feasible to express CEP operations in P4 and also present a tool to compile CEP operations, formulated in our P4CEP rule specification language, to P4 code. Moreover, we identify challenges and problems that we have encountered to show future research directions for implementing full-fledged in-network CEP systems.


title: Rate Control under Finite Blocklength for Downlink Cellular Networks with Reliability Constraints

abstract: Coming cellular systems are envisioned to open up to new services and applications with high reliability and low latency requirements. In this paper we focus on the rate allocation problem in downlink cellular networks with Rayleigh fading and stringent reliability constraints. We propose a rate control strategy to cope with those requirements making use only of topological characteristics of the scenario, the reliability constraint and the number of antennas that are available at the receiver side. Numerical results show the feasibility of the ultra-reliable operation when the number of antennas increases, and also that our results remain valid even when operating at short blocklength as far as the amount of information to be transmitted is not too small.


title: Knowledge Amalgam: Generating Jokes and Quotes Together

abstract: Generating humor and quotes are very challenging problems in the field of computational linguistics and are often tackled separately. In this paper, we present a controlled Long Short-Term Memory (LSTM) architecture which is trained with categorical data like jokes and quotes together by passing category as an input along with the sequence of words. The idea is that a single neural net will learn the structure of both jokes and quotes to generate them on demand according to input category. Importantly, we believe the neural net has more knowledge as it's trained on different datasets and hence will enable it to generate more creative jokes or quotes from the mixture of information. May the network generate a funny inspirational joke!


title: Multicellular rosettes drive fluid-solid transition in epithelial tissues

abstract: Models for confluent biological tissues often describe the network formed by cells as a triple-junction network, similar to foams. However, higher order vertices or multicellular rosettes are prevalent in developmental and {\it in vitro} processes and have been recognized as crucial in many important aspects of morphogenesis, disease, and physiology. In this work, we study the influence of rosettes on the mechanics of a confluent tissue. We find that the existence of rosettes in a tissue can greatly influence its rigidity. Using a generalized vertex model and effective medium theory we find a fluid-to-solid transition driven by rosette density and intracellular tensions. This transition exhibits several hallmarks of a second-order phase transition such as a growing correlation length and a universal critical scaling in the vicinity a critical point. Further, we elucidate the nature of rigidity transitions in dense biological tissues and other cellular structures using a generalized Maxwell constraint counting approach. This answers a long-standing puzzle of the origin of solidity in these systems.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.TO


title: Shape gradients for the failure probability of a mechanical component under cyclical loading

abstract: This work provides a numerical calculation of shape gradients of failure probabilities for mechanical components using a first discretize, then adjoint approach. While deterministic life prediction models for failure mechanisms are not (shape) differentiable, this changes in the case of probabilistic life prediction. The probabilistic, or reliability based, approach thus opens the way for efficient adjoint methods in the design for mechanical integrity. In this work we propose, implement and validate a method for the numerical calculation of the shape gradients of failure probabilities for the failure mechanism low cycle fatigue (LCF), which applies to polycrystalline metal. Numerical examples range from a bended rod to a complex geometry from a turbo charger in 3D.


title: Hopf cyclicity and global dynamics for a predator-prey system of Leslie type with simplified Holling type IV functional response

abstract: This paper is concerned with a predator-prey model of Leslie type with simplified Holling type IV functional response, provided that it has either a unique non-degenerate positive equilibrium or three distinct positive equilibria. The type and stability of each equilibrium, Hopf cyclicity of each weak focus, and the number and distribution of limit cycles in the first quadrant are studied. It is shown that every equilibrium cannot be a center. If system has a unique positive equilibrium which is a weak focus, then its order is at most $2$ and it has Hopf cyclicity $2$. Moreover, some sufficient conditions for the global stability of the unique equilibrium are established by applying Dulac's criterion and constructing the Liapunov function. If system has three distinct positive equilibria, then one of them is a saddle and the others are both anti-saddles. For two anti-saddles, we prove that the Hopf cyclicity for positive equilibrium with smaller abscissa (resp. bigger abscissa) is $2$ (resp. $1$). Furthermore, if both anti-saddle positive equilibria are weak foci, then they are unstable multiple foci with multiplicity one. Moreover, one limit cycle can bifurcate from each of them simultaneously. Numerical simulations demonstrate that there is a big stable limit cycle enclosing these two small limit cycles.


title: Qiniu Submission to ActivityNet Challenge 2018

abstract: In this paper, we introduce our submissions for the tasks of trimmed activity recognition (Kinetics) and trimmed event recognition (Moments in Time) for Activitynet Challenge 2018. In the two tasks, non-local neural networks and temporal segment networks are implemented as our base models. Multi-modal cues such as RGB image, optical flow and acoustic signal have also been used in our method. We also propose new non-local-based models for further improvement on the recognition accuracy. The final submissions after ensembling the models achieve 83.5% top-1 accuracy and 96.8% top-5 accuracy on the Kinetics validation set, 35.81% top-1 accuracy and 62.59% top-5 accuracy on the MIT validation set.


title: The classification of multipartite quantum correlation

abstract: In multipartite entanglement theory, the partial separability properties have an elegant, yet complicated structure, which boils down in the case when multipartite correlations are considered. In this work, we elaborate this, by giving necessary and sufficient conditions for the existence and uniqueness of the class of a given class-label, by the use of which we work out the structure of the classification for some important particular cases, namely, for the finest classification, for the classification based on k-partitionability and k-producibility, and for the classification based on the atoms of the correlation properties.


title: A Timed Version of the Plactic Monoid

abstract: Timed words are words where letters of the alphabet come with time stamps. We extend the definitions of semistandard tableaux, insertion, Knuth equivalence, and the plactic monoid to the setting of timed words. Using this, Greene's theorem is formulated and proved for timed words, and algorithms for the RSK correspondence are extended to real matrices.


title: Hidden by graphene -- towards effective screening of interface van der Waals interactions via monolayer coating

abstract: Recent atomic force microscopy (AFM) experiments~[ACS Nano {\bf 2014}, 8, 12410-12417] conducted on graphene-coated SiO$_2$ demonstrated that monolayer graphene (G) can effectively screen dispersion van der Waals (vdW) interactions deriving from the underlying substrate: despite the single-atom thickness of G, the AFM tip was almost insensitive to SiO$_2$, and the tip-substrate attraction was essentially determined only by G. This G vdW {\it opacity} has far reaching implications, encompassing stabilization of multilayer heterostructures, micromechanical phenomena or even heterogeneous catalysis. Yet, detailed experimental control and high-end applications of this phenomenon await sound physical understanding of the underlying physical mechanism. By quantum many-body analysis and ab-initio Density Functional Theory, here we address this challenge providing theoretical rationalization of the observed G vdW {\it opacity} for weakly interacting substrates. The non-local density response and ultra slow decay of the G vdW interaction ensure compensation between standard attractive terms and many-body repulsive contributions, enabling vdW {\it opacity} over a broad range of adsorption distances. vdW {\it opacity} appears most efficient in the low frequency limit and extends beyond London dispersion including electrostatic Debye forces. By virtue of combined theoretical/experimental validation, G hence emerges as a promising ultrathin {\it shield} for modulation and switching of vdW interactions at interfaces and complex nanoscale devices.


title: Charged particle timing at sub-25 picosecond precision: the PICOSEC detection concept

abstract: The PICOSEC detection concept consists in a "two-stage" Micromegas detector coupled to a Cherenkov radiator and equipped with a photocathode. A proof of concept has already been tested: a single-photoelectron response of 76 ps has been measured with a femtosecond UV laser at CEA/IRAMIS, while a time resolution of 24 ps with a mean yield of 10.4 photoelectrons has been measured for 150 GeV muons at the CERN SPS H4 secondary line. This work will present the main results of this prototype and the performance of the different detector configurations tested in 2016-18 beam campaigns: readouts (bulk, resistive, multipad) and photocathodes (metallic+CsI, pure metallic, diamond). Finally, the prospects for building a demonstrator based on PICOSEC detection concept for future experiments will be discussed. In particular, the scaling strategies for a large area coverage with a multichannel readout plane, the R\&D on solid converters for building a robust photocathode and the different resistive configurations for a robust readout.


title: Bending of solitons in weak and slowly varying inhomogeneous plasma

abstract: Bending of solitons in two dimensional plane is presented in the presence of weak and slowly varying inhomogeneous ion density for the propagation of ion acoustic soliton in unmagnetized cold plasma with isothermal electrons. Using reductive perturbation technique, a modified Kadomtsev- Petviashvili equation is obtained with a chosen unperturbed ion density profile. Exact solution of the equation shows that the phase of the solitary wave gets modified by a function related to the unperturbed inhomogeneous ion density causing the soliton to bend in the two dimensional plane, whereas the amplitude of the soliton remaining constant


title: Systematic errors in high-precision gravity measurements by light-pulse atom interferometry on the ground and in space

abstract: We focus on the fact that light-pulse atom interferometers measure the atoms' acceleration with only three data points per drop. As a result, the measured effect of the gravity gradient is systematically larger than the true one, an error linear with the gradient and quadratic in time almost unnoticed so far. We show how this error affects the absolute measurement of the gravitational acceleration $g$ as well as ground and space experiments with gradiometers based on atom interferometry such as those designed for space geodesy, the measurement of the universal constant of gravity and the detection of gravitational waves. When atom interferometers test the universality of free fall and the weak equivalence principle by dropping different isotopes of the same atom one laser interrogates both isotopes and the error reported here cancels out. With atom clouds of different species and two lasers of different frequencies the phase shifts measured by the interferometer differ by a large amount even in absence of violation. Systematic errors, including common mode accelerations coupled to the gravity gradient with the reported error, lead to hard concurrent requirements --on the ground and in space-- on several dimensionless parameters all of which must be smaller than the sought-for violation signal.


title: Attentive cross-modal paratope prediction

abstract: Antibodies are a critical part of the immune system, having the function of directly neutralising or tagging undesirable objects (the antigens) for future destruction. Being able to predict which amino acids belong to the paratope, the region on the antibody which binds to the antigen, can facilitate antibody design and contribute to the development of personalised medicine. The suitability of deep neural networks has recently been confirmed for this task, with Parapred outperforming all prior physical models. Our contribution is twofold: first, we significantly outperform the computational efficiency of Parapred by leveraging \`a trous convolutions and self-attention. Secondly, we implement cross-modal attention by allowing the antibody residues to attend over antigen residues. This leads to new state-of-the-art results on this task, along with insightful interpretations.


title: A new (2+1) dimensional integrable evolution equation for an ion acoustic wave in a magnetized plasma

abstract: A new, completely integrable, two dimensional evolution equation is derived for an ion acoustic wave propagating in a magnetized, collisionless plasma. The equation is a multidimensional generalization of a modulated wavepacket with weak transverse propagation, which has resemblance to nonlinear Schrodinger (NLS) equation and has a connection to Kadomtsev-Petviashvili equation through a constraint relation. Higher soliton solutions of the equation are derived through Hirota bili- nearization procedure, and an exact lump solution is calculated exhibiting 2D structure. Some mathe- matical properties demonstrating the completely integrable nature of this equation are described. Modulational instability using nonlinear frequency correction is derived, and the corresponding growth rate is calculated, which shows the directional asymmetry of the system. The discovery of this novel (2{\th}1) dimensional integrable NLS type equation for a magnetized plasma should pave a new direction of research in the field.


title: Characterization of a depleted monolithic pixel sensors in 150 nm CMOS technology for the ATLAS Inner Tracker upgrade

abstract: This work presents a depleted monolithic active pixel sensor (DMAPS) prototype manufactured in the LFoundry 150\,nm CMOS process. DMAPS exploit high voltage and/or high resistivity inclusion of modern CMOS technologies to achieve substantial depletion in the sensing volume. The described device, named LF-Monopix, was designed as a proof of concept of a fully monolithic sensor capable of operating in the environment of outer layers of the ATLAS Inner Tracker upgrade in 2025 for the High Luminosity Large Hadron Collider (HL-LHC). This type of devices has a lower production cost and lower material budget compared to presently used hybrid designs. In this work, the chip architecture will be described followed by the characterization of the different pre-amplifier and discriminator flavors with an external injection signal and an iron source (5.9\,keV x-rays).


title: Four limit cycles in a predator-prey system of Leslie type with generalized Holling type III functional response

abstract: This paper, as a complement to the works by Hsu et al [SIAM. J. Appl. Math. 55 (1995)] and Huang et al [J. Differential Equations 257 (2014)], aims to examine the Hopf bifurcation and global dynamics of a predator-prey model of Leslie type with generalized Holling type III functional response for the two cases: (A) when it has a unique non-degenerate positive equilibrium; (B) when it has three distinct positive equilibria. For each case, the type and stability of each equilibrium, Hopf bifurcation at each weak focus, and the number and distribution of limit cycles in the first quadrant are studied. It is shown that every equilibrium is not a center. For the case (A), $i$ limit cycle(s) can appear near the unique positive equilibrium, $i=1, \cdots, 4$. For $i=3$ or $4$, the model has two stable limit cycles, which gives a positive answer to the open problem proposed by Coleman [Differential equations model,1983]: finding at least two ecologically stable cycles in any natural (or laboratory) predator-prey system. For the case (B), one positive equilibrium is a saddle and the others are both anti-saddle. If one of the two anti-saddles is weak focus and the other is not, then the order of the weak focus is at most $3$. If both anti-saddles are weak foci, then they are unstable weak foci of order one. Moreover, one limit cycle can bifurcate from each of them simultaneously. Numerical simulations demonstrate that there is also a big stable limit cycle enclosing these two limit cycles. Our results indicate that the maximum number of limit cycles in the model of this kind is at least $4$, which improves the preceding results that this number is at least $2$.


title: Explaining and Generalizing Back-Translation through Wake-Sleep

abstract: Back-translation has become a commonly employed heuristic for semi-supervised neural machine translation. The technique is both straightforward to apply and has led to state-of-the-art results. In this work, we offer a principled interpretation of back-translation as approximate inference in a generative model of bitext and show how the standard implementation of back-translation corresponds to a single iteration of the wake-sleep algorithm in our proposed model. Moreover, this interpretation suggests a natural iterative generalization, which we demonstrate leads to further improvement of up to 1.6 BLEU.


title: Determination of the full statistics of quantum observables using the maximum entropy method

abstract: Numerical methods for the description of nonequilibrium many-particle quantum systems such as equation of motion techniques often cannot compute the full statistics of observables but only moments of it, such as mean, variance and higher-order moments. We employ here the maximum entropy method to numerically construct unbiased statistics based on the knowledge of moments. We verify the feasibility of the proposed method by numerical simulation of a simple birth-death model for quantum-dot-microcavity lasers, where the full photon and carrier statistics are available for comparison. We show that not only the constructed statistics but also the computed entropy and the Lagrange multipliers, which appear here as a byproduct, provide valuable insight into the physics of the considered system. For example, the entropy reveals that, in contrast to common wisdom, the photon statistics of the microcavity laser above threshold is better described by a Gaussian distribution than by a Poisson distribution. Our approach is general and can be applied to many other systems emerging in physics and related fields.


title: A pressure parametric dark energy model

abstract: In this paper, we propose a new pressure parametric model of the total cosmos energy components in a spatially flat Friedmann-Robertson-Walker (FRW) universe and then reconstruct the model into quintessence and phantom scenarios, respectively. By constraining with the datasets of the type Ia supernova (SNe Ia), the baryon acoustic oscillation (BAO) and the observational Hubble parameter data(OHD), we find that $\Omega_{m0}=0.270^{+0.039}_{-0.034}$ at the 1$\sigma$ level and our universe slightly biases towards quintessence behavior. Then we use two diagnostics including $Om(a)$ diagnostic and statefinder to discriminate our model from the cosmology constant cold dark matter ($\Lambda$CDM) model. From $Om(a)$ diagnostic, we find that our model has a relatively large deviation from the $\Lambda$CDM model at high redshifts and gradually approaches the $\Lambda$CDM model at low redshifts and in the future evolution, but they can be easily differentiated from each other at the 1$\sigma$ level all along. By the statefinder, we find that both of quintessence case and phantom case can be well distinguished from the $\Lambda$CDM model and will gradually deviate from each other. Finally, we discuss the fate of universe evolution (named the rip analysis) for the phantom case of our model and find that the universe will run into a little rip stage.


title: Vanishing of local cohomology and set-theoretically Cohen-Macaulay ideals

abstract: We generalize some known results on the relation between the cohomological and projective dimension. Then we examine the set-theoretically Cohen-Macaulay ideals to find some cohomological characterization of these kind of ideals.