title: Classification of Real Solutions of the Fourth Painleve Equation

abstract: Painleve transcendents are usually considered as complex functions of a complex variable, but in applications it is often the real cases that are of interest. Under a reasonable assumption (concerning the behavior of a dynamical system associated with Painleve IV, as discussed in a recent paper), we give a number of results towards a classification of the real solutions of Painleve IV (or, more precisely, symmetric Painleve IV), according to their asymptotic behavior and singularities. We show the existence of globally nonsingular real solutions of symmetric Painleve IV for arbitrary nonzero values of the parameters, with the dimension of the space of such solutions and their asymptotics depending on the signs of the parameters. We show that for a generic choice of the parameters, there exists a unique finite sequence of singularities for which symmetric Painleve IV has a two-parameter family of solutions with this singularity sequence. There also exist solutions with singly infinite and doubly infinite sequences of singularities, and we identify which such sequences are possible (assuming generic asymptotics in the case of a singly infinite sequence). Most (but not all) of the special solutions of Painleve IV correspond to nongeneric values of the parameters, but we mention some results for these solutions as well.


title: Using Ontologies To Improve Performance In Massively Multi-label Prediction Models

abstract: Massively multi-label prediction/classification problems arise in environments like health-care or biology where very precise predictions are useful. One challenge with massively multi-label problems is that there is often a long-tailed frequency distribution for the labels, which results in few positive examples for the rare labels. We propose a solution to this problem by modifying the output layer of a neural network to create a Bayesian network of sigmoids which takes advantage of ontology relationships between the labels to help share information between the rare and the more common labels. We apply this method to the two massively multi-label tasks of disease prediction (ICD-9 codes) and protein function prediction (Gene Ontology terms) and obtain significant improvements in per-label AUROC and average precision for less common labels.


title: Coordinated Exploration via Intrinsic Rewards for Multi-Agent Reinforcement Learning

abstract: Solving tasks with sparse rewards is one of the most important challenges in reinforcement learning. In the single-agent setting, this challenge is addressed by introducing intrinsic rewards that motivate agents to explore unseen regions of their state spaces; however, applying these techniques naively to the multi-agent setting results in agents exploring independently, without any coordination among themselves. Exploration in cooperative multi-agent settings can be accelerated and improved if agents coordinate their exploration. In this paper we introduce a framework for designing intrinsic rewards which consider what other agents have explored such that the agents can coordinate. Then, we develop an approach for learning how to dynamically select between several exploration modalities to maximize extrinsic rewards. Concretely, we formulate the approach as a hierarchical policy where a high-level controller selects among sets of policies trained on diverse intrinsic rewards and the low-level controllers learn the action policies of all agents under these specific rewards. We demonstrate the effectiveness of the proposed approach in cooperative domains with sparse rewards where state-of-the-art methods fail and challenging multi-stage tasks that necessitate changing modes of coordination.


title: On Doney's striking factorization of the arc-sine law

abstract: R. Doney identifies a striking factorization of the arc-sine law in terms of the suprema of two independent stable processes of the same index by an elegant random walks approximation. In this paper, we provide an alternative proof and a generalization of this factorization based on the theory recently developed for the exponential functional of L\'evy processes. As a by-product, we provide some interesting distributional properties for these variables and also some new examples of the factorization of the arc-sine law.


title: A way of decoupling gravitational sources in pure Lovelock gravity

abstract: We provide an algorithm that shows how to decouple gravitational sources in Pure Lovelock gravity. This method allows to obtain several new and known analytic solutions of physical interest in scenarios with extra dimensions and with presence of higher curvature terms. Furthermore, using our method, it is shown that applying the minimal geometric deformation to the Anti de Sitter space time it is possible to obtain regular black hole solutions.


title: Composing Neural Algorithms with Fugu

abstract: Neuromorphic hardware architectures represent a growing family of potential post-Moore's Law Era platforms. Largely due to event-driving processing inspired by the human brain, these computer platforms can offer significant energy benefits compared to traditional von Neumann processors. Unfortunately there still remains considerable difficulty in successfully programming, configuring and deploying neuromorphic systems. We present the Fugu framework as an answer to this need. Rather than necessitating a developer attain intricate knowledge of how to program and exploit spiking neural dynamics to utilize the potential benefits of neuromorphic computing, Fugu is designed to provide a higher level abstraction as a hardware-independent mechanism for linking a variety of scalable spiking neural algorithms from a variety of sources. Individual kernels linked together provide sophisticated processing through compositionality. Fugu is intended to be suitable for a wide-range of neuromorphic applications, including machine learning, scientific computing, and more brain-inspired neural algorithms. Ultimately, we hope the community adopts this and other open standardization attempts allowing for free exchange and easy implementations of the ever-growing list of spiking neural algorithms.


title: Adaptive Deep Kernel Learning

abstract: Deep kernel learning provides an elegant and principled framework for combining the structural properties of deep learning algorithms with the flexibility of kernel methods. By means of a deep neural network, we learn a parametrized kernel operator that can be combined with a differentiable kernel algorithm during inference. While previous work within this framework has focused on learning a single kernel for large datasets, we learn a kernel family for a variety of few-shot regression tasks. Compared to single deep kernel learning, our algorithm enables the identification of the appropriate kernel for each task during inference. As such, it is well adapted for complex task distributions in a few-shot learning setting, which we demonstrate by comparing against existing state-of-the-art algorithms using real-world, few-shot regression tasks related to the field of drug discovery.


title: Signal selection for estimation and identification in networks of dynamic systems: a graphical model approach

abstract: Network systems have become a ubiquitous modeling tool in many areas of science where nodes in a graph represent distributed processes and edges between nodes represent a form of dynamic coupling. When a network topology is already known (or partially known), two associated goals are (i) to derive estimators for nodes of the network which cannot be directly observed or are impractical to measure; and (ii) to quantitatively identify the dynamic relations between nodes. In this article we address both problems in the challenging scenario where only some outputs of the network are being measured and the inputs are not accessible. The approach makes use of the notion of $d$-separation for the graph associated with the network. In the considered class of networks, it is shown that the proposed technique can determine or guide the choice of optimal sparse estimators. The article also derives identification methods that are applicable to cases where loops are present providing a different perspective on the problem of closed-loop identification. The notion of $d$-separation is a central concept in the area of probabilistic graphical models, thus an additional contribution is to create connections between control theory and machine learning techniques.


title: One SQL to Rule Them All

abstract: Real-time data analysis and management are increasingly critical for today`s businesses. SQL is the de facto lingua franca for these endeavors, yet support for robust streaming analysis and management with SQL remains limited. Many approaches restrict semantics to a reduced subset of features and/or require a suite of non-standard constructs. Additionally, use of event timestamps to provide native support for analyzing events according to when they actually occurred is not pervasive, and often comes with important limitations. We present a three-part proposal for integrating robust streaming into the SQL standard, namely: (1) time-varying relations as a foundation for classical tables as well as streaming data, (2) event time semantics, (3) a limited set of optional keyword extensions to control the materialization of time-varying query results. Motivated and illustrated using examples and lessons learned from implementations in Apache Calcite, Apache Flink, and Apache Beam, we show how with these minimal additions it is possible to utilize the complete suite of standard SQL semantics to perform robust stream processing.


title: Optimizing QAOA: Success Probability and Runtime Dependence on Circuit Depth

abstract: The quantum approximate optimization algorithm~(QAOA) first proposed by Farhi et al. promises near-term applications based on its simplicity, universality, and provable optimality. A depth-p QAOA consists of p interleaved unitary transformations induced by two mutually non-commuting Hamiltonians. A long-standing question concerning the performance of QAOA is the dependence of its success probability as a function of circuit depth p. We make initial progress by analyzing the success probability of QAOA for realizing state transfer in a one-dimensional qubit chain using two-qubit XY Hamiltonians and single-qubit Hamiltonians. We provide analytic state transfer success probability dependencies on p in both low and large p limits by leveraging the unique spectral property of the XY Hamiltonian. We support our proof under a given QAOA ansatz with numerical optimizations of QAOA for up to \(N\)=20 qubits. We show that the optimized QAOA can achieve the well-known quadratic speedup, Grover speedup, over the classical alternatives. Treating QAOA optimization as a quantum control problem, we also provide numerical evidence of how the circuit depth determines the controllability of the QAOA ansatz.


title: Single neuron-based neural networks are as efficient as dense deep neural networks in binary and multi-class recognition problems

abstract: Recent advances in neuroscience have revealed many principles about neural processing. In particular, many biological systems were found to reconfigure/recruit single neurons to generate multiple kinds of decisions. Such findings have the potential to advance our understanding of the design and optimization process of artificial neural networks. Previous work demonstrated that dense neural networks are needed to shape complex decision surfaces required for AI-level recognition tasks. We investigate the ability to model high dimensional recognition problems using single or several neurons networks that are relatively easier to train. By employing three datasets, we test the use of a population of single neuron networks in performing multi-class recognition tasks. Surprisingly, we find that sparse networks can be as efficient as dense networks in both binary and multi-class tasks. Moreover, single neuron networks demonstrate superior performance in binary classification scheme and competing results when combined for multi-class recognition.


title: On the generalized Hamming weights of certain Reed-Muller-type codes

abstract: There is a nice combinatorial formula of P. Beelen and M. Datta for the $r$-th generalized Hamming weight of an affine cartesian code. Using this combinatorial formula we give an easy to evaluate formula to compute the $r$-th generalized Hamming weight for a family of affine cartesian codes. If $\mathbb{X}$ is a set of projective points over a finite field we determine the basic parameters and the generalized Hamming weights of the Veronese type codes on $\mathbb{X}$ and their dual codes in terms of the basic parameters and the generalized Hamming weights of the corresponding projective Reed--Muller-type codes on $\mathbb{X}$ and their dual codes.


title: Spontaneous topological transitions in a honeycomb lattice of exciton-polariton condensates due to spin bifurcations

abstract: We theoretically explore nonresonantly pumped polaritonic graphene, a system consisting of a honeycomb lattice of micropillars in the regime of strong light-matter coupling. We demonstrate that, depending on the parameters of the structure, such as intensity of the pump and coupling strength between the pillars, the system shows rich variety of macroscopic ordering, including analogs of ferromagnetic, antiferromagnetic, and resonant valence bond phases. Transitions between these phases are associated with dramatic reshaping of the spectrum of the system connected with spontaneous appearance of topological order.


title: Photo-induced Superconducting State with Long-lived Disproportionate Band Filling in FeSe

abstract: Photo-excitation is a very powerful way to instantaneously drive a material into a novel quantum state without any fabrication, and variable ultrafast techniques have been developed to observe how electron-, lattice-, and spin-degrees of freedom change. One of the most spectacular phenomena is photo-induced superconductivity, and it has been suggested in cuprates that the transition temperature Tc can be enhanced from original Tc with significant lattice modulations. Here we show another photo-induced high-Tc superconducting state in the iron-based superconductor FeSe with semi-metallic hole and electron bands. The transient electronic state in the entire Brillouin zone is directly observed by the time- and angle-resolved photoemission spectroscopy using extreme ultraviolet pulses obtained from high harmonic generation. Our results of dynamical behaviors on timescales from 50 fs to 800 ps consistently support the favorable superconducting state after photo-excitation well above Tc. This finding demonstrates that multiband iron-based superconductors emerge as an alternative candidate for photo-induced superconductors.


title: Antiferromagnetic Kitaev Interactions in Polar Spin-Orbit Mott Insulators

abstract: A bond-directional anisotropic exchange interaction, called the Kitaev interaction, is a promising route to realize quantum spin liquids. The Kitaev interactions were found in Mott insulators with the strong spin-orbit coupling, in the presence of quantum interference between indirect electron transfers. Here we theoretically propose a different scenario by introducing a polar structural asymmetry that unbalances the quantum interference. We show that the imbalance activates additional exchange processes and gives rise to a dominant antiferromagnetic Kitaev interaction, in stark contrast to the conventional ferromagnetic ones. We demonstrate by ab initio calculations that polar Ru trihalides with multiple anions, $\alpha$-RuH$_{3/2}X_{3/2}$ ($X$=Cl and Br), exhibit the antiferromagnetic Kitaev interaction whose magnitude is several times larger compared to existing candidates. Our proposal opens the way for materializing the Kitaev spin liquids in unexplored parameter regions.


title: Non-Gaussianity from Features

abstract: The strongest non-Gaussianity in single-scalar potential models of inflation is associated with features in the power spectrum. We stress the importance of accurately modelling the expected signal in order for the standard estimator to minimize contamination by random noise. We present explicit formulae which improve on the approximation introduced by Adshead, Hu, Dvorkin and Peiris. We also compare with a simple, analytic model of the first feature, and quantify our results using the correlators of Hung, Fergusson and Shellard.


title: Data Augementation with Polya Inverse Gamma

abstract: We use the theory of normal variance-mean mixtures to derive a data augmentation scheme for models that include gamma functions. Our methodology applies to many situations in statistics and machine learning, including Multinomial-Dirichlet distributions, Negative binomial regression, Poisson-Gamma hierarchical models, Extreme value models, to name but a few. All of those models include a gamma function which does not admit a natural conjugate prior distribution providing a significant challenge to inference and prediction. To provide a data augmentation strategy, we construct and develop the theory of the class of P\'olya Inverse Gamma distributions. This allows scalable EM and MCMC algorithms to be developed. We illustrate our methodology on a number of examples, including gamma shape inference, negative binomial regression and Dirichlet allocation. Finally, we conclude with directions for future research.


title: Combinatorial anti-concentration inequalities, with applications

abstract: We prove several different anti-concentration inequalities for functions of independent Bernoulli-distributed random variables. First, motivated by a conjecture of Alon, Hefetz, Krivelevich and Tyomkyn, we prove some "Poisson-type" anti-concentration theorems that give bounds of the form 1/e + o(1) for the point probabilities of certain polynomials. Second, we prove an anti-concentration inequality for polynomials with nonnegative coefficients which extends the classical Erd\H{o}s-Littlewood-Offord theorem and improves a theorem of Meka, Nguyen and Vu for polynomials of this type. As an application, we prove some new anti-concentration bounds for subgraph counts in random graphs.


title: The Impact of RDMA on Agreement

abstract: Remote Direct Memory Access (RDMA) is becoming widely available in data centers. This technology allows a process to directly read and write the memory of a remote host, with a mechanism to control access permissions. In this paper, we study the fundamental power of these capabilities. We consider the well-known problem of achieving consensus despite failures, and find that RDMA can improve the inherent trade-off in distributed computing between failure resilience and performance. Specifically, we show that RDMA allows algorithms that simultaneously achieve high resilience and high performance, while traditional algorithms had to choose one or another. With Byzantine failures, we give an algorithm that only requires $n \geq 2f_P + 1$ processes (where $f_P$ is the maximum number of faulty processes) and decides in two (network) delays in common executions. With crash failures, we give an algorithm that only requires $n \geq f_P + 1$ processes and also decides in two delays. Both algorithms tolerate a minority of memory failures inherent to RDMA, and they provide safety in asynchronous systems and liveness with standard additional assumptions.


title: On mixed joint discrete universality for a class of zeta-functions III

abstract: We present the most general at this moment results on the discrete mixed joint value-distribution and the universality property for the class of Matsumoto zeta-functions and periodic Hurwitz zeta-functions under certain linear independence condition on the relevant parameters, such as common differences of arithmetic progressions, prime numbers etc.


title: Optimal approximation for unconstrained non-submodular minimization

abstract: Submodular function minimization is well studied, and existing algorithms solve it exactly or up to arbitrary accuracy. However, in many applications, such as structured sparse learning or batch Bayesian optimization, the objective function is not exactly submodular, but close. In this case, no theoretical guarantees exist. Indeed, submodular minimization algorithms rely on intricate connections between submodularity and convexity. We show how these relations can be extended to obtain approximation guarantees for minimizing non-submodular functions, characterized by how close the function is to submodular. We also extend this result to noisy function evaluations. Our approximation results are the first for minimizing non-submodular functions, and are optimal, as established by our matching lower bound.


title: Gradients do grow on trees: a linear-time ${\cal O}\hspace{-0.2em}\left( N \right)$-dimensional gradient for statistical phylogenetics

abstract: Calculation of the log-likelihood stands as the computational bottleneck for many statistical phylogenetic algorithms. Even worse is its gradient evaluation, often used to target regions of high probability. Order ${\cal O}\hspace{-0.2em}\left( N \right)$-dimensional gradient calculations based on the standard pruning algorithm require ${\cal O}\hspace{-0.2em}\left( N^2 \right)$ operations where N is the number of sampled molecular sequences. With the advent of high-throughput sequencing, recent phylogenetic studies have analyzed hundreds to thousands of sequences, with an apparent trend towards even larger data sets as a result of advancing technology. Such large-scale analyses challenge phylogenetic reconstruction by requiring inference on larger sets of process parameters to model the increasing data heterogeneity. To make this tractable, we present a linear-time algorithm for ${\cal O}\hspace{-0.2em}\left( N \right)$-dimensional gradient evaluation and apply it to general continuous-time Markov processes of sequence substitution on a phylogenetic tree without a need to assume either stationarity or reversibility. We apply this approach to learn the branch-specific evolutionary rates of three pathogenic viruses: West Nile virus, Dengue virus and Lassa virus. Our proposed algorithm significantly improves inference efficiency with a 126- to 234-fold increase in maximum-likelihood optimization and a 16- to 33-fold computational performance increase in a Bayesian framework.


title: Submillimeter continuum variability in Planck Galactic cold clumps

abstract: In the early stages of star formation, a protostar is deeply embedded in an optically thick envelope such that it is not directly observable. Variations in the protostellar accretion rate, however, will cause luminosity changes that are reprocessed by the surrounding envelope and are observable at submillimeter wavelengths. We searched for submillimeter flux variability toward 12 Planck Galactic Cold Clumps detected by the James Clerk Maxwell Telescope (JCMT)-SCUBA-2 Continuum Observations of Pre-protostellar Evolution (SCOPE) survey. These observations were conducted at 850 um using the JCMT/SCUBA-2. Each field was observed three times over about 14 months between 2016 April and 2017 June. We applied a relative flux calibration and achieved a calibration uncertainty of ~ 3.6% on average. We identified 136 clumps across 12 fields and detected four sources with flux variations of ~ 30%. For three of these sources, the variations appear to be primarily due to large-scale contamination, leaving one plausible candidate. The flux change of the candidate may be associated with low- or intermediate-mass star formation assuming a distance of 1.5 kpc, although we cannot completely rule out the possibility that it is a random deviation. Further studies with dedicated monitoring would provide a better understanding of the detailed relationship between submillimeter flux and accretion rate variabilities while enhancing the search for variability in star-forming clumps farther away than the Gould Belt.


title: Certain functions defined in terms of Cantor series

abstract: The present article is devoted to certain examples of functions whose argument represented in terms of Cantor series.


title: SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

abstract: Integrating logical reasoning within deep learning architectures has been a major goal of modern AI systems. In this paper, we propose a new direction toward this goal by introducing a differentiable (smoothed) maximum satisfiability (MAXSAT) solver that can be integrated into the loop of larger deep learning systems. Our (approximate) solver is based upon a fast coordinate descent approach to solving the semidefinite program (SDP) associated with the MAXSAT problem. We show how to analytically differentiate through the solution to this SDP and efficiently solve the associated backward pass. We demonstrate that by integrating this solver into end-to-end learning systems, we can learn the logical structure of challenging problems in a minimally supervised fashion. In particular, we show that we can learn the parity function using single-bit supervision (a traditionally hard task for deep networks) and learn how to play 9x9 Sudoku solely from examples. We also solve a "visual Sudok" problem that maps images of Sudoku puzzles to their associated logical solutions by combining our MAXSAT solver with a traditional convolutional architecture. Our approach thus shows promise in integrating logical structures within deep learning.


title: Bayesian Anomaly Detection Using Extreme Value Theory

abstract: Data-driven anomaly detection methods typically build a model for the normal behavior of the target system, and score each data instance with respect to this model. A threshold is invariably needed to identify data instances with high (or low) scores as anomalies. This presents a practical limitation on the applicability of such methods, since most methods are sensitive to the choice of the threshold, and it is challenging to set optimal thresholds. We present a probabilistic framework to explicitly model the normal and anomalous behaviors and probabilistically reason about the data. An extreme value theory based formulation is proposed to model the anomalous behavior as the extremes of the normal behavior. As a specific instantiation, a joint non-parametric clustering and anomaly detection algorithm is proposed that models the normal behavior as a Dirichlet Process Mixture Model.


title: Leaves for packings with block size four

abstract: We consider maximum packings of edge-disjoint $4$-cliques in the complete graph $K_n$. When $n \equiv 1$ or $4 \pmod{12}$, these are simply block designs. In other congruence classes, there are necessarily uncovered edges; we examine the possible `leave' graphs induced by those edges. We give particular emphasis to the case $n \equiv 0$ or $3 \pmod{12}$, when the leave is $2$-regular. Colbourn and Ling settled the case of Hamiltonian leaves in this case. We extend their construction and use several additional direct and recursive constructions to realize a variety of $2$-regular leaves. For various subsets $S \subseteq \{3,4,5,\dots\}$, we establish explicit lower bounds on $n$ to guarantee the existence of maximum packings with any possible leave whose cycle lengths belong to $S$.


title: A Simple Saliency Method That Passes the Sanity Checks

abstract: There is great interest in "saliency methods" (also called "attribution methods"), which give "explanations" for a deep net's decision, by assigning a "score" to each feature/pixel in the input. Their design usually involves credit-assignment via the gradient of the output with respect to input. Recently Adebayo et al. [arXiv:1810.03292] questioned the validity of many of these methods since they do not pass simple *sanity checks* which test whether the scores shift/vanish when layers of the trained net are randomized, or when the net is retrained using random labels for inputs. We propose a simple fix to existing saliency methods that helps them pass sanity checks, which we call "competition for pixels". This involves computing saliency maps for all possible labels in the classification task, and using a simple competition among them to identify and remove less relevant pixels from the map. The simplest variant of this is "Competitive Gradient $\odot$ Input (CGI)": it is efficient, requires no additional training, and uses only the input and gradient. Some theoretical justification is provided for it (especially for ReLU networks) and its performance is empirically demonstrated.


title: Concrete Barriers to Quantifier Elimination in Finite-Dimensional C*-algebras

abstract: Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the Cantor set. We show that, among finite dimensional C*-algebras, quantifier elimination does hold if the language is expanded to include two new predicate symbols: One for minimal projections, and one for pairs of unitarily conjugate projections. Both of these predicates are definable, but not quantifier-free definable, in the usual language of C*-algebras. We also show that adding just the predicate for minimal projections is sufficient in the case of full matrix algebras, but that in general both new predicate symbols are required.


title: A fast approach to optimal transport: The back-and-forth method

abstract: We present an iterative method to efficiently solve the optimal transportation problem for a class of strictly convex costs which includes quadratic and p-power costs. Given two probability measures supported on a discrete grid with n points, we compute the optimal map using O(n) storage space and O(n log(n)) operations per iteration, with an approximately exponential convergence rate. Our approach allows us to solve optimal transportation problems on spatial grids as large as 4096x4096 and 384x384x384 in a matter of minutes.


title: The Supermarket Model with Known and Predicted Service Times

abstract: The supermarket model refers to a system with a large number of queues, where new customers choose d queues at random and join the one with the fewest customers. This model demonstrates the power of even small amounts of choice, as compared to simply joining a queue chosen uniformly at random, for load balancing systems. In this work we perform simulation-based studies to consider variations where service times for a customer are predicted, as might be done in modern settings using machine learning techniques or related mechanisms. Our primary takeaway is that using even seemingly weak predictions of service times can yield significant benefits over blind First In First Out queueing in this context. However, some care must be taken when using predicted service time information to both choose a queue and order elements for service within a queue; while in many cases using the information for both choosing and ordering is beneficial, in many of our simulation settings we find that simply using the number of jobs to choose a queue is better when using predicted service times to order jobs in a queue. In our simulations, we evaluate both synthetic and real-world workloads--in the latter, service times are predicted by machine learning. Our results provide practical guidance for the design of real-world systems; moreover, we leave many natural theoretical open questions for future work, validating their relevance to real-world situations.


title: Towards Real Scene Super-Resolution with Raw Images

abstract: Most existing super-resolution methods do not perform well in real scenarios due to lack of realistic training data and information loss of the model input. To solve the first problem, we propose a new pipeline to generate realistic training data by simulating the imaging process of digital cameras. And to remedy the information loss of the input, we develop a dual convolutional neural network to exploit the originally captured radiance information in raw images. In addition, we propose to learn a spatially-variant color transformation which helps more effective color corrections. Extensive experiments demonstrate that super-resolution with raw data helps recover fine details and clear structures, and more importantly, the proposed network and data generation pipeline achieve superior results for single image super-resolution in real scenarios.


title: Effect of palladium on the microstructure and grain boundary complexions in SiC

abstract: One of the main challenges in the study of TRISO (Tristructural Isotropic) coated fuel particles is the understanding of the diffusion of fission products through SiC. Among the elements produced inside the uranium kernel, it has been suggested that Pd might enhance the diffusion of other fission products. In this work we have studied the interaction between Pd and SiC. We have observed that as Pd diffuses it can change the chemical composition and microstructure of SiC. Electron Backscattered Diffraction (EBSD) analysis showed that Pd increased the amount of high angle grain boundaries from 47 to 59%. Furthermore, we have observed that as Pd diffused, it changed the composition of SiC by leaving a trail of excess carbon at the grain boundary. This change in localized chemical composition and microstructure suggests a grain boundary complexion transition induced by Pd and a new way in which Pd can lead to faster diffusion routes for other fission products.


title: Solving graph compression via optimal transport

abstract: We propose a new approach to graph compression by appeal to optimal transport. The transport problem is seeded with prior information about node importance, attributes, and edges in the graph. The transport formulation can be setup for either directed or undirected graphs, and its dual characterization is cast in terms of distributions over the nodes. The compression pertains to the support of node distributions and makes the problem challenging to solve directly. To this end, we introduce Boolean relaxations and specify conditions under which these relaxations are exact. The relaxations admit algorithms with provably fast convergence. Moreover, we provide an exact $O(d \log d)$ algorithm for the subproblem of projecting a $d$-dimensional vector to transformed simplex constraints. Our method outperforms state-of-the-art compression methods on graph classification.


title: Car Path Tracking in Traffic Flow Networks with Bounded Buffers at Junctions

abstract: This article deals with the modeling for an individual car path through a road network, where the dynamics is driven by a coupled system of ordinary and partial differential equations. The network is characterized by bounded buffers at junctions that allow for the interpretation of roundabouts or on-ramps while the traffic dynamics is based on first-order macroscopic equations of Lighthill-Whitham-Richards (LWR) type. Trajectories for single drivers are then influenced by the surrounding traffic and can be tracked by appropriate numerical algorithms. The computational experiments show how the modeling framework can be used as navigation device.


title: Shared Autonomous Electric Vehicle Service Performance: Assessing the Impact of Charging Infrastructure and Battery Capacity

abstract: Shared autonomous vehicles (SAVs) are the next major evolution in urban mobility. This technology has attracted much interest of car manufacturers aiming at playing a role as transportation network companies (TNCs) in order to gain benefits per kilometer and per ride. The majority of future SAVs will most probably be electric. It is therefore important to understand how limited vehicle range and the configuration of charging infrastructure will affect the performance of shared autonomous electric vehicle (SAEV) services. We aim to explore the impacts of charging station placement, charging type (rapid charging, battery swapping) as well as vehicle range onto service efficiency and customer experience in terms of service availability and response time. We perform an agent-based simulation of SAEVs across the Rouen Normandie metropolitan area in France. The simulation process features impact assessment by considering dynamic demand responsive to the network and traffic. Research results suggest that the performance of SAEVs is strongly correlated to the charging infrastructure. Importantly, faster charging infrastructure and optimized placement of charging locations in order to minimize distances between demand hubs and charging stations result in a higher performance. Further analysis indicates the importance of dispersing charging stations across the service area and how this affects service effectiveness. The results also underline that SAEV battery capacity has to be carefully selected to avoid the overlaps between demand and charging peak times. Finally, the simulation results show that by providing battery swapping infrastructure the performance indicators of SAEV service are significantly improved.


title: Bipartite partition-connected factors with small degrees

abstract: In this paper, we show that every $2m$-partition-connected graph $G$ has a bipartite $m$-partition-connected factor $H$ such that for each vertex $v$, $d_H(v)\le \lceil \frac{3}{4}d_G(v)\rceil$. A graph $H$ is said to be $m$-partition-connected, if it contains $m$ edge-disjoint spanning trees. As an application, we conclude that tough enough graphs with appropriate number of vertices have a bipartite $m$-partition-connected factor with maximum degree at most $3m+1$. Finally, we prove that tough enough graphs of order at least $3k$ admit a bipartite connected factor whose degrees lie in the set $\{k,2k,3k,4k\}$.


title: Volumetric Capture of Humans with a Single RGBD Camera via Semi-Parametric Learning

abstract: Volumetric (4D) performance capture is fundamental for AR/VR content generation. Whereas previous work in 4D performance capture has shown impressive results in studio settings, the technology is still far from being accessible to a typical consumer who, at best, might own a single RGBD sensor. Thus, in this work, we propose a method to synthesize free viewpoint renderings using a single RGBD camera. The key insight is to leverage previously seen "calibration" images of a given user to extrapolate what should be rendered in a novel viewpoint from the data available in the sensor. Given these past observations from multiple viewpoints, and the current RGBD image from a fixed view, we propose an end-to-end framework that fuses both these data sources to generate novel renderings of the performer. We demonstrate that the method can produce high fidelity images, and handle extreme changes in subject pose and camera viewpoints. We also show that the system generalizes to performers not seen in the training data. We run exhaustive experiments demonstrating the effectiveness of the proposed semi-parametric model (i.e. calibration images available to the neural network) compared to other state of the art machine learned solutions. Further, we compare the method with more traditional pipelines that employ multi-view capture. We show that our framework is able to achieve compelling results, with substantially less infrastructure than previously required.


title: Integrating Factors for Dirac-Schrodinger Operators: Improving Eigenvalue Estimates and Applications to Charged Positive Mass Theorems Outside Horizon(s)

abstract: Let $(M^{n}, g)$ denote a Riemannian spin manifold of dimension $n$ with Dirac operator $D$ induced from the Levi-Cevita connection acing on the spinor bundle, $S$ ($D$ is also called the Atiyah-Singer Operator). Let $c: Cl(TM^{n}) \rightarrow End(S)$ be the standard representation of the Clifford Algebra as endomorphisms of the spinor bundle. Let $B \in End(S)$ be a zeroth-order endomorphism of the spinor bundle; given an in an orthonormal frame, $e_{j} \in TM^{n}$ by the expression $B=f^{\alpha}c(e_{\alpha})$ where the sum is taken over multi-indices, $\alpha = (i_{j_{m}}), \ m = 1, \, 2, \, 3 \, ... ,\ k$, $j_{1}< j_{2} < ... < j_{k}$ and each $f^{\alpha} \in C^{\infty}(M^{n})$. The purpose of this paper is investigate when the Dirac-Schrodinger operator $D + B$ has an integrating factor, i.e. when does there exist an invertible endomorphism $A \in End(S)$ such that $D(AB)=AD+AB$. This has applications to improving eigenvalue estimates for Dirac-Schrodinger operators and proving positive charged positive mass theorems where such operators appear on the boundary. Of particular interest is the case $n = 2$, for boundary Dirac operators of this form appear in charged positive mass theorems based on the initial data formulation in mathematical general relativity. It allows us to generalize a theorem of M. Herzlich (set-forth in his attempt to prove the Riemannian Penrose-inequality using spinors, cf. [1]) to a manifold of dimension $n \geq 3$ containing an electric field and symmetric two-tensor representing the second-fundamental form.


title: An Interactive Insight Identification and Annotation Framework for Power Grid Pixel Maps using DenseU-Hierarchical VAE

abstract: Insights in power grid pixel maps (PGPMs) refer to important facility operating states and unexpected changes in the power grid. Identifying insights helps analysts understand the collaboration of various parts of the grid so that preventive and correct operations can be taken to avoid potential accidents. Existing solutions for identifying insights in PGPMs are performed manually, which may be laborious and expertise-dependent. In this paper, we propose an interactive insight identification and annotation framework by leveraging an enhanced variational autoencoder (VAE). In particular, a new architecture, DenseU-Hierarchical VAE (DUHiV), is designed to learn representations from large-sized PGPMs, which achieves a significantly tighter evidence lower bound (ELBO) than existing Hierarchical VAEs with a Multilayer Perceptron architecture. Our approach supports modulating the derived representations in an interactive visual interface, discover potential insights and create multi-label annotations. Evaluations using real-world PGPMs datasets show that our framework outperforms the baseline models in identifying and annotating insights.


title: Solidification of Icosahedral Quasicrystals: Viewpoint Based on a Quaternion Orientational Order Parameter and the Formation of the E8 Lattice

abstract: In this article, the solidification phase transition between isotropic liquids and icosahedral quasicrystalline structures is classified by the application of a quaternion orientational order parameter. We suggest that the formation of the E8 lattice in 8-dimensions, from which three-dimensional icosahedral quasicrystals derive by projection, occurs without dimensionally restricting the degrees of freedom of the quaternion orientational order parameter to the quaternion plane. This is different from the development of regular crystalline solids in three-dimensions, which occurs in "restricted dimensions" and requires topological-ordering, as previously discussed by the authors. In other words, herein, the formation of lattices in eight-dimensions is considered as a higher-dimensional analogy to the formation of "bulk" superfluidity. It follows that, the solidification of lattices in 8-dimensions (and derivative icosahedral quasicrystalline solids) should occur without the necessity of topological defects.

categories: cond-mat.mtrl-sci gr-qc hep-lat math-ph math.MP physics.atm-clus


title: Chirp control of directional current in monolayer graphene by intense few-cycle laser

abstract: The residual current density in monolayer graphene driven by an intense few-cycle chirped laser pulse is investigated via numerical solution of the time-dependent Schr\"odinger equation. It is found that the residual current is sensitive to the initial chirp rate, and the defined asymmetry degree for current along the different polarization direction versus chirp rate follows a simple sinusoidal function. The underlying physical mechanism is the chirp-dependent Landau-Zener-St\"uckelberg interference. The chirp control of currents provides a novel convenient tool in the petaHertz switching of two-dimensional materials based optoelectronic devices on the sub-femtosecond timescale.


title: Effect of UV radiation on the structure of graphene oxide in water and its impact on cytotoxicity and As(III) adsorption

abstract: Graphene oxide (GO) is widely used in different applications, however once release into the environment it can change its structure and affect the transport of important contaminants such as arsenic. In this work we show that UV radiation, even in the range of 28-74 uW/cm2 of irradiance up to 120 h of exposure, can induce important changes in the structure of graphene oxide, by eliminating -OH and C=O functional groups. This reduction affected the stability of graphene oxide in water by decreasing its zeta potential from 41 to 37 mV with the increase of the exposure time. Our results showed that after 24 h of UV exposure, As(III) adsorption capacity decreased from 5 mg/g to 4.7 mg/g, however after 48 h of irradiation the adsorption increased with time, reaching 5.1 mg/g at 120 h under 74 uW/cm2 of irradiation. Computer modelling showed that even a degraded GO structure can have an interaction energy of 53 kcal/mol with H3AsO3. Furthermore, we observed that despite clear changes in surface composition and particle size, the reduction of graphene oxide maintained a high degree of cytotoxicity since cell viability decreased to 60% with a 50 ug/ml dose; except for the sample irradiated at 74 uW/cm2 for five days, which showed 20% with the same concentration.


title: Effect of the degree of oxidation of graphene oxide on As(III) adsorption

abstract: The study of the interaction between graphene oxide and arsenic is of great relevance towards the development of adsorbent materials and as a way to understand how these two materials interact in the environment. In this work we show that As(III) adsorption, primarily H3AsO3, by graphene oxide is dependent on its degree of oxidation. Variations in the concentration of potassium permanganate resulted in an increase on the C/O ratio from 1.98 to 1.35 with C-OH and C-O-C concentrations of 18 and 32%, respectively. Three oxidation degrees were studied, the less oxidized material reached a maximum As(III) adsorption capacity of 124 mg/g, whereas the graphene with the highest degree of oxidation reached a value of 288 mg/g at pH 7, to the authors knowledge, the highest reported in the literature. The interaction between graphene oxide and As(III) was also studied by Density Functional Theory (DFT) computer models showing that graphene oxide interacts with As(III) primarily through hydrogen bonds, having interaction energies with the hydroxyl and epoxide groups of 378 and 361 kcal/mol, respectively. Finally, cytotoxicity tests showed that the graphene oxide had a cellular viability of 57% with 50 {\mu}g/ml, regardless of its degree of oxidation.


title: Strategic Prediction with Latent Aggregative Games

abstract: We introduce a new class of context dependent, incomplete information games to serve as structured prediction models for settings with significant strategic interactions. Our games map the input context to outcomes by first condensing the input into private player types that specify the utilities, weighted interactions, as well as the initial strategies for the players. The game is played over multiple rounds where players respond to weighted aggregates of their neighbors' strategies. The predicted output from the model is a mixed strategy profile (a near-Nash equilibrium) and each observation is thought of as a sample from this strategy profile. We introduce two new aggregator paradigms with provably convergent game dynamics, and characterize the conditions under which our games are identifiable from data. Our games can be parameterized in a transferable manner so that the sets of players can change from one game to another. We demonstrate empirically that our games as models can recover meaningful strategic interactions from real voting data.


title: An Effective Multi-Resolution Hierarchical Granular Representation based Classifier using General Fuzzy Min-Max Neural Network

abstract: Motivated by the practical demands for simplification of data towards being consistent with human thinking and problem solving as well as tolerance of uncertainty, information granules are becoming important entities in data processing at different levels of data abstraction. This paper proposes a method to construct classifiers from multi-resolution hierarchical granular representations (MRHGRC) using hyperbox fuzzy sets. The proposed approach forms a series of granular inferences hierarchically through many levels of abstraction. An attractive characteristic of our classifier is that it can maintain relatively high accuracy at a low degree of granularity based on reusing the knowledge learned from lower levels of abstraction. In addition, our approach can reduce the data size significantly as well as handling the uncertainty and incompleteness associated with data in real-world applications. The construction process of the classifier consists of two phases. The first phase is to formulate the model at the greatest level of granularity, while the later stage aims to reduce the complexity of the constructed model and deduce it from data at higher abstraction levels. Experimental outcomes conducted comprehensively on both synthetic and real datasets indicated the efficiency of our method in terms of training time and predictive performance in comparison to other types of fuzzy min-max neural networks and common machine learning algorithms.


title: Brain-inspired reverse adversarial examples

abstract: A human does not have to see all elephants to recognize an animal as an elephant. On contrast, current state-of-the-art deep learning approaches heavily depend on the variety of training samples and the capacity of the network. In practice, the size of network is always limited and it is impossible to access all the data samples. Under this circumstance, deep learning models are extremely fragile to human-imperceivable adversarial examples, which impose threats to all safety critical systems. Inspired by the association and attention mechanisms of the human brain, we propose reverse adversarial examples method that can greatly improve models' robustness on unseen data. Experiments show that our reverse adversarial method can improve accuracy on average 19.02% on ResNet18, MobileNet, and VGG16 on unseen data transformation. Besides, the proposed method is also applicable to compressed models and shows potential to compensate the robustness drop brought by model quantization - an absolute 30.78% accuracy improvement.


title: Spatially Resolved Optical Excitation of Mechanical Modes in Graphene NEMS

abstract: Emerging applications in nanoelectromechanical systems (NEMS) made from two-dimensional (2D) materials demand simultaneous imaging and selective actuation of the mechanical modes. Focused optical probes to measure and actuate motion offer a possible solution, but their lateral spatial resolution must be better than the size of the resonator. While optical interferometry is known to have excellent spatial resolution, the spatial resolution of the focused, laser-based optical driving is not currently known. Here, we combine separately scanned interferometry and optical drive probes to map the motion and forces on a suspended graphene nanomechanical resonator. By analyzing these maps with a force density model, we determine that the optical drive force has a spatial resolution on the order of the size of the focused laser spot. Using the optical force probe, we demonstrate the selective actuation and suppression of a pair of orthogonal, antisymmetric mechanical modes of the graphene resonator. Our results offer a powerful approach to image and actuate any arbitrary high-order mode of a 2D NEMS.


title: On the Inductive Bias of Neural Tangent Kernels

abstract: State-of-the-art neural networks are heavily over-parameterized, making the optimization algorithm a crucial ingredient for learning predictive models with good generalization properties. A recent line of work has shown that in a certain over-parameterized regime, the learning dynamics of gradient descent are governed by a certain kernel obtained at initialization, called the neural tangent kernel. We study the inductive bias of learning in such a regime by analyzing this kernel and the corresponding function space (RKHS). In particular, we study smoothness, approximation, and stability properties of functions with finite norm, including stability to image deformations in the case of convolutional networks, and compare to other known kernels for similar architectures.


title: A rational trigonometric relationship between the dihedral angles of a tetrahedron and its circumradius

abstract: This paper will extend a known relationship between the circumradius and dihedral angles of a tetrahedron in three-dimensional Euclidean space to three-dimensional affine space over a general field not of characteristic two, using only the framework of rational trigonometry devised by Wildberger. In this framework, a linear algebraic view of trigonometry is presented, which allows the associated three-dimensional vector space of such a three-dimensional affine space to be equipped with a non-degenerate symmetric bilinear form; this will also generalise the results presented to arbitrary geometries parameterised by such a non-degenerate symmetric bilinear form.


title: Experimental Optimal Verification of Entangled States using Local Measurements

abstract: The initialization of a quantum system into a certain state is a crucial aspect of quantum information science. While a variety of measurement strategies have been developed to characterize how well the system is initialized, for a given one, there is in general a trade-off between its efficiency and the accessible information of the quantum state. Conventional quantum state tomography can characterize unknown states by reconstructing the density matrix; however, its exponentially expensive postprocessing is likely to produce a deviate result. Alternatively, quantum state verification provides a technique to quantify the prepared state with significantly fewer measurements, especially for quantum entangled states. Here, we experimentally implement an optimal verification of entangled states with local measurements, where the estimated infidelity is inversely proportional to the number of measurements. The utilized strategy is tolerant of the impurity of realistic states, hence being highly robust in a practical sense. Even more valuable, our method only requires local measurements, which incurs only a small constant-factor (<2.5) penalty compared to the globally optimal strategy requiring nonlocal measurements.


title: Clustering and Recognition of Spatiotemporal Features through Interpretable Embedding of Sequence to Sequence Recurrent Neural Networks

abstract: Encoder-decoder recurrent neural network models (RNN Seq2Seq) have achieved great success in ubiquitous areas of computation and applications. It was shown to be successful in modeling data with both temporal and spatial dependencies for translation or prediction tasks. In this study, we propose an embedding approach to visualize and interpret the representation of data by these models. Furthermore, we show that the embedding is an effective method for unsupervised learning and can be utilized to estimate the optimality of model training. In particular, we demonstrate that embedding space projections of the decoder states of RNN Seq2Seq model trained on sequences prediction are organized in clusters capturing similarities and differences in the dynamics of these sequences. Such performance corresponds to an unsupervised clustering of any spatio-temporal features and can be employed for time-dependent problems such as temporal segmentation, clustering of dynamic activity, self-supervised classification, action recognition, failure prediction, etc. We test and demonstrate the application of the embedding methodology to time-sequences of 3D human body poses. We show that the methodology provides a high-quality unsupervised categorization of movements.


title: Discovering Conditionally Salient Features with Statistical Guarantees

abstract: The goal of feature selection is to identify important features that are relevant to explain an outcome variable. Most of the work in this domain has focused on identifying globally relevant features, which are features that are related to the outcome using evidence across the entire dataset. We study a more fine-grained statistical problem: conditional feature selection, where a feature may be relevant depending on the values of the other features. For example in genetic association studies, variant $A$ could be associated with the phenotype in the entire dataset, but conditioned on variant $B$ being present it might be independent of the phenotype. In this sense, variant $A$ is globally relevant, but conditioned on $B$ it is no longer locally relevant in that region of the feature space. We present a generalization of the knockoff procedure that performs conditional feature selection while controlling a generalization of the false discovery rate (FDR) to the conditional setting. By exploiting the feature/response model-free framework of the knockoffs, the quality of the statistical FDR guarantee is not degraded even when we perform conditional feature selections. We implement this method and present an algorithm that automatically partitions the feature space such that it enhances the differences between selected sets in different regions, and validate the statistical theoretical results with experiments.


title: Optically probing Schwinger angular momenta in a micromechanical resonator

abstract: We report an observation of phononic Schwinger angular momenta, which fully represent twomode states in a micromechanical resonator. This observation is based on simultaneous optical detection of the mechanical response at the sum and difference frequency of the two mechanical modes. A post-selection process for the measured signals allows us to extract a component of phononic Schwinger angular momenta. It also enables us to conditionally prepare two-mode squeezed (correlated) states from a randomly excited (uncorrelated) state. The phononic Schwinger angular momenta could be extended to high-dimensional symmetry (e.g. SU(N) group) for studying multipartite correlations in non-equilibrium dynamics with macroscopic objects.


title: Dynamics of T Cell Receptor Distributions Following Acute Thymic Atrophy and Resumption

abstract: Naive human T cells are produced in the thymus, which atrophies abruptly and severely in response to physical or psychological stress. To understand how an instance of stress affects the size and "diversity" of the peripheral naive T cell pool, we derive a mean-field autonomous ODE model of T cell replenishment that allows us to track the clone abundance distribution (the mean number of different TCRs each represented by a specific number of cells). We identify equilibrium solutions that arise at different rates of T cell production, and derive analytic approximations to the dominant eigenvalues and eigenvectors of the problem linearized about these equilibria. From the forms of the eigenvalues and eigenvectors, we estimate rates at which counts of clones of different sizes converge to and depart from equilibrium values--that is, how the number of clones of different sizes "adjust" to the changing rate of T cell production. Under most physiologically realistic realizations of our model, the dominant eigenvalue (representing the slowest dynamics of the clone abundance distribution) scales as a power law in the thymic output for low output levels, but saturates at higher T cell production rates. Our analysis provides a framework for quantitatively understanding how the clone abundance distributions evolve under small changes in the overall T cell production rate by the thymus.


title: The role of Coulomb correlation in charge density wave of CuTe

abstract: A quasi one-dimensional layered material, CuTe undergoes a charge density wave (CDW) transition in Te chains with a modulation vector of $q_{CDW}=(0.4, 0.0, 0.5)$. Despite the clear experimental evidence for the CDW, the theoretical understanding especially the role of the electron-electron correlation in the CDW has not been fully explored. Here, using first principles calculations, we demonstrate the correlation effect of Cu is critical to stabilize the 5$\times$1$\times$2 modulation of Te chains. We find that the phonon calculation with the strong Coulomb correlation exhibits the imaginary phonon frequency so-called phonon soft mode at $q_{ph0}=(0.4, 0.0, 0.5)$ indicating the structural instability. The corresponding lattice distortion of the soft mode agrees well with the experimental modulation. These results demonstrate that the CDW transition in CuTe originates from the interplay of the Coulomb correlation and electron-phonon interaction.


title: Leveraging Semantics for Incremental Learning in Multi-Relational Embeddings

abstract: Service robots benefit from encoding information in semantically meaningful ways to enable more robust task execution. Prior work has shown multi-relational embeddings can encode semantic knowledge graphs to promote generalizability and scalability, but only within a batched learning paradigm. We present Incremental Semantic Initialization (ISI), an incremental learning approach that enables novel semantic concepts to be initialized in the embedding in relation to previously learned embeddings of semantically similar concepts. We evaluate ISI on mined AI2Thor and MatterPort3D datasets; our experiments show that on average ISI improves immediate query performance by 41.4%. Additionally, ISI methods on average reduced the number of epochs required to approach model convergence by 78.2%.


title: Sublunar-Mass Primordial Black Holes from Closed Axion Domain Walls

abstract: We study the formation of primordial black holes (PBHs) from the collapse of closed domain walls (DWs) which naturally arise in QCD axion models near the QCD scale together with the main string-wall network. The size distribution of the closed DWs is determined by percolation theory, from which we further obtain PBH mass distribution and abundance. Various observational constraints on PBH abundance in turn also constrain axion parameters. Our model prefers axion mass around the meV scale ($f_{a}\sim 10^{9}$ GeV). The corresponding PBHs are in the sublunar-mass window $10^{20}$-$10^{22}$ g (i.e., $10^{-13}$-$10^{-11}M_{\odot}$), one of few mass windows still available for PBHs contributing significantly to dark matter (DM). In our model, PBH abundance could reach $\sim1\%$ or even more of DM, sensitive to the formation efficiency of closed axion DWs.


title: $U(1)$ gauge symmetry free of redundancy and a generalized Byers-Yang theorem

abstract: We present a reformulation of the $U(1)$ gauge theory by eliminating the redundancy inherent in the conventional approach. Our reformulation is constructed on the basis of local field interaction approach to electrodynamics. The gauge symmetry in our framework is associated with a physical transformation, which represents the invariance of the equation of motion of a charged scalar field under the change in the distribution of electromagnetic field at a distance. We demonstrate that all physical properties of the $U(1)$ gauge theory are preserved with the removal of redundancy in the gauge field. In addition, our reformulation provides a generalization of the Byers-Yang theorem to open systems.


title: Non-arithmetic hybrid lattices in $\mathrm{PU}(2,1)$

abstract: We explore hybrid subgroups of certain non-arithmetic lattices in $\mathrm{PU}(2,1)$. We show that all of Mostow's lattices are virtually hybrids; moreover, we show that some of these non-arithmetic lattices are hybrids of two non-commensurable arithmetic lattices in $\mathrm{PU}(1,1)$.


title: Geometric Insights into the Convergence of Nonlinear TD Learning

abstract: While there are convergence guarantees for temporal difference (TD) learning when using linear function approximators, the situation for nonlinear models is far less understood, and divergent examples are known. Here we take a first step towards extending theoretical convergence guarantees to TD learning with nonlinear function approximation. More precisely, we consider the expected learning dynamics of the TD(0) algorithm for value estimation. As the step-size converges to zero, these dynamics are defined by a nonlinear ODE which depends on the geometry of the space of function approximators, the structure of the underlying Markov chain, and their interaction. We find a set of function approximators that includes ReLU networks and has geometry amenable to TD learning regardless of environment, so that the solution performs about as well as linear TD in the worst case. Then, we show how environments that are more reversible induce dynamics that are better for TD learning and prove global convergence to the true value function for well-conditioned function approximators. Finally, we generalize a divergent counterexample to a family of divergent problems to demonstrate how the interaction between approximator and environment can go wrong and to motivate the assumptions needed to prove convergence.


title: Asymptotically Unambitious Artificial General Intelligence

abstract: General intelligence, the ability to solve arbitrary solvable problems, is supposed by many to be artificially constructible. Narrow intelligence, the ability to solve a given particularly difficult problem, has seen impressive recent development. Notable examples include self-driving cars, Go engines, image classifiers, and translators. Artificial General Intelligence (AGI) presents dangers that narrow intelligence does not: if something smarter than us across every domain were indifferent to our concerns, it would be an existential threat to humanity, just as we threaten many species despite no ill will. Even the theory of how to maintain the alignment of an AGI's goals with our own has proven highly elusive. We present the first algorithm we are aware of for asymptotically unambitious AGI, where "unambitiousness" includes not seeking arbitrary power. Thus, we identify an exception to the Instrumental Convergence Thesis, which is roughly that by default, an AGI would seek power, including over us.


title: Reduced thermodynamics and an exact phase transition of five-dimensional Kerr-AdS black holes with equal spin parameters

abstract: Multi-spinning higher dimensional Kerr-AdS black holes admit the stable small-large black hole phase transition of van der Waals type. In this paper, we study the exact critical phenomena and phase structure in five-dimensional spacetime. First, we examine the thermodynamic laws in the reduced parameter space and find that they are quite different from the conventional thermodynamic laws. Then based on the reduced laws, the phase structure in different parameter spaces is investigated. The stable and metastable black hole phases are clearly displayed. We present a highly accurate fitting formula for the coexistence curve of small and large black hole phases. Using this fitting formula, we examine the critical exponents when the black hole system approaches the critical point along the coexistence curve. Moreover, employing the dimensional analysis and symmetry analysis, we also give a numerical study of the critical point for the unequal spinning black holes. These results are very useful on further understanding the microstructure of the multi-spinning black holes in higher dimensional spacetime.


title: Exploiting Persona Information for Diverse Generation of Conversational Responses

abstract: In human conversations, due to their personalities in mind, people can easily carry out and maintain the conversations. Giving conversational context with persona information to a chatbot, how to exploit the information to generate diverse and sustainable conversations is still a non-trivial task. Previous work on persona-based conversational models successfully make use of predefined persona information and have shown great promise in delivering more realistic responses. And they all learn with the assumption that given a source input, there is only one target response. However, in human conversations, there are massive appropriate responses to a given input message. In this paper, we propose a memory-augmented architecture to exploit persona information from context and incorporate a conditional variational autoencoder model together to generate diverse and sustainable conversations. We evaluate the proposed model on a benchmark persona-chat dataset. Both automatic and human evaluations show that our model can deliver more diverse and more engaging persona-based responses than baseline approaches.


title: Microstructure and corrosion evolution of additively manufactured aluminium alloy AA7075 as a function of ageing

abstract: Additively manufactured high strength aluminium alloy AA7075 was prepared using selective laser melting. High strength aluminium alloys prepared by selective laser melting have not been widely studied to date. The evolution of microstructure and hardness, with the attendant corrosion, were investigated. Additively manufactured AA7075 was investigated both in the as-produced condition and as a function of artificial ageing. The microstructure of specimens prepared was studied using electron microscopy. Production of AA7075 by selective laser melting generated a unique microstructure, which was altered by solutionising and further altered by artificial ageing - resulting in microstructures distinctive to that of wrought AA7075-T6. The electrochemical response of additively manufactured AA7075 was dependent on processing history, and unique to wrought AA7075-T6, whereby dissolution rates were generally lower for additively manufactured AA7075. Furthermore, immersion exposure testing followed by microscopy, indicated different corrosion morphology for additively manufactured AA7075, whereby resultant pit size was notably smaller, in contrast to wrought AA7075-T6.


title: Closed-Loop Adaptation for Weakly-Supervised Semantic Segmentation

abstract: Weakly-supervised semantic segmentation aims to assign each pixel a semantic category under weak supervisions, such as image-level tags. Most of existing weakly-supervised semantic segmentation methods do not use any feedback from segmentation output and can be considered as open-loop systems. They are prone to accumulated errors because of the static seeds and the sensitive structure information. In this paper, we propose a generic self-adaptation mechanism for existing weakly-supervised semantic segmentation methods by introducing two feedback chains, thus constituting a closed-loop system. Specifically, the first chain iteratively produces dynamic seeds by incorporating cross-image structure information, whereas the second chain further expands seed regions by a customized random walk process to reconcile inner-image structure information characterized by superpixels. Experiments on PASCAL VOC 2012 suggest that our network outperforms state-of-the-art methods with significantly less computational and memory burden.


title: CARE: Cooperative Autonomy for Resilience and Efficiency of Robot Teams for Complete Coverage of Unknown Environments under Robot Failures

abstract: This paper addresses the problem of Multi-robot Coverage Path Planning (MCPP) for unknown environments in the presence of robot failures. Unexpected robot failures can seriously degrade the performance of a robot team and in extreme cases jeopardize the overall operation. Therefore, this paper presents a distributed algorithm, called Cooperative Autonomy for Resilience and Efficiency (CARE), which not only provides resilience to the robot team against failures of individual robots, but also improves the overall efficiency of operation via event-driven replanning. The algorithm uses distributed Discrete Event Supervisors (DESs), which trigger games between a set of feasible players in the event of a robot failure or idling, to make collaborative decisions for task reallocations. The game-theoretic structure is built using Potential Games, where the utility of each player is aligned with a shared objective function for all players. The algorithm has been validated in various complex scenarios on a high-fidelity robotic simulator, and the results demonstrate that the team achieves complete coverage under failures, reduced coverage time, and faster target discovery as compared to three alternative methods.


title: A Fast Differential Grouping Algorithm for Large Scale Black-Box Optimization

abstract: Decomposition plays a significant role in cooperative co-evolution which shows great potential in large scale black-box optimization. However, current popular decomposition algorithms generally require to sample and evaluate a large number of solutions for interdependency detection, which is very time-consuming. To address this issue, this study proposes a new decomposition algorithm named fast differential grouping (FDG). FDG first identifies the type of an instance by detecting the interdependencies of a few pairs of variable subsets selected according to certain rules, and thus can rapidly complete the decomposition of a fully separable or nonseparable instance. For an identified partially separable instance, FDG converts the key decomposition process into a search process in a binary tree by taking corresponding variable subsets as tree nodes. This enables it to directly deduce the interdependency related to a child node by reutilizing the solutions sampled for corresponding parent and brother nodes. To support the above operations, this study designs a normalized variable-subset-oriented interdependency indicator, which can adaptively generate decomposition thresholds according to its distribution and thus enhances decomposition accuracy. Computational complexity analysis and experimental results verify that FDG outperforms popular decomposition algorithms. Further tests indicate that FDG embedded in a cooperative co-evolution framework can achieve highly competitive optimization results as compared with some state-of-the-art algorithms for large scale black-box optimization.


title: Intrinsic resistance peaks in AB-stacked multilayer graphene with odd number of layers

abstract: The intrinsic resistance peak (ridge) structures were recently found to appear in the carrier density dependence plot of the resistance of the AB-stacked multilayer graphene with even numbers of layers.The ridges are due to topological changes in the Fermi surface. Here, these structures were studied in AB-stacked multilayer graphene with odd numbers of layers (5 and 7 layers) by performing experiments using encapsulated high-quality graphene samples equipped with top and bottom gate electrodes.The intrinsic resistance peaks that appeared on maps plotted with respect to the carrier density and perpendicular electric field showed particular patterns depending on graphene's crystallographic structure, and were qualitatively different from those of graphene with even numbers of layers. Numerical calculations of the dispersion relation and semi-classical resistivity using information based on the Landau level structure determined by the magnetoresistance oscillations, revealed that the difference stemmed from the even-odd layer number effect on the electronic band structure.


title: Accelerating Monte Carlo Bayesian Inference via Approximating Predictive Uncertainty over Simplex

abstract: Estimating the predictive uncertainty of a Bayesian learning model is critical in various decision-making problems, e.g., reinforcement learning, detecting adversarial attack, self-driving car. As the model posterior is almost always intractable, most efforts were made on finding an accurate approximation the true posterior. Even though a decent estimation of the model posterior is obtained, another approximation is required to compute the predictive distribution over the desired output. A common accurate solution is to use Monte Carlo (MC) integration. However, it needs to maintain a large number of samples, evaluate the model repeatedly and average multiple model outputs. In many real-world cases, this is computationally prohibitive. In this work, assuming that the exact posterior or a decent approximation is obtained, we propose a generic framework to approximate the output probability distribution induced by model posterior with a parameterized model and in an amortized fashion. The aim is to approximate the true uncertainty of a specific Bayesian model, meanwhile alleviating the heavy workload of MC integration at testing time. The proposed method is universally applicable to Bayesian classification models that allow for posterior sampling. Theoretically, we show that the idea of amortization incurs no additional costs on approximation performance. Empirical results validate the strong practical performance of our approach.


title: Configuration Testing: Testing Configuration Values as Code and with Code

abstract: This paper proposes configuration testing--evaluating configuration values (to be deployed) by exercising the code that uses the values and assessing the corresponding program behavior. We advocate that configuration values should be systematically tested like software code and that configuration testing should be a key reliability engineering practice for preventing misconfigurations from production deployment. The essential advantage of configuration testing is to put the configuration values (to be deployed) in the context of the target software program under test. In this way, the dynamic effects of configuration values and the impact of configuration changes can be observed during testing. Configuration testing overcomes the fundamental limitations of de facto approaches to combatting misconfigurations, namely configuration validation and software testing--the former is disconnected from code logic and semantics, while the latter can hardly cover all possible configuration values and their combinations. Our preliminary results show the effectiveness of configuration testing in capturing real-world misconfigurations. We present the principles of writing new configuration tests and the promises of retrofitting existing software tests to be configuration tests. We discuss new adequacy and quality metrics for configuration testing. We also explore regression testing techniques to enable incremental configuration testing during continuous integration and deployment in modern software systems.


title: Photonic refrigeration from time-modulated thermal emission

abstract: Active photonic cooling is of significant importance to realize robust, compact, vibration-free, all-solid-state refrigeration. Currently proposed photonic cooling approaches are based on luminescence and impose stringent requirements on luminescence efficiency. We propose a new photonic cooling mechanism arising from temporal modulation of thermal emission. We show that this mechanism has a high thermodynamic performance that can approach the Carnot limit and yet does not rely on luminescence. Further, our work opens exciting new avenues in active, time-modulated control of thermal emission for cooling and energy harvesting applications.


title: LeTS-Drive: Driving in a Crowd by Learning from Tree Search

abstract: Autonomous driving in a crowded environment, e.g., a busy traffic intersection, is an unsolved challenge for robotics. The robot vehicle must contend with a dynamic and partially observable environment, noisy sensors, and many agents. A principled approach is to formalize it as a Partially Observable Markov Decision Process (POMDP) and solve it through online belief-tree search. To handle a large crowd and achieve real-time performance in this very challenging setting, we propose LeTS-Drive, which integrates online POMDP planning and deep learning. It consists of two phases. In the offline phase, we learn a policy and the corresponding value function by imitating the belief tree search. In the online phase, the learned policy and value function guide the belief tree search. LeTS-Drive leverages the robustness of planning and the runtime efficiency of learning to enhance the performance of both. Experimental results in simulation show that LeTS-Drive outperforms either planning or imitation learning alone and develops sophisticated driving skills.


title: Ensuring Readability and Data-fidelity using Head-modifier Templates in Deep Type Description Generation

abstract: A type description is a succinct noun compound which helps human and machines to quickly grasp the informative and distinctive information of an entity. Entities in most knowledge graphs (KGs) still lack such descriptions, thus calling for automatic methods to supplement such information. However, existing generative methods either overlook the grammatical structure or make factual mistakes in generated texts. To solve these problems, we propose a head-modifier template-based method to ensure the readability and data fidelity of generated type descriptions. We also propose a new dataset and two automatic metrics for this task. Experiments show that our method improves substantially compared with baselines and achieves state-of-the-art performance on both datasets.


title: Taking the path computably travelled

abstract: We define a real $A$ to be low for paths in Baire space (or Cantor space) if every $\Pi^0_1$ class with an $A$-computable element has a computable element. We prove that lowness for paths in Baire space and lowness for paths in Cantor space are equivalent and, furthermore, that these notions are also equivalent to lowness for isomorphism.


title: A Topology Layer for Machine Learning

abstract: Topology applied to real world data using persistent homology has started to find applications within machine learning, including deep learning. We present a differentiable topology layer that computes persistent homology based on level set filtrations and edge-based filtrations. We present three novel applications: the topological layer can (i) regularize data reconstruction or the weights of machine learning models, (ii) construct a loss on the output of a deep generative network to incorporate topological priors, and (iii) perform topological adversarial attacks on deep networks trained with persistence features. The code (www.github.com/bruel-gabrielsson/TopologyLayer) is publicly available and we hope its availability will facilitate the use of persistent homology in deep learning and other gradient based applications.


title: Experimental investigations on the nonequilibrium dynamics of pattern formation in fluid and granular systems

abstract: Patterns are quotidian in nature. Distinct multiscale patterns are generally a consequence of nonequilibrium dynamical processes associated with mechanical or hydrodynamic instabilities. In this thesis, I report experimental investigations on pattern formation in a few examples of fluid and granular systems, and uncover the underlying mechanisms that give rise to those patterns. Leidenfrost drops are known to experience star-shaped oscillations with little damping. However, the underlying mechanism remains unclear. Here I report that the hydrodynamic coupling between the rapid evaporated vapor flow and vapor-liquid interface excites the star-shaped oscillations, suggesting a purely hydrodynamic origin. Polygonal desiccation crack patterns are commonly observed in natural systems. However, it is unclear whether similar crack patterns spanning multiple length scales share the same underlying physics. I report experimental results on polygonal cracks in drying suspensions of micron-sized particles. In cornstarch-water mixtures, multi-scale crack patterns were observed due to two distinct desiccation mechanisms. We also find the characteristic area of the polygonal cracks, and film thickness obey a universal power law. Finally, I report sedimentations of non-Brownian particles in viscous fluids. We observed an effective repulsion between particles with nonuniform density in both two-body and many-body systems in two and three dimensions, in contrast to particles with uniform density. We also characterize the statistical properties of the sedimentation patterns of particles in three dimensions. The patterns I report in this thesis represent typical examples in fluid and granular systems that are driven by nonequilibrium dynamics, and the underlying mechanisms we uncover are expected to enhance our understanding of how these seemingly simple patterns arise in natural systems.


title: Empirically Measuring Concentration: Fundamental Limits on Intrinsic Robustness

abstract: Many recent works have shown that adversarial examples that fool classifiers can be found by minimally perturbing a normal input. Recent theoretical results, starting with Gilmer et al. (2018b), show that if the inputs are drawn from a concentrated metric probability space, then adversarial examples with small perturbation are inevitable. A concentrated space has the property that any subset with $\Omega(1)$ (e.g., 1/100) measure, according to the imposed distribution, has small distance to almost all (e.g., 99/100) of the points in the space. It is not clear, however, whether these theoretical results apply to actual distributions such as images. This paper presents a method for empirically measuring and bounding the concentration of a concrete dataset which is proven to converge to the actual concentration. We use it to empirically estimate the intrinsic robustness to $\ell_\infty$ and $\ell_2$ perturbations of several image classification benchmarks. Code for our experiments is available at https://github.com/xiaozhanguva/Measure-Concentration.


title: Weakly-paired Cross-Modal Hashing

abstract: Hashing has been widely adopted for large-scale data retrieval in many domains, due to its low storage cost and high retrieval speed. Existing cross-modal hashing methods optimistically assume that the correspondence between training samples across modalities are readily available. This assumption is unrealistic in practical applications. In addition, these methods generally require the same number of samples across different modalities, which restricts their flexibility. We propose a flexible cross-modal hashing approach (Flex-CMH) to learn effective hashing codes from weakly-paired data, whose correspondence across modalities are partially (or even totally) unknown. FlexCMH first introduces a clustering-based matching strategy to explore the local structure of each cluster, and thus to find the potential correspondence between clusters (and samples therein) across modalities. To reduce the impact of an incomplete correspondence, it jointly optimizes in a unified objective function the potential correspondence, the cross-modal hashing functions derived from the correspondence, and a hashing quantitative loss. An alternative optimization technique is also proposed to coordinate the correspondence and hash functions, and to reinforce the reciprocal effects of the two objectives. Experiments on publicly multi-modal datasets show that FlexCMH achieves significantly better results than state-of-the-art methods, and it indeed offers a high degree of flexibility for practical cross-modal hashing tasks.


title: Learning NP-Hard Multi-Agent Assignment Planning using GNN: Inference on a Random Graph and Provable Auction-Fitted Q-learning

abstract: This paper explores the possibility of near-optimally solving multi-agent, multi-task NP-hard planning problems with time-dependent rewards using a learning-based algorithm. In particular, we consider a class of robot/machine scheduling problems called the multi-robot reward collection problem (MRRC). Such MRRC problems well model ride-sharing, pickup-and-delivery, and a variety of related problems. In representing the MRRC problem as a sequential decision-making problem, we observe that each state can be represented as an extension of probabilistic graphical models (PGMs), which we refer to as random PGMs. We then develop a mean-field inference method for random PGMs. We then propose (1) an order-transferable Q-function estimator and (2) an order-transferability-enabled auction to select a joint assignment in polynomial time. These result in a reinforcement learning framework with at least $1-1/e$ optimality. Experimental results on solving MRRC problems highlight the near-optimality and transferability of the proposed methods. We also consider identical parallel machine scheduling problems (IPMS) and minimax multiple traveling salesman problems (minimax-mTSP).


title: Distinguished representations, Shintani base change and a finite field analogue of a conjecture of Prasad

abstract: Let $E/F$ be a quadratic extension of fields, and $G$ a connected quasi-split reductive group over $F$. Let $G^{op}$ be the opposition group obtained by twisting $G$ by the duality involution considered by Prasad. Assume that the field $F$ is finite. Let $\pi$ be an irreducible generic representation of $G(E)$. When $\pi$ is a Shintani base change lift of some representation of $G^{op}(F)$, we give an explicit nonzero $G(F)$-invariant vector in terms of the Whittaker vector of $\pi$. This shows particularly that $\pi$ is $G(F)$-distinguished. When the field $F$ is $p$-adic, the paper also proves that the duality involution takes an irreducible admissible generic representation of $G(F)$ to its contragredient. As a special case of this result, all generic representations of $G_2,\ F_4$ or $E_8$ are self-dual.


title: On the difference between entropic cost and the optimal transport cost

abstract: Consider the Monge-Kantorovich problem of transporting densities $\rho_0$ to $\rho_1$ on $\mathbb{R}^d$ with a strictly convex cost function. A popular relaxation of the problem is the one-parameter family called the entropic cost problem. The entropic cost $K_h$, $h>0$, is significantly faster to compute and $h K_h$ is known to converge to the optimal transport cost as $h$ goes to zero. We are interested the rate of convergence. We show that the difference between $K_h$ and $1/h$ times the optimal cost of transport has a pointwise limit when transporting a compactly supported density to another that satisfies a few other technical restrictions. This limit is the relative entropy of $\rho_1$ with respect to a Riemannian volume measure on $\mathbb{R}^d$ that measures the local sensitivity of the transport map. For the quadratic Wasserstein transport, this relative entropy is exactly one half of the difference of entropies of $\rho_1$ and $\rho_0$. In that case we complement the results of Adams et al., Duong et al, and Erbar et al. who all use gamma convergence. More surprisingly, we demonstrate that this difference of two entropies (plus the cost) is also the limit for the Dirichlet transport introduced recently by Pal and Wong. The latter can be thought of as a multiplicative analog of the Wasserstein transport and corresponds to a non-local operator. It hints at an underlying gradient flow of entropy, in the sense of Jordan-Kinderlehrer-Otto, even when the cost function is not a metric. The proofs are based on Gaussian approximations to Schr\"odinger bridges as $h$ approaches zero.


title: On the Expressive Power of Deep Polynomial Neural Networks

abstract: We study deep neural networks with polynomial activations, particularly their expressive power. For a fixed architecture and activation degree, a polynomial neural network defines an algebraic map from weights to polynomials. The image of this map is the functional space associated to the network, and it is an irreducible algebraic variety upon taking closure. This paper proposes the dimension of this variety as a precise measure of the expressive power of polynomial neural networks. We obtain several theoretical results regarding this dimension as a function of architecture, including an exact formula for high activation degrees, as well as upper and lower bounds on layer widths in order for deep polynomials networks to fill the ambient functional space. We also present computational evidence that it is profitable in terms of expressiveness for layer widths to increase monotonically and then decrease monotonically. Finally, we link our study to favorable optimization properties when training weights, and we draw intriguing connections with tensor and polynomial decompositions.


title: Rational design principles of quantum anomalous Hall effect from superlattice-like magnetic topological insulators

abstract: As one of paradigmatic phenomena in condensed matter physics, the quantum anomalous Hall effect (QAHE) in stoichiometric Chern insulators has drawn great interest for years. By using model Hamiltonian analysis and first-principle calculations, we establish a topological phase diagram and map on it with different two-dimensional configurations, which is taken from the recently-grown magnetic topological insulators MnBi4Te7 and MnBi6Te10 with superlattice-like stacking patterns. These configurations manifest various topological phases, including quantum spin Hall effect with and without time-reversal symmetry, as well as QAHE. We then provide design principles to trigger QAHE by tuning experimentally accessible knobs, such as slab thickness and magnetization. Our work reveals that superlattice-like magnetic topological insulators with tunable exchange interaction serve as an ideal platform to realize the long-sought QAHE in pristine compounds, paving a new avenue within the area of topological materials.


title: Fourier analysis associated to a vector measure on a compact group

abstract: In this paper, we introduce and study the Fourier transform of functions which are integrable with respect to a vector measure on a compact group (not necessarily abelian). We also study the Fourier transform of vector measures. We also introduce and study the convolution of functions from $L^p$-spaces associated to a vector measure. We prove some analogues of the classical Young's inequalities. Similarly, we also study convolution of a scalar measure and a vector measure.


title: Tuning Dirac nodes with correlated d-electrons in BaCo_{1-x}Ni_{x}S_{2}

abstract: Dirac fermions play a central role in the study of topological phases, for they can generate a variety of exotic states, such as Weyl semimetals and topological insulators. The control and manipulation of Dirac fermions constitute a fundamental step towards the realization of novel concepts of electronic devices and quantum computation. By means of ARPES experiments and ab initio simulations, here we show that Dirac states can be effectively tuned by doping a transition metal sulfide, BaNiS2, through Co/Ni substitution. The symmetry and chemical characteristics of this material, combined with the modification of the charge transfer gap of BaCo_{1-x}Ni_{x}S_{2} across its phase diagram, lead to the formation of Dirac lines whose position in k-space can be displaced along the Gamma M symmetry direction, and their form reshaped. Not only does the doping x tailor the location and shape of the Dirac bands, but it also controls the metal-insulator transition in the same compound, making BaCo_{1-x}Ni_{x}S_{2} a model system to functionalize Dirac materials by varying the strength of electron correlations.


title: Variational Approach to Many-Body Problems Incorporating Many-Body Effects at Finite Temperature

abstract: We develop a variational approach at finite temperature that incorporates many-body correlation self-consistently. The grand potential is constructed in terms of Green's function expressed by the variational parameters. We apply this formalism to weakly interacting Bose-Einstein condensates to incorporate the dynamical 3/2-body processes, which are considered important in the dynamical properties. The processes lower the free energy below the mean-field Hartree--Fock--Bogoliubov's value in the same way as a previous zero-temperature formalism. From our numerical results, the pair creation or annihilation processes neglected in the Popov--Shohno approximation are enhanced, particularly in the long wavelength region, owing to the many-body effects. Because the 3/2-body correlations give a finite contribution to the self-energy of quasiparticles, they may change the microscopic properties qualitatively, even in the weak-coupling region.


title: Solar System Tests of a New Class of $f(z)$ Theory

abstract: Recently, a new kind of $f(z)$ theory is proposed to provide a different perspective for the development of reliable alternative models of gravity in which the $f(R)$ Lagrangian terms are reformulated as polynomial parameterizations $f(z)$. In the previous study, the parameters in the $f(z)$ models have been constrained by using cosmological data. In this paper, these models will be tested by the observations in the solar system. After solving the Ricci scalar as a function of the redshift, one could obtain $f(R)$ that could be used to calculate the standard Parameterized-Post-Newtonian (PPN) parameters. First, we fit the parametric models with the latest cosmological observational data. Then the tests are performed by solar system observations. And last we combine the constraints of solar system and cosmology together and reconstruct the $f(R)$ actions of the $f(z)$ parametric models.