title: Practical Design Space Exploration

abstract: Multi-objective optimization is a crucial matter in computer systems design space exploration because real-world applications often rely on a trade-off between several objectives. Derivatives are usually not available or impractical to compute and the feasibility of an experiment can not always be determined in advance. These problems are particularly difficult when the feasible region is relatively small, and it may be prohibitive to even find a feasible experiment, let alone an optimal one. We introduce a new methodology and corresponding software framework, HyperMapper 2.0, which handles multi-objective optimization, unknown feasibility constraints, and categorical/ordinal variables. This new methodology also supports injection of the user prior knowledge in the search when available. All of these features are common requirements in computer systems but rarely exposed in existing design space exploration systems. The proposed methodology follows a white-box model which is simple to understand and interpret (unlike, for example, neural networks) and can be used by the user to better understand the results of the automatic search. We apply and evaluate the new methodology to the automatic static tuning of hardware accelerators within the recently introduced Spatial programming language, with minimization of design run-time and compute logic under the constraint of the design fitting in a target field-programmable gate array chip. Our results show that HyperMapper 2.0 provides better Pareto fronts compared to state-of-the-art baselines, with better or competitive hypervolume indicator and with 8x improvement in sampling budget for most of the benchmarks explored.


title: SyntaxSQLNet: Syntax Tree Networks for Complex and Cross-DomainText-to-SQL Task

abstract: Most existing studies in text-to-SQL tasks do not require generating complex SQL queries with multiple clauses or sub-queries, and generalizing to new, unseen databases. In this paper we propose SyntaxSQLNet, a syntax tree network to address the complex and cross-domain text-to-SQL generation task. SyntaxSQLNet employs a SQL specific syntax tree-based decoder with SQL generation path history and table-aware column attention encoders. We evaluate SyntaxSQLNet on the Spider text-to-SQL task, which contains databases with multiple tables and complex SQL queries with multiple SQL clauses and nested queries. We use a database split setting where databases in the test set are unseen during training. Experimental results show that SyntaxSQLNet can handle a significantly greater number of complex SQL examples than prior work, outperforming the previous state-of-the-art model by 7.3% in exact matching accuracy. We also show that SyntaxSQLNet can further improve the performance by an additional 7.5% using a cross-domain augmentation method, resulting in a 14.8% improvement in total. To our knowledge, we are the first to study this complex and cross-domain text-to-SQL task.


title: Impact of Accretion Flow Dynamics on Gas-dynamical Black Hole Mass Estimates

abstract: At low redshift, the majority of supermassive black hole (SMBH) mass estimates are obtained from modeling stellar kinematics or ionized gas dynamics in the vicinity of the galaxy nucleus. For large early type galaxies, stellar kinematics models predict higher masses than gas-dynamical models. In the case of M87, this discrepancy is larger than 2 $\sigma$. Critical to gas-dynamical modeling is the assumed underlying dynamical state of the gas: that it lies on circular Keplerian orbits, potentially with some additional turbulent pressure support. This is inconsistent with models of the gas flow about low-accretion-rate SMBHs and at odds with observations of the Galactic Center. We present a simple model for non-Keplerian gas disks and explore their implications for SMBH mass measurements. We show that a larger central black hole with gas experiencing small amounts of sub-Keplerian motion can produce velocity curves similar to models that just contain circular Keplerian motions and a lower black hole mass. However, these non-Keplerian models are distinguishable from low-mass Keplerian models primarily through measurements of the velocity dispersion, wherein non-Keplerian models produce higher and narrower peak dispersions. Away from the galaxy center, but still within the circumnuclear gas disk, non-Keplerian models also become distinguishable from Keplerian models via a shift in the velocity curve. The velocity model presented in this paper is capable of resolving the discrepancy between the ionized gas dynamics and stellar kinematics mass estimates, and is applicable to gas-dynamical mass estimates of SMBHs in general.


title: Ernest Henley's Isospin and the Ensuing Progress

abstract: Ernest Henley's contributions to understanding isospin symmetry and the experimental and theoretical progress that followed are reviewed. Many experimentalists and theorists worked to bring Ernest's early vision of the subject to fruition. This progress and wide-ranging impact is described.


title: Effects of memory on spreading processes in non-Markovian temporal networks

abstract: Many biological, social and man-made systems are better described in terms of temporal networks, i.e. networks whose links are only present at certain points in time, rather than by static ones. In particular, it has been found that non-Markovianity is a necessary ingredient to capture the non-trivial temporal patterns of real-world networks. However, our understanding of how memory can affect the properties of dynamical processes taking place over temporal networks is still very limited, being especially constrained to the case of short-term memory. Here, by introducing a model for temporal networks in which we can precisely control the link density and the strength and length of memory for each link, we unveil the role played by memory on the dynamics of epidemic spreading processes. Surprisingly, we find that the average spreading time in our temporal networks is often non-monotonically dependent on the length of the memory, and that the optimal value of the memory length which maximizes the spreading time depends on the strength of the memory and on the density of links in the network. Through analytical arguments we then explore the effect that changing the number and length of network paths connecting any two nodes has on the value of optimal memory.


title: One Size Does Not Fit All: Generating and Evaluating Variable Number of Keyphrases

abstract: Different texts shall by nature correspond to different number of keyphrases. This desideratum is largely missing from existing neural keyphrase generation models. In this study, we address this problem from both modeling and evaluation perspectives. We first propose a recurrent generative model that generates multiple keyphrases as delimiter-separated sequences. Generation diversity is further enhanced with two novel techniques by manipulating decoder hidden states. In contrast to previous approaches, our model is capable of generating diverse keyphrases and controlling number of outputs. We further propose two evaluation metrics tailored towards the variable-number generation. We also introduce a new dataset StackEx that expands beyond the only existing genre (i.e., academic writing) in keyphrase generation tasks. With both previous and new evaluation metrics, our model outperforms strong baselines on all datasets.


title: Small eigenvalues and thick-thin decomposition in negative curvature

abstract: Let $M$ be a finite volume oriented Riemannian manifold of dimension $n\geq 3$ and curvature in $[-b^2,-1]$, with thick-thin decomposition $M=M(thick)\cup M(thin)$. Denote by $\lambda_k(M(thick))$ the k-th eigenvalue for the Laplacian on $M(thick)$, with Neumann boundary conditdions. We show that $\lambda_k(M(thick))/3\leq \lambda_k(M)$ for all k for which $\lambda_k(M)<(n-2)^2/12$. If $M$ is hyperbolic and of dimension 3 then $\lambda_k(M)< C \log(vol(M(thin))+2)\lambda_k(M(thick))$ for a fixed number $C>0$ provided that $\lambda_k(M(thick))<1/96$.


title: Direct detection of dimer orbitals in Ba$_5$AlIr$_2$O$_{11}$

abstract: The electronic states of many Mott insulators, including iridates, are often conceptualized in terms of localized atomic states such as the famous "$J_\text{eff}=1/2$ state". Although, orbital hybridization can strongly modify such states and dramatically change the electronic properties of materials, probing this process is highly challenging. In this work, we directly detect and quantify the formation of dimer orbitals in an iridate material Ba$_5$AlIr$_2$O$_{11}$ using resonant inelastic x-ray scattering (RIXS). Sharp peaks corresponding to the excitations of dimer orbitals are observed and analyzed by a combination of density functional theory (DFT) calculations and theoretical simulations based on a Ir-Ir cluster model. Such partially delocalized dimer states lead to a re-definition of the angular momentum of the electrons and changes in the magnetic and electronic behaviors of the material. We use this to explain the reduction of the observed magnetic moment with respect to prediction based on atomic states. This study opens new directions to study dimerization in a large family of materials including solids, heterostructures, molecules and transient states.


title: A computational history of prime numbers and Riemann zeros

abstract: We give an informal survey of the historical development of computations related to prime number distribution and zeros of the Riemann zeta function.


title: Stochastic $\ell_p$ Load Balancing and Moment Problems via the $L$-Function Method

abstract: This paper considers stochastic optimization problems whose objective functions involve powers of random variables. For example, consider the classic Stochastic lp Load Balancing Problem (SLBp): There are $m$ machines and $n$ jobs, and known independent random variables $Y_{ij}$ decribe the load incurred on machine $i$ if we assign job $j$ to it. The goal is to assign each jobs to machines in order to minimize the expected $l_p$-norm of the total load on the machines. While convex relaxations represent one of the most powerful algorithmic tools, in problems such as SLBp the main difficulty is to capture the objective function in a way that only depends on each random variable separately. We show how to capture $p$-power-type objectives in such separable way by using the $L$-function method, introduced by Lata{\l}a to relate the moment of sums of random variables to the individual marginals. We show how this quickly leads to a constant-factor approximation for very general subset selection problem with $p$-moment objective. Moreover, we give a constant-factor approximation for SLBp, improving on the recent $O(p/\ln p)$-approximation of [Gupta et al., SODA 18]. Here the application of the method is much more involved. In particular, we need to sharply connect the expected $l_p$-norm of a random vector with the $p$-moments of its marginals (machine loads), taking into account simultaneously the different scales of the loads that are incurred by an unknown assignment.


title: Piano Genie

abstract: We present Piano Genie, an intelligent controller which allows non-musicians to improvise on the piano. With Piano Genie, a user performs on a simple interface with eight buttons, and their performance is decoded into the space of plausible piano music in real time. To learn a suitable mapping procedure for this problem, we train recurrent neural network autoencoders with discrete bottlenecks: an encoder learns an appropriate sequence of buttons corresponding to a piano piece, and a decoder learns to map this sequence back to the original piece. During performance, we substitute a user's input for the encoder output, and play the decoder's prediction each time the user presses a button. To improve the intuitiveness of Piano Genie's performance behavior, we impose musically meaningful constraints over the encoder's outputs.


title: Real-time Faulted Line Localization and PMU Placement in Power Systems through Convolutional Neural Networks

abstract: Diverse fault types, fast re-closures, and complicated transient states after a fault event make real-time fault location in power grids challenging. Existing localization techniques in this area rely on simplistic assumptions, such as static loads, or require much higher sampling rates or total measurement availability. This paper proposes a faulted line localization method based on a Convolutional Neural Network (CNN) classifier using bus voltages. Unlike prior data-driven methods, the proposed classifier is based on features with physical interpretations that improve the robustness of the location performance. The accuracy of our CNN based localization tool is demonstrably superior to other machine learning classifiers in the literature. To further improve the location performance, a joint phasor measurement units (PMU) placement strategy is proposed and validated against other methods. A significant aspect of our methodology is that under very low observability (7% of buses), the algorithm is still able to localize the faulted line to a small neighborhood with high probability. The performance of our scheme is validated through simulations of faults of various types in the IEEE 39-bus and 68-bus power systems under varying uncertain conditions, system observability, and measurement quality.


title: Iterative Time-Varying Filter Algorithm Based on Discrete Linear Chirp Transform

abstract: Denoising of broadband non--stationary signals is a challenging problem in communication systems. In this paper, we introduce a time-varying filter algorithm based on the discrete linear chirp transform (DLCT), which provides local signal decomposition in terms of linear chirps. The method relies on the ability of the DLCT for providing a sparse representation to a wide class of broadband signals. The performance of the proposed algorithm is compared with the discrete fractional Fourier transform (DFrFT) filtering algorithm. Simulation results show that the DLCT algorithm provides better performance than the DFrFT algorithm and consequently achieves high quality filtering.


title: Constructing non-maximal orders in quaternion algebras

abstract: We present an explicit basis for orders of arbitrary level N>1 in definite rational quaternion algebras. These orders have applications to computations of spaces of elliptic and quaternionic modular forms.


title: Measuring Sample Path Causal Influences with Relative Entropy

abstract: We present a sample path dependent measure of causal influence between time series. The proposed causal measure is a random sequence, a realization of which enables identification of specific patterns that give rise to high levels of causal influence. We show that these patterns cannot be identified by existing measures such as directed information (DI). We demonstrate how sequential prediction theory may be leveraged to estimate the proposed causal measure and introduce a notion of regret for assessing the performance of such estimators. We prove a finite sample bound on this regret that is determined by the worst case regret of the sequential predictors used in the estimator. Justification for the proposed measure is provided through a series of examples, simulations, and application to stock market data. Within the context of estimating DI, we show that, because joint Markovicity of a pair of processes does not imply the marginal Markovicity of individual processes, commonly used plug-in estimators of DI will be biased for a large subset of jointly Markov processes. We introduce a notion of DI with "stale history", which can be combined with a plug-in estimator to upper and lower bound the DI when marginal Markovicity does not hold.


title: A Linearly Convergent Doubly Stochastic Gauss-Seidel Algorithm for Solving Linear Equations and A Certain Class of Over-Parameterized Optimization Problems

abstract: Consider the classical problem of solving a general linear system of equations $Ax=b$. It is well known that the (successively over relaxed) Gauss-Seidel scheme and many of its variants may not converge when $A$ is neither diagonally dominant nor symmetric positive definite. Can we have a linearly convergent G-S type algorithm that works for {\it any} $A$? In this paper we answer this question affirmatively by proposing a doubly stochastic G-S algorithm that is provably linearly convergent (in the mean square error sense) for any feasible linear system of equations. The key in the algorithm design is to introduce a {\it nonuniform double stochastic} scheme for picking the equation and the variable in each update step as well as a stepsize rule. These techniques also generalize to certain iterative alternating projection algorithms for solving the linear feasibility problem $A x\le b$ with an arbitrary $A$, as well as high-dimensional minimization problems for training over-parameterized models in machine learning. Our results demonstrate that a carefully designed randomization scheme can make an otherwise divergent G-S algorithm converge.


title: Offline Comparison of Ranking Functions using Randomized Data

abstract: Ranking functions return ranked lists of items, and users often interact with these items. How to evaluate ranking functions using historical interaction logs, also known as off-policy evaluation, is an important but challenging problem. The commonly used Inverse Propensity Scores (IPS) approaches work better for the single item case, but suffer from extremely low data efficiency for the ranked list case. In this paper, we study how to improve the data efficiency of IPS approaches in the offline comparison setting. We propose two approaches Trunc-match and Rand-interleaving for offline comparison using uniformly randomized data. We show that these methods can improve the data efficiency and also the comparison sensitivity based on one of the largest email search engines.


title: Evidence of magnetic star-planet interactions in the HD 189733 system from orbitally-phased Ca II K variations

abstract: Magnetic star-planet interactions (SPI) provide a detection method and insight into exoplanet magnetic fields and, in turn, exoplanet interiors and atmospheric environments. These signatures can be sporadic and difficult to confirm for single-epoch observations of a system due to inhomogeneous stellar magnetospheres and periodic variability in stellar magnetism. Thus an ideal SPI search consists of multiple epochs containing observations on consecutive nights spanning at least one complete planetary orbit. Such data sets are rare but do exist for some of the most intensely studied hot Jupiter systems. One such system is HD 189733 for which six suitable SPI data sets exist, the result of spectroscopic monitoring to perform some of the first SPI searches and also to study the star's magnetic field. Here we perform a uniform analysis of six archival Ca II K data sets for HD 189733, spanning 2006 June through 2015 July, in order to search for magnetic SPI signatures in the chromospheric line variations. We find significant evidence for modulations of Ca II K with a $2.29\pm0.04$ day period in the 2013 August data, which is consistent with the planet's orbital period. The peak in the orbital variations occurs at $\phi_\text{orb} \approx 0.9$, which corresponds to the SPI emission leading the planet with a phase difference of $\Delta\phi \approx 40^\circ$ from the sub-planetary point. This is consistent with the phase lead predictions of non-linear force-free magnetic field SPI models. The stellar magnetic field strength at the planet's orbit is greatest in 2013 August which, due to the energy released in magnetic SPI scaling with $B_*$, lends strength to the SPI interpretation.


title: Free assosymmetric algebras as modules of groups

abstract: An algebra with identities $(a,b,c)=(a,c,b)=(b,a,c)$ is called {\it assosymmetric}, where $(x,y,z)=(xy)z-x(yz)$ is associator. We study $S_n$-module, $A_n$-module and $GL_n$-module structures of free assosymmetric algebra.


title: Automorphic forms on the stack of G-Zips

abstract: Improved version. To appear in Results in Mathematics.


title: Aleph: A Leaderless, Asynchronous, Byzantine Fault Tolerant Consensus Protocol

abstract: In this paper we propose Aleph, a leaderless, fully asynchronous, Byzantine fault tolerant consensus protocol for ordering messages exchanged among processes. It is based on a distributed construction of a partially ordered set and the algorithm for reaching a consensus on its extension to a total order. To achieve the consensus, the processes perform computations based only on a local copy of the data structure, however, they are bound to end with the same results. Our algorithm uses a dual-threshold coin-tossing scheme as a randomization strategy and establishes the agreement in an expected constant number of rounds. In addition, we introduce a fast way of validating messages that can occur prior to determining the total ordering. This version of the protocol is deprecated. For current version see arXiv:1908.05156.


title: A remark on $\mathbb{Z}^d$-covers of Veech surfaces

abstract: In this note we are interested in the dynamics of the linear flow on infinite periodic $\mathbb{Z}^d$-covers of Veech surfaces. An elementary remark allows us to show that the kernel of some natural representations of the Veech group acting on homology is "big". In particular, the same is true for the Veech group of the infinite surface, answering a question of Pascal Hubert. We give some applications to the dynamics on wind-tree models where the underlying compact translation surface is a Veech surface.


title: A Generalized Fading Model with Multiple Specular Components

abstract: The wireless channel of 5G communications will have unique characteristics that can not be fully apprehended by the traditional fading models. For instance, the wireless channel may often be dominated by a finite number of specular components, the conventional Gaussian assumption may not be applied to the diffuse scattered waves and the point scatterers may be inhomogeneously distributed. These physical attributes were incorporated into the state-of-the-art fading models, such as the kappa-mu shadowed fading model, the generalized two-ray fading model, and the fluctuating two ray fading model. Unfortunately, much of the existing published work commonly imposed arbitrary assumptions on the channel parameters to achieve theoretical tractability, thereby limiting their application to represent a diverse range of propagation environments. This motivates us to find a more general fading model that incorporates multiple specular components with clusterized diffuse scattered waves, but achieves analytical tractability at the same time. To this end, we introduced the Multiple-Waves with Generalized Diffuse Scatter (MWGD) and Fluctuating Multiple-Ray (FMR) model that allow an arbitrary number of specular components and assume generalized diffuse scattered model. We derive the distribution functions of the signal envelop in closed form and calculate second order statistics of the proposed fading model. Furthermore, we evaluate the performance metrics of wireless communications systems, such as the capacity, outage probability, and average bit error rate. Through numerical simulations, we obtain important new insights into the link performance of the 5G communications while considering a diverse range of fading conditions and channel characteristics.


title: Energy distribution of harmonic 1-forms and Jacobians of Riemann surfaces with a short closed geodesic

abstract: We study the energy distribution of harmonic 1-forms on a compact hyperbolic Riemann surface $S$ where a short closed geodesic is pinched. If the geodesic separates the surface into two parts, then the Jacobian torus of $S$ develops into a torus that splits. If the geodesic is nonseparating then the Jacobian torus of $S$ degenerates. The aim of this work is to get insight into this process and give estimates in terms of geometric data of both the initial surface $S$ and the final surface, such as its injectivity radius and the lengths of geodesics that form a homology basis. As an invariant we introduce new families of symplectic matrices that compensate for the lack of full dimensional Gram-period matrices in the noncompact case.


title: A Novel Chaotic Uniform Quantizer for Speech Coding

abstract: Quantization is an essential step in the analog-to-digital conversion process and it is very important in all modern telecommunication systems. In this paper, a novel chaotic uniform quantizer is proposed and its application for speech coding is presented. The proposed system consists of three stages: two PCM coders separated by an XOR operation with a chaotic sequence, where the first step is used for continuous signal sampling and second stage performs data encryption, while the third stage provides additional data compression. The performance of the presented quantizer for Laplacian distributed signals and real speech signals is investigated and compared with that of the well-known uniform and non-uniform quantizers. Simulation results show that the proposed quantizer provides secured data with higher levels of SQNR compared to others.


title: Accretion in a dynamical spacetime and spinning up of the black hole in the gamma ray burst central engine

abstract: We compute the evolution of a quasi-spherical, slowly rotating accretion flow around a black hole, whose mass and spin evolve adequately to the mass-energy transfer through the horizon. Our model is relevant for the central engine driving a long gamma ray burst, that originates from the collapse of a massive star. The computations of a GRB engine in a dynamically evolving spacetime metric are important specifically due to the transient nature of the event, in which a huge amount of mass is accreted and changes the fundamental black hole parameters, its mass and spin, during the process. We discuss the results in the context of angular momentum magnitude of the collapsing star. We also study the possible formation and evolution of shocks in the envelope, which may temporarily affect accretion. Our results are important for the limitations on the mass and spin range of black holes detected independently by electromagnetic observations of GRBs and gravitational waves. We speculate on the possible constraints for the final masses and spins of these astrophysical black holes. It is shown that the most massive BHs were rahter not formed in a powerful GRB explosion, if the cores of their progenitors were only weakly rotating.


title: Sidon sets and $C_4$-saturated graphs

abstract: The problem of determining the Tur\'an number of $C_4$ is a well studied problem that dates back to a paper of Erd\"os from 1938. It is known that Sidon sets can be used to construct $C_4$-free graphs. If $\A$ is a Sidon set in the abelian group $X$, the sum graph $G_{X, \A}$ with vertex set $X$ and edges set $E=\{\{x, y\}:x\neq y, x+y\in \A\}$ is $C_4$-free. Using the sum graph of a Sidon set of type Singer we verify a conjecture of Erd\"os and Simonovits concerning the number of copies of $C_4$ in a graph with $ex(q^2+q+1, C_4)+1$ edges. Further, we give a sufficient condition for the sum graph of a Sidon set to be $C_4$-saturated and describe new $C_4$-saturated graphs.


title: Combined Image Encryption and Steganography Algorithm in the Spatial Domain

abstract: In recent years, steganography has emerged as one of the main research areas in information security. Least significant bit (LSB) steganography is one of the fundamental and conventional spatial domain methods, which is capable of hiding larger secret information in a cover image without noticeable visual distortions. In this paper, a combined algorithm based on LSB steganography and chaotic encryption is proposed. Experimental results show the feasibility of the proposed method. In comparison with existing steganographic spatial domain based algorithms, the suggested algorithm is shown to have some advantages over existing ones, namely, larger key space and a higher level of security against some existing attacks.


title: Newton's graphical method as a canonical transformation

abstract: This work shows that, Newton's Proposition 1 in the {\it Principia}, is an {\it exact} graphical representation of a canonical transformation, a first-order symplectic integrator generated at a finite time-step by the Hamiltonian. A fundamental characteristic of this canonical transformation is to update the position and velocity vectors {\it sequentially}, thereby automatically conserving the phase-volume and the areal velocity due to a central force. As a consequence, the continuous force is naturally replaced by a series of impulses. The convergence of Newton's Proposition 1 in the limit of $\Delta t\rightarrow 0$ can be proved easily and the resulting error term for the linear and the inverse square force can explain why Hooke was able to the obtain an elliptical orbit for the former but not the latter.


title: Anti-Stokes excitation of solid-state quantum emitters for nanoscale thermometry

abstract: Color centers in solids are the fundamental constituents of a plethora of applications such as lasers, light emitting diodes and sensors, as well as the foundation of advanced quantum information and communication technologies. Their photoluminescence properties are usually studied under Stokes excitation, in which the emitted photons are at a lower energy than the excitation ones. In this work, we explore the opposite Anti-Stokes process, where excitation is performed with lower energy photons. We report that the process is sufficiently efficient to excite even a single quantum system, namely the germanium-vacancy center in diamond. Consequently, we leverage the temperature-dependent, phonon-assisted mechanism to realize an all-optical nanoscale thermometry scheme that outperforms any homologous optical method employed to date. Our results frame a promising approach for exploring fundamental light-matter interactions in isolated quantum systems, and harness it towards the realization of practical nanoscale thermometry and sensing.


title: Optimal pebbling number of the square grid

abstract: A pebbling move on a graph removes two pebbles from a vertex and adds one pebble to an adjacent vertex. A vertex is reachable from a pebble distribution if it is possible to move a pebble to that vertex using pebbling moves. The optimal pebbling number $\pi_{opt}$ is the smallest number m needed to guarantee a pebble distribution of m pebbles from which any vertex is reachable. The optimal pebbling number of the square grid graph $P_n\square P_m$ was investigated in several papers. In this paper, we present a new method using some recent ideas to give a lower bound on $\pi_{opt}$. We apply this technique to prove that $\pi_{opt}(P_n\square P_m)\geq \frac{2}{13}nm$. Our method also gives a new proof for $\pi_{opt}(P_n)=\pi_{opt}(C_n)=\left\lceil\frac{2n}{3}\right\rceil$.


title: Cartan Triples

abstract: We introduce the class of Cartan triples as a generalization of the notion of a Cartan MASA in a von Neumann algebra. We obtain a one-to-one correspondence between Cartan triples and certain Clifford extensions of inverse semigroups. Moreover, there is a spectral theorem describing bimodules in terms of their support sets in the fundamental inverse semigroup and, as a corollary, an extension of Aoi's theorem to this setting. This context contains that of Fulman's generalization of Cartan MASAs and we discuss his generalization in an appendix.


title: Combining Checkpointing and Data Compression to Accelerate Adjoint-Based Optimization Problems

abstract: Seismic inversion and imaging are adjoint-based optimization problems that process up to terabytes of data, regularly exceeding the memory capacity of available computers. Data compression is an effective strategy to reduce this memory requirement by a certain factor, particularly if some loss in accuracy is acceptable. A popular alternative is checkpointing, where data is stored at selected points in time, and values at other times are recomputed as needed from the last stored state. This allows arbitrarily large adjoint computations with limited memory, at the cost of additional recomputations. In this paper, we combine compression and checkpointing for the first time to compute a realistic seismic inversion. The combination of checkpointing and compression allows larger adjoint computations compared to using only compression, and reduces the recomputation overhead significantly compared to using only checkpointing.


title: Instantaneous frequency estimation using the discrete linear chirp transform and the Wigner distribution

abstract: In this paper, we propose a new method to estimate instantaneous frequency using a combined approach based on the discrete linear chirp transform (DLCT) and the Wigner distribution (WD). The DLCT locally represents a signal as a superposition of linear chirps while the WD provides maximum energy concentration along the instantaneous frequency in the time-frequency domain for each of the chirps. The developed approach takes advantage of the separation of the linear chirps given by the DLCT, and that for each of them, the WD provides an ideal representation. Combining the WD of the linear chirp components, we obtain a time-frequency representation free of cross-terms that clearly displays the instantaneous frequency. Applying this procedure locally, we obtain an instantaneous frequency estimate of a non-stationary multicomponent signal. The proposed method is illustrated by simulation. The results indicate the method is efficient for the instantaneous frequency estimation of multicomponent signals embedded in noise, even in cases of low signal to noise ratio.


title: Rethinking the Value of Network Pruning

abstract: Network pruning is widely used for reducing the heavy inference cost of deep models in low-resource settings. A typical pruning algorithm is a three-stage pipeline, i.e., training (a large model), pruning and fine-tuning. During pruning, according to a certain criterion, redundant weights are pruned and important weights are kept to best preserve the accuracy. In this work, we make several surprising observations which contradict common beliefs. For all state-of-the-art structured pruning algorithms we examined, fine-tuning a pruned model only gives comparable or worse performance than training that model with randomly initialized weights. For pruning algorithms which assume a predefined target network architecture, one can get rid of the full pipeline and directly train the target network from scratch. Our observations are consistent for multiple network architectures, datasets, and tasks, which imply that: 1) training a large, over-parameterized model is often not necessary to obtain an efficient final model, 2) learned "important" weights of the large model are typically not useful for the small pruned model, 3) the pruned architecture itself, rather than a set of inherited "important" weights, is more crucial to the efficiency in the final model, which suggests that in some cases pruning can be useful as an architecture search paradigm. Our results suggest the need for more careful baseline evaluations in future research on structured pruning methods. We also compare with the "Lottery Ticket Hypothesis" (Frankle & Carbin 2019), and find that with optimal learning rate, the "winning ticket" initialization as used in Frankle & Carbin (2019) does not bring improvement over random initialization.


title: Periastron Observations of TeV Gamma-Ray Emission from a Binary System with a 50-year Period

abstract: We report on observations of the pulsar / Be star binary system PSR J2032+4127 / MT91 213 in the energy range between 100 GeV and 20 TeV with the VERITAS and MAGIC imaging atmospheric Cherenkov telescope arrays. The binary orbit has a period of approximately 50 years, with the most recent periastron occurring on 2017 November 13. Our observations span from 18 months prior to periastron to one month after. A new, point-like, gamma-ray source is detected, coincident with the location of PSR J2032+4127 / MT91 213. The gamma-ray light curve and spectrum are well-characterized over the periastron passage. The flux is variable over at least an order of magnitude, peaking at periastron, thus providing a firm association of the TeV source with the pulsar / Be star system. Observations prior to periastron show a cutoff in the spectrum at an energy around 0.5 TeV. This result adds a new member to the small population of known TeV binaries, and it identifies only the second source of this class in which the nature and properties of the compact object are firmly established. We compare the gamma-ray results with the light curve measured with the X-ray Telescope (XRT) on board the Neil Gehrels \textit{Swift} Observatory and with the predictions of recent theoretical models of the system. We conclude that significant revision of the models is required to explain the details of the emission we have observed, and we discuss the relationship between the binary system and the overlapping steady extended source, TeV J2032+4130.


title: Against Fundamentalism

abstract: In this essay, I argue that the idea that there is a most fundamental discipline, or level of reality, is mistaken. My argument is a result of my experiences with the "science wars", a debate that raged between scientists and sociologists in the 1990's over whether science can lay claim to objective truth. These debates shook my faith in physicalism, i.e. the idea that everything boils down to physics. I outline a theory of knowledge that I first proposed in my 2015 FQXi essay on which knowledge has the structure of a scale-free network. In this theory, although some disciplines are in a sense "more fundamental" than others, we never get to a "most fundamental" discipline. Instead, we get hubs of knowledge that have equal importance. This structure can explain why many physicists believe that physics is fundamental, while some sociologists believe that sociology is fundamental. This updated version of the essay includes and appendix with my responses to the discussion of this essay on the FQXi website.


title: Dynamic Networks that Drive the Process of Irreversible Step-Growth Polymerization

abstract: Many research fields, reaching from social networks and epidemiology to biology and physics, have experienced great advance from recent developments in random graphs and network theory. In this paper we propose to view percolation on a directed random graph as a generic model for step-growth polymerisation. This polymerisation process is used to manufacture a broad range of polymeric materials, including: polyesters, polyurethanes, polyamides, and many others. We link features of step-growth polymerisation to the properties of the directed configuration model, and in this way, obtain new analytical expressions describing the polymeric microstructure. Thus, the molecular weight distribution is related to the sizes of connected components, gelation to the emergence of the giant component, and the molecular gyration radii to the Wiener index of these components. A model on this level of generality is instrumental in accelerating the design of new materials and optimizing their properties.


title: Superfast encodings for fermionic quantum simulation

abstract: Simulation of fermionic many-body systems on a quantum computer requires a suitable encoding of fermionic degrees of freedom into qubits. Here we revisit the Superfast Encoding introduced by Kitaev and one of the authors. This encoding maps a target fermionic Hamiltonian with two-body interactions on a graph of degree $d$ to a qubit simulator Hamiltonian composed of Pauli operators of weight $O(d)$. A system of $m$ fermi modes gets mapped to $n=O(md)$ qubits. We propose Generalized Superfast Encodings (GSE) which require the same number of qubits as the original one but have more favorable properties. First, we describe a GSE such that the corresponding quantum code corrects any single-qubit error provided that the interaction graph has degree $d\ge 6$. In contrast, we prove that the original Superfast Encoding lacks the error correction property for $d\le 6$. Secondly, we describe a GSE that reduces the Pauli weight of the simulator Hamiltonian from $O(d)$ to $O(\log{d})$. The robustness against errors and a simplified structure of the simulator Hamiltonian offered by GSEs can make simulation of fermionic systems within the reach of near-term quantum devices. As an example, we apply the new encoding to the fermionic Hubbard model on a 2D lattice.


title: Fairness-Regularized DLMP-Based Bilevel Transactive Energy Mechanism in Distribution Systems

abstract: Distribution locational marginal pricing (DLMP) can adversely affect users in a grid-constrained transactive distribution system market (DSM) that are at a distance away from the substation, requiring longer paths to connect to the substation. When the grid operates closer to its physical limits in terms of line capacities and voltage deviations, these users are more likely to cause grid violations than others in the vicinity of the substation. Conversely, increased energy consumption by users near the substation can choke off the supply to those at the grid s extremities. This research describes a novel mechanism to charge users in a more equitable manner, by regularizing the distribution system operator (DSO)s social welfare based objective function with a fairness criterion. The Jains index of fairness is used in this context and corresponding fairness DLMP component is derived. The overall problem entails the maximization of the regularized objective within a set of linear constraints. The constraints that ensure that the grids voltage and line power limits are not violated. Constrained optimization is carried out in an iterative manner through dual decomposition where the dual variables and unit costs are incrementally updated by the DSO using the augmented Lagrangian method (ALM). Simulations reported in this study confirm the effectiveness of the proposed approach.


title: Second Thoughts on the Second Law

abstract: We speculate whether the second law of thermodynamics has more to do with Turing machines than steam pipes. It states the logical reversibility of reality as a computation, i.e., the fact that no information is forgotten: nature computes with Toffoli-, not NAND gates. On the way there, we correct Landauer's erasure principle by directly linking it to lossless data compression, and we further develop that to a lower bound on the energy consumption and heat dissipation of a general computation.


title: The homotopy type of the topological cobordism category

abstract: We define a cobordism category of topological manifolds and prove that if $d \neq 4$ its classifying space is weakly equivalent to $\Omega^{\infty -1} MTTop(d)$, where $MTTop(d)$ is the Thom spectrum of the inverse of the canonical bundle over $BTop(d)$. We also give versions with tangential structures and boundary. The proof uses smoothing theory and excision in the tangential structure to reduce the statement to the computation of the homotopy type of smooth cobordism categories due to Galatius-Madsen-Tillman-Weiss.


title: A graph with the partial order competition dimension greater than five

abstract: In this paper, we use the Erd\"{o}s-Szekeres lemma to show that there exists a graph with partial order competition dimension greater than five.


title: The niche graphs of bipartite tournaments

abstract: In this paper, we completely characterize the niche graphs of bipartite tournaments and find their interesting properties.


title: A new minimal chordal completion

abstract: In this paper, we present a minimal chordal completion $G^*$ of a graph $G$ satisfying the inequality $\omega(G^*) - \omega(G) \le i(G)$ for the non-chordality index $i(G)$ of $G$. In terms of our chordal completions, we partially settle the Hadwiger conjecture and the Erd\H{o}s-Faber-Lov\'{a}sz Conjecture, and extend the known $\chi$-bounded class by adding to it the family of graphs with bounded non-chordality indices.


title: IOHprofiler: A Benchmarking and Profiling Tool for Iterative Optimization Heuristics

abstract: IOHprofiler is a new tool for analyzing and comparing iterative optimization heuristics. Given as input algorithms and problems written in C or Python, it provides as output a statistical evaluation of the algorithms' performance by means of the distribution on the fixed-target running time and the fixed-budget function values. In addition, IOHprofiler also allows to track the evolution of algorithm parameters, making our tool particularly useful for the analysis, comparison, and design of (self-)adaptive algorithms. IOHprofiler is a ready-to-use software. It consists of two parts: an experimental part, which generates the running time data, and a post-processing part, which produces the summarizing comparisons and statistical evaluations. The experimental part is build on the COCO software, which has been adjusted to cope with optimization problems that are formulated as functions $f:\mathcal{S}^n \to \R$ with $\mathcal{S}$ being a discrete alphabet of integers. The post-processing part is our own work. It can be used as a stand-alone tool for the evaluation of running time data of arbitrary benchmark problems. It accepts as input files not only the output files of IOHprofiler, but also original COCO data files. The post-processing tool is designed for an interactive evaluation, allowing the user to chose the ranges and the precision of the displayed data according to his/her needs. IOHprofiler is available on GitHub at \url{https://github.com/IOHprofiler}.


title: Quadrilaterals in Shape Theory. II. Alternative Derivations of Shape Space: Successes and Limitations

abstract: We show that the recent derivation that triangleland's topology and geometry is $S^2$ from Heron's formula does not extend to quadrilaterals by considering Brahmagupta, Bretschneider and Coolidge's area formulae. That $N$-a-gonland is more generally $CP^{N - 2}$ (with $CP^1 = S^2$ recovering the triangleland sphere) follows from Kendall's extremization that is habitually used in Shape Theory, or the generalized Hopf map. We further explain our observation of non-extension in terms of total area not providing a shape quantity for quadrilaterals. It is rather the square root of of sums of squares of subsystem areas that provides a shape quantity; we clarify this further in representation-theoretic terms. The triangleland $S^2$ moreover also generalizes to $d$-simplexlands being $S^{d(d + 1)/2 - 1}$ topologically by Casson's observation. For the 3-simplex - alias tetrahaedron - while volume provides a shape quantity and is specified by the della Francesca-Tartaglia formula, the analogue of finding Heron eigenvectors is undefined. $d$-volume moreover provides a shape quantity for the $d$-simplex, specified by the Cayley-Menger formula generalization of the Heron and della Francesca-Tartaglia formulae. While eigenvectors can be defined for the even-$d$ Cayley-Menger formulae, the dimension count does not however work out for these to provide on-sphere conditions. We finally point out the multiple dimensional coincidences behind the derivation of the space of triangles from Heron's formula. This article is a useful check on how far the least technically involved derivation of the smallest nontrivial shape space can be taken. This is significant since Shape Theory is a futuristic branch of mathematics, with substantial applications in both Statistics (Shape Statistics) and Theoretical Physics (Background Independence: of major relevance to Classical and Quantum Gravitational Theory).


title: Cutting and shuffling a hemisphere: non-orthogonal axes

abstract: We examine the dynamics of cutting-and-shuffling a hemispherical shell driven by alternate rotation about two horizontal axes using the framework of piecewise isometry (PWI) theory. Previous restrictions on how the domain is cut-and-shuffled are relaxed to allow for non-orthogonal rotation axes, adding a new degree of freedom to the PWI. A new computational method for efficiently executing the cutting-and-shuffling using parallel processing allows for extensive parameter sweeps and investigations of mixing protocols that produce a low degree of mixing. Non-orthogonal rotation axes break some of the symmetries that produce poor mixing with orthogonal axes and increase the overall degree of mixing on average. Arnold tongues arising from rational ratios of rotation angles and their intersections, as in the orthogonal axes case, are responsible for many protocols with low degrees of mixing in the non-orthogonal-axes parameter space. Arnold tongue intersections along a fundamental symmetry plane of the system reveal a new and unexpected class of protocols whose dynamics are periodic, with exceptional sets forming polygonal tilings of the hemispherical shell.


title: Resilient Sparse Controller Design with Guaranteed Disturbance Attenuation

abstract: We design resilient sparse state-feedback controllers for a linear time-invariant (LTI) control system while attaining a pre-specified guarantee on ${\mathcal{H}}_\infty$ performance measure. We leverage a technique from non-fragile control theory to identify a region of resilient state-feedback controllers. Afterward, we explore the region to identify a sparse controller. To this end, we use two different techniques: the greedy method of sparsification, as well as the re-weighted $\ell_1$ norm minimization. Our approach highlights a tradeoff between the sparsity of the feedback gain, performance measure, and fragility of the design. To best of our knowledge, this work is the first framework providing performance guarantees for sparse feedback gain design.


title: Simulating the nanomechanical response of cyclooctatetraene molecules on a graphene device

abstract: We investigate the atomic and electronic structures of cyclooctatetraene (COT) molecules on graphene and analyze their dependence on external gate voltage using first-principles calculations. The external gate voltage is simulated by adding or removing electrons using density functional theory (DFT) calculations. This allows us to investigate how changes in carrier density modify the molecular shape, orientation, adsorption site, diffusion barrier, and diffusion path. For increased hole doping COT molecules gradually change their shape to a more flattened conformation and the distance between the molecules and graphene increases while the diffusion barrier drastically decreases. For increased electron doping an abrupt transition to a planar conformation at a carrier density of -8$\times$10$^{13}$ e/cm$^2$ is observed. These calculations imply that the shape and mobility of adsorbed COT molecules can be controlled by externally gating graphene devices.


title: Predictive Test Selection

abstract: Change-based testing is a key component of continuous integration at Facebook. However, a large number of tests coupled with a high rate of changes committed to our monolithic repository make it infeasible to run all potentially-impacted tests on each change. We propose a new predictive test selection strategy which selects a subset of tests to exercise for each change submitted to the continuous integration system. The strategy is learned from a large dataset of historical test outcomes using basic machine learning techniques. Deployed in production, the strategy reduces the total infrastructure cost of testing code changes by a factor of two, while guaranteeing that over 95% of individual test failures and over 99.9% of faulty changes are still reported back to developers. The method we present here also accounts for the non-determinism of test outcomes, also known as test flakiness.


title: Stochastic Revealed Preferences with Measurement Error

abstract: A long-standing question about consumer behavior is whether individuals' observed purchase decisions satisfy the revealed preference (RP) axioms of the utility maximization theory (UMT). Researchers using survey or experimental panel data sets on prices and consumption to answer this question face the well-known problem of measurement error. We show that ignoring measurement error in the RP approach may lead to overrejection of the UMT. To solve this problem, we propose a new statistical RP framework for consumption panel data sets that allows for testing the UMT in the presence of measurement error. Our test is applicable to all consumer models that can be characterized by their first-order conditions. Our approach is nonparametric, allows for unrestricted heterogeneity in preferences, and requires only a centering condition on measurement error. We develop two applications that provide new evidence about the UMT. First, we find support in a survey data set for the dynamic and time-consistent UMT in single-individual households, in the presence of \emph{nonclassical} measurement error in consumption. In the second application, we cannot reject the static UMT in a widely used experimental data set in which measurement error in prices is assumed to be the result of price misperception due to the experimental design. The first finding stands in contrast to the conclusions drawn from the deterministic RP test of Browning (1989). The second finding reverses the conclusions drawn from the deterministic RP test of Afriat (1967) and Varian (1982).


title: On the Classification of Lie Bialgebras by Cohomological Means

abstract: We approach the classification of Lie bialgebra structures on simple Lie algebras from the viewpoint of descent and non-abelian cohomology. We achieve a description of the problem in terms faithfully flat cohomology over an arbitrary ring over $\mathbb{Q}$, and solve it for Drinfeld-Jimbo Lie bialgebras over fields of characteristic zero. We consider the classification up to isomorphism, as opposed to equivalence, and treat split and non-split Lie algebras alike. We moreover give a new interpretation of scalar multiples of Lie bialgebras hitherto studied using twisted Belavin-Drinfeld cohomology.


title: Unique thickness-dependent properties of the van der Waals interlayer antiferromagnet $\mathrm{MnBi_2Te_4}$ films

abstract: Using density functional theory and Monte Carlo calculations, we study the thickness dependence of the magnetic and electronic properties of a van der Waals interlayer antiferromagnet in the two-dimensional limit. Considering $\mathrm{MnBi_2Te_4}$ as a model material, we find it to demonstrate a remarkable set of thickness-dependent magnetic and topological transitions. While a single septuple layer block of $\mathrm{MnBi_2Te_4}$ is a topologically trivial ferromagnet, the thicker films made of an odd (even) number of blocks are uncompensated (compensated) interlayer antiferromagnets, which show wide bandgap quantum anomalous Hall (zero plateau quantum anomalous Hall) states. Thus, $\mathrm{MnBi_2Te_4}$ is the first stoichiometric material predicted to realize the zero plateau quantum anomalous Hall state intrinsically. This state has been theoretically shown to host the exotic axion insulator phase.


title: Online Multiclass Boosting with Bandit Feedback

abstract: We present online boosting algorithms for multiclass classification with bandit feedback, where the learner only receives feedback about the correctness of its prediction. We propose an unbiased estimate of the loss using a randomized prediction, allowing the model to update its weak learners with limited information. Using the unbiased estimate, we extend two full information boosting algorithms (Jung et al., 2017) to the bandit setting. We prove that the asymptotic error bounds of the bandit algorithms exactly match their full information counterparts. The cost of restricted feedback is reflected in the larger sample complexity. Experimental results also support our theoretical findings, and performance of the proposed models is comparable to that of an existing bandit boosting algorithm, which is limited to use binary weak learners.


title: signSGD with Majority Vote is Communication Efficient And Fault Tolerant

abstract: Training neural networks on large datasets can be accelerated by distributing the workload over a network of machines. As datasets grow ever larger, networks of hundreds or thousands of machines become economically viable. The time cost of communicating gradients limits the effectiveness of using such large machine counts, as may the increased chance of network faults. We explore a particularly simple algorithm for robust, communication-efficient learning---signSGD. Workers transmit only the sign of their gradient vector to a server, and the overall update is decided by a majority vote. This algorithm uses $32\times$ less communication per iteration than full-precision, distributed SGD. Under natural conditions verified by experiment, we prove that signSGD converges in the large and mini-batch settings, establishing convergence for a parameter regime of Adam as a byproduct. Aggregating sign gradients by majority vote means that no individual worker has too much power. We prove that unlike SGD, majority vote is robust when up to 50% of workers behave adversarially. The class of adversaries we consider includes as special cases those that invert or randomise their gradient estimate. On the practical side, we built our distributed training system in Pytorch. Benchmarking against the state of the art collective communications library (NCCL), our framework---with the parameter server housed entirely on one machine---led to a 25% reduction in time for training resnet50 on Imagenet when using 15 AWS p3.2xlarge machines.


title: Leveraging protection and efficiency of query answering in heterogenous RDF data using blockchain

abstract: The Semantic Web, an extension of the current web, provides a common framework that makes data machine understandable and also allows data to be shared and reused across various applications. Resource Description Framework (RDF), a graph-based data model for describing things (entities), facilitates data integration. Due to the explosion of the amount of RDF data, developing tools to support processing and answering of complex queries over the integrated data has become challenging. To overcome this challenge in query processing in semantic data integration frameworks, we provide a view layer inserted between the heterogeneous data sources and user interface layer while ensuring only authorized users are allowed access to the information. The view layer must provide a support in terms of access, integration, querying, management of data sources in a multi-user environment.


title: A Characterization of Tracially Nuclear C*-algebras

abstract: We give two characterizations of tracially nuclear C*-algebras. The first is that the finite summand of the second dual is hyperfinite. The second is in terms of a variant of the weak* uniqueness property. The necessary condition holds for all tracially nuclear C*-algebras. When the algebra is separable, we prove the sufficiency.


title: AppIntent: Intuitive Automation Specification Framework for Mobile AppTesting

abstract: The proliferation of mobile apps and reduced time in mobile app releases mandates the need for faster and efficient testing of mobile apps, their GUI and functional capabilities. Though, there are wide variety of open source tools and frameworks that are developed to provide automated test infrastructure for testing mobile apps. Each of these automation tools supports different scripting languages for automating the app testing. These frameworks fundamentally lacks the ability to directly capture the intent of the users who intend to effectively test the mobile app and its cross-app functional capabilities and performance without worrying about the low-level scripting language associated with each tool. Hence, to address this limitation, we propose a high-level intent-based automation specification language and APIs that could effectively address following aspects: (i)capture the test automation steps to be captured as high-level intents using intuitive automation specification language, and (ii) provides framework support to effectively capture the users behavior patterns effectively for testing the apps. We develop, AppIntent a high level automation specification language-based framework that directly captures the test automation intents with in and across multiple apps using high-level and intuitive language without worrying about how to actually develop scripts for automation.


title: Gyrokinetic theory of the nonlinear saturation of toroidal Alfven eigenmode

abstract: Nonlinear saturation of toroidal Alfven eigenmode (TAE) via ion induced scatterings is investigated in the short-wavelength gyrokinetic regime. It is found that the nonlinear evolution depends on the thermal ion \b{eta} value. Here, \b{eta} is the plasma thermal to magnetic pressure ratio. Both the saturation levels and associated energetic-particle transport coefficients are derived and estimated correspondingly.


title: Particle-antiparticle duality from an extra time-like dimension

abstract: It is a well known fact that the usual complex structure on the real Clifford Algebra (CA) of Minkowski spacetime can be obtained by adding an extra time-like dimension, instead of the usual complexification of the algebra. In this article we explore the consequences of this approach and reinterpret known results in this new context. We observe that Dirac particles and antiparticles at rest can be interpreted as eigenstates of the generator of rotations in the plane formed by the two time-like coordinates and find an effective finite scale for the extra dimension when no EM fields are present (without postulating compactness). In the case of non-vanishing EM fields, we find a gauge condition to preserve such a scale.


title: Bayesian Hierarchical Spatial Model for Small Area Estimation with Non-ignorable Nonresponses and Its Applications to the NHANES Dental Caries Assessments

abstract: The National Health and Nutrition Examination Survey (NHANES) is a major program of the National Center for Health Statistics, designed to assess the health and nutritional status of adults and children in the United States. The analysis of NHANES dental caries data faces several challenges, including (1) the data were collected using a complex, multistage, stratified, unequal-probability sampling design; (2) the sample size of some primary sampling units (PSU), e.g., counties, is very small; (3) the measures of dental caries have complicated structure and correlation, and (4) there is a substantial percentage of nonresponses, for which the missing data are expected to be not missing at random or non-ignorable. We propose a Bayesian hierarchical spatial model to address these analysis challenges. We develop a two-level Potts model that closely resembles the caries evolution process and captures complicated spatial correlations between teeth and surfaces of the teeth. By adding Bayesian hierarchies to the Potts model, we account for the multistage survey sampling design and also enable information borrowing across PSUs for small area estimation. We incorporate sampling weights by including them as a covariate in the model and adopt flexible B-splines to achieve robust inference. We account for non-ignorable missing outcomes and covariates using the selection model. We use data augmentation coupled with the noisy exchange sampler to obtain the posterior of model parameters that involve doubly-intractable normalizing constants. Our analysis results show strong spatial associations between teeth and tooth surfaces and that dental hygienic factors, fluorosis and sealant reduce the risks of having dental diseases.


title: Controlling solid-liquid interfacial energy anisotropy through the isotropic liquid

abstract: Although the anisotropy of the solid-liquid interfacial free energy for most alloy systems is very small, it plays a crucial role in the growth rate, morphology and crystallographic growth direction of dendrites. Previous work posited a dendrite orientation transition via compositional additions. In this work we examine experimentally the change in dendrite growth behaviour in the Al-Sm (Samarium) system as a function of solute concentration and study its interfacial properties using molecular dynamics simulations. We observe a dendrite growth direction which changes from <100> to <110> as Sm content increases. The observed change in dendrite orientation is consistent with the simulation results for the variation of the interfacial free energy anisotropy and thus provides definitive confirmation of conjecture in previous works. In addition, our results provide physical insight into the atomic structural origin of the concentration dependent anisotropy, and deepens our fundamental understanding of solid-liquid interfaces in binary alloys.


title: Neutrino Scattering Studies in MicroBooNE

abstract: A good understanding of the cross sections for neutrino interactions with nucleons and nuclei is crucial for neutrino oscillation studies, in addition to providing a tool for the exploration of nucleon and nuclear structures. The MicroBooNE liquid-argon time-projection-chamber (LArTPC) experiment has been taking neutrino data with the Booster Neutrino Beam at Fermilab since 2015. The LArTPC capabilities in track reconstruction, energy measurement, and particle identification allow us to probe interesting regions of neutrino-argon scattering cross sections and to probe the quark composition of the nucleon and test models of nuclear structure and final-state interactions. We present the current status of several on-going MicroBooNE cross section analyses, as well as plans for future measurements.


title: Nonlinear saturation of toroidal Alfven eigenmodes via nonlinear mode couplings

abstract: Gyrokinetic theory of nonlinear mode coupling as a mechanism for toroidal Alfven eigenmode (TAE) saturation in the fusion plasma related parameter regime is presented, including 1) para- metric decay of TAE into lower kinetic TAE (LKTAE) and geodesic acoustic mode (GAM), and 2) enhanced TAE coupling to shear Alfven wave (SAW) continuum via ion induced scattering. Our theory shows that, for TAE saturation in the parameter range of practical interest, several processes with comparable scattering cross sections can be equally important.


title: Arbitrarily coupled $p-$forms in cosmological backgrounds

abstract: In this paper we consider a model based on interacting $p-$forms and explore some cosmological applications. Restricting to gauge invariant actions, we build a general Lagrangian allowing for arbitrary interactions between the $p-$forms (including interactions with a $0-$form, scalar field) in a given background in $D$ dimensions. For simplicity, we restrict the construction to up to first order derivatives of the fields in the Lagrangian. We discuss with detail the four dimensional case and devote some attention to the mechanism of topological mass generation originated by couplings of the form $B\wedge F$ between a $p-$form and a $(3-p)-$form. As a result, we show the system of the interacting $p-$forms $(p=1,2,3)$ is equivalent to a parity violating, massive, Proca vector field model. Finally, we discuss some cosmological applications. In a first case we study a very minimalistic system composed by a $3-$form coupled to a $0-$form. The $3-$form induces an effective potential which acts as a cosmological constant term suitable to drive the late time accelerated expansion of the universe dominated by dark energy. We study the dynamics of the system and determine its critical points and stability. Additionally, we study a system composed by a scalar field and a $1$-form. This case is interesting because the presence of a coupled $1-$form can generate non vanishing anisotropic signatures during the late time accelerated expansion. We discuss the evolution of cosmological parameters such as the equation of state in this model.


title: Defect identification based on first-principles calculations for deep level transient spectroscopy

abstract: Deep level transient spectroscopy (DLTS) is used extensively to study defects in semiconductors. We demonstrate that great care should be exercised in interpreting activation energies extracted from DLTS as ionization energies. We show how first-principles calculations of thermodynamic transition levels, temperature effects of ionization energies, and nonradiative capture coefficients can be used to accurately determine actual activation energies that can be directly compared with DLTS. Our analysis is illustrated with hybrid functional calculations for two important defects in GaN that have similar thermodynamic transition levels, and shows that the activation energy extracted from DLTS includes a capture barrier that is temperature dependent, unique to each defect, and in some cases large in comparison to the ionization energy. By calculating quantities that can be directly compared with experiment, first-principles calculations thus offer powerful leverage in identifying the microscopic origin of defects detected in DLTS.


title: Parallelism in Randomized Incremental Algorithms

abstract: In this paper we show that many sequential randomized incremental algorithms are in fact parallel. We consider algorithms for several problems including Delaunay triangulation, linear programming, closest pair, smallest enclosing disk, least-element lists, and strongly connected components. We analyze the dependences between iterations in an algorithm, and show that the dependence structure is shallow with high probability, or that by violating some dependences the structure is shallow and the work is not increased significantly. We identify three types of algorithms based on their dependences and present a framework for analyzing each type. Using the framework gives work-efficient polylogarithmic-depth parallel algorithms for most of the problems that we study. This paper shows the first incremental Delaunay triangulation algorithm with optimal work and polylogarithmic depth, which is an open problem for over 30 years. This result is important since most implementations of parallel Delaunay triangulation use the incremental approach. Our results also improve bounds on strongly connected components and least-elements lists, and significantly simplify parallel algorithms for several problems.


title: Slow manifold and parameter estimation for a nonlocal fast-slow stochastic evolutionary system

abstract: We establish a slow manifold for a fast-slow stochastic evolutionary system with anomalous diffusion, where both fast and slow components are influ- enced by white noise. Furthermore, we prove the exponential tracking property for the random slow manifold and this leads to a lower dimensional reduced sys- tem based on the slow manifold. Also we consider parameter estimation for this nonlocal fast-slow stochastic dynamical system, where only the slow component is observable. In quantifying parameters in stochastic evolutionary systems, this offers an advantage of dimension reduction.


title: Block Stability for MAP Inference

abstract: To understand the empirical success of approximate MAP inference, recent work (Lang et al., 2018) has shown that some popular approximation algorithms perform very well when the input instance is stable. The simplest stability condition assumes that the MAP solution does not change at all when some of the pairwise potentials are (adversarially) perturbed. Unfortunately, this strong condition does not seem to be satisfied in practice. In this paper, we introduce a significantly more relaxed condition that only requires blocks (portions) of an input instance to be stable. Under this block stability condition, we prove that the pairwise LP relaxation is persistent on the stable blocks. We complement our theoretical results with an empirical evaluation of real-world MAP inference instances from computer vision. We design an algorithm to find stable blocks, and find that these real instances have large stable regions. Our work gives a theoretical explanation for the widespread empirical phenomenon of persistency for this LP relaxation.


title: Numerical black hole initial data and shadows in dynamical Chern-Simons gravity

abstract: We present a scheme for generating first-order metric perturbation initial data for an arbitrary background and source. We then apply this scheme to derive metric perturbations in order-reduced dynamical Chern-Simons gravity (dCS). In particular, we solve for metric perturbations on a black hole background that are sourced by a first-order dCS scalar field. This gives us the leading-order metric perturbation to the spacetime in dCS gravity. We then use these solutions to compute black hole shadows in the linearly perturbed spacetime by evolving null geodesics. We present a novel scheme to decompose the shape of the shadow into multipoles parametrized by the spin of the background black hole and the perturbation parameter $\varepsilon^2$. We find that we can differentiate the presence of a pure Kerr spacetime from a spacetime with a dCS perturbation using the shadow, allowing in part for a null-hypothesis test of general relativity. We then consider these results in the context of the Event Horizon Telescope.


title: A single-world consistent interpretation of quantum mechanics from fundamental time and length uncertainties

abstract: Within ordinary ---unitary--- quantum mechanics there exist global protocols that allow to verify that no definite event ---an outcome to which a probability can be associated--- occurs. Instead, states that start in a coherent superposition over possible outcomes always remain as a superposition. We show that, when taking into account fundamental errors in measuring length and time intervals, that have been put forward as a consequence of a conjunction of quantum mechanical and general relativity arguments, there are instances in which such global protocols no longer allow to distinguish whether the state is in a superposition or not. All predictions become identical as if one of the outcomes occurs, with probability determined by the state. We use this as a criteria to define events, as put forward in the Montevideo Interpretation of Quantum Mechanics. We analyze in detail the occurrence of events in the paradigmatic case of a particle in a superposition of two different locations. We argue that our approach provides a consistent (C) single-world (S) picture of the universe, thus allowing an economical way out of the limitations imposed by a recent theorem by Frauchiger and Renner showing that having a self-consistent single-world description of the universe is incompatible with quantum theory. In fact, the main observation of this paper may be stated as follows: If quantum mechanics is extended to include gravitational effects to a QG theory, then QG, S, and C are satisfied.


title: Zener Tunneling Breakdown in Phase-Change Materials Revealed by Intense Terahertz Pulses

abstract: We have systematically investigated the spatial and temporal dynamics of crystallization that occurs in the phase-change material Ge2Sb2Te5 upon irradiation with an intense THz pulse. THz pump and optical probe spectroscopy revealed that Zener tunneling induces a nonlinear increase in the conductivity of the crystalline phase. This result indicates that the large electric field associated with the THz pulses causes a nonlinear increase only at the edge of the crystallized area. The electric field concentrating in this area causes a temperature increase via Joule heating, which in turn leads to nanometer scale crystal growth parallel to the field and the formation of filamentary conductive domains across the sample.


title: Spatiotemporal Model for Uplink IoT Traffic: Scheduling & Random Access Paradox

abstract: The Internet-of-things (IoT) is the paradigm where anything will be connected. There are two main approaches to handle the surge in the uplink (UL) traffic the IoT is expected to generate, namely, Scheduled UL (SC-UL) and random access uplink (RA-UL) transmissions. SC-UL is perceived as a viable tool to control Quality-of-Service (QoS) levels while entailing some overhead in the scheduling request prior to any UL transmission. On the other hand, RA-UL is a simple single-phase transmission strategy. While this obviously eliminates scheduling overheads, very little is known about how scalable RA-UL is. At this critical junction, there is a dire need to analyze the scalability of these two paradigms. To that end, this paper develops a spatiotemporal mathematical framework to analyze and assess the performance of SC-UL and RA-UL. The developed paradigm jointly utilizes stochastic geometry and queueing theory. Based on such a framework, we show that the answer to the "scheduling vs. random access paradox" actually depends on the operational scenario. Particularly, RA-UL scheme offers low access delays but suffers from limited scalability, i.e., cannot support a large number of IoT devices. On the other hand, SC-UL transmission is better suited for higher device intensities and traffic rates.


title: Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces

abstract: In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincar\'e inequality. We show that at almost every point $x$ outside the Cantor and jump parts of a BV function, the asymptotic limit of the function is a Lipschitz continuous function of least gradient on a tangent space to the metric space based at $x$. We also show that, at co-dimension $1$ Hausdorff measure almost every measure-theoretic boundary point of a set $E$ of finite perimeter, there is an asymptotic limit set $(E)_\infty$ corresponding to the asymptotic expansion of $E$ and that every such asymptotic limit $(E)_\infty$ is a quasiminimal set of finite perimeter. We also show that the perimeter measure of $(E)_\infty$ is Ahlfors co-dimension $1$ regular.


title: Second Order Linear Energy Stable Schemes for Allen-Cahn Equations with Nonlocal Constraints

abstract: We present a set of linear, second order, unconditionally energy stable schemes for the Allen-Cahn equation with nonlocal constraints that preserves the total volume of each phase in a binary material system. The energy quadratization strategy is employed to derive the energy stable semi-discrete numerical algorithms in time. Solvability conditions are then established for the linear systems resulting from the semi-discrete, linear schemes. The fully discrete schemes are obtained afterwards by applying second order finite difference methods on cell-centered grids in space. The performance of the schemes are assessed against two benchmark numerical examples, in which dynamics obtained using the volumepreserving Allen-Cahn equations with nonlocal constraints is compared with those obtained using the classical Allen-Cahn as well as the Cahn-Hilliard model, respectively, demonstrating slower dynamics when volume constraints are imposed as well as their usefulness as alternatives to the Cahn-Hilliard equation in describing phase evolutionary dynamics for immiscible material systems while preserving the phase volumes. Some performance enhancing, practical implementation methods for the linear energy stable schemes are discussed in the end.


title: Gravitational interactions of stars with supermassive black hole binaries - II. Hypervelocity stars

abstract: Supermassive black holes (SMBHs) in galactic nuclei can eject hypervelocity stars (HVSs). Using restricted three-body integrations, we study the properties of stars ejected by circular, binary SMBHs as a function of their mass ratios $q = M_2 / M_1$ and separations $a$, focusing on the stellar velocity and angular distributions. We find that the ejection probability is an increasing function of $q$ and $a$, and that the mean ejected velocity scales with $q$ and $a$ similar to previous work but with modified scaling constants. Binary SMBHs tend to eject their fastest stars toward the binary orbital plane. We calculate the ejection rates as the binary SMBHs inspiral, and find that they eject stars with velocities $v_\infty > 1000$ km/s at rates of $\sim 4 \times 10^{-2} - 2 \times 10^{-1}$ yr$^{-1}$ for $q = 1$ ($\sim 10^{-4} - 10^{-3}$ yr$^{-1}$ for $q = 0.01$) over their lifetimes, and can emit a burst of HVSs with $v_\infty > 3000$ km/s as they coalesce. We integrate the stellar distributions over the binary SMBH inspiral and compare them to those produced by the "Hills mechanism" (in which a single SMBH ejects a star after tidally separating a binary star system), and find that $N \sim 100$ HVS velocity samples with $v_\infty \gtrsim 200$ km/s are needed to confidently distinguish between a binary and single SMBH origin.


title: Xorshift1024*, Xorshift1024+, Xorshift128+ and Xoroshiro128+ Fail Statistical Tests for Linearity

abstract: L'Ecuyer & Simard's Big Crush statistical test suite has revealed statistical flaws in many popular random number generators including Marsaglia's Xorshift generators. Vigna recently proposed some 64-bit variations on the Xorshift scheme that are further scrambled (i.e., Xorshift1024*, Xorshift1024+, Xorshift128+, Xoroshiro128+). Unlike their unscrambled counterparts, they pass Big Crush when interleaving blocks of 32 bits for each 64-bit word (most significant, least significant, most significant, least significant, etc.). We report that these scrambled generators systematically fail Big Crush---specifically the linear-complexity and matrix-rank tests that detect linearity---when taking the 32 lowest-order bits in reverse order from each 64-bit word.


title: Infinitesimal unitary Hopf algebras and planar rooted forests

abstract: Infinitesimal bialgebras were introduced by Joni and Rota. An infinitesimal bialgebra is at the same time an algebra and coalgebra, in such a way that the comultiplication is a derivation. Twenty years after Joni and Rota, Aguiar introduced the concept of an infinitesimal (non-unitary) Hopf algebra. In this paper we study infinitesimal unitary bialgebras and infinitesimal unitary Hopf algebras, in contrary to Aguiar's approach. Using an infinitesimal version of the Hochschild 1-cocycle condition, we prove respectively that a class of decorated planar rooted forests is the free cocycle infinitesimal unitary bialgebra and free cocycle infinitesimal unitary Hopf algebra on a set. As an application, we obtain that the planar rooted forests is the free cocycle infinitesimal unitary Hopf algebra on the empty set.


title: Learning to Reason

abstract: Automated theorem proving has long been a key task of artificial intelligence. Proofs form the bedrock of rigorous scientific inquiry. Many tools for both partially and fully automating their derivations have been developed over the last half a century. Some examples of state-of-the-art provers are E (Schulz, 2013), VAMPIRE (Kov\'acs & Voronkov, 2013), and Prover9 (McCune, 2005-2010). Newer theorem provers, such as E, use superposition calculus in place of more traditional resolution and tableau based methods. There have also been a number of past attempts to apply machine learning methods to guiding proof search. Suttner & Ertel proposed a multilayer-perceptron based method using hand-engineered features as far back as 1990; Urban et al (2011) apply machine learning to tableau calculus; and Loos et al (2017) recently proposed a method for guiding the E theorem prover using deep nerual networks. All of this prior work, however, has one common limitation: they all rely on the axioms of classical first-order logic. Very little attention has been paid to automated theorem proving for non-classical logics. One of the only recent examples is McLaughlin & Pfenning (2008) who applied the polarized inverse method to intuitionistic propositional logic. The literature is otherwise mostly silent. This is truly unfortunate, as there are many reasons to desire non-classical proofs over classical. Constructive/intuitionistic proofs should be of particular interest to computer scientists thanks to the well-known Curry-Howard correspondence (Howard, 1980) which tells us that all terminating programs correspond to a proof in intuitionistic logic and vice versa. This work explores using Q-learning (Watkins, 1989) to inform proof search for a specific system called non-classical logic called Core Logic (Tennant, 2017).


title: SCMA based resource management of D2D communications for maximum sum-revenue

abstract: The device-to-device (D2D) communication is one of the promising technologies of the future Internet of Things (IoT), but its security-related issues remain challenging. The block-chain is considered to be a secure and reliable distributed ledger, so we can treat the device user equipment (D-UE) request for the reusing resources of cellular user equipment (C-UE) as a transaction and put it into a transaction pool, then package the record into the block-chain. In this paper, we study the D2D communication resource allocation scheme based on sparse code multiple access (SCMA). Firstly, the system's interference model and block-chain-based transaction flow are analyzed. Then we propose the optimization problem so that C-UE can get the maximum revenue by sharing its resources to D-UE. This problem is NP-hard, so we propose a heuristic algorithm based on semi-definite relaxation (SDR) programming to solve it. Finally, the performance of the proposed algorithm is verified by simulation of different system parameters.


title: Independence Equivalence Classes of Paths and Cycles

abstract: The independence polynomial of a graph is the generating polynomial for the number of independent sets of each size. Two graphs are said to be \textit{independence equivalent} if they have equivalent independence polynomials. We extend previous work by showing that independence equivalence class of every odd path has size 1, while the class can contain arbitrarily many graphs for even paths. We also prove that the independence equivalence class of every even cycle consists of two graphs when $n\ge 2$ except the independence equivalence class of $C_6$ which consists of three graphs. The odd case remains open, although, using irreducibility results from algebra, we were able show that for a prime $p \geq 5$ and $n\ge 1$ the independence equivalence class of $C_{p^n}$ consists of only two graphs.


title: Evolution of Star-forming Galaxies from z = 0.7 to 1.2 with eBOSS Emission-line Galaxies

abstract: We study the evolution of star-forming galaxies with $10^{10} M_\odot<M_*<10^{11.6} M_\odot$ over the redshift range of 0.7<z<1.2 using the emission line galaxies (ELGs) in the extended Baryon Oscillation Spectroscopic Survey (eBOSS). By applying the incomplete conditional stellar mass function (ICSMF) model proposed in Guo et al., we simultaneously constrain the sample completeness, the stellar--halo mass relation (SHMR) and the quenched galaxy fraction. We obtain the intrinsic stellar mass functions for star-forming galaxies in the redshift bins of 0.7<z<0.8, 0.8<z<0.9, 0.9<z<1.0 and 1.0<z<1.2, as well as the stellar mass function for all galaxies in the redshift bin of 0.7<z<0.8. We find that the eBOSS ELG sample only selects about 1%-10% of the star-forming galaxy population at the different redshifts, with the lower redshift samples to be more complete. There is only weak evolution in the SHMR of the ELGs from z=1.2 to z=0.7, as well as the intrinsic galaxy stellar mass functions for lower-mass galaxies of $M_*<10^{11} M_\odot$. There is significant decrease of the stellar mass function for star-forming galaxies with redshift at the massive end. Our best-fitting models show that the central ELGs at these redshifts live in halos of mass $M\sim10^{12} M_\odot$ while the satellite ELGs occupy slightly more massive halos of $M\sim10^{12.6} M_\odot$. The average satellite fraction of the observed ELGs varies from 13% to 17%, with the galaxy bias increasing from 1.1 to 1.4 from z=0.7 to 1.2.


title: A Fully Time-domain Neural Model for Subband-based Speech Synthesizer

abstract: This paper introduces a deep neural network model for subband-based speech synthesizer. The model benefits from the short bandwidth of the subband signals to reduce the complexity of the time-domain speech generator. We employed the multi-level wavelet analysis/synthesis to decompose/reconstruct the signal into subbands in time domain. Inspired from the WaveNet, a convolutional neural network (CNN) model predicts subband speech signals fully in time domain. Due to the short bandwidth of the subbands, a simple network architecture is enough to train the simple patterns of the subbands accurately. In the ground truth experiments with teacher-forcing, the subband synthesizer outperforms the fullband model significantly in terms of both subjective and objective measures. In addition, by conditioning the model on the phoneme sequence using a pronunciation dictionary, we have achieved the fully time-domain neural model for subband-based text-to-speech (TTS) synthesizer, which is nearly end-to-end. The generated speech of the subband TTS shows comparable quality as the fullband one with a slighter network architecture for each subband.


title: Important Attribute Identification in Knowledge Graph

abstract: The knowledge graph(KG) composed of entities with their descriptions and attributes, and relationship between entities, is finding more and more application scenarios in various natural language processing tasks. In a typical knowledge graph like Wikidata, entities usually have a large number of attributes, but it is difficult to know which ones are important. The importance of attributes can be a valuable piece of information in various applications spanning from information retrieval to natural language generation. In this paper, we propose a general method of using external user generated text data to evaluate the relative importance of an entity's attributes. To be more specific, we use the word/sub-word embedding techniques to match the external textual data back to entities' attribute name and values and rank the attributes by their matching cohesiveness. To our best knowledge, this is the first work of applying vector based semantic matching to important attribute identification, and our method outperforms the previous traditional methods. We also apply the outcome of the detected important attributes to a language generation task; compared with previous generated text, the new method generates much more customized and informative messages.


title: PHENIX results on collectivity in small systems

abstract: PHENIX has measured elliptic and triangular flow of charged hadrons in $p/d/^{3}$He$+$Au collisions at a center-of-mass energy of 200 GeV per nucleon pair, and elliptic flow in $d$+Au collisions at 200, 62.4, and 39 GeV. In order to asses the origin of collectivity in the smallest systems, these results are compared with several theoretical models that produce azimuthal particle correlations based on initial and/or final state effects. Hydrodynamical models, which include the formation of a droplet of quark-gluon plasma, provide the best simultaneous description of our observations.


title: Well-Posedness of Initial-Boundary Value Problems for a Reaction-Diffusion Equation

abstract: A reaction-diffusion equation with power nonlinearity formulated either on the half-line or on the finite interval with nonzero boundary conditions is shown to be locally well-posed in the sense of Hadamard for data in Sobolev spaces. The result is established via a contraction mapping argument, taking advantage of a novel approach that utilizes the formula produced by the unified transform method of Fokas for the forced linear heat equation to obtain linear estimates analogous to those previously derived for the nonlinear Schr\"odinger, Korteweg-de Vries and "good" Boussinesq equations. Thus, the present work extends the recently introduced "unified transform method approach to well-posedness" from dispersive equations to diffusive ones.


title: Equilibrium states on higher-rank Toeplitz noncommutative solenoids

abstract: We consider a family of higher-dimensional noncommutative tori, which are twisted analogues of the algebras of continuous functions on ordinary tori, and their Toeplitz extensions. Just as solenoids are inverse limits of tori, our Toeplitz noncommutative solenoids are direct limits of the Toeplitz extensions of noncommutative tori. We consider natural dynamics on these Toeplitz algebras, and compute the equilibrium states for these dynamics. We find a large simplex of equilibrium states at each positive inverse temperature, parametrised by the probability measures on an (ordinary) solenoid.


title: Rainbow matchings of size $m$ in graphs with total color degree at least $2mn$

abstract: The existence of a rainbow matching given a minimum color degree, proper coloring, or triangle-free host graph has been studied extensively. This paper, generalizes these problems to edge colored graphs with given total color degree. In particular, we find that if a graph $G$ has total color degree $2mn$ and satisfies some other properties, then $G$ contains a matching of size $m$; These other properties include $G$ being triangle-free, $C_4$-free, properly colored, or large enough.


title: Throughput Analysis and Energy Efficiency Optimization for Standalone LTE-U Networks with Randomly Delayed CSI

abstract: To coexist with Wi-Fi friendly, a standalone long-term evolution network over unlicensed spectrum (LTE-U) under listen-before-talk (LBT) mechanism can only access channel in a random and intermittent way, which results in random and time-variant delay in both data and signaling transmissions. In this work, we explore the impact of randomly delayed channel state information (CSI) on the performance of a standalone LTE-U network by analyzing its downlink throughput and users' energy efficiency (EE) under different CSI feedback schemes and frequency-domain schedulers. Further, aiming at maximizing users' EE of a standalone LTE-U network while guaranteeing fair coexistence with Wi-Fi, joint optimization on the medium access control (MAC) protocol and CSI feedback scheme is studied. Due to the non-convex and non-concave characteristic of the formulated optimization problems, decomposition-based low-complexity yet efficient algorithms are proposed. Simulation results not only verify the analysis and the effectiveness of the proposed algorithms but also show diverse impacts of CSI feedback scheme, frequency-domain scheduler, and traffic load of Wi-Fi on the standalone LTE-U network performance.


title: Central limit theorem and moderate deviations for a stochastic Cahn-Hilliard equation

abstract: In this paper, we prove a central limit theorem and a moderate deviation principle for a perturbed stochastic Cahn-Hilliard equation defined on [0, T]x [0, \pi]^d, with d \in {1,2,3}. This equation is driven by a space-time white noise. The weak convergence approach plays an important role.


title: Nonlinear dynamics of Shear Alfv\'en fluctuations in Divertor Tokamak Test facility plasmas

abstract: Following the analysis on linear spectra of shear Alfv\'en fluctuations excited by energetic particles (EPs) in the Divertor Tokamak Test (DTT) facility plasmas [T. Wang et al., Phys. Plasmas 25, 062509 (2018)], in this work, nonlinear dynamics of the corresponding mode saturation and the fluctuation induced EP transport is studied by hybrid magnetohydrodynamic-gyrokinetic simulations. For the reversed shear Alfv\'en eigenmode driven by magnetically trapped EP precession resonance in the central core region of DTT plasmas, the saturation is mainly due to radial decoupling of resonant trapped EPs. Consistent with the wave-EP resonance structure, EP transport occurs in a similar scale to the mode width. On the other hand, passing EP transport is analyzed in detail for toroidal Alfv\'en eigenmode in the outer core region, with mode drive from both passing and trapped EPs. It is shown that passing EPs experience only weak redistributions in the weakly unstable case; and the transport extends to meso-scale diffusion in the strongly unstable case, due to orbit stochasticity induced by resonance overlap. Here, weakly/strongly unstable regime is determined by Chirikov condition for resonance overlap. This work then further illuminates rich and diverse nonlinear EP dynamics related to burning plasma studies, and the capability of DTT to address these key physics.


title: Non-volatile ferroelectric memory effect in ultrathin {\alpha}-In2Se3

abstract: Recent experiments on layered {\alpha}-In2Se3 have confirmed its room-temperature ferroelectricity under ambient condition. This observation renders {\alpha}-In2Se3 an excellent platform for developing two-dimensional (2D) layered-material based electronics with nonvolatile functionality. In this letter, we demonstrate non-volatile memory effect in a hybrid 2D ferroelectric field effect transistor (FeFET) made of ultrathin {\alpha}-In2Se3 and graphene. The resistance of graphene channel in the FeFET is tunable and retentive due to the electrostatic doping, which stems from the electric polarization of the ferroelectric {\alpha}-In2Se3. The electronic logic bit can be represented and stored with different orientations of electric dipoles in the top-gate ferroelectric. The 2D FeFET can be randomly re-written over more than $10^5$ cycles without losing the non-volatility. Our approach demonstrates a protype of re-writable non-volatile memory with ferroelectricity in van de Waals 2D materials.


title: Singular dynamics in the failure of soft adhesive contacts

abstract: We characterize the mechanical recovery of compliant silicone gels following adhesive contact failure. We establish broad, stable adhesive contacts between rigid microspheres and soft gels, then stretch the gels to large deformations by pulling quasi-statically on the contact. Eventually, the adhesive contact begins to fail, and ultimately slides to a final contact point on the bottom of the sphere. Immediately after detachment, the gel recoils quickly with a self-similar surface profile that evolves as a power law in time, suggesting that the adhesive detachment point is singular. The singular dynamics we observe are consistent with a relaxation process driven by surface stress and slowed by viscous flow through the porous, elastic network of the gel. Our results emphasize the importance of accounting for both the liquid and solid phases of gels in understanding their mechanics, especially under extreme deformation.