title: Polylogarithmic approximation for minimum planarization (almost)

abstract: In the minimum planarization problem, given some $n$-vertex graph, the goal is to find a set of vertices of minimum cardinality whose removal leaves a planar graph. This is a fundamental problem in topological graph theory. We present a $\log^{O(1)} n$-approximation algorithm for this problem on general graphs with running time $n^{O(\log n/\log\log n)}$. We also obtain a $O(n^\varepsilon)$-approximation with running time $n^{O(1/\varepsilon)}$ for any arbitrarily small constant $\varepsilon > 0$. Prior to our work, no non-trivial algorithm was known for this problem on general graphs, and the best known result even on graphs of bounded degree was a $n^{\Omega(1)}$-approximation [Chekuri and Sidiropoulos 2013]. As an immediate corollary, we also obtain improved approximation algorithms for the crossing number problem on graphs of bounded degree. Specifically, we obtain $O(n^{1/2+\varepsilon})$-approximation and $n^{1/2} \log^{O(1)} n$-approximation algorithms in time $n^{O(1/\varepsilon)}$ and $n^{O(\log n/\log\log n)}$ respectively. The previously best-known result was a polynomial-time $n^{9/10}\log^{O(1)} n$-approximation algorithm [Chuzhoy 2011]. Our algorithm introduces several new tools including an efficient grid-minor construction for apex graphs, and a new method for computing irrelevant vertices. Analogues of these tools were previously available only for exact algorithms. Our work gives efficient implementations of these ideas in the setting of approximation algorithms, which could be of independent interest.


title: Astrophysical Multimessenger Observatory Network (AMON): Science, Infrastructure, and Status

abstract: The realization of multimessenger astrophysics will open new vistas upon the most energetic events in the universe. Messenger particles of all four of nature's fundamental forces, recorded by detectors on the ground and satellites in space, enable coincidence searches for multimessenger phenomena that will allow us to discover, observe, and explore these sources. The Astrophysical Multimessenger Observatory Network (AMON) links multiple high-energy neutrino, cosmic ray, and gamma-ray observatories as well as gravitational wave facilities into a single virtual system, enabling near real-time coincidence searches for multimessenger astrophysical transients and their electromagnetic counterparts, and providing alerts to follow-up observatories. The science case, design elements, partner observatories, and status of the AMON project are presented, followed by recent results from AMON real-time and archival analyses.


title: Hypotheses generation using link prediction in a bipartite graph

abstract: The large volume of scientific publications is likely to have hidden knowledge that can be used for suggesting new research topics. We propose an automatic method that is helpful for generating research hypotheses in the field of physics using the massive number of physics journal publications. We convert the text data of titles and abstract sections in publications to a bipartite graph, extracting words of physical matter composed of chemical elements and extracting related keywords in the paper. The proposed method predicts the formation of new links between matter and keyword nodes based on collaborative filtering and matter popularity. The formation of links represents research hypotheses, as it suggests the new possible relationships between physical matter and keywords for physical properties or phenomena. The suggested method has better performance than existing methods for link prediction in the entire bipartite graph and the subgraph that contains only a specific keyword, such as `antiferromagnetism' or `superconductivity.'


title: Privacy-Enabled Biometric Search

abstract: Biometrics have a long-held hope of replacing passwords by establishing a non-repudiated identity and providing authentication with convenience. Convenience drives consumers toward biometrics-based access management solutions. Unlike passwords, biometrics cannot be script-injected; however, biometric data is considered highly sensitive due to its personal nature and unique association with users. Biometrics differ from passwords in that compromised passwords may be reset. Compromised biometrics offer no such relief. A compromised biometric offers unlimited risk in privacy (anyone can view the biometric) and authentication (anyone may use the biometric). Standards such as the Biometric Open Protocol Standard (BOPS) (IEEE 2410-2016) provide a detailed mechanism to authenticate biometrics based on pre-enrolled devices and a previous identity by storing the biometric in encrypted form. This paper describes a biometric-agnostic approach that addresses the privacy concerns of biometrics through the implementation of BOPS. Specifically, two novel concepts are introduced. First, a biometric is applied to a neural network to create a feature vector. This neural network alone can be used for one-to-one matching (authentication), but would require a search in linear time for the one-to-many case (identity lookup). The classifying algorithm described in this paper addresses this concern by producing normalized floating-point values for each feature vector. This allows authentication lookup to occur in up to polynomial time, allowing for search in encrypted biometric databases with speed, accuracy and privacy.


title: Distances and Isomorphism between Networks: Stability and Convergence of Network Invariants

abstract: We develop the theoretical foundations of a generalized Gromov-Hausdorff distance between functions on networks that has recently been applied to various subfields of topological data analysis and optimal transport. These functional representations of networks, or networks for short, specialize in the finite setting to (possibly asymmetric) adjacency matrices and derived representations such as distance or kernel matrices. Existing literature utilizing these constructions cannot, however, benefit from continuous formulations because the continuum limits of finite networks under this distance are not well-understood. For example, while there are currently numerous persistent homology methods on finite networks, it is unclear if these methods produce well-defined persistence diagrams in the infinite setting. We resolve this situation by introducing the collection of compact networks that arises by taking continuum limits of finite networks and developing sampling results showing that this collection admits well-defined persistence diagrams. Compared to metric spaces, the isomorphism class of the generalized Gromov-Hausdorff distance over networks is rather complex, and contains representatives having different cardinalities and different topologies. We provide an exact characterization of a suitable notion of isomorphism for compact networks as well as alternative, stronger characterizations under additional topological regularity assumptions. Toward data applications, we describe a unified framework for developing quantitatively stable network invariants, provide basic examples, and cast existing results on the stability of persistent homology methods in this extended framework. To illustrate our theoretical results, we introduce a model of directed circles with finite reversibility and characterize their Dowker persistence diagrams.


title: DeepRebirth: Accelerating Deep Neural Network Execution on Mobile Devices

abstract: Deploying deep neural networks on mobile devices is a challenging task. Current model compression methods such as matrix decomposition effectively reduce the deployed model size, but still cannot satisfy real-time processing requirement. This paper first discovers that the major obstacle is the excessive execution time of non-tensor layers such as pooling and normalization without tensor-like trainable parameters. This motivates us to design a novel acceleration framework: DeepRebirth through "slimming" existing consecutive and parallel non-tensor and tensor layers. The layer slimming is executed at different substructures: (a) streamline slimming by merging the consecutive non-tensor and tensor layer vertically; (b) branch slimming by merging non-tensor and tensor branches horizontally. The proposed optimization operations significantly accelerate the model execution and also greatly reduce the run-time memory cost since the slimmed model architecture contains less hidden layers. To maximally avoid accuracy loss, the parameters in new generated layers are learned with layer-wise fine-tuning based on both theoretical analysis and empirical verification. As observed in the experiment, DeepRebirth achieves more than 3x speed-up and 2.5x run-time memory saving on GoogLeNet with only 0.4% drop of top-5 accuracy on ImageNet. Furthermore, by combining with other model compression techniques, DeepRebirth offers an average of 65ms inference time on the CPU of Samsung Galaxy S6 with 86.5% top-5 accuracy, 14% faster than SqueezeNet which only has a top-5 accuracy of 80.5%.


title: Deconvolutional Paragraph Representation Learning

abstract: Learning latent representations from long text sequences is an important first step in many natural language processing applications. Recurrent Neural Networks (RNNs) have become a cornerstone for this challenging task. However, the quality of sentences during RNN-based decoding (reconstruction) decreases with the length of the text. We propose a sequence-to-sequence, purely convolutional and deconvolutional autoencoding framework that is free of the above issue, while also being computationally efficient. The proposed method is simple, easy to implement and can be leveraged as a building block for many applications. We show empirically that compared to RNNs, our framework is better at reconstructing and correcting long paragraphs. Quantitative evaluation on semi-supervised text classification and summarization tasks demonstrate the potential for better utilization of long unlabeled text data.


title: Isoperimetric inequalities, shapes of F{\o}lner sets and groups with Shalom's property ${H_{\mathrm{FD}}}$

abstract: We prove an isoperimetric inequality for groups. As an application, we obtain lower bound on F{\o}lner functions in various nilpotent-by-cyclic groups. Under a regularity assumption, we obtain a characterization of F{\o}lner functions of these groups. As another application, we evaluate the asymptotics of the F{\o}lner function of $Sym(\mathbb{Z})\rtimes {\mathbb{Z}}$. We construct new examples of groups with Shalom's property $H_{\mathrm{FD}}$, in particular among nilpotent-by-cyclic and lacunary hyperbolic groups. Among these examples we find groups with property $H_{\mathrm{FD}}$, which are direct products of lacunary hyperbolic groups and have arbitrarily large F{\o}lner functions.


title: Global well-posedness of 3-D anisotropic Navier-Stokes system with large vertical viscous coefficient

abstract: In this paper, we first prove the global well-posedness of 3-D anisotropic Navier-Stokes system provided that the vertical viscous coefficient of the system is sufficiently large compared to some critical norm of the initial data. Then we shall construct a family of initial data, $u_{0,\nu},$ which vary fast enough in the vertical variable and which are not small in the space, $BMO^{-1}.$ Yet $u_{0,\nu}$ generates a unique global solution to the classical 3-D Navier-Stokes system provided that $\nu$ is sufficiently large.


title: Spectral function method for Hall conductivity of incoherent metals

abstract: Using a model spectral function of the electron the Hall conductivity in the normal metallic state of the Pr_{2-x}Ce_xCuO_4 (PCCO) superconductor is calculated neglecting the current vertex-correction. The result is qualitatively consistent with the experiment. Consequently the reason becomes clear why the Fermi-liquid theory fails to explain the anomaly of the Hall conductivity. The inconsistency of the fluctuation-exchange approximation also becomes clear.


title: Geometric Enclosing Networks

abstract: Training model to generate data has increasingly attracted research attention and become important in modern world applications. We propose in this paper a new geometry-based optimization approach to address this problem. Orthogonal to current state-of-the-art density-based approaches, most notably VAE and GAN, we present a fresh new idea that borrows the principle of minimal enclosing ball to train a generator G\left(\bz\right) in such a way that both training and generated data, after being mapped to the feature space, are enclosed in the same sphere. We develop theory to guarantee that the mapping is bijective so that its inverse from feature space to data space results in expressive nonlinear contours to describe the data manifold, hence ensuring data generated are also lying on the data manifold learned from training data. Our model enjoys a nice geometric interpretation, hence termed Geometric Enclosing Networks (GEN), and possesses some key advantages over its rivals, namely simple and easy-to-control optimization formulation, avoidance of mode collapsing and efficiently learn data manifold representation in a completely unsupervised manner. We conducted extensive experiments on synthesis and real-world datasets to illustrate the behaviors, strength and weakness of our proposed GEN, in particular its ability to handle multi-modal data and quality of generated data.


title: Proton network flexibility enables robustness and large electric fields in the ketosteroid isomerase active site

abstract: Hydrogen bond networks play vital roles in biological functions ranging from protein folding to enzyme catalysis. Here we combine electronic structure calculations and ab initio path integral molecular dynamics simulations, which incorporate both nuclear and electronic quantum effects, to show why the network of short hydrogen bonds in the active site of ketosteroid isomerase is remarkably robust to mutations along the network and how this gives rise to large local electric fields. We demonstrate that these properties arise from the network's ability to respond to a perturbation by shifting proton positions and redistributing electronic charge density. This flexibility leads to small changes in properties such as the partial ionization of residues and $pK_a$ isotope effects upon mutation of the residues, consistent with recent experiments. This proton flexibility is further enhanced when an extended hydrogen bond network forms in the presence of an intermediate analog, which allows us to explain the chemical origins of the large electric fields in the enzyme's active site observed in recent experiments.


title: Magneto Acoustic Spin Hall Oscillators

abstract: This paper introduces a novel oscillator that combines the tunability of spin Hall-driven nano oscillators with the high quality factor (Q) of high overtone bulk acoustic wave resonators (HBAR), integrating both reference and tunable oscillators on the same chip with CMOS. In such magneto acoustic spin Hall (MASH) oscillators, voltage oscillations across the magnetic tunnel junction (MTJ) that arise from a spin-orbit torque (SOT) are shaped by the transmission response of the HBAR that acts as a multiple peak-bandpass filter and a delay element due to its large time constant, providing delayed feedback. The filtered voltage oscillations can be fed back to the MTJ via a) strain, b) current, or c) magnetic field. We develop a SPICE-based circuit model by combining experimentally benchmarked models including the stochastic Landau-Lifshitz-Gilbert (sLLG) equation for magnetization dynamics and the Butterworth Van Dyke (BVD) circuit for the HBAR. Using the self-consistent model, we project up to $\sim$ 50X enhancement in the oscillator linewidth with Q reaching up to 52825 at 3 GHz, while preserving the tunability by locking the STNO to the nearest high Q peak of the HBAR. We expect that our results will inspire MEMS-based solutions to spintronic devices by combining attractive features of both fields for a variety of applications.


title: Amplitude death in a ring of nonidentical nonlinear oscillators with unidirectional coupling

abstract: We study the collective behaviors in a ring of coupled nonidentical nonlinear oscillators with unidirectional coupling, of which natural frequencies are distributed in a random way. We find the amplitude death phenomena in the case of unidirectional couplings and discuss the differences between the cases of bidirectional and unidirectional couplings. There are three main differences; there exists neither partial amplitude death nor local clustering behavior but oblique line structure which represents directional signal flow on the spatio-temporal patterns in the unidirectional coupling case. The unidirectional coupling has the advantage of easily obtaining global amplitude death in a ring of coupled oscillators with randomly distributed natural frequency. Finally, we explain the results using the eigenvalue analysis of Jacobian matrix at the origin and also discuss the transition of dynamical behavior coming from connection structure as coupling strength increases.


title: Testing the electroweak phase transition in scalar extension models at lepton colliders

abstract: We study the electroweak phase transition in three scalar extension models beyond the Standard Model. Assuming new scalars are decoupled at some heavy scale, we use the covariant derivative expansion method to derive all of the dimension-6 effective operators, whose coefficients are highly correlated in a specific model. We provide bounds to the complete set of dimension-6 operators by including the electroweak precision test and recent Higgs measurements. We find that the parameter space of strong first-order phase transitions (induced by the $|H|^6$ operator) can be probed extensively in $Zh$ production at future electron-positron colliders.


title: Robust Gaussian Stochastic Process Emulation

abstract: We consider estimation of the parameters of a Gaussian Stochastic Process (GaSP), in the context of emulation (approximation) of computer models for which the outcomes are real-valued scalars. The main focus is on estimation of the GaSP parameters through various generalized maximum likelihood methods, mostly involving finding posterior modes; this is because full Bayesian analysis in computer model emulation is typically prohibitively expensive. The posterior modes that are studied arise from objective priors, such as the reference prior. These priors have been studied in the literature for the situation of an isotropic covariance function or under the assumption of separability in the design of inputs for model runs used in the GaSP construction. In this paper, we consider more general designs (e.g., a Latin Hypercube Design) with a class of commonly used anisotropic correlation functions, which can be written as a product of isotropic correlation functions, each having an unknown range parameter and a fixed roughness parameter. We discuss properties of the objective priors and marginal likelihoods for the parameters of the GaSP and establish the posterior propriety of the GaSP parameters, but our main focus is to demonstrate that certain parameterizations result in more robust estimation of the GaSP parameters than others, and that some parameterizations that are in common use should clearly be avoided. These results are applicable to many frequently used covariance functions, e.g., power exponential, Mat{\'e}rn, rational quadratic and spherical covariance. We also generalize the results to the GaSP model with a nugget parameter. Both theoretical and numerical evidence is presented concerning the performance of the studied procedures.


title: The Slack Realization Space of a Polytope

abstract: In this paper we introduce a natural model for the realization space of a polytope up to projective equivalence which we call the slack realization space of the polytope. The model arises from the positive part of an algebraic variety determined by the slack ideal of the polytope. This is a saturated determinantal ideal that encodes the combinatorics of the polytope. We also derive a new model of the realization space of a polytope from the positive part of the variety of a related ideal. The slack ideal offers an effective computational framework for several classical questions about polytopes such as rational realizability, non-prescribability of faces, and realizability of combinatorial polytopes.


title: Optimal Experimental Design for Constrained Inverse Problems

abstract: In this paper, we address the challenging problem of optimal experimental design (OED) of constrained inverse problems. We consider two OED formulations that allow reducing the experimental costs by minimizing the number of measurements. The first formulation assumes a fine discretization of the design parameter space and uses sparsity promoting regularization to obtain an efficient design. The second formulation parameterizes the design and seeks optimal placement for these measurements by solving a small-dimensional optimization problem. We consider both problems in a Bayes risk as well as an empirical Bayes risk minimization framework. For the unconstrained inverse state problem, we exploit the closed form solution for the inner problem to efficiently compute derivatives for the outer OED problem. The empirical formulation does not require an explicit solution of the inverse problem and therefore allows to integrate constraints efficiently. A key contribution is an efficient optimization method for solving the resulting, typically high-dimensional, bilevel optimization problem using derivative-based methods. To overcome the lack of non-differentiability in active set methods for inequality constraints problems, we use a relaxed interior point method. To address the growing computational complexity of empirical Bayes OED, we parallelize the computation over the training models. Numerical examples and illustrations from tomographic reconstruction, for various data sets and under different constraints, demonstrate the impact of constraints on the optimal design and highlight the importance of OED for constrained problems.


title: A Novel Method of Subgroup Identification by Combining Virtual Twins with GUIDE (VG) for Development of Precision Medicines

abstract: A lack of understanding of human biology creates a hurdle for the development of precision medicines. To overcome this hurdle we need to better understand the potential synergy between a given investigational treatment (vs. placebo or active control) and various demographic or genetic factors, disease history and severity, etc., with the goal of identifying those patients at increased risk of exhibiting clinically meaningful treatment benefit. For this reason, we propose the VG method, which combines the idea of an individual treatment effect (ITE) from Virtual Twins (Foster, et al., 2011) with the unbiased variable selection and cutoff value determination algorithm from GUIDE (Loh, et al., 2015). Simulation results show the VG method has less variable selection bias than Virtual Twins and higher statistical power than GUIDE Interaction in the presence of prognostic variables with strong treatment effects. Type I error and predictive performance of Virtual Twins, GUIDE and VG are compared through the use of simulation studies. Results obtained after retrospectively applying VG to data from a clinical trial also are discussed.


title: Large Magellanic Cloud Near-Infrared Synoptic Survey. V. Period-Luminosity Relations of Miras

abstract: We study the near-infrared properties of 690 Mira candidates in the central region of the Large Magellanic Cloud, based on time-series observations at JHKs. We use densely-sampled I-band observations from the OGLE project to generate template light curves in the near infrared and derive robust mean magnitudes at those wavelengths. We obtain near-infrared Period-Luminosity relations for Oxygen-rich Miras with a scatter as low as 0.12 mag at Ks. We study the Period-Luminosity-Color relations and the color excesses of Carbon-rich Miras, which show evidence for a substantially different reddening law.


title: Hidden Charm Pentaquark $P_c(4380)$ and Doubly Charmed Baryon $\Xi_{cc}^*(4380)$ as Hadronic Molecule States

abstract: We study hadronic molecular states in a coupled system of $J/\psi N - \Lambda_c\bar{D}^{(*)} - \Sigma_c^{(*)}\bar{D}^{(*)}$ in $I(J^P) = \frac{1}{2}(\frac{3}{2}^-)$ channel, using the complex scaling method combined with the Gaussian expansion method. We construct the potential including one pion exchange and one $D^{(*)}$ meson exchange with $S$-wave orbital angular momentum. We find that the both mass and width of the pentaquark $P_c(4380)$ can be reproduced within a reasonable parameter region, and that its main decay mode is $\Lambda_c\bar{D}^*$. We extend our analysis to a coupled system of $\Lambda_c D^{(*)} - \Sigma_c^{(*)}D^{(*)}$ in $I(J^P) = \frac{1}{2}(\frac{3}{2}^-)$ channel. We find that there exists a doubly charmed baryon of $ccqq\bar{q}$ type as a hadronic molecule, the mass and width of which are quite close to those of $P_c(4380)$.


title: Renormalized and entropy solutions for the fractional p-Laplacian parabolic equation with L^1 data

abstract: In this paper we introduce a natural function class and prove the existence and uniqueness of both nonnegative renormalized solutions and entropy solutions for the fractional p-Laplacian parabolic problem with L^1 data. And moreover, we obtain the equivalence of renormalized solutions and entropy solutions and establish a comparison result.


title: Weight-based Fish School Search algorithm for Many-Objective Optimization

abstract: Optimization problems with more than one objective consist in a very attractive topic for researchers due to its applicability in real-world situations. Over the years, the research effort in the Computational Intelligence field resulted in algorithms able to achieve good results by solving problems with more than one conflicting objective. However, these techniques do not exhibit the same performance as the number of objectives increases and become greater than 3. This paper proposes an adaptation of the metaheuristic Fish School Search to solve optimization problems with many objectives. This adaptation is based on the division of the candidate solutions in clusters that are specialized in solving a single-objective problem generated by the decomposition of the original problem. For this, we used concepts and ideas often employed by state-of-the-art algorithms, namely: (i) reference points and lines in the objectives space; (ii) clustering process; and (iii) the decomposition technique Penalty-based Boundary Intersection. The proposed algorithm was compared with two state-of-the-art bio-inspired algorithms. Moreover, a version of the proposed technique tailored to solve multi-modal problems was also presented. The experiments executed have shown that the performance obtained by both versions is competitive with state-of-the-art results.


title: A new superconducting open-framework allotrope of silicon at ambient pressure

abstract: Diamond Si is a semiconductor with an indirect band gap that is the basis of modern semiconductor technology. Although many metastable forms of Si were observed using diamond anvil cells for compression and chemical precursors for synthesis, no metallic phase at ambient conditions has been reported thus far. Here we report the prediction of pure metallic Si allotropes with open channels at ambient pressure, unlike a cubic diamond structure in covalent bonding networks. The metallic phase termed P6/m-Si6 can be obtained by removing Na after pressure release from a novel Na-Si clathrate called P6/m-NaSi6, which is discovered through first-principles study at high pressure. We confirm that both P6/m-NaSi6 and P6/m-Si6 are stable and superconducting with the critical temperatures of about 13 and 12 K at ambient pressure, respectively. The discovery of new Na-Si and Si clathrate structures presents the possibility of exploring new exotic allotropes useful for Si-based devices.


title: An Improved Neural Segmentation Method Based on U-NET

abstract: Neural segmentation has a great impact on the smooth implementation of local anesthesia surgery. At present, the network for the segmentation includes U-NET [1] and SegNet [2]. U-NET network has short training time and less training parameters, but the depth is not deep enough. SegNet network has deeper structure, but it needs longer training time, and more training samples. In this paper, we propose an improved U-NET neural network for the segmentation. This network deepens the original structure through importing residual network. Compared with U-NET and SegNet, the improved U-NET network has fewer training parameters, shorter training time and get a great improvement in segmentation effect. The improved U-NET network structure has a good application scene in neural segmentation.


title: When the cookie meets the blockchain: Privacy risks of web payments via cryptocurrencies

abstract: We show how third-party web trackers can deanonymize users of cryptocurrencies. We present two distinct but complementary attacks. On most shopping websites, third party trackers receive information about user purchases for purposes of advertising and analytics. We show that, if the user pays using a cryptocurrency, trackers typically possess enough information about the purchase to uniquely identify the transaction on the blockchain, link it to the user's cookie, and further to the user's real identity. Our second attack shows that if the tracker is able to link two purchases of the same user to the blockchain in this manner, it can identify the user's entire cluster of addresses and transactions on the blockchain, even if the user employs blockchain anonymity techniques such as CoinJoin. The attacks are passive and hence can be retroactively applied to past purchases. We discuss several mitigations, but none are perfect.


title: Greedy and Evolutionary Algorithms for Mining Relationship-Based Access Control Policies

abstract: Relationship-based access control (ReBAC) provides a high level of expressiveness and flexibility that promotes security and information sharing. We formulate ReBAC as an object-oriented extension of attribute-based access control (ABAC) in which relationships are expressed using fields that refer to other objects, and path expressions are used to follow chains of relationships between objects. ReBAC policy mining algorithms have potential to significantly reduce the cost of migration from legacy access control systems to ReBAC, by partially automating the development of a ReBAC policy from an existing access control policy and attribute data. This paper presents two algorithms for mining ReBAC policies from access control lists (ACLs) and attribute data represented as an object model: a greedy algorithm guided by heuristics, and a grammar-based evolutionary algorithm. An evaluation of the algorithms on four sample policies and two large case studies demonstrates their effectiveness.


title: Coordinated Linear Precoding in Downlink Multicell MU-MISO OFDMA Networks

abstract: This paper considers coordinated linear precoding in downlink multicell multiuser orthogonal frequency-division multiple access (OFDMA) network. A less-complex, fast and provably convergent algorithm that maximizes the weighted sum-rate with per base station (BS) transmit power constraint is formulated. We approximate the nonconvex weighted sum- rate maximization (WSRM) problem with a solvable convex form by means of sequential parametric convex approximation (SPCA) approach. The second order cone program (SOCP) formulations of the objective function and constraints of the optimization problem are derived through proper change of vari- ables, first order linear approximation and hyperbolic constraints transformation, etc. The algorithm converges to the suboptimal solution taking fewer number of iterations in comparison to other known iterative WSRM algorithms. Finally, numerical results are presented to justify the effectiveness and superiority of the proposed algorithm.


title: State independent contextuality advances one-way communication

abstract: Although `quantum contextuality' is one of the most fundamental non-classical feature, its generic role in information processing and computation is an open quest. In this article, we present a family of distributed computing tasks pertaining to every logical proof of Kochen-Specker (KS) contextuality in two different one-way communication scenarios: (I) communication of bounded dimensional system, (II) communication of unbounded dimensional system while keeping certain information oblivious, namely, oblivious communication (OC). As the later remains largely unexplored, we introduce a general framework for OC tasks and provide a methodology for obtaining an upper bound on the success of OC tasks in classical communication. We show that quantum communication comprised of every KS set of vectors outperforms classical communication and perfectly accomplishes the task in both the aforementioned scenarios. We explicitly discuss the communication tasks pertaining to the simplest state independent contextuality sets of dimension three and four. Our results establish an operational significance to single system contextuality and open up the possibility of semi-device independent quantum information processing based on that. Alongside, we identify any advantage in OC tasks as a witness of preparation contextuality.


title: Terahertz spectroscopy of an electron-hole bilayer system in AlN/GaN/AlN quantum wells

abstract: We describe studies on the nanoscale transport dynamics of carriers in strained AlN/GaN/AlN quantum wells: an electron-hole bilayer charge system with large difference in transport properties between the two charge layers. From electronic band diagram analysis, the presence of spatially separated two-dimensional electron and hole charge layers is predicted at opposite interfaces. Since these charge layers exhibit distinct spectral signatures at terahertz frequencies, a combination of terahertz and far-infrared spectroscopy enables us to extract (a) individual contributions to the total conductivity, as well as (b) effective scattering rates for charge-carriers in each layer. Furthermore, by comparing direct-current and terahertz extracted conductivity levels, we are able to determine the extent to which structural defects affect charge transport. Our results evidence that (i) a non-unity Hall-factor and (ii) the considerable contribution of holes to the overall conductivity, lead to a lower apparent mobility in Hall-effect measurements. Overall, our work demonstrates that terahertz spectroscopy is a suitable technique for the study of bilayer charge systems with large differences in transport properties between layers, such as quantum wells in III-Nitride semiconductors.


title: Frequentist coverage and sup-norm convergence rate in Gaussian process regression

abstract: Gaussian process (GP) regression is a powerful interpolation technique due to its flexibility in capturing non-linearity. In this paper, we provide a general framework for understanding the frequentist coverage of point-wise and simultaneous Bayesian credible sets in GP regression. As an intermediate result, we develop a Bernstein von-Mises type result under supremum norm in random design GP regression. Identifying both the mean and covariance function of the posterior distribution of the Gaussian process as regularized $M$-estimators, we show that the sampling distribution of the posterior mean function and the centered posterior distribution can be respectively approximated by two population level GPs. By developing a comparison inequality between two GPs, we provide exact characterization of frequentist coverage probabilities of Bayesian point-wise credible intervals and simultaneous credible bands of the regression function. Our results show that inference based on GP regression tends to be conservative; when the prior is under-smoothed, the resulting credible intervals and bands have minimax-optimal sizes, with their frequentist coverage converging to a non-degenerate value between their nominal level and one. As a byproduct of our theory, we show that the GP regression also yields minimax-optimal posterior contraction rate relative to the supremum norm, which provides a positive evidence to the long standing problem on optimal supremum norm contraction rate in GP regression.


title: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited

abstract: The replicated list object is frequently used to model the core functionality of replicated collaborative text editing systems. Since 1989, the convergence property has been a common specification of a replicated list object. Recently, Attiya et al. proposed the strong/weak list specification and conjectured that the well-known Jupiter protocol satisfies the weak list specification. The major obstacle to proving this conjecture is the mismatch between the global property on all replica states prescribed by the specification and the local view each replica maintains in Jupiter using data structures like 1D buffer or 2D state space. To address this issue, we propose CJupiter (Compact Jupiter) based on a novel data structure called $n$-ary ordered state space for a replicated client/server system with $n$ clients. At a high level, CJupiter maintains only a single $n$-ary ordered state space which encompasses exactly all states of each replica. We prove that CJupiter and Jupiter are equivalent and that CJupiter satisfies the weak list specification, thus solving the conjecture above.


title: Learning Chinese Word Representations From Glyphs Of Characters

abstract: In this paper, we propose new methods to learn Chinese word representations. Chinese characters are composed of graphical components, which carry rich semantics. It is common for a Chinese learner to comprehend the meaning of a word from these graphical components. As a result, we propose models that enhance word representations by character glyphs. The character glyph features are directly learned from the bitmaps of characters by convolutional auto-encoder(convAE), and the glyph features improve Chinese word representations which are already enhanced by character embeddings. Another contribution in this paper is that we created several evaluation datasets in traditional Chinese and made them public.


title: Topological qubits from valence bond solids

abstract: Topological qubits based on $SU(N)$-symmetric valence-bond solid models are constructed. A logical topological qubit is the ground subspace with two-fold degeneracy, which is due to the spontaneous breaking of a global parity symmetry. A logical $Z$-rotation by angle $\frac{2\pi}{N}$, for any integer $N > 2$, is provided by a global twist operation, which is of topological nature and protected by the energy gap. A general concatenation scheme with standard quantum error-correction codes is also proposed, which can lead to better codes. Generic error-correction properties of symmetry-protected topological order are also demonstrated.


title: Scalable Joint Models for Reliable Uncertainty-Aware Event Prediction

abstract: Missing data and noisy observations pose significant challenges for reliably predicting events from irregularly sampled multivariate time series (longitudinal) data. Imputation methods, which are typically used for completing the data prior to event prediction, lack a principled mechanism to account for the uncertainty due to missingness. Alternatively, state-of-the-art joint modeling techniques can be used for jointly modeling the longitudinal and event data and compute event probabilities conditioned on the longitudinal observations. These approaches, however, make strong parametric assumptions and do not easily scale to multivariate signals with many observations. Our proposed approach consists of several key innovations. First, we develop a flexible and scalable joint model based upon sparse multiple-output Gaussian processes. Unlike state-of-the-art joint models, the proposed model can explain highly challenging structure including non-Gaussian noise while scaling to large data. Second, we derive an optimal policy for predicting events using the distribution of the event occurrence estimated by the joint model. The derived policy trades-off the cost of a delayed detection versus incorrect assessments and abstains from making decisions when the estimated event probability does not satisfy the derived confidence criteria. Experiments on a large dataset show that the proposed framework significantly outperforms state-of-the-art techniques in event prediction.


title: Gravitational energy and radiation of a charged black hole

abstract: We analyze the energy configuration of a charged black hole in the Teleparallel Framework of General Relativity. We obtain the energy-momentum tensor of the gravitational field in a stationary frame, and we calculate its contribution to the total energy of the system. We study the same gravitational field measured by an accelerated frame and we analyze how the energy-momentum tensor is transformed. We found that in the accelerated frame, a Poyinting-like flux appears for the gravitational field but not for the electromagnetic field.


title: A Nonlinear Plancherel Theorem with Applications to Global Well-Posedness for the Defocusing Davey-Stewartson Equation and to the Inverse Boundary Value Problem of Calder\'on

abstract: We prove a Plancherel theorem for a nonlinear Fourier transform in two dimensions arising in the Inverse Scattering method for the defocusing Davey-Stewartson II equation. We then use it to prove global well-posedness and scattering in $L^2$ for defocusing DSII. This Plancherel theorem also implies global uniqueness in the inverse boundary value problem of Calder\'on in dimension $2$, for conductivities $\sigma>0$ with $\log \sigma \in \dot H^1$. The proof of the nonlinear Plancherel theorem includes new estimates on classical fractional integrals, as well as a new result on $L^2$-boundedness of pseudo-differential operators with non-smooth symbols, valid in all dimensions.


title: On $G$-invariant Gorenstein ideals

abstract: Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional representation of $G$ over $k$. Then we show that if $Q$ is a $G$-invariant homogeneous ideal of $A$ such that $A/Q$ is a Gorenstein ring then $A^G/Q^G$ is also a Gorenstein ring.


title: Massive charged Dirac fields around Reissner-Nordstr\"om black holes: quasibound states and long-lived modes

abstract: The behavior of a massive charged test Dirac field in the background of a Reissner-Nordstr\"om black hole is investigated. Especially, we obtain the frequencies of quasibound states by solving the Dirac equation numerically both in time and frequency domain. Our results suggest that although the absence of superradiance excludes the existence of stationary solutions for massive Dirac fields, it is still possible to find arbitrarily long-lived solutions.


title: Principal Component Analysis for Fermionic Critical Points

abstract: We use determinant Quantum Monte Carlo (DQMC), in combination with the principal component analysis (PCA) approach to unsupervised learning, to extract information about phase transitions in several of the most fundamental Hamiltonians describing strongly correlated materials. We first explore the zero temperature antiferromagnet to singlet transition in the Periodic Anderson Model, the Mott insulating transition in the Hubbard model on a honeycomb lattice, and the magnetic transition in the 1/6-filled Lieb lattice. We then discuss the prospects for learning finite temperature superconducting transitions in the attractive Hubbard model, for which there is no sign problem. Finally, we investigate finite temperature charge density wave (CDW) transitions in the Holstein model, where the electrons are coupled to phonon degrees of freedom, and carry out a finite size scaling analysis to determine $T_c$. We examine the different behaviors associated with Hubbard-Stratonovich auxiliary field configurations on both the entire space-time lattice and on a single imaginary time slice, or other quantities, such as equal-time Green's and pair-pair correlation functions.


title: Switching synchronization in 1-D memristive networks: An exact solution

abstract: We study a switching synchronization phenomenon taking place in one-dimensional memristive networks when the memristors switch from the high to low resistance state. It is assumed that the distributions of threshold voltages and switching rates of memristors are arbitrary. Using the Laplace transform, a set of non-linear equations describing the memristors dynamics is solved exactly, without any approximations. The time dependencies of memristances are found and it is shown that the voltage falls across memristors are proportional to their threshold voltages. A compact expression for the network switching time is derived.


title: Active Orthogonal Matching Pursuit for Sparse Subspace Clustering

abstract: Sparse Subspace Clustering (SSC) is a state-of-the-art method for clustering high-dimensional data points lying in a union of low-dimensional subspaces. However, while $\ell_1$ optimization-based SSC algorithms suffer from high computational complexity, other variants of SSC, such as Orthogonal Matching Pursuit-based SSC (OMP-SSC), lose clustering accuracy in pursuit of improving time efficiency. In this letter, we propose a novel Active OMP-SSC, which improves clustering accuracy of OMP-SSC by adaptively updating data points and randomly dropping data points in the OMP process, while still enjoying the low computational complexity of greedy pursuit algorithms. We provide heuristic analysis of our approach, and explain how these two active steps achieve a better tradeoff between connectivity and separation. Numerical results on both synthetic data and real-world data validate our analyses and show the advantages of the proposed active algorithm.


title: Dialogue Act Segmentation for Vietnamese Human-Human Conversational Texts

abstract: Dialog act identification plays an important role in understanding conversations. It has been widely applied in many fields such as dialogue systems, automatic machine translation, automatic speech recognition, and especially useful in systems with human-computer natural language dialogue interfaces such as virtual assistants and chatbots. The first step of identifying dialog act is identifying the boundary of the dialog act in utterances. In this paper, we focus on segmenting the utterance according to the dialog act boundaries, i.e. functional segments identification, for Vietnamese utterances. We investigate carefully functional segment identification in two approaches: (1) machine learning approach using maximum entropy (ME) and conditional random fields (CRFs); (2) deep learning approach using bidirectional Long Short-Term Memory (LSTM) with a CRF layer (Bi-LSTM-CRF) on two different conversational datasets: (1) Facebook messages (Message data); (2) transcription from phone conversations (Phone data). To the best of our knowledge, this is the first work that applies deep learning based approach to dialog act segmentation. As the results show, deep learning approach performs appreciably better as to compare with traditional machine learning approaches. Moreover, it is also the first study that tackles dialog act and functional segment identification for Vietnamese.


title: Fundamental Band Gap and Alignment of Two-Dimensional Semiconductors Explored by Machine Learning

abstract: Two-dimensional (2D) semiconductors isoelectronic to phosphorene has been drawing much attention recently due to their promising applications for next-generation (opt)electronics. This family of 2D materials contains more than 400 members, including (a) elemental group-V materials, (b) binary III-VII and IV-VI compounds, (c) ternary III-VI-VII and IV-V-VII compounds, making materials design with targeted functionality unprecedentedly rich and extremely challenging. To shed light on rational functionality design with this family of materials, we systemically explore their fundamental band gaps and alignments using hybrid density functional theory (DFT) in combination with machine learning. First, GGA-PBE and HSE calculations are performed as a reference. We find this family of materials share similar crystalline structures, but possess largely distributed band-gap values ranging approximately from 0 to 8 eV. Then, we apply machine learning methods, including Linear Regression (LR), Random Forest Regression (RFR), and Support Vector Machine Regression (SVR), to build models for prediction of electronic properties. Among these models, SVR is found to have the best performance, yielding the root mean square error (RMSE) less than 0.15 eV for predicted band gaps, VBMs, and CBMs when both PBE results and elemental information are used as features. Thus, we demonstrate machine learning models are universally suitable for screening 2D isoelectronic systems with targeted functionality and especially valuable for the design of alloys and heterogeneous systems.


title: Phase transitions in MgSiO3 post-perovskite in super-Earth mantles

abstract: The highest pressure form of the major Earth-forming mantle silicate is MgSiO3 post-perovskite (PPv). Understanding the fate of PPv at TPa pressures is the first step for understanding the mineralogy of super-Earths-type exoplanets, arguably the most interesting for their similarities with Earth. Modeling their internal structure requires knowledge of stable mineral phases, their properties under compression, and major element abundances. Several studies of PPv under extreme pressures support the notion that a sequence of pressure induced dissociation transitions produce the elementary oxides SiO2 and MgO as the ultimate aggregation form at ~3 TPa. However, none of these studies have addressed the problem of mantle composition, particularly major element abundances usually expressed in terms of three main variables, the Mg/Si and Fe/Si ratios and the Mg#, as in the Earth. Here we show that the critical compositional parameter, the Mg/Si ratio, whose value in the Earth's mantle is still debated, is a vital ingredient for modeling phase transitions and internal structure of super-Earth mantles. Specifically, we have identified new sequences of phase transformations, including new recombination reactions that depend decisively on this ratio. This is a new level of complexity that has not been previously addressed, but proves essential for modeling the nature and number of internal layers in these rocky mantles.


title: Ab-initio design of new Heusler materials for thermoelectric applications

abstract: In search of new prospects for thermoelectric materials, using ab-initio calculations and semi-classical Boltzmann theory, we have systematically investigated the electronic structure and transport properties of 18-valence electron count cobalt based half-Heusler alloys with prime focus on CoVSn, CoNbSn, CoTaSn, CoMoIn, and CoWIn. The effect of doping on transport properties has been studied under the rigid band approximation. The maximum power factor, S$^2\sigma$, for all systems is obtained on hole doping and is comparable to the existing thermoelectric material CoTiSb. The stability of all the systems is verified by phonon calculations. Based on our calculations, we suggest that CoVSn, CoNbSn, CoTaSn, CoMoIn and CoWIn could be potential candidates for high temperature thermoelectric materials.


title: Quantum mechanics with space-time noncommutativity

abstract: We construct an effective commutative Schr\"odinger equation in Moyal space-time in $(1+1)$-dimension where both $t$ and $x$ are operator-valued and satisfy $\left[ \hat{t}, \hat{x} \right] = i \theta$. Beginning with a time-reparametrised form of an action we identify the actions of various space-time coordinates and their conjugate momenta on quantum states, represented by Hilbert-Schmidt operators. Since time is also regarded as a configuration space variable, we show how an `induced' inner product can be extracted, so that an appropriate quantum mechanical interpretation is obtained. We then discuss several other applications of the formalism developed so far.


title: Generators of reductions of ideals in a local Noetherian ring with finite residue field

abstract: Let $(R,\mathfrak{m})$ be a local Noetherian ring with residue field $k$. While much is known about the generating sets of reductions of ideals of $R$ if $k$ is infinite, the case in which $k$ is finite is less well understood. We investigate the existence (or lack thereof) of proper reductions of an ideal of $R$ and the number of generators needed for a reduction in the case $k$ is a finite field. When $R$ is one-dimensional, we give a formula for the smallest integer $n$ for which every ideal has an $n$-generated reduction. It follows that in a one-dimensional local Noetherian ring every ideal has a principal reduction if and only if the number of maximal ideals in the normalization of the reduced quotient of $R$ is at most $|k|$. In higher dimensions, we show that for any positive integer, there exists an ideal of $R$ that does not have an $n$-generated reduction and that if $n \geq \dim R$ this ideal can be chosen to be $\mathfrak{m}$-primary. In the case where $R$ is a two-dimensional regular local ring, we construct an example of an integrally closed $\mathfrak{m}$-primary ideal that does not have a $2$-generated reduction and thus answer in the negative a question raised by Heinzer and Shannon.


title: Level-set method for accurate modeling of two-phase immiscible flow with moving contact lines

abstract: We developed a sharp interface level-set approach for two-phase immiscible flow with moving contact lines. The Cox-Voinov model is used to describe the moving contact line. A piecewise linear interface method is used to construct the signed distance function and to implement the contact angle boundary condition. Spurious currents are studied in the case of static and moving fluid interfaces, which show convergence behavior. Pressure and the surface tension force are balanced up to machine precision for static parabolic interfaces, while the velocity error decreases steadily with grid refinement when the interface is advected in a uniform flow field. The moving contact line problem is studied and validated through comparison with theory and experiments for an advancing interface and capillary rise in a tube.


title: Atypicality of Most Few-Body Observables

abstract: The eigenstate thermalization hypothesis (ETH), which dictates that all diagonal matrix elements within a small energy shell be almost equal, is a major candidate to explain thermalization in isolated quantum systems. According to the typicality argument, the maximum variations of such matrix elements should decrease exponentially with increasing the size of the system, which implies the ETH. We show, however, that the typicality argument does not apply to most few-body observables for few-body Hamiltonians when the width of the energy shell decreases at most polynomially with increasing the size of the system.


title: Thickness and Antithickness of Graphs

abstract: This paper studies questions about duality between crossings and non-crossings in graph drawings via the notions of thickness and antithickness. The "thickness" of a graph $G$ is the minimum integer $k$ such that in some drawing of $G$, the edges can be partitioned into $k$ noncrossing subgraphs. The "antithickness" of a graph $G$ is the minimum integer $k$ such that in some drawing of $G$, the edges can be partitioned into $k$ thrackles, where a "thrackle" is a set of edges, each pair of which intersect exactly once. (Here edges with a common endvertex $v$ are considered to intersect at $v$.) So thickness is a measure of how close a graph is to being planar, whereas antithickness is a measure of how close a graph is to being a thrackle. This paper explores the relationship between the thickness and antithickness of a graph, under various graph drawing models, with an emphasis on extremal questions.


title: CLIMEX: A Wireless Physical Layer Security Protocol Based on Clocked Impulse Exchanges

abstract: A novel method and protocol establishing common secrecy based on physical parameters between two users is proposed. The four physical parameters of users are their clock frequencies, their relative clock phases and the distance between them. The protocol proposed between two users is backed by theoretical model for the measurements. Further, estimators are proposed to estimate secret physical parameters. Physically exchanged parameters are shown to be secure by virtue of their non-observability to adversaries. Under a simplified analysis based on a testbed settings, it is shown that 38 bits of common secrecy can be derived for one run of the proposed protocol among users. The method proposed is also robust against various kinds of active timing attacks and active impersonating adversaries.


title: The Standard Laplace Operator

abstract: The standard Laplace operator is a generalization of the Hodge Laplace operator on differential forms to arbitrary geometric vector bundles, alternatively it can be seen as generalization of the Casimir operator acting on sections of homogeneous vector bundles over symmetric spaces to general Riemannian manifolds. Stressing the functorial aspects of the standard Laplace operator $\Delta$ with respect to the category of geometric vector bundles we show that the standard Laplace operator commutes not only with all homomorphisms, but also with a large class of natural first order differential operators between geometric vector bundles. Several examples are included to highlight the conclusions of this article.


title: Modality-specific Cross-modal Similarity Measurement with Recurrent Attention Network

abstract: Nowadays, cross-modal retrieval plays an indispensable role to flexibly find information across different modalities of data. Effectively measuring the similarity between different modalities of data is the key of cross-modal retrieval. Different modalities such as image and text have imbalanced and complementary relationships, which contain unequal amount of information when describing the same semantics. For example, images often contain more details that cannot be demonstrated by textual descriptions and vice versa. Existing works based on Deep Neural Network (DNN) mostly construct one common space for different modalities to find the latent alignments between them, which lose their exclusive modality-specific characteristics. Different from the existing works, we propose modality-specific cross-modal similarity measurement (MCSM) approach by constructing independent semantic space for each modality, which adopts end-to-end framework to directly generate modality-specific cross-modal similarity without explicit common representation. For each semantic space, modality-specific characteristics within one modality are fully exploited by recurrent attention network, while the data of another modality is projected into this space with attention based joint embedding to utilize the learned attention weights for guiding the fine-grained cross-modal correlation learning, which can capture the imbalanced and complementary relationships between different modalities. Finally, the complementarity between the semantic spaces for different modalities is explored by adaptive fusion of the modality-specific cross-modal similarities to perform cross-modal retrieval. Experiments on the widely-used Wikipedia and Pascal Sentence datasets as well as our constructed large-scale XMediaNet dataset verify the effectiveness of our proposed approach, outperforming 9 state-of-the-art methods.


title: Normed symmetric monoidal categories

abstract: We introduce categorical models of $N_\infty$ spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a particular class of examples, they reveal a connection between the equivariant symmetric monoidal categories of Guillou-May-Merling-Osorno and those of Hill-Hopkins. We also give an operadic interpretation of the Mac Lane coherence theorem and generalize it to include NSMCs. Among other things, this theorem ensures that the classifying space of a NSMC is a $N_\infty$ space. We conclude by extending our coherence theorem to include NSMCs with strict relations.


title: Refined Asymptotics for Rate-Distortion using Gaussian Codebooks for Arbitrary Sources

abstract: The rate-distortion saddle-point problem considered by Lapidoth (1997) consists in finding the minimum rate to compress an arbitrary ergodic source when one is constrained to use a random Gaussian codebook and minimum (Euclidean) distance encoding is employed. We extend Lapidoth's analysis in several directions in this paper. Firstly, we consider refined asymptotics. In particular, when the source is stationary and memoryless, we establish the second-order, moderate, and large deviation asymptotics of the problem. Secondly, by "random Gaussian codebook", Lapidoth referred to a collection of random codewords, each of which is drawn independently and uniformly from the surface of an $n$-dimensional sphere. To be more precise, we term this as a spherical codebook. We also consider i.i.d.\ Gaussian codebooks in which each random codeword is drawn independently from a product Gaussian distribution. We derive the second-order, moderate, and large deviation asymptotics when i.i.d.\ Gaussian codebooks are employed. In contrast to the recent work on the channel coding counterpart by Scarlett, Tan and Durisi (2017), the dispersions for spherical and i.i.d.\ Gaussian codebooks are identical. The ensemble excess-distortion exponents for both spherical and i.i.d.\ Gaussian codebooks are established for all rates. Furthermore, we show that the i.i.d.\ Gaussian codebook has a strictly larger excess-distortion exponent than its spherical counterpart for any rate greater than the ensemble rate-distortion function derived by Lapidoth.


title: Sequence selection by dynamical symmetry breaking in an autocatalytic binary polymer model

abstract: Template directed replication of nucleic acids is at the essence of all living beings and a major milestone for any origin of life scenario. We here present an idealized model of prebiotic sequence replication, where binary polymers act as templates for their autocatalytic replication, thereby serving as each others reactants and products in an intertwined molecular ecology. Our model demonstrates how autocatalysis alters the qualitative and quantitative system dynamics in counter-intuitive ways. Most notably, numerical simulations reveal a very strong intrinsic selection mechanism that favours the appearance of a few population structures with highly ordered and repetitive sequence patterns when starting from a pool of monomers. We demonstrate both analytically and through simulation how this "selection of the dullest" is caused by continued symmetry breaking through random fluctuations in the transient dynamics that are amplified by autocatalysis and eventually propagate to the population level. The impact of these observations on related prebiotic mathematical models is discussed.


title: Harmonic maps and wild Teichm\"uller spaces

abstract: We use meromorphic quadratic differentials with higher order poles to parametrize the Teichm\"uller space of crowned hyperbolic surfaces. Such a surface is obtained on uniformizing a compact Riemann surface with marked points on its boundary components, and has non-compact ends with boundary cusps. This extends Wolf's parametrization of the Teichm\"uller space of a closed surface using holomorphic quadratic differentials. Our proof involves showing the existence of a harmonic map from a punctured Riemann surface to a crowned hyperbolic surface, with prescribed principal parts of its Hopf differential which determine the geometry of the map near the punctures.


title: Racing Thompson: an Efficient Algorithm for Thompson Sampling with Non-conjugate Priors

abstract: Thompson sampling has impressive empirical performance for many multi-armed bandit problems. But current algorithms for Thompson sampling only work for the case of conjugate priors since these algorithms require to infer the posterior, which is often computationally intractable when the prior is not conjugate. In this paper, we propose a novel algorithm for Thompson sampling which only requires to draw samples from a tractable distribution, so our algorithm is efficient even when the prior is non-conjugate. To do this, we reformulate Thompson sampling as an optimization problem via the Gumbel-Max trick. After that we construct a set of random variables and our goal is to identify the one with highest mean. Finally, we solve it with techniques in best arm identification.


title: StarCraft II: A New Challenge for Reinforcement Learning

abstract: This paper introduces SC2LE (StarCraft II Learning Environment), a reinforcement learning environment based on the StarCraft II game. This domain poses a new grand challenge for reinforcement learning, representing a more difficult class of problems than considered in most prior work. It is a multi-agent problem with multiple players interacting; there is imperfect information due to a partially observed map; it has a large action space involving the selection and control of hundreds of units; it has a large state space that must be observed solely from raw input feature planes; and it has delayed credit assignment requiring long-term strategies over thousands of steps. We describe the observation, action, and reward specification for the StarCraft II domain and provide an open source Python-based interface for communicating with the game engine. In addition to the main game maps, we provide a suite of mini-games focusing on different elements of StarCraft II gameplay. For the main game maps, we also provide an accompanying dataset of game replay data from human expert players. We give initial baseline results for neural networks trained from this data to predict game outcomes and player actions. Finally, we present initial baseline results for canonical deep reinforcement learning agents applied to the StarCraft II domain. On the mini-games, these agents learn to achieve a level of play that is comparable to a novice player. However, when trained on the main game, these agents are unable to make significant progress. Thus, SC2LE offers a new and challenging environment for exploring deep reinforcement learning algorithms and architectures.


title: Non-convex Conditional Gradient Sliding

abstract: We investigate a projection free method, namely conditional gradient sliding on batched, stochastic and finite-sum non-convex problem. CGS is a smart combination of Nesterov's accelerated gradient method and Frank-Wolfe (FW) method, and outperforms FW in the convex setting by saving gradient computations. However, the study of CGS in the non-convex setting is limited. In this paper, we propose the non-convex conditional gradient sliding (NCGS) which surpasses the non-convex Frank-Wolfe method in batched, stochastic and finite-sum setting.


title: Partial local resolution by characteristic zero methods

abstract: We discuss to what extent the local techniques of resolution of singularities over fields of characteristic zero can be applied to improve singularities in general. For certain interesting classes of singularities, this leads to an embedded resolution via blowing ups in regular centers. We illustrate this for generic determinantal varieties. The article is partially expository and is addressed to non-experts who aim to construct resolutions for other special classes of singularities in positive or mixed characteristic.


title: Dimension-six operators in Higgs pair production via vector-boson fusion at the LHC

abstract: The effective Lagrangian formalism provides a way to study the new physics effects at the electroweak scale. We study the Higgs pair production via the vector-boson fusion (VBF) at the Large Hadron Collider within the framework of the effective field theory. The effects from the dimension-six operators involved in the VBF Higgs pair production, particularly $\mathcal{O}_{\Phi,2}$ and $\mathcal{O}_{\Phi,3}$ which are relevant to the triple Higgs self-coupling, on the integrated cross section and various kinematic distributions are investigated. We find that the distributions of Higgs pair invariant mass, Higgs transverse momentum and rapidity are significantly altered by the operators $\mathcal{O}_{\Phi,2}$ and $\mathcal{O}_{\Phi,3}$. These features are helpful in disentangling the contributions from the operators $\mathcal{O}_{\Phi,2}$ and $\mathcal{O}_{\Phi,3}$ in triple Higgs self-coupling. We also provide the 5$\sigma$ discovery and 3$\sigma$ exclusion limits for the coefficients of $\mathcal{O}_{\Phi,2}$ and $\mathcal{O}_{\Phi,3}$ by measuring the VBF Higgs pair production process including the sequential $H \rightarrow b\bar{b}$ decays at the $14~ {\rm TeV}$ LHC.


title: Coherent Perfect Absorption: an electromagnetic perspective

abstract: We present a simple closed expression for determining the condition for Coherent Perfect Absorption derived through electromagnetic wave treatment and interface boundary conditions. Apart from providing physical insight this expression can be used to estimate the values of various parameters required for observation of coherent perfect absorption in a given medium characterized by a complex dielectric constant. The results of the theoretical expression are found to be in good agreement with those obtained through numerical simulations.


title: Exchange constants in molecule-based magnets derived from density functional methods

abstract: Cu(pyz)(NO3)2 is a quasi one-dimensional molecular antiferromagnet that exhibits three dimensional long-range magnetic order below TN=110 mK due to the presence of weak inter-chain exchange couplings. Here we compare calculations of the three largest exchange coupling constants in this system using two techniques based on plane-wave basis-set density functional theory: (i) a dimer fragment approach and (ii) an approach using periodic boundary conditions. The calculated values of the large intrachain coupling constant are found to be consistent with experiment, showing the expected level of variation between different techniques and implementations. However, the interchain coupling constants are found to be smaller than the current limits on the resolution of the calculations. This is due to the computational limitations on convergence of absolute energy differences with respect to basis set, which are larger than the inter-chain couplings themselves. Our results imply that errors resulting from such limitations are inherent in the evaluation of small exchange constants in systems of this sort, and that many previously reported results should therefore be treated with caution.


title: BitNet: Bit-Regularized Deep Neural Networks

abstract: We present a novel optimization strategy for training neural networks which we call "BitNet". The parameters of neural networks are usually unconstrained and have a dynamic range dispersed over all real values. Our key idea is to limit the expressive power of the network by dynamically controlling the range and set of values that the parameters can take. We formulate this idea using a novel end-to-end approach that circumvents the discrete parameter space by optimizing a relaxed continuous and differentiable upper bound of the typical classification loss function. The approach can be interpreted as a regularization inspired by the Minimum Description Length (MDL) principle. For each layer of the network, our approach optimizes real-valued translation and scaling factors and arbitrary precision integer-valued parameters (weights). We empirically compare BitNet to an equivalent unregularized model on the MNIST and CIFAR-10 datasets. We show that BitNet converges faster to a superior quality solution. Additionally, the resulting model has significant savings in memory due to the use of integer-valued parameters.


title: revisit: a Workflow Tool for Data Science

abstract: In recent years there has been widespread concern in the scientific community over a reproducibility crisis. Among the major causes that have been identified is statistical: In many scientific research the statistical analysis (including data preparation) suffers from a lack of transparency and methodological problems, major obstructions to reproducibility. The revisit package aims toward remedying this problem, by generating a "software paper trail" of the statistical operations applied to a dataset. This record can be "replayed" for verification purposes, as well as be modified to enable alternative analyses. The software also issues warnings of certain kinds of potential errors in statistical methodology, again related to the reproducibility issue.


title: Evaluation of Human-Robot Collaboration Models for Fluent Operations in Industrial Tasks

abstract: In this study we evaluated human-robot collaboration models in an integrated human-robot operational system. An integrated work cell which includes a robotic arm working collaboratively with a human worker was specially designed for executing a real-time assembly task. Eighty industrial engineering students aged 22-27 participated in experiments in which timing and sensor based models were compared to an adaptive model developed within this framework. Performance measures included total assembly time and total idle time. The results showed conclusively that the adaptive system improved the examined parameters and provided an improvement of 7% in total assembly time and 60% in total idle time when compared to timing and sensory based models.


title: Charge symmetry breaking in light $\Lambda$ hypernuclei

abstract: Charge symmetry breaking (CSB) is particularly strong in the A=4 mirror hypernuclei $_{\Lambda}^4$H--$_{\Lambda}^4$He. Recent four-body no-core shell model calculations that confront this CSB by introducing $\Lambda$-$\Sigma^0$ mixing to leading-order chiral effective field theory hyperon-nucleon potentials are reviewed, and a shell-model approach to CSB in p-shell $\Lambda$ hypernuclei is outlined.


title: Comparison between continuous and discrete doses using Escalation With Overdose Control

abstract: Although there is an extensive statistical literature showing the disadvantages of discretizing continuous variables, categorization is a common practice in clinical research which results in substantial loss of information. A large collection of methods in cancer phase I clinical trial design establishes dose of a new agent as a discrete variable. A noteworthy exception is the Escalation With Overdose Control (EWOC) design, where doses can be defined either as continuous or as a grid of discrete doses. A Monte Carlo simulation study was performed to compare the operating characteristics of continuous and discrete dose EWOC designs. Four equally spaced grids with different interval lengths were considered. The loss of information was measured by several operating characteristics easier for clinicians to interpret, in addition to the usual statistical measures of bias and mean squared error. Based on the simulations, if there is not enough knowledge about the true MTD value as commonly happens in phase I clinical trials, continuous dose scheme arises as an attractive option.


title: From statistical proofs of the Kochen-Specker theorem to noise-robust noncontextuality inequalities

abstract: The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental measurements because these are never free of noise and thus never truly projective. For nonprojective measurements, therefore, one must drop the requirement that an outcome is assigned deterministically in the model and merely require that it is assigned a distribution over outcomes in a manner that is context-independent. By demanding context-independence in the representation of preparations as well, one obtains a generalized principle of noncontextuality that also supports a quantum no-go theorem. Several recent works have shown how to derive inequalities on experimental data which, if violated, demonstrate the impossibility of finding a generalized-noncontextual model of this data. That is, these inequalities do not presume quantum theory and, in particular, they make sense without requiring an operational analogue of the quantum notion of projectiveness. We here describe a technique for deriving such inequalities starting from arbitrary proofs of the Kochen-Specker theorem. It extends significantly previous techniques that worked only for logical proofs, which are based on sets of projective measurements that fail to admit of any deterministic noncontextual assignment, to the case of statistical proofs, which are based on sets of projective measurements that do admit of some deterministic noncontextual assignments, but not enough to explain the quantum statistics.


title: Existence and convexity of local solutions to degenerate hessian equations

abstract: In this work, we prove the existence of local convex solution to the degenerate Hessian equation


title: Independent Low-Rank Matrix Analysis Based on Complex Student's $t$-Distribution for Blind Audio Source Separation

abstract: In this paper, we generalize a source generative model in a state-of-the-art blind source separation (BSS), independent low-rank matrix analysis (ILRMA). ILRMA is a unified method of frequency-domain independent component analysis and nonnegative matrix factorization and can provide better performance for audio BSS tasks. To further improve the performance and stability of the separation, we introduce an isotropic complex Student's $t$-distribution as a source generative model, which includes the isotropic complex Gaussian distribution used in conventional ILRMA. Experiments are conducted using both music and speech BSS tasks, and the results show the validity of the proposed method.


title: Strategies for Big Data Analytics through Lambda Architectures in Volatile Environments

abstract: Expectations regarding the future growth of Internet of Things (IoT)-related technologies are high. These expectations require the realization of a sustainable general purpose application framework that is capable to handle these kinds of environments with their complexity in terms of heterogeneity and volatility. The paradigm of the Lambda architecture features key characteristics (such as robustness, fault tolerance, scalability, generalization, extensibility, ad-hoc queries, minimal maintenance, and low-latency reads and updates) to cope with this complexity. The paper at hand suggest a basic set of strategies to handle the arising challenges regarding the volatility, heterogeneity, and desired low latency execution by reducing the overall system timing (scheduling, execution, monitoring, and faults recovery) as well as possible faults (churn, no answers to executions). The proposed strategies make use of services such as migration, replication, MapReduce simulation, and combined processing methods (batch- and streaming-based). Via these services, a distribution of tasks for the best balance of computational resources is achieved, while monitoring and management can be performed asynchronously in the background. %An application of batch and stream-based methods are proposed to reduce the latency.


title: Computing control invariant sets is easy

abstract: In this paper we consider the problem of computing control invariant sets for linear controlled systems with constraints on the input and on the states. We focus in particular on the complexity of the computation of the N-step operator, given by the Minkowski addition of sets, that is the basis of many of the iterative procedures for obtaining control invariant sets. Set inclusions conditions for control invariance are presented that involve the N-step sets and are posed in form of linear programming problems. Such conditions are employed in algorithms based on LP problems that allow to overcome the complexity limitation inherent to the set addition and can be applied also to high dimensional systems. The efficiency and scalability of the method are illustrated by computing in less than two seconds an approximation of the maximal control invariant set, based on the 15-step operator, for a system whose state and input dimensions are 20 and 10 respectively.


title: Design-Time Quantification of Integrity in Cyber-Physical-Systems

abstract: In a software system it is possible to quantify the amount of information that is leaked or corrupted by analysing the flows of information present in the source code. In a cyber-physical system, information flows are not only present at the digital level, but also at a physical level, and to and fro the two levels. In this work, we provide a methodology to formally analyse a Cyber-Physical System composite model (combining physics and control) using an information flow-theoretic approach. We use this approach to quantify the level of vulnerability of a system with respect to attackers with different capabilities. We illustrate our approach by means of a water distribution case study.


title: Efficient Compression Technique for Sparse Sets

abstract: Recent technological advancements have led to the generation of huge amounts of data over the web, such as text, image, audio and video. Most of this data is high dimensional and sparse, for e.g., the bag-of-words representation used for representing text. Often, an efficient search for similar data points needs to be performed in many applications like clustering, nearest neighbour search, ranking and indexing. Even though there have been significant increases in computational power, a simple brute-force similarity-search on such datasets is inefficient and at times impossible. Thus, it is desirable to get a compressed representation which preserves the similarity between data points. In this work, we consider the data points as sets and use Jaccard similarity as the similarity measure. Compression techniques are generally evaluated on the following parameters --1) Randomness required for compression, 2) Time required for compression, 3) Dimension of the data after compression, and 4) Space required to store the compressed data. Ideally, the compressed representation of the data should be such, that the similarity between each pair of data points is preserved, while keeping the time and the randomness required for compression as low as possible. We show that the compression technique suggested by Pratap and Kulkarni also works well for Jaccard similarity. We present a theoretical proof of the same and complement it with rigorous experimentations on synthetic as well as real-world datasets. We also compare our results with the state-of-the-art "min-wise independent permutation", and show that our compression algorithm achieves almost equal accuracy while significantly reducing the compression time and the randomness.


title: Number systems over orders

abstract: Let $\mathbb{K}$ be a number field of degree $k$ and let $\mathcal{O}$ be an order in $\mathbb{K}$. A \emph{generalized number system over $\mathcal{O}$} (GNS for short) is a pair $(p,\mathcal{D})$ where $p \in \mathcal{O}[x]$ is monic and $\mathcal{D}\subset\mathcal{O}$ is a complete residue system modulo $p(0)$ containing $0$. If each $a \in \mathcal{O}[x]$ admits a representation of the form $a \equiv \sum_{j =0}^{\ell-1} d_j x^j \pmod{p}$ with $\ell\in\mathbb{N}$ and $d_0,\ldots, d_{\ell-1}\in\mathcal{D}$ then the GNS $(p,\mathcal{D})$ is said to have the \emph{finiteness property}. To a given fundamental domain $\mathcal{F}$ of the action of $\mathbb{Z}^k$ on $\mathbb{R}^k$ we associate a class $\mathcal{G}_\mathcal{F} := \{ (p, D_\mathcal{F}) \;:\; p \in \mathcal{O}[x] \}$ of GNS whose digit sets $D_\mathcal{F}$ are defined in terms of $\mathcal{F}$ in a natural way. We are able to prove general results on the finiteness property of GNS in $\mathcal{G}_\mathcal{F}$ by giving an abstract version of the well-known "dominant condition" on the absolute coefficient $p(0)$ of $p$. In particular, depending on mild conditions on the topology of $\mathcal{F}$ we characterize the finiteness property of $(p(x\pm m), D_\mathcal{F})$ for fixed $p$ and large $m\in\mathbb{N}$. Using our new theory, we are able to give general results on the connection between power integral bases of number fields and GNS.


title: Weighted parallel SGD for distributed unbalanced-workload training system

abstract: Stochastic gradient descent (SGD) is a popular stochastic optimization method in machine learning. Traditional parallel SGD algorithms, e.g., SimuParallel SGD, often require all nodes to have the same performance or to consume equal quantities of data. However, these requirements are difficult to satisfy when the parallel SGD algorithms run in a heterogeneous computing environment; low-performance nodes will exert a negative influence on the final result. In this paper, we propose an algorithm called weighted parallel SGD (WP-SGD). WP-SGD combines weighted model parameters from different nodes in the system to produce the final output. WP-SGD makes use of the reduction in standard deviation to compensate for the loss from the inconsistency in performance of nodes in the cluster, which means that WP-SGD does not require that all nodes consume equal quantities of data. We also analyze the theoretical feasibility of running two other parallel SGD algorithms combined with WP-SGD in a heterogeneous environment. The experimental results show that WP-SGD significantly outperforms the traditional parallel SGD algorithms on distributed training systems with an unbalanced workload.


title: Bergman's Centralizer Theorem and quantization

abstract: We prove Bergman's theorem on centralizers by using generic matrices and Kontsevich's quantization method. For any field $\textbf{k} $ of positive characteristics, set $A=\textbf{k} \langle x_1,\dots,x_s\rangle$ be a free associative algebra, then any centralizer $\mathcal{C}(f)$ of nontrivial element $f\in A\backslash \textbf{k}$ is a ring of polynomials on a single variable. We also prove that there is no commutative subalgebra with transcendent degree $\geq 2$ of $A$.


title: B-spline approximations of the Gaussian, their Gabor frame properties, and approximately dual frames

abstract: We prove that Gabor systems generated by certain scaled B-splines can be considered as perturbations of the Gabor systems generated by the Gaussian, with a deviation within an arbitrary small tolerance whenever the order $N$ of the B-spline is sufficiently large. As a consequence we show that for any choice of translation/modulation parameters $a,b>0$ with $ab<1,$ the scaled version of $B_N$ generates Gabor frames for $N$ sufficiently large. Considering the Gabor frame decomposition generated by the Gaussian and a dual window, the results lead to estimates of the deviation from perfect reconstruction that arise when the Gaussian is replaced by a scaled B-spline, or when the dual window of the Gaussian is replaced by certain explicitly given and compactly supported linear combinations of the B-splines. In particular, this leads to a family of approximate dual windows of a very simple form, leading to "almost perfect reconstruction" within any desired error tolerance whenever the product $ab$ is sufficiently small. In contrast, the known (exact) dual windows have a very complicated form. A similar analysis is sketched with the scaled B-splines replaced by certain truncations of the Gaussian. As a consequence of the approach we prove (mostly known) convergence results for the considered scaled B-splines to the Gaussian in the $L^p$-spaces, as well in the time-domain as in the frequency domain.


title: Efficiently Tracking Homogeneous Regions in Multichannel Images

abstract: We present a method for tracking Maximally Stable Homogeneous Regions (MSHR) in images with an arbitrary number of channels. MSHR are conceptionally very similar to Maximally Stable Extremal Regions (MSER) and Maximally Stable Color Regions (MSCR), but can also be applied to hyperspectral and color images while remaining extremely efficient. The presented approach makes use of the edge-based component-tree which can be calculated in linear time. In the tracking step, the MSHR are localized by matching them to the nodes in the component-tree. We use rotationally invariant region and gray-value features that can be calculated through first and second order moments at low computational complexity. Furthermore, we use a weighted feature vector to improve the data association in the tracking step. The algorithm is evaluated on a collection of different tracking scenes from the literature. Furthermore, we present two different applications: 2D object tracking and the 3D segmentation of organs.


title: Emergent high-spin state above 7 GPa in superconducting FeSe

abstract: The local electronic and magnetic properties of superconducting FeSe have been investigated by K$\beta$ x-ray emission (XES) and simultaneous x-ray absorption spectroscopy (XAS) at the Fe K-edge at high pressure and low temperature. Our results indicate a sluggish decrease of the local Fe spin moment under pressure up to 7~GPa, in line with previous reports, followed by a sudden increase at higher pressure which has been hitherto unobserved. The magnetic surge is preceded by an abrupt change of the Fe local structure as observed by the decrease of the XAS pre-edge region intensity and corroborated by ab-initio simulations. This pressure corresponds to a structural transition, previously detected by x-ray diffraction, from the $Cmma$ form to the denser $Pbnm$ form with octahedral coordination of iron. Finally, the near-edge region of the XAS spectra shows a change before this transition at 5~GPa, corresponding well with the onset pressure of the previously observed enhancement of $T_c$. Our results emphasize the delicate interplay between structural, magnetic, and superconducting properties in FeSe under pressure.


title: New Ideas for Brain Modelling 4

abstract: This paper continues the research that considers a new cognitive model based strongly on the human brain. In particular, it considers the neural binding structure of an earlier paper. It also describes some new methods in the areas of image processing and behaviour simulation. The work is all based on earlier research by the author and the new additions are intended to fit in with the overall design. For image processing, a grid-like structure is used with 'full linking'. Each cell in the classifier grid stores a list of all other cells it gets associated with and this is used as the learned image that new input is compared to. For the behaviour metric, a new prediction equation is suggested, as part of a simulation, that uses feedback and history to dynamically determine its course of action. While the new methods are from widely different topics, both can be compared with the binary-analog type of interface that is the main focus of the paper. It is suggested that the simplest of linking between a tree and ensemble can explain neural binding and variable signal strengths.


title: Liquid Marble Interaction Gate for Collision-Based Computing

abstract: Liquid marbles are microlitre droplets of liquid, encapsulated by self-organised hydrophobic particles at the liquid/air interface. They offer an efficient approach for manipulating liquid droplets and compartmentalising reactions in droplets. Digital fluidic devices employing liquid marbles might benefit from having embedded computing circuits without electronics and moving mechanical parts (apart from the marbles). We present an experimental implementation of a collision gate with liquid marbles. Mechanics of the gate follows principles of Margolus' soft-sphere collision gate. Boolean values of the inputs are given by the absence (FALSE) or presence (TRUE) of a liquid marble. There are three outputs: two outputs are trajectories of undisturbed marbles (they only report TRUE when just one marble is present at one of the inputs), one output is represented by trajectories of colliding marbles (when two marbles collide they lose their horizontal momentum and fall), this output reports TRUE only when two marbles are present at inputs. Thus the gate implements AND and AND-NOT logical functions. We speculate that by merging trajectories representing AND-NOT output into a single channel one can produce a one-bit half-adder. Potential design of a one-bit full-adder is discussed, and the synthesis of both a pure nickel metal and hybrid nickel/polymer liquid marble is reported.


title: Plane wave coupling formalism for T-matrix simulations of light scattering by non-spherical particles

abstract: The computation of light scattering by the superposition T-matrix scheme has been so far restricted to systems made of particles that are either sparsely distributed or of near-spherical shape. In this work, we extend the range of applicability of the T-matrix method by accounting for the coupling of scattered fields between highly non-spherical particles in close vicinity. This is achieved using an alternative formulation of the translation operator for spherical vector wave functions, based on a plane wave expansion of the particle's scattered electromagnetic field. The accuracy and versatility of the present approach is demonstrated by simulating arbitrarily oriented and densely packed spheroids, for both, dielectric and metallic particles.


title: Signatures of Electronic Nematicity in (111) LaAlO$_3$/SrTiO$_3$ Interfaces

abstract: Symmetry breaking is a fundamental concept in condensed matter physics whose presence often heralds new phases of matter. For instance, the breaking of time reversal symmetry is traditionally linked to magnetic phases in a material, while the breaking of gauge symmetry can lead to superfluidity/superconductivity. Nematic phases are phases in which rotational symmetry is broken while maintaining translational symme- try, and are traditionally associated with liquid crystals. Electronic nematic states where the or- thogonal in-plane crystal directions have different electronic properties have garnered a great deal of attention after their discovery in Sr$_3$Ru$_2$O$_7$, multiple iron based superconductors, and in the superconducting state of CuBiSe. Here we demonstrate the existence of an electronic ne- matic phase in the two-dimensional carrier gas that forms at the (111) LaAlO$_3$ (LAO)/SrTiO$_3$ (STO) interface that onsets at low temperatures, and is tunable by an electric field.


title: Experimental constraints on the rheology, eruption and emplacement dynamics of analog lavas comparable to Mercury's northern volcanic plains

abstract: We present new viscosity measurements of a synthetic silicate system considered an analogue for the lava erupted on the surface of Mercury. In particular, we focus on the northern volcanic plains (NVP), which correspond to the largest lava flows on Mercury and possibly in the Solar System. High-temperature viscosity measurements were performed at both superliquidus (up to 1736 K) and subliquidus conditions (1569-1502 K) to constrain the viscosity variations as a function of crystallinity (from 0 to 28\%) and shear rate (from 0.1 to 5 s 1). Melt viscosity shows moderate variations (4-16 Pa s) in the temperature range of 1736-1600 K. Experiments performed below the liquidus temperature show an increase in viscosity as shear rate decreases from 5 to 0.1 s 1, resulting in a shear thinning behavior, with a decrease in viscosity of 1 log unit. The low viscosity of the studied composition may explain the ability of NVP lavas to cover long distances, on the order of hundreds of kilometers in a turbulent flow regime. Using our experimental data we estimate that lava flows with thickness of 1, 5, and 10 m are likely to have velocities of 4.8, 6.5, and 7.2 m/s, respectively, on a 5 degree ground slope. Numerical modeling incorporating both the heat loss of the lavas and its possible crystallization during emplacement allows us to infer that high effusion rates (>10,000 m3/s) are necessary to cover the large distances indicated by satellite data from the MErcury Surface, Space ENvironment, GEochemistry, and Ranging spacecraft.


title: Language Identification Using Deep Convolutional Recurrent Neural Networks

abstract: Language Identification (LID) systems are used to classify the spoken language from a given audio sample and are typically the first step for many spoken language processing tasks, such as Automatic Speech Recognition (ASR) systems. Without automatic language detection, speech utterances cannot be parsed correctly and grammar rules cannot be applied, causing subsequent speech recognition steps to fail. We propose a LID system that solves the problem in the image domain, rather than the audio domain. We use a hybrid Convolutional Recurrent Neural Network (CRNN) that operates on spectrogram images of the provided audio snippets. In extensive experiments we show, that our model is applicable to a range of noisy scenarios and can easily be extended to previously unknown languages, while maintaining its classification accuracy. We release our code and a large scale training set for LID systems to the community.


title: Non-interferometric test of the Continuous Spontaneous Localization model based on rotational optomechanics

abstract: The Continuous Spontaneous Localization (CSL) model is the best known and studied among collapse models, which modify quantum mechanics and identify the fundamental reasons behind the unobservability of quantum superpositions at the macroscopic scale. Albeit several tests were performed during the last decade, up to date the CSL parameter space still exhibits a vast unexplored region. Here, we study and propose an unattempted non-interferometric test aimed to fill this gap. We show that the angular momentum diffusion predicted by CSL heavily constrains the parametric values of the model when applied to a macroscopic object.