title: Reconstructing undirected graphs from eigenspaces

abstract: In this paper, we aim at recovering an undirected weighted graph of $N$ vertices from the knowledge of a perturbed version of the eigenspaces of its adjacency matrix $W$. For instance, this situation arises for stationary signals on graphs or for Markov chains observed at random times. Our approach is based on minimizing a cost function given by the Frobenius norm of the commutator $\mathsf{A} \mathsf{B}-\mathsf{B} \mathsf{A}$ between symmetric matrices $\mathsf{A}$ and $\mathsf{B}$. In the Erd\H{o}s-R\'enyi model with no self-loops, we show that identifiability (i.e., the ability to reconstruct $W$ from the knowledge of its eigenspaces) follows a sharp phase transition on the expected number of edges with threshold function $N\log N/2$. Given an estimation of the eigenspaces based on a $n$-sample, we provide support selection procedures from theoretical and practical point of views. In particular, when deleting an edge from the active support, our study unveils that our test statistic is the order of $\mathcal O(1/n)$ when we overestimate the true support and lower bounded by a positive constant when the estimated support is smaller than the true support. This feature leads to a powerful practical support estimation procedure. Simulated and real life numerical experiments assert our new methodology.

categories: math.ST cs.IT math.IT stat.ME stat.ML stat.TH


title: GPU Computing in Bayesian Inference of Realized Stochastic Volatility Model

abstract: The realized stochastic volatility (RSV) model that utilizes the realized volatility as additional information has been proposed to infer volatility of financial time series. We consider the Bayesian inference of the RSV model by the Hybrid Monte Carlo (HMC) algorithm. The HMC algorithm can be parallelized and thus performed on the GPU for speedup. The GPU code is developed with CUDA Fortran. We compare the computational time in performing the HMC algorithm on GPU (GTX 760) and CPU (Intel i7-4770 3.4GHz) and find that the GPU can be up to 17 times faster than the CPU. We also code the program with OpenACC and find that appropriate coding can achieve the similar speedup with CUDA Fortran.


title: Joint spectrum for quasi-solvable Lie algebras of operators

abstract: Given a complex Banach space $X$ and a joint spectrum for complex solvable finite dimensional Lie algebras of operators defined on $X$, we extend this joint spectrum to quasi-solvable Lie algebras of operators, and we prove the main spectral properties of the extended joint spectrum. We also show that this construction is uniquely determined by the original joint spectrum.


title: The Parameterized Hardness of Art Gallery Problems

abstract: Given a simple polygon $\mathcal{P}$ on $n$ vertices, two points $x,y$ in $\mathcal{P}$ are said to be visible to each other if the line segment between $x$ and $y$ is contained in $\mathcal{P}$. The Point Guard Art Gallery problem asks for a minimum set $S$ such that every point in $\mathcal{P}$ is visible from a point in $S$. The Vertex Guard Art Gallery problem asks for such a set $S$ subset of the vertices of $\mathcal{P}$. A point in the set $S$ is referred to as a guard. For both variants, we rule out any $f(k)n^{o(k / \log k)}$ algorithm, where $k := |S|$ is the number of guards, for any computable function $f$, unless the Exponential Time Hypothesis fails. These lower bounds almost match the $n^{O(k)}$ algorithms that exist for both problems.


title: The causal order on the ambient boundary

abstract: We analyse the causal structure of the ambient boundary, the conformal infinity of the ambient (Poincar\'e) metric. Using topological tools we show that the only causal relation compatible with the global topology of the boundary spacetime is the horismos order. This has important consequences for the notion of time in the conformal geometry of the ambient boundary.


title: Nearly non-scattering electromagnetic wave set and its application

abstract: For any inhomogeneous compactly supported electromagnetic (EM) medium, it is shown that there exists an infinite set of linearly independent electromagnetic waves which generate nearly vanishing scattered wave fields. If the inhomogeneous medium is coated with a layer of properly chosen conducting medium, then the wave set is generated from the Maxwell-Herglotz approximation to the interior PEC or PMC eigenfunctions and depends only on the shape of the inhomogeneous medium. If no such a conducting coating is used, then the wave set is generated from the Maxwell-Herglotz approximation to the generalised interior transmission eigenfunctions and depends on both the content and the shape of the inhomogeneous medium. We characterise the nearly non-scattering wave sets in both cases with sharp estimates. The results can be used to give a conceptual design of a novel shadowless lamp. The crucial ingredient is to properly choose the source of the lamp so that nearly no shadow will be produced by the surgeons operating under the lamp.


title: Bandwidth-aware Service Placement in Community Network Clouds

abstract: Seamless computing and service sharing in community networks have been gaining momentum due to the emerging technology of community network micro-clouds (CNMCs). However, running services in CNMCs can face enormous challenges such as the dynamic nature of micro-clouds, limited capacity of nodes and links, asymmetric quality of wireless links for services, deployment mod- els based on geographic singularities rather than network QoS, and etc. CNMCs have been increasingly used by network-intensive services that exchange significant amounts of data between the nodes on which they run, therefore the performance heavily relies on the available bandwidth resource in a network. This paper proposes a novel bandwidth-aware service placement algorithm which out- performs the current random placement adopted by Guifi.net. Our preliminary results show that the proposed algorithm consistently outperforms the current random placement adopted in Guifi.net by 35% regarding its bandwidth gain. More importantly, as the number of services increases, the gain tends to increase accordingly.


title: Nonrigid Optical Flow Ground Truth for Real-World Scenes with Time-Varying Shading Effects

abstract: In this paper we present a dense ground truth dataset of nonrigidly deforming real-world scenes. Our dataset contains both long and short video sequences, and enables the quantitatively evaluation for RGB based tracking and registration methods. To construct ground truth for the RGB sequences, we simultaneously capture Near-Infrared (NIR) image sequences where dense markers - visible only in NIR - represent ground truth positions. This allows for comparison with automatically tracked RGB positions and the formation of error metrics. Most previous datasets containing nonrigidly deforming sequences are based on synthetic data. Our capture protocol enables us to acquire real-world deforming objects with realistic photometric effects - such as blur and illumination change - as well as occlusion and complex deformations. A public evaluation website is constructed to allow for ranking of RGB image based optical flow and other dense tracking algorithms, with various statistical measures. Furthermore, we present an RGB-NIR multispectral optical flow model allowing for energy optimization by adoptively combining featured information from both the RGB and the complementary NIR channels. In our experiments we evaluate eight existing RGB based optical flow methods on our new dataset. We also evaluate our hybrid optical flow algorithm by comparing to two existing multispectral approaches, as well as varying our input channels across RGB, NIR and RGB-NIR.


title: Type $D_n^{(1)}$ rigged configuration bijection

abstract: We establish a bijection between the set of rigged configurations and the set of tensor products of Kirillov--Reshetikhin crystals of type $D^{(1)}_n$ in full generality. We prove the invariance of rigged configurations under the action of the combinatorial $R$-matrix on tensor products and show that the bijection preserves certain statistics (cocharge and energy). As a result, we establish the fermionic formula for type $D_n^{(1)}$. In addition, we establish that the bijection is a classical crystal isomorphism.


title: An efficient ab-initio quasiharmonic approach for the thermodynamics of solids

abstract: A first-principles approach called the {\it{self-consistent quasiharmonic approximation}} (SC-QHA) method is formulated to calculate the thermal expansion, thermomechanics, and thermodynamic functions of solids at finite temperatures with both high efficiency and accuracy. The SC-QHA method requires fewer phonon calculations than the conventional QHA method, and also facilitates the convenient analysis of the microscopic origins of macroscopic thermal phenomena. The superior performance of the SC-QHA method is systematically examined by comparing it with the conventional QHA method and experimental measurements on silicon, diamond, and alumina. It is then used to study the effects of pressure on the anharmonic lattice properties of diamond and alumina. The thermal expansion and thermomechanics of Ca$_3$Ti$_2$O$_7$, which is a recently discovered important ferroelectric ceramic with a complex crystal structure that is computationally challenging for the conventional QHA method, are also calculated using the formulated SC-QHA method. The SC-QHA method can significantly reduce the computational expense for various quasiharmonic thermal properties especially when there are a large number of structures to consider or when the solid is structurally complex. It is anticipated that the algorithm will be useful for a variety of fields, including oxidation, corrosion, high-pressure physics, ferroelectrics, and high-throughput structure screening when temperature effects are required to accurately describe realistic properties.


title: Capacity Analysis for Spatially Non-wide Sense Stationary Uplink Massive MIMO Systems

abstract: Channel measurements show that significant spatially non-wide-sense-stationary characteristics rise in massive MIMO channels. Notable parameter variations are experienced along the base station array, such as the average received energy at each antenna, and the directions of arrival of signals impinging on different parts of the array. In this paper, a new channel model is proposed to describe this spatial non-stationarity in massive MIMO channels by incorporating the concepts of partially visible clusters and wholly visible clusters. Furthermore, a closed-form expression of an upper bound on the ergodic sum capacity is derived for the new model, and the influence of the spatial non-stationarity on the sum capacity is analyzed. Analysis shows that for non-identically-and-independent-distributed (i.i.d.) Rayleigh fading channels, the non-stationarity benefits the sum capacity by bringing a more even spread of channel eigenvalues. Specifically, more partially visible clusters, smaller cluster visibility regions and a larger antenna array can all help to yield a well-conditioned channel, and benefit the sum capacity. This shows the advantage of using a large antenna array in a non-i.i.d. channel: the sum capacity benefits not only from a higher array gain, but also from a more spatially non-stationary channel. Numerical results demonstrate our analysis and the tightness of the upper bound.


title: Video Interpolation using Optical Flow and Laplacian Smoothness

abstract: Non-rigid video interpolation is a common computer vision task. In this paper we present an optical flow approach which adopts a Laplacian Cotangent Mesh constraint to enhance the local smoothness. Similar to Li et al., our approach adopts a mesh to the image with a resolution up to one vertex per pixel and uses angle constraints to ensure sensible local deformations between image pairs. The Laplacian Mesh constraints are expressed wholly inside the optical flow optimization, and can be applied in a straightforward manner to a wide range of image tracking and registration problems. We evaluate our approach by testing on several benchmark datasets, including the Middlebury and Garg et al. datasets. In addition, we show application of our method for constructing 3D Morphable Facial Models from dynamic 3D data.


title: Multivariate normal limit laws for the numbers of fringe subtrees in $ m $-ary search trees and preferential attachment trees

abstract: We study fringe subtrees of random $ m $-ary search trees and of preferential attachment trees, by putting them in the context of generalised P\'olya urns. In particular we show that for the random $ m $-ary search trees with $ m\leq 26 $ and for the linear preferential attachment trees, the number of fringe subtrees that are isomorphic to an arbitrary fixed tree $ T $ converges to a normal distribution; more generally, we also prove multivariate normal distribution results for random vectors of such numbers for different fringe subtrees. Furthermore, we show that the number of protected nodes in random $m$-ary search trees for $ m\leq 26 $ has asymptotically a normal distribution.


title: A remark on the Glimm scheme for inhomogeneous hyperbolic systems of balance laws

abstract: General hyperbolic systems of balance laws with inhomogeneous flux and source are studied. Global existence of entropy weak solutions to the Cauchy problem is established for small $BV$ data under appropriate assumptions on the decay of the flux and the source with respect to space and time. There is neither a hypothesis about equilibrium solution nor about the dependence of the source on the state vector as previous results have assumed.


title: Likelihood-based inference of B-cell clonal families

abstract: The human immune system depends on a highly diverse collection of antibody-making B cells. B cell receptor sequence diversity is generated by a random recombination process called "rearrangement" forming progenitor B cells, then a Darwinian process of lineage diversification and selection called "affinity maturation." The resulting receptors can be sequenced in high throughput for research and diagnostics. Such a collection of sequences contains a mixture of various lineages, each of which may be quite numerous, or may consist of only a single member. As a step to understanding the process and result of this diversification, one may wish to reconstruct lineage membership, i.e. to cluster sampled sequences according to which came from the same rearrangement events. We call this clustering problem "clonal family inference." In this paper we describe and validate a likelihood-based framework for clonal family inference based on a multi-hidden Markov Model (multi-HMM) framework for B cell receptor sequences. We describe an agglomerative algorithm to find a maximum likelihood clustering, two approximate algorithms with various trade-offs of speed versus accuracy, and a third, fast algorithm for finding specific lineages. We show that under simulation these algorithms greatly improve upon existing clonal family inference methods, and that they also give significantly different clusters than previous methods when applied to two real data sets.


title: Ring-theoretic blowing down: I

abstract: One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). Earlier work of the authors classified the connected graded noetherian subalgebras of Sklyanin algebras using a noncommutative analogue of blowing up. In order to understand other algebras birational to a Sklyanin algebra, one also needs a notion of blowing down. This is achieved in this paper, where we give a noncommutative analogue of Castelnuovo's classic theorem that (-1)-lines on a smooth surface can be contracted. The resulting noncommutative blown-down algebra has pleasant properties; in particular it is always noetherian and is smooth if the original noncommutative surface is smooth. In a companion paper we will use this technique to construct explicit birational transformations between various noncommutative surfaces which contain an elliptic curve.


title: Robust transport over networks

abstract: We consider transport over a strongly connected, directed graph. The scheduling amounts to selecting transition probabilities for a discrete-time Markov evolution which is designed to be consistent with certain initial and final marginals. The random evolution is selected to be closest to a prior measure on paths in the relative entropy sense, i.e., a Schroedinger bridge between the two marginals. This is an atypical stochastic control problem where the control consists in suitably modifying the transition mechanism. The prior can incorporate cost of traversing edges or allocate equal probability to all paths of equal length connecting any two given nodes, i.e., a uniform measure on paths. This latter choice relies on the so-called Ruelle-Bowen random walk and gives rise to a scheduling that tends to utilize all paths as uniformly as the topology allows. Thus, when the Ruelle-Bowen law is taken as prior, the transportation plan tends to lessen congestion and ensure a level of robustness. We show that the Ruelle-Bowen law is itself a Schroedinger bridge albeit with a prior that is not a probability measure. The paradigm of Schroedinger bridges as a mechanism for scheduling transport on networks can be adapted to graphs that are not strongly connected as well as to weighted graphs. The latter leads to transportation plans that effect a compromise between robustness and transportation cost.


title: Exploring the electron density in plasma induced by EUV radiation: II. Numerical studies in argon and hydrogen

abstract: We used numerical modeling to study the evolution of EUV-induced plasmas in argon and hydrogen. The results of simulations were compared to the electron densities measured by microwave cavity resonance spectroscopy. It was found that the measured electron densities can be used to derive the integral amount of plasma in the cavity. However, in some regimes, the impact of the setup geometry, EUV spectrum, and EUV induced secondary emission should be taken into account. The influence of these parameters on the generated plasma and the measured electron density is discussed.


title: Representation stability for the cohomology of arrangements associated to root systems

abstract: From a root system, one may consider the arrangement of reflecting hyperplanes, as well as its toric and elliptic analogues. The corresponding Weyl group acts on the complement of the arrangement and hence on its cohomology. We consider a sequence of linear, toric, or elliptic arrangements which arise from a family of root systems of type A, B, C, or D, and we show that the rational cohomology stabilizes as a sequence of Weyl group representations. Our techniques combine a Leray spectral sequence argument similar to that of Church in the type A case along with FI$_W$-module theory which Wilson developed and used in the linear case. A key to the proof relies on a combinatorial description, using labelled partitions, of the poset of connected components of intersections of subvarieties in the arrangement.


title: Optimal Joint Power and Subcarrier Allocation for MC-NOMA Systems

abstract: In this paper, we investigate the resource allocation algorithm design for multicarrier non-orthogonal multiple access (MC-NOMA) systems. The proposed algorithm is obtained from the solution of a non-convex optimization problem for the maximization of the weighted system throughput. We employ monotonic optimization to develop the optimal joint power and subcarrier allocation policy. The optimal resource allocation policy serves as a performance benchmark due to its high complexity. Furthermore, to strike a balance between computational complexity and optimality, a suboptimal scheme with low computational complexity is proposed. Our simulation results reveal that the suboptimal algorithm achieves a close-to-optimal performance and MC-NOMA employing the proposed resource allocation algorithm provides a substantial system throughput improvement compared to conventional multicarrier orthogonal multiple access (MC-OMA).


title: Koszul duality and the PBW theorem in symmetric tensor categories in positive characteristic

abstract: We generalize the theory of Koszul complexes and Koszul algebras (in particular, Koszul duality between symmetric and exterior algebras) to symmetric tensor categories. In characteristic $p\ge 5$, this theory exhibits peculiar effects, not observed in the classical theory. In particular, we show that the symmetric and exterior algebras of a non-invertible simple object in the Verlinde category ${\rm Ver}_p$ are almost Koszul (although not Koszul), and show how this gives examples of $(r,s)$-Koszul algebras with any $r,s\ge 2$. We also develop a theory of Lie algebras in symmetric tensor categories. We show that the PBW theorem may fail in ${\rm Ver}_p$, but it holds if one assumes a certain identity of degree $p$ which we call the $p$-Jacobi identity. This identity is a generalization to $p\ge 5$ of the identity $[x,x]=0$ required for Lie algebras in characteristic $2$ and the identity $[[x,x],x]=0$ for odd $x$ required for Lie superalgebras in characteristic $3$.


title: $\aleph_0$-categorical Banach spaces contain $\ell_p$ or $c_0$

abstract: This paper has three parts. First, we establish some of the basic model theoretic facts about $M_{\mathcal{T}}$, the Tsirelson space of Figiel and Johnson \cite{FJ}. Second, using the results of the first part, we give some facts about general Banach spaces. Third, we study model-theoretic dividing lines in some Banach spaces and their theories. In~particular, we show: (1) $M_{\mathcal{T}}$ has the \emph{non independence property} (NIP); (2) every Banach space that is $\aleph_0$-categorical up to small perturbations embeds $c_0$ or $\ell_p$ ($1\leqslant p<\infty$) almost isometrically; consequently the (continuous) first-order theory of $M_{\mathcal{T}}$ does not characterize $M_{\mathcal{T}}$, up to almost isometric isomorphism.


title: Constructing low-dimensional stochastic wind models through hierarchical spatial temporal decomposition

abstract: Current wind turbine simulations successfully use turbulence generating tools for modeling behavior. However, they lack the ability to reproduce variabilities in wind dynamics and inherent stochastic structures (like temporal and spatial coherences, sporadic bursts, high shear regions). This necessitates a more realistic parameterization of the wind that encodes location-, topography-, diurnal-, seasonal and stochastic affects. In this work, we develop a hierarchical temporal and spatial decomposition (TSD) of large-scale meteorology data to construct a low-dimensional yet realistic stochastic wind flow model. Starting from a large data set (Crop Wind-energy EXperiment), a low dimensional stochastic parameterization is constructed. The resulting time-resolved stochastic model encodes the statistical behavior exhibited by the actual wind flow. Moreover, the temporal modes encode the variation of wind speed in the mean sense and resolve diurnal variations and temporal correlation while the spatial modes provide deeper insight into spatial coherence of the wind field - which is a key aspect in current wind turbine sizing, design and classification. Comparison of several important turbulent properties between the simulated wind flow and the original dataset show the utility of the framework. We envision this framework as a useful complement to existing wind simulation codes.


title: Monopoles and foliations without holonomy-invariant transverse measure

abstract: This article proves a uniform exponential decay estimate for Seiberg-Witten equations on non-compact 4-manifolds with exact symplectic ends of bounded geometry. This is an extension of the analysis for asymptotically flat almost K\"ahler (AFAK) structures by Kronheimer and Mrowka. As an application, we construct an invariant for smooth foliations without holonomy-invariant transverse measure, which takes value in the boundary-stable version of the monopole Floer homology group, without invoking the Eliashberg-Thurston perturbation.


title: Model Predictive Load Scheduling Using Solar Power Forecasting

abstract: In this paper a model is developed to solve the on/off scheduling of (non-linear) dynamic electric loads based on predictions of the power delivery of a (standalone) solar power source. Knowledge of variations in the solar power output is used to optimally select the timing and the combinations of a set of given electric loads, where each load has a desired dynamic power profile. The optimization exploits the desired power profiles of the electric loads in terms of dynamic power ramp up/down and minimum time on/off of each load to track a finite number of load switching combinations over a moving finite prediction horizon. Subsequently, a user-specified optimization function with possible power constraints is evaluated over the finite number of combinations to allow for real-time computation of the optimal timing and switching of loads. A case study for scheduling electric on/off loads with switching dynamics and solar forecast data at UC San Diego is carried out.


title: Preperiodic portraits for unicritical polynomials over a rational function field

abstract: Let $K$ be an algebraically closed field of characteristic zero, and let $\mathcal{K} := K(t)$ be the rational function field over $K$. For each $d \ge 2$, we consider the unicritical polynomial $f_d(z) := z^d + t \in \mathcal{K}[z]$, and we ask the following question: If we fix $\alpha \in \mathcal{K}$ and integers $M \ge 0$, $N \ge 1$, and $d \ge 2$, does there exist a place $\mathfrak{p} \in \operatorname{Spec} K[t]$ such that, modulo $\mathfrak{p}$, the point $\alpha$ enters into an $N$-cycle after precisely $M$ steps under iteration by $f_d$? We answer this question completely, concluding that the answer is generally affirmative and explicitly giving all counterexamples. This extends previous work by the author in the case that $\alpha$ is a constant point.


title: Kepler motion on single-sheet hyperboloid

abstract: The classical Kepler-Coulomb problem on the single-sheeted hyperboloid $H^{3}_1$ is solved in the framework of the Hamilton--Jacobi equation. We have proven that all the bounded orbits are closed and periodic. The paths are ellipses or circles for finite motion.


title: Functions in Bloch-type spaces and their moduli

abstract: Given a suitably regular nonnegative function $\omega$ on $(0,1]$, let $\mathcal B_\omega$ denote the space of all holomorphic functions $f$ on the unit ball $\mathbb B_n$ of $\mathbb C^n$ that satisfy $$|\nabla f(z)|\le C\frac{\omega(1-|z|)}{1-|z|},\qquad z\in\mathbb B_n,$$ with some fixed $C=C_f>0$. We obtain a new characterization of $\mathcal B_\omega$ functions in terms of their moduli.


title: Amplification of dust loading in Martian dust devils by self-shadowing

abstract: Insolation of the Martian soil leads to a sub-surface overpressure due to thermal creep gas flow. This could support particle entrainment into the atmosphere. Short time shadowing e.g. by the traverse of a larger dust devil would enhance this effect. We find in microgravity experiments that mass ejection rates are increased by a factor of 10 for several seconds if a light source of 12.6 kW/$\rm m^2$ is turned off. Scaled to Mars this implies that self-shadowing of a partially opaque dust devil might lead to a strongly amplified flux of lifted material. We therefore suggest that self-shadowing might be a mechanism on Mars to increase the total dust loading of a dust devil and keep it self-sustained.


title: Conjoint axiomatization of the Choquet integral for heterogeneous product sets

abstract: We propose an axiomatization of the Choquet integral model for the general case of a heterogeneous product set $X = X_1 \times \ldots \times X_n$. In MCDA elements of $X$ are interpreted as alternatives, characterized by criteria taking values from the sets $X_i$. Previous axiomatizations of the Choquet integral have been given for particular cases $X = Y^n$ and $X = \mathbb{R}^n$. However, within multicriteria context such identicalness, hence commensurateness, of criteria cannot be assumed a priori. This constitutes the major difference of this paper from the earlier axiomatizations. In particular, the notion of "comonotonicity" cannot be used in a heterogeneous structure, as there does not exist a "built-in" order between elements of sets $X_i$ and $X_j$. However, such an order is implied by the representation model. Our approach does not assume commensurateness of criteria. We construct the representation and study its uniqueness properties.


title: A Hard-core Stochastic Process with Simultaneous Births and Deaths

abstract: We consider a stochastic spatial point process with births and deaths on $\mathbb{R}^d$, with the hard-core property that at any time the balls of radius half of any two points do not overlap. We give explicit construction of the process. Under some more conditions, we show the stochastic stability of this Markov process by constructing a stationary regime for the dynamics. The main tool used to construct the stationary regime is the coupling form the past technique. Further, we study the exponential convergence of the probability distribution to the stationary distribution.


title: Input-output relationship in social communications characterized by spike train analysis

abstract: We study the dynamical properties of human communication through different channels, i.e., short messages, phone calls, and emails, adopting techniques from neuronal spike train analysis in order to characterize the temporal fluctuations of successive inter-event times. We first measure the so-called local variation (LV) of incoming and outgoing event sequences of users, and find that these in- and out- LV values are positively correlated for short messages, and uncorrelated for phone calls and emails. Second, we analyze the response-time distribution after receiving a message to focus on the input-output relationship in each of these channels. We find that the time scales and amplitudes of response are different between the three channels. To understand the impacts of the response-time distribution on the correlations between the LV values, we develop a point process model whose activity rate is modulated by incoming and outgoing events. Numerical simulations of the model indicate that a quick response to incoming events and a refractory effect after outgoing events are key factors to reproduce the positive LV correlations.


title: On the Formation of Super-Earths with Implications for the Solar System

abstract: We first consider how the level of turbulence in a protoplanetary disk affects the formation locations for the observed close-in super-Earths in exosolar systems. We find that a protoplanetary disk that includes a dead zone (a region of low turbulence) has substantially more material in the inner parts of the disk, possibly allowing for in situ formation. For the dead zone to last the entire lifetime of the disk requires the active layer surface density to be sufficiently small, <100 g/cm^2. Migration through a dead zone may be very slow and thus super-Earth formation followed by migration towards the star through the dead zone is less likely. For fully turbulent disks, there is not enough material for in situ formation. However, in this case, super-Earths can form farther out in the disk and migrate inwards on a reasonable timescale. We suggest that both of these formation mechanisms operate in different planetary systems. This can help to explain the observed large range in densities of super-Earths because the formation location determines the composition. Furthermore, we speculate that super-Earths could have formed in the inner parts of our solar system and cleared the material in the region inside of Mercury's orbit. The super-Earths could migrate through the gas disk and fall into the Sun if the disk was sufficiently cool during the final gas disk accretion process. While it is definitely possible to meet all of these requirements, we don't expect them to occur in all systems, which may explain why the solar system is somewhat special in its lack of super-Earths.


title: A Draft Memory Model on Spiking Neural Assemblies

abstract: A draft memory model (DM) for neural networks with spike propagation delay (SNNwD) is described. Novelty in this approach are that the DM learns immediately, with stimuli presented once, without synaptic weight changes, and without external learning algorithm. Basal on this model is to trap spikes within neural loops. In order to construct the DM we developed two functional blocks, also described herein. The decoder block receives input from a single spikes source and connect it to one among many outputs. The selector block operates in the opposite direction, receiving many spikes sources and connecting one of them to a single output. We realized conceptual proofs by testing the DM in the prime numbers classifying task. This activation-based memory can be used as immediate and short-term memory.


title: On a complete topological inverse polycyclic monoid

abstract: We give sufficient conditions when a topological inverse $\lambda$-polycyclic monoid $P_{\lambda}$ is absolutely $H$-closed in the class of topological inverse semigroups. Also, for every infinite cardinal $\lambda$ we construct the coarsest semigroup inverse topology $\tau_{mi}$ on $P_\lambda$ and give an example of a topological inverse monoid S which contains the polycyclic monoid $P_2$ as a dense discrete subsemigroup.


title: Pointing the Unknown Words

abstract: The problem of rare and unknown words is an important issue that can potentially influence the performance of many NLP systems, including both the traditional count-based and the deep learning models. We propose a novel way to deal with the rare and unseen words for the neural network models using attention. Our model uses two softmax layers in order to predict the next word in conditional language models: one predicts the location of a word in the source sentence, and the other predicts a word in the shortlist vocabulary. At each time-step, the decision of which softmax layer to use choose adaptively made by an MLP which is conditioned on the context.~We motivate our work from a psychological evidence that humans naturally have a tendency to point towards objects in the context or the environment when the name of an object is not known.~We observe improvements on two tasks, neural machine translation on the Europarl English to French parallel corpora and text summarization on the Gigaword dataset using our proposed model.


title: Understanding transport simulations of heavy-ion collisions at 100 and 400 AMeV: Comparison of heavy ion transport codes under controlled conditions

abstract: Transport simulations are very valuable for extracting physics information from heavy-ion collision experiments. With the emergence of many different transport codes in recent years, it becomes important to estimate their robustness in extracting physics information from experiments. We report on the results of a transport code comparison project. 18 commonly used transport codes were included in this comparison: 9 Boltzmann-Uehling-Uhlenbeck-type codes and 9 Quantum-Molecular-Dynamics-type codes. These codes have been required to simulate Au+Au collisions using the same physics input for mean fields and for in-medium nucleon-nucleon cross sections, as well as the same initialization set-up, the impact parameter, and other calculational parameters at 100 and 400 AMeV incident energy. Among the codes we compare one-body observables such as rapidity and transverse flow distributions. We also monitor non-observables such as the initialization of the internal states of colliding nuclei and their stability, the collision rates and the Pauli blocking. We find that not completely identical initializations constitute partly for different evolutions. Different strategies to determine the collision probabilities, and to enforce the Pauli blocking, also produce considerably different results. There is a substantial spread in the predictions for the observables, which is much smaller at the higher incident energy. We quantify the uncertainties in the collective flow resulting from the simulation alone as about $30\%$ at 100 AMeV and $13\%$ at 400 AMeV, respectively. We propose further steps within the code comparison project to test the different aspects of transport simulations in a box calculation of infinite nuclear matter. This should, in particular, improve the robustness of transport model predictions at lower incident energies where abundant amounts of data are available.


title: Data-Driven Dynamic Decision Models

abstract: This article outlines a method for automatically generating models of dynamic decision-making that both have strong predictive power and are interpretable in human terms. This is useful for designing empirically grounded agent-based simulations and for gaining direct insight into observed dynamic processes. We use an efficient model representation and a genetic algorithm-based estimation process to generate simple approximations that explain most of the structure of complex stochastic processes. This method, implemented in C++ and R, scales well to large data sets. We apply our methods to empirical data from human subjects game experiments and international relations. We also demonstrate the method's ability to recover known data-generating processes by simulating data with agent-based models and correctly deriving the underlying decision models for multiple agent models and degrees of stochasticity.


title: Binary search trees and rectangulations

abstract: We revisit the classical problem of searching in a binary search tree (BST) using rotations, and present novel connections of this problem to a number of geometric and combinatorial structures. In particular, we show that the execution trace of a BST that serves a sequence of queries is in close correspondence with the flip-sequence between two rectangulations. (Rectangulations are well-studied combinatorial objects also known as mosaic floorplans.) We also reinterpret Small Manhattan Network, a problem with known connections to the BST problem, in terms of flips in rectangulations. We apply further transformations to the obtained geometric model, to arrive at a particularly simple view of the BST problem that resembles sequences of edge-relaxations in a shortest path algorithm. Our connections yield new results and observations for all structures concerned. In this draft we present some preliminary findings. BSTs with rotations are among the most fundamental and most thoroughly studied objects in computer science, nonetheless they pose long-standing open questions, such as the dynamic optimality conjecture of Sleator and Tarjan (STOC 1983). Our hope is that the correspondences presented in this paper provide a new perspective on this old problem and bring new tools to the study of dynamic optimality.


title: How useful is photo-realistic rendering for visual learning?

abstract: Data seems cheap to get, and in many ways it is, but the process of creating a high quality labeled dataset from a mass of data is time-consuming and expensive. With the advent of rich 3D repositories, photo-realistic rendering systems offer the opportunity to provide nearly limitless data. Yet, their primary value for visual learning may be the quality of the data they can provide rather than the quantity. Rendering engines offer the promise of perfect labels in addition to the data: what the precise camera pose is; what the precise lighting location, temperature, and distribution is; what the geometry of the object is. In this work we focus on semi-automating dataset creation through use of synthetic data and apply this method to an important task -- object viewpoint estimation. Using state-of-the-art rendering software we generate a large labeled dataset of cars rendered densely in viewpoint space. We investigate the effect of rendering parameters on estimation performance and show realism is important. We show that generalizing from synthetic data is not harder than the domain adaptation required between two real-image datasets and that combining synthetic images with a small amount of real data improves estimation accuracy.


title: Rainbow Arithmetic Progressions in Finite Abelian Groups

abstract: For positive integers $n$ and $k$, the \emph{anti-van der Waerden number} of $\mathbb{Z}_n$, denoted by $aw(\mathbb{Z}_n,k)$, is the minimum number of colors needed to color the elements of the cyclic group of order $n$ and guarantee there is a rainbow arithmetic progression of length $k$. Butler et al. showed a reduction formula for $aw(\mathbb{Z}_{n},3) = 3$ in terms of the prime divisors of $n$. In this paper, we analagously define the anti-van der Waerden number of a finite abelian group $G$ and show $aw(G,3)$ is determined by the order of $G$ and the number of groups with even order in a direct sum isomorphic to $G$. The \emph{unitary anti-van der Waerden number} of a group is also defined and determined.


title: Tori and Heegaard splittings

abstract: Haken showed that the Heegaard splittings of reducible 3-manifolds are reducible, that is, a reducing 2-sphere can be found which intersects the Heegaard surface in a single simple closed curve. When the genus of the "interesting" surface increases from zero, more complicated phenomena occur. Kobayashi showed that if a 3-manifold $M^3$ contains an essential torus $T$, then it contains one which can be isotoped to intersect a strongly irreducible Heegaard splitting surface $F$ in a collection of simple closed curves which are essential in $T$ and in $F$. In general there is no global bound on the number of curves in this collection. We give conditions under which a global bound can be obtained.


title: Perceptual Losses for Real-Time Style Transfer and Super-Resolution

abstract: We consider image transformation problems, where an input image is transformed into an output image. Recent methods for such problems typically train feed-forward convolutional neural networks using a \emph{per-pixel} loss between the output and ground-truth images. Parallel work has shown that high-quality images can be generated by defining and optimizing \emph{perceptual} loss functions based on high-level features extracted from pretrained networks. We combine the benefits of both approaches, and propose the use of perceptual loss functions for training feed-forward networks for image transformation tasks. We show results on image style transfer, where a feed-forward network is trained to solve the optimization problem proposed by Gatys et al in real-time. Compared to the optimization-based method, our network gives similar qualitative results but is three orders of magnitude faster. We also experiment with single-image super-resolution, where replacing a per-pixel loss with a perceptual loss gives visually pleasing results.


title: A class of random Cantor measures, with applications

abstract: We survey some of our recent results on the geometry of spatially independent martingales, in a more concrete setting that allows for shorter, direct proofs, yet is general enough for several applications and contains the well-known fractal percolation measure. We study self-convolutions and Fourier decay of measures in our class, and present applications of these results to the restriction problem for fractal measures, and the connection between arithmetic structure and Fourier decay.


title: Gravitational waves and electrodynamics: New perspectives

abstract: Given the recent direct measurement of gravitational waves (GWs) by the LIGO-VIRGO collab- oration, the coupling between electromagnetic fields and gravity have a special relevance since it opens new perspectives for future GW detectors and also potentially provides information on the physics of highly energetic GW sources. We explore such couplings using the field equations of electrodynamics on (pseudo) Riemann manifolds and apply it to the background of a GW, seen as a linear perturbation of Minkowski geometry. Electric and magnetic oscillations are induced that propagate as electromagnetic waves and contain information about the GW which generates them. The most relevant results are the presence of longitudinal modes and dynamical polarization patterns of electromagnetic radiation induced by GWs. These effects might be amplified using appropriate resonators, effectively improving the signal to noise ratio around a specific frequency. We also briefly address the generation of charge density fluctuations induced by GWs and the implications for astrophysics.


title: CHY formula and MHV amplitudes

abstract: In this paper, we study the relation between the Cachazo-He-Yuan (CHY) formula and the maximal-helicity-violating (MHV) amplitudes of Yang-Mills and gravity in four dimensions. We prove that only one special rational solution of the scattering equations found by Weinzierl support the MHV amplitudes. Namely, localized at this solution, the integrated CHY formula reproduces the Parke-Taylor formula for Yang-Mills amplitudes as well as the Hodges formula for gravitational amplitudes. This is achieved by developing techniques, in a manifestly M\"obius covariant formalism, to explicitly compute relevant reduced Pfaffians/determinants. We observe and prove two interesting properties (or identities), which facilitate the computations. We also check that all the other $(n-3)!-1$ solutions to the scattering equations do not support the MHV amplitudes, and prove analytically that this is indeed true for the other special rational solution proposed by Weinzierl, that actually supports the anti-MHV amplitudes.


title: Evolution of network architecture in a granular material under compression

abstract: As a granular material is compressed, the particles and forces within the system arrange to form complex heterogeneous structures. Force chains are a prime example and are thought to constrain bulk properties such as mechanical stability and acoustic transmission. However, characterizing the dynamic nature of mesoscale architectures in granular systems can be challenging. A growing body of work has shown that graph theoretic approaches may provide a useful foundation for tackling these problems. Here, we extend current approaches by utilizing multilayer networks as a framework for directly quantifying the evolution of mesoscale architecture in a compressed granular system. We examine a quasi-two-dimensional aggregate of photoelastic disks, subject to biaxial compression through a series of small, quasistatic steps. Treating particles as network nodes and inter-particle forces as network edges, we construct a multilayer network by linking together the series of static force networks that exist at each strain step. We then extract the inherent mesoscale structure from the system by using a generalization of community detection methods, and we define quantitative measures to characterize the reconfiguration and evolution of this structure throughout compression. By separately considering the network of normal and tangential forces, we find that they display different structural evolution. To test the sensitivity of the network model to particle properties, we examine whether the method can distinguish a subsystem of low-friction particles within a bath of higher-friction particles. We find that this can be done by considering the network of tangential forces. The results discussed throughout this study suggest that these novel network science techniques may provide a direct way to compare and classify data from systems under different external conditions or with different physical makeup.


title: A Model of Charge Transfer Excitons: Diffusion, Spin Dynamics, and Magnetic Field Effects

abstract: In this letter we explore how the microscopic dynamics of charge transfer (CT) excitons are influenced by the presence of an external magnetic field in disordered molecular semiconductors. This influence is driven by the dynamic interplay between the spin and spatial degrees of freedom of the electron-hole pair. To account for this interplay we have developed a numerical framework that combines a traditional model of quantum spin dynamics with a coarse-grained model of stochastic charge transport. This combination provides a general and efficient methodology for simulating the effects of magnetic field on CT state dynamics, therefore providing a basis for revealing the microscopic origin of experimentally observed magnetic field effects. We demonstrate that simulations carried out on our model are capable of reproducing experimental results as well as generating theoretical predictions related to the efficiency of organic electronic materials.


title: VolumeDeform: Real-time Volumetric Non-rigid Reconstruction

abstract: We present a novel approach for the reconstruction of dynamic geometric shapes using a single hand-held consumer-grade RGB-D sensor at real-time rates. Our method does not require a pre-defined shape template to start with and builds up the scene model from scratch during the scanning process. Geometry and motion are parameterized in a unified manner by a volumetric representation that encodes a distance field of the surface geometry as well as the non-rigid space deformation. Motion tracking is based on a set of extracted sparse color features in combination with a dense depth-based constraint formulation. This enables accurate tracking and drastically reduces drift inherent to standard model-to-depth alignment. We cast finding the optimal deformation of space as a non-linear regularized variational optimization problem by enforcing local smoothness and proximity to the input constraints. The problem is tackled in real-time at the camera's capture rate using a data-parallel flip-flop optimization strategy. Our results demonstrate robust tracking even for fast motion and scenes that lack geometric features.


title: Minimal Cubature rules and polynomial interpolation in two variables II

abstract: As a complement to \cite{X12}, minimal cubature rules of degree $4m+1$ for the weight functions $$ \mathcal{W}_{\alpha,\beta ,\pm \frac12}(x,y) = |x+y|^{2\alpha+1} |x-y|^{2\beta+1} ((1-x^2)(1-y^2))^{\pm \frac12} $$ on $[-1,1]^2$ are shown to exist and near minimal cubature rules of the same degree with one node more than minimal are constructed explicitly. The Lagrange interpolation polynomials on the nodes of the near minimal cubature rules are also studied.


title: Regularization Parameter Selection for a Bayesian Multi-Level Group Lasso Regression Model with Application to Imaging Genomics

abstract: We investigate the choice of tuning parameters for a Bayesian multi-level group lasso model developed for the joint analysis of neuroimaging and genetic data. The regression model we consider relates multivariate phenotypes consisting of brain summary measures (volumetric and cortical thickness values) to single nucleotide polymorphism (SNPs) data and imposes penalization at two nested levels, the first corresponding to genes and the second corresponding to SNPs. Associated with each level in the penalty is a tuning parameter which corresponds to a hyperparameter in the hierarchical Bayesian formulation. Following previous work on Bayesian lassos we consider the estimation of tuning parameters through either hierarchical Bayes based on hyperpriors and Gibbs sampling or through empirical Bayes based on maximizing the marginal likelihood using a Monte Carlo EM algorithm. For the specific model under consideration we find that these approaches can lead to severe overshrinkage of the regression parameter estimates in the high-dimensional setting or when the genetic effects are weak. We demonstrate these problems through simulation examples and study an approximation to the marginal likelihood which sheds light on the cause of this problem. We then suggest an alternative approach based on the widely applicable information criterion (WAIC), an asymptotic approximation to leave-one-out cross-validation that can be computed conveniently within an MCMC framework.


title: High resolution Kerr microscopy study of exchange bias phenomena in FePt/Fe exchange spring magnets

abstract: Magnetization and magnetic microstructure of top soft magnetic layer (Fe), which is exchange spring coupled to bottom hard magnetic layer ($L1_0$ FePt) is studied using high resolution Kerr microscopy. When the sample (FePt/Fe) is at remanent condition of hard magnetic layer, considerable shifting of Fe layer hysteresis loop from centre i.e., exchange bias phenomena is observed. It is observed that one can tune the magnitude of exchange bias shift by reaching the remanent state from different saturating fields ($H_{SAT}$) and also by varying the angle between measuring field and $H_{SAT}$. The M-H loops and domain images of top soft Fe layer demonstrates unambiguously that soft magnetic layer at remanent state in such exchange coupled system is having unidirectional anisotropy. An analogy is drawn and the observations are explained in terms of the mostly accepted models of exchange bias phenomena exhibited by bilayers consisting of ferromagnetic(FM) and anti-ferromagnetic (AFM) layers, when the AFM layer is field cooled across $N\acute{e}el$ transition temperature.


title: The Lindeberg theorem for Gibbs-Markov dynamics

abstract: A dynamical array consists of a family of functions $\{f_{n,i}: 1\le i\le k(n), n\ge 1\}$ and a family of initial times $\{\tau_{n,i}: 1\le i\le k(n), n\ge 1\}$. For a dynamical system $(X,T)$ we identify distributional limits for sums of the form $$ S_n= \frac 1{s_n}\sum_{i=1}^{k(n)} [f_{n,i}\circ T^{\tau_{n,i}}-a_{n,i}]\qquad n\ge 1$$ for suitable (non-random) constants $s_n>0$ and $a_{n,i}\in \mathbb R$, where the functions $f_{n,i}$ are locally Lipschitz continuous. Although our results hold for more general dynamics, we restrict to Gibbs-Markov dynamical systems for convenience. In particular, we derive a Lindeberg-type central limit theorem for dynamical arrays. Applications include new central limit theorems for functions which are not locally Lipschitz continuous and central limit theorems for statistical functions of time series obtained from Gibbs-Markov systems.


title: Smooth analytic functions and model subspaces

abstract: The main themes of this survey are as follows: (a) the canonical (Riesz--Nevanlinna) factorization in various classes of analytic functions on the disk that are smooth up to its boundary, and (b) model subspaces (i.e., invariant subspaces of the backward shift) in the Hardy spaces $H^p$ and in BMOA. It is the interrelationship and a peculiar cross-fertilization between the two topics that we wish to highlight.


title: Embedding algorithms and applications to differential equations

abstract: Algorithms for embedding certain types of nilpotent subalgebras in maximal subalgebras of the same type are developed, using methods of real algebraic groups. These algorithms are applied to determine non-conjugate subalgebras of the symmetry algebra of the wave equation, which in turn are used to determine a large class of invariant solutions of the wave equation. The algorithms are also illustrated for the symmetry algebra of a classical system of differential equations considered by Cartan in the context of contact geometry.


title: Intermediate disorder directed polymers and the multi-layer extension of the stochastic heat equation

abstract: We consider directed polymer models involving multiple non-intersecting random walks moving through a space-time disordered environment in one spatial dimension. For a single random walk, Alberts, Khanin and Quastel proved that under intermediate disorder scaling (in which time and space are scaled diffusively, and the strength of the environment is scaled to zero in a critical manner) the polymer partition function converges to the solution to the stochastic heat equation with multiplicative white noise. In this paper we prove the analogous result for multiple non-intersecting random walks started and ended grouped together. The limiting object now is the multi-layer extension of the stochastic heat equation introduced by O'Connell and Warren.


title: Robust Optimization of Credit Portfolios

abstract: We introduce a dynamic credit portfolio framework where optimal investment strategies are robust against misspecifications of the reference credit model. The risk-averse investor models his fear of credit risk misspecification by considering a set of plausible alternatives whose expected log likelihood ratios are penalized. We provide an explicit characterization of the optimal robust bond investment strategy, in terms of default state dependent value functions associated with the max-min robust optimization criterion. The value functions can be obtained as the solutions of a recursive system of HJB equations. We show that each HJB equation is equivalent to a suitably truncated equation admitting a unique bounded regular solution. The truncation technique relies on estimates for the solution of the master HJB equation that we establish.


title: The space of hyperk\"ahler metrics on a 4-manifold with boundary

abstract: Let X be a compact 4-manifold with boundary. We study the space of hyperk\"ahler triples on X, modulo diffeomorphisms which are the identity on the boundary. We prove that this moduli space is a smooth infinite-dimensional manifold and describe the tangent space in terms of triples of closed anti-self-dual 2-forms. We also explore the corresponding boundary value problem: a hyperk\"ahler triple restricts to a closed framing of the bundle of 2-forms on the boundary; we identify the infinitesimal deformations of this closed framing that can be filled in to hyperk\"ahler deformations of the original triple. Finally we study explicit examples coming from gravitational instantons with isometric actions of SU(2).


title: Riesz transforms associated with higher-order Schr\"odinger type operators

abstract: In this paper, let $L=L_{0}+V$ be a Schr\"{o}dinger type operator where $L_{0}$ is higher order elliptic operator with complex coefficients in divergence form and $V$ is signed measurable function, under the strongly subcritical assumption on $V$, the authors study the $L^{q}$ boundedness of Riesz transforms $\nabla^{m}L^{-1/2}$ for $q\leq 2$ and obtain a sharp result. Furthermore, the authors impose extra regularity assumptions on $V$ to obtain the $L^{q}$ boundedness of Riesz transforms $\nabla^{m}L^{-1/2}$ for $q>2$. As an application, the main results can be applied to the operator $L=(-\Delta)^{m}-\gamma|x|^{-2m}$ for suitable $\gamma$


title: Probability of Boundary Conditions in Quantum Cosmology

abstract: One of the main interest in quantum cosmology is to determine boundary conditions for the wave function of the universe which can predict observational data of our universe. For this purpose, we solve the Wheeler-DeWitt equation for a closed universe with a scalar field numerically and evaluate probabilities for boundary conditions of the wave function of the universe. To impose boundary conditions of the wave function, we use exact solutions of the Wheeler-DeWitt equation with a constant scalar field potential. These exact solutions include wave functions with well known boundary condition proposals, the no-boundary proposal and the tunneling proposal. We specify the exact solutions by introducing two real parameters to discriminate boundary conditions, and obtain the probability for these parameters under the requirement of sufficient e-foldings of the inflation. The probability distribution of boundary conditions prefers the tunneling boundary condition to the no-boundary boundary condition. Furthermore, for large values of a model parameter related to the inflaton mass and the cosmological constant, the probability of boundary conditions selects an unique boundary condition different from the tunneling type.


title: Multipartite Gaussian steering: monogamy constraints and quantum cryptography applications

abstract: We derive laws for the distribution of quantum steering among different parties in multipartite Gaussian states under Gaussian measurements. We prove that a monogamy relation akin to the generalized Coffman-Kundu-Wootters inequality holds quantitatively for a recently introduced measure of Gaussian steering. We then define the residual Gaussian steering, stemming from the monogamy inequality, as an indicator of collective steering-type correlations. For pure three-mode Gaussian states, the residual acts a quantifier of genuine multipartite steering, and is interpreted operationally in terms of the guaranteed key rate in the task of secure quantum secret sharing. Optimal resource states for the latter protocol are identified, and their possible experimental implementation discussed. Our results pin down the role of multipartite steering for quantum communication.

categories: quant-ph cond-mat.stat-mech math-ph math.MP physics.optics


title: To Follow or Not to Follow: Analyzing the Growth Patterns of the Trumpists on Twitter

abstract: In this paper, we analyze the growth patterns of Donald Trump's followers (Trumpists, henceforth) on Twitter. We first construct a random walk model with a time trend to study the growth trend and the effects of public debates. We then analyze the relationship between Trump's activity on Twitter and the growth of his followers. Thirdly, we analyze the effects of such controversial events as calling for Muslim ban and his 'schlonged' remark.


title: A glimpse into continuous combinatorics of posets, polytopes, and matroids

abstract: This is both an expository and research paper where we advocate a systematic study of continuous analogues of finite partially ordered sets, convex polytopes, oriented matroids, arrangements of subspaces, finite simplicial complexes, and other combinatorial structures. Among the illustrative examples are an Euler formula for a class of `continuous convex polytopes' (conjectured by Kalai and Wigderson), a duality result for a class of `continuous matroids', a calculation of the Euler characteristic of ideals in the Grassmannian poset (related to a problem of Gian-Carlo Rota), an exposition of the `homotopy complementation formula' for topological posets and its relation to the results of Kallel and Karoui about `weighted barycenter spaces' and a conjecture of Vassiliev about simplicial resolutions of singularities. We also include an extension of the index inequality (Sarkaria's inequality) based on interpreting diagrams of spaces as continuous posets.


title: Relative entropy for hyperbolic-parabolic systems and application to the constitutive theory of thermoviscoelasticity

abstract: We extend the relative entropy identity to the class of hyperbolic-parabolic systems whose hyperbolic part is symmetrizable. The resulting identity, in the general theory, is useful to provide stability of viscous solutions and yields a convergence result in the zero-viscosity limit to smooth solutions in an $L^p$ framework. Also it provides measure valued weak versus strong uniqueness theorems for the hyperbolic problem. The relative entropy identity is also developed for the system of gas dynamics for viscous and heat conducting gases, and for the system of thermoviscoelasticity with viscosity and heat-conduction. Existing differences in applying the relative entropy method between the general hyperbolic-parabolic theory and the examples are underlined.


title: Planning Problems for Sophisticated Agents with Present Bias

abstract: Present bias, the tendency to weigh costs and benefits incurred in the present too heavily, is one of the most widespread human behavioral biases. It has also been the subject of extensive study in the behavioral economics literature. While the simplest models assume that the agents are naive, reasoning about the future without taking their bias into account, there is considerable evidence that people often behave in ways that are sophisticated with respect to present bias, making plans based on the belief that they will be present-biased in the future. For example, committing to a course of action to reduce future opportunities for procrastination or overconsumption are instances of sophisticated behavior in everyday life. Models of sophisticated behavior have lacked an underlying formalism that allows one to reason over the full space of multi-step tasks that a sophisticated agent might face. This has made it correspondingly difficult to make comparative or worst-case statements about the performance of sophisticated agents in arbitrary scenarios. In this paper, we incorporate the notion of sophistication into a graph-theoretic model that we used in recent work for modeling naive agents. This new synthesis of two formalisms - sophistication and graph-theoretic planning - uncovers a rich structure that wasn't apparent in the earlier behavioral economics work on this problem. In particular, our graph-theoretic model makes two kinds of new results possible. First, we give tight worst-case bounds on the performance of sophisticated agents in arbitrary multi-step tasks relative to the optimal plan. Second, the flexibility of our formalism makes it possible to identify new phenomena that had not been seen in prior literature: these include a surprising non-monotonic property in the use of rewards to motivate sophisticated agents and a framework for reasoning about commitment devices.


title: Fermions on the Worldsheet of Effective Strings via Coset Construction

abstract: In this paper the detailed CCWZ procedure for introducing fermions on the world sheet of a string propagating in flat space-time is presented. The theory of nonlinear realizations is used to derive the transformation as well as the interactions of fermionic matter fields under arbitrary spinorial representations of the unbroken subgroup. This demonstrates that even for non-supersymmetric spinors, the interactions are still severely restricted by the nonlinearly realized symmetry. We also explain how supersymmetric models provide an example for this construction with Goldstinos as matter fields, and how one can use the $\kappa$-symmetry of the Green Schwarz action in particular, to verify this nonlinear transformation for a specific matter field representation. We finally restrict the target space dimension without reference to supersymmetry, but rather by imposing one-loop integrability on a fermionic string that nonlinearly realizes Poincare symmetry. This singles out the critical dimension $D=10$ for heterotic, GS and RNS supersymmetric strings.


title: Channel Hopping Sequences for Maximizing Rendezvous Diversity in Cognitive Radio Networks

abstract: In cognitive radio networks (CRNs), establishing a communication link between a pair of secondary users (SUs) requires them to rendezvous on a common channel which is not occupied by primary users (PUs). Under time-varying PU traffic, asynchronous sequence-based channel hopping (CH) with the maximal rendezvous diversity is a representative technique to guarantee an upper bounded time-torendezvous (TTR) for delay-sensitive services in CRNs, without requiring global clock synchronization. Maximum TTR (MTTR) and maximum conditional TTR (MCTTR) are two commonly considered metrics for evaluating such CH sequences, and minimizing these two metrics is the primary goal in the sequence design of various paper reported in the literature. In this paper, to investigate the fundamental limits of these two metrics, we first derive lower bounds on the MCTTR and MTTR, and then propose an asymmetric design which has the minimum MCTTR and an improvement on MTTR than other previously known algorithms. Moreover, when the number of licensed channels is odd, our proposed design achieves the minimum MTTR. We also present the TTR performance of the proposed design via simulation.


title: Electrodynamics and spacetime geometry: Astrophysical applications

abstract: After a brief review of the foundations of (pre-metric) electromagnetism, we explore some physical consequences of electrodynamics in curved spacetime. In general, new electromagnetic couplings and related phenomena are induced by the spacetime curvature. The applications of astrophysical interest considered here correspond essentially to the following geometries: the Schwarzschild spacetime and the spacetime around a rotating spherical mass in the weak field and slow rotation regime. In the latter, we use the Parameterised Post-Newtonian (PPN) formalism. We also explore the hypothesis that the electric and magnetic properties of vacuum reflect the spacetime isometries. Therefore, the permittivity and permeability tensors should not be considered homogeneous and isotropic a priori. For spherical geometries we consider the effect of relaxing the homogeneity assumption in the constitutive relations between the fields and excitations. This affects the generalized Gauss and Maxwell-Amp\`{e}re laws where the electric permittivity and magnetic permeability in vacuum depend on the radial coordinate in accordance with the local isometries of space. For the axially symmetric geometries we relax both the assumptions of homogeneity and isotropy. We explore simple solutions and discuss the physical implications related to different phenomena such as: the decay of electromagnetic fields in the presence of gravity, magnetic terms in Gauss law due to the gravitomagnetism of the spacetime around rotating objects, a frame-dragging effect on electric fields and the possibility of a spatial (radial) variability of the velocity of light in vacuum around spherical astrophysical objects for strong gravitational fields.


title: Skew Monoidales in $Span$

abstract: This article consists of an interesting characterisation of a skew monoidale in the monoidal bicategory $Span$. After discussing the shift or decalage functor on simplicial sets we characterise these skew monoidales as categories $\mathbb C$ together with a functor $R \colon Dec(\mathbb C) \longrightarrow \mathbb C$ which satisfies two conditions and give an example where the unit of the skew monoidale is not of a restricted type.


title: 3DMatch: Learning Local Geometric Descriptors from RGB-D Reconstructions

abstract: Matching local geometric features on real-world depth images is a challenging task due to the noisy, low-resolution, and incomplete nature of 3D scan data. These difficulties limit the performance of current state-of-art methods, which are typically based on histograms over geometric properties. In this paper, we present 3DMatch, a data-driven model that learns a local volumetric patch descriptor for establishing correspondences between partial 3D data. To amass training data for our model, we propose a self-supervised feature learning method that leverages the millions of correspondence labels found in existing RGB-D reconstructions. Experiments show that our descriptor is not only able to match local geometry in new scenes for reconstruction, but also generalize to different tasks and spatial scales (e.g. instance-level object model alignment for the Amazon Picking Challenge, and mesh surface correspondence). Results show that 3DMatch consistently outperforms other state-of-the-art approaches by a significant margin. Code, data, benchmarks, and pre-trained models are available online at http://3dmatch.cs.princeton.edu


title: Formal Deformation Quantization for Super Poisson Structures on Super Calabi-Yau Twistor Spaces

abstract: It is known that Wolf constructed a lot of examples of Super Calabi-Yau twistor spaces. We would like to introduce super Poisson structures on them via super twistor double fibrations. Moreover we define the structure of deformation quantization for such super Poisson manifolds.


title: Permutation-like Matrix Groups with a Maximal Cycle of Length Power of Two

abstract: If every element of a matrix group is similar to a permutation matrix, then it is called a permutation-like matrix group. References [4], [5] and [6] showed that, if a permutation-like matrix group contains a maximal cycle such that the maximal cycle generates a normal subgroup and the length of the maximal cycle equals to a prime, or a square of a prime, or a power of an odd prime, then the permutation-like matrix group is similar to a permutation matrix group. In this paper, we prove that if a permutation-like matrix group contains a maximal cycle such that the maximal cycle generates a normal subgroup and the length of the maximal cycle equals to any power of 2, then it is similar to a permutation matrix group.


title: Using gravitational lensed images to investigate the intrinsic AGN variability

abstract: We discuss about how the relative flux densities among the images of gravitationally-lensed active galactic nuclei, AGN, can be used to study the intrinsic AGN variability with high accuracy. Multi-frequency monitoring observations of resolved gravitational lenses can allow us to detect signals of very weak variability and also provide information about the jet opacity and structure. As an example, we investigate the variability of the flux-density ratio between the two lensed images of the blazar B0218+357, using dual-frequency cm-wave observations. Similar to our previously reported submm-wave observations of the lensed blazar PKS1830-211, we observe a clear chromatic variability, starting short before an increase in the flux-density of the blazar. The evolution of the flux-density ratios between the blazar images shows a more clear and rich structure than that of the mere lightcurves of each individual image. The accuracy in the ratio measurements is allowing us to see variability episodes in the blazar that are weaker than the natural scatter in the absolute flux-density measurements. A simple opacity model in the jet is used to consistently explain the difference between the flux-density-ratio evolution at the two frequencies.


title: Bourn-normal monomorphisms in regular Mal'tsev categories

abstract: Normal monomorphisms in the sense of Bourn describe the equivalence classes of an internal equivalence relation. Although the definition is given in the fairly general setting of a category with finite limits, later investigations on this subject often focus on protomodular settings, where normality becomes a property. This paper clarifies the connections between internal equivalence relations and Bourn-normal monomorphisms in regular Mal'tesv categories with pushouts of split monomorphisms along arbitrary morphisms, whereas a full description is achieved for quasi-pointed regular Mal'tsev categories with pushouts of split monomorphisms along arbitrary morphisms.


title: Triple parton scattering in collinear approximation of perturbative QCD

abstract: Revised formulas for the inclusive cross section of a triple parton scattering process in a hadron collision are suggested basing on the modified collinear three-parton distributions. The possible phenomenological issues are discussed.


title: The Random Frequency Diverse Array: A New Antenna Structure for Uncoupled Direction-Range Indication in Active Sensing

abstract: In this paper, we propose a new type of array antenna, termed the Random Frequency Diverse Array (RFDA), for an uncoupled indication of target direction and range with low system complexity. In RFDA, each array element has a narrow bandwidth and a randomly assigned carrier frequency. The beampattern of the array is shown to be stochastic but thumbtack-like, and its stochastic characteristics, such as the mean, variance, and asymptotic distribution are derived analytically. Based on these two features, we propose two kinds of algorithms for signal processing. One is matched filtering, due to the beampattern's good characteristics. The other is compressive sensing, because the new approach can be regarded as a sparse and random sampling of target information in the spatial-frequency domain. Fundamental limits, such as the Cram\'er-Rao bound and the observing matrix's mutual coherence, are provided as performance guarantees of the new array structure. The features and performances of RFDA are verified with numerical results.


title: On Clutter Ranks of Frequency Diverse Radar Waveforms

abstract: Frequency diverse (FD) radar waveforms are attractive in radar research and practice. By combining two typical FD waveforms, the frequency diverse array (FDA) and the stepped-frequency (SF) pulse train, we propose a general FD waveform model, termed the random frequency diverse multi-input-multi-output (RFD-MIMO) in this paper. The new model can be applied to specific FD waveforms by adapting parameters. Furthermore, by exploring the characteristics of the clutter covariance matrix, we provide an approach to evaluate the clutter rank of the RFD-MIMO radar, which can be adopted as a quantitive metric for the clutter suppression potentials of FD waveforms. Numerical simulations show the effectiveness of the clutter rank estimation method, and reveal helpful results for comparing the clutter suppression performance of different FD waveforms.


abstract: A sufficiently general definition for the future and past boundaries of the chronology violating region is given. In comparison to previous studies, this work does not assume that the complement of the chronology violating set is globally hyperbolic. The boundary of the chronology violating set is studied and several propositions are obtained which confirm the reasonability of the definition. Some singularity theorems related to chronology violation are considered. Among the other results we prove that compactly generated horizons are compactly constructed.


title: Belief Propagation on replica symmetric random factor graph models

abstract: According to physics predictions, the free energy of random factor graph models that satisfy a certain "static replica symmetry" condition can be calculated via the Belief Propagation message passing scheme [Krzakala et al., PNAS 2007]. Here we prove this conjecture for two general classes of random factor graph models, namely Poisson random factor graphs and random regular factor graphs. Specifically, we show that the messages constructed just as in the case of acyclic factor graphs asymptotically satisfy the Belief Propagation equations and that the free energy density is given by the Bethe free energy formula.


title: The Proper Dissipative Extensions of a Dual Pair

abstract: Let $A$ and $(-\widetilde{A})$ be dissipative operators on a Hilbert space $\mathcal{H}$ and let $(A,\widetilde{A})$ form a dual pair, i.e. $A\subset\widetilde{A}^*$, resp.\ $\widetilde{A}\subset A^*$. We present a method of determining the proper dissipative extensions $\widehat{A}$ of this dual pair, i.e. $A\subset \widehat{A}\subset\widetilde{A}^*$ provided that $\mathcal{D}(A)\cap\mathcal{D}(\widetilde{A})$ is dense in $\mathcal{H}$. Applications to symmetric operators, symmetric operators perturbed by a relatively bounded dissipative operator and more singular differential operators are discussed. Finally, we investigate the stability of the numerical range of the different dissipative extensions.


title: New Constraints On Cosmic Polarization Rotation Including SPTpol B-mode Polarization Observations

abstract: We present an update of the cosmic polarization rotation (CPR) constraint from the recent SPTpol measurements of sub-degree B-mode polarization in the cosmic microwave background (CMB) of 100 square degrees of sky. Our previous CPR fluctuation constraint from the joint ACTpol-BICEP2-POLARBEAR polarization data is 23.7 mrad (1.36{\deg}). With new SPTpol data included, the CPR fluctuation constraint is updated to 17 mrad (1{\deg}) with the scalar to tensor ratio r = - 0.05 +- 0.1


title: On the radial solutions of a system with weights under the Keller--Osserman condition

abstract: In this paper, we establish conditions on the weights that are necessary and sufficient for the existence of positive solutions, bounded and unbounded, of a semilinear elliptic system.


title: Two-atom interaction energies with one atom in an excited state: van der Waals potentials vs. level shifts

abstract: I revisit the problem of the interaction between two dissimilar atoms with one atom in an excited state, recently addressed by the authors of Refs.[1-3], and for which precedent approaches have given conflicting results. In the first place, I discuss to what extent Refs.[1], [2] and [3] provide equivalent results. I show that the phase-shift rate of the two-atom wave function computed in Ref.[1], the van der Waals potential of the excited atom in Ref.[2] and the level shift of the excited atom in Ref.[3] possess equivalent expressions in the quasistationary approximation. In addition, I show that the level shift of the ground state atom computed in Ref.[3] is equivalent to its van der Waals potential. A diagrammatic representation of all those quantities is provided. The equivalences among them are however not generic. In particular, it is found that for the case of the interaction between two identical atoms excited, the phase-shift rate and the van der Waals potentials differ. Concerning the conflicting results of previous approaches in regards to the spatial oscillation of the interactions, I conclude in agreement with Refs.[1,3] that they refer to different physical quantities. The impacts of free-space dissipation and finite excitation rates on the dynamics of the potentials are analyzed. In contrast to Ref.[3], the oscillatory versus monotonic spatial forms of the potentials of each atom are found not to be related to the reversible versus irreversible nature of the excitation transfer involved.


title: General tradeoff relations of quantum nonlocality in the Clauser-Horne-Shimony-Holt scenario

abstract: General tradeoff relations present in nonlocal correlations of bipartite systems are studied, regardless of any specific quantum states and measuring directions. Extensions to multipartite scenarios are possible and very promising. Tsirelson's bound can be derived out in particular. The close connection with uncertainty relations is also presented and discussed.


title: Percolation threshold gold films on columnar coatings: characterisation for SERS applications

abstract: Percolation of gold films of ~15 nm thickness was controlled to achieve the largest openings during Au deposition. Gold was evaporated on 300-nm-thick films of nanostructured porous and columnar SiO2, TiO2 and MgF2 which were deposited by controlling the angle, rotation speed during film formation and ambient pressure. The gold films were tested for SERS performance using thiophenol reporter molecules which form a stable self-assembled monolayer on gold. The phase retardation of these SERS substrates was up to 5% for wavelengths in the visible spectral range, as measured by Stokes polarimetry. The SERS intensity on gold percolation films can reach 10^3 counts/(mW.s) for tight focusing in air, while back-side excitation through the substrate has shown the presence of an additional SERS enhancement via the Fresnel near-field mechanism.


title: Tiling directed graphs with tournaments

abstract: The Hajnal--Szemer\'edi theorem states that for any integer $r \ge 1$ and any multiple $n$ of $r$, if $G$ is a graph on $n$ vertices and $\delta(G) \ge (1 - 1/r)n$, then $G$ can be partitioned into $n/r$ vertex-disjoint copies of the complete graph on $r$ vertices. We prove a very general analogue of this result for directed graphs: for any integer $r \ge 4$ and any sufficiently large multiple $n$ of $r$, if $G$ is a directed graph on $n$ vertices and every vertex is incident to at least $2(1 - 1/r)n - 1$ directed edges, then $G$ can be partitioned into $n/r$ vertex-disjoint subgraphs of size $r$ each of which contain every tournament on $r$ vertices. A related Tur\'an-type result is also proven.


title: Recurrent Mixture Density Network for Spatiotemporal Visual Attention

abstract: In many computer vision tasks, the relevant information to solve the problem at hand is mixed to irrelevant, distracting information. This has motivated researchers to design attentional models that can dynamically focus on parts of images or videos that are salient, e.g., by down-weighting irrelevant pixels. In this work, we propose a spatiotemporal attentional model that learns where to look in a video directly from human fixation data. We model visual attention with a mixture of Gaussians at each frame. This distribution is used to express the probability of saliency for each pixel. Time consistency in videos is modeled hierarchically by: 1) deep 3D convolutional features to represent spatial and short-term time relations and 2) a long short-term memory network on top that aggregates the clip-level representation of sequential clips and therefore expands the temporal domain from few frames to seconds. The parameters of the proposed model are optimized via maximum likelihood estimation using human fixations as training data, without knowledge of the action in each video. Our experiments on Hollywood2 show state-of-the-art performance on saliency prediction for video. We also show that our attentional model trained on Hollywood2 generalizes well to UCF101 and it can be leveraged to improve action classification accuracy on both datasets.


title: MOL-D: A Collisional Database and Web Service within the Virtual Atomic and Molecular Data Center

abstract: MOL-D database is a collection of cross-sections and rate coefficients for specific collisional processes and a web service within the Serbian Virtual Observatory (SerVO) and the Virtual Atomic and Molecular Data Center (VAMDC). This database contains photo-dissociation cross-sections for the individual ro-vibrational states of the diatomic molecular ions and rate coefficients for the atom-Rydberg atom chemi-ionization and inverse electron-ion-atom chemi-recombination processes. At the moment it contains data for photodissociation cross-sections of hydrogen H2+ and helium He2+ molecular ions and the corresponding averaged thermal photodissociation cross-sections. The ro-vibrational energy states and the corresponding dipole matrix elements are provided as well. Hydrogen and helium molecular ion data are important for calculation of solar and stellar atmosphere models and for radiative transport, as well as for kinetics of other astrophysical and laboratory plasma (i.e. early Universe).


title: On Arrangements of Six, Seven, and Eight Spheres: Maximal Bonding of Monatomic Ionic Compounds

abstract: Let $C(n)$ be the solution to the contact number problem, i.e., the maximum number of touching pairs among any packing of $n$ congruent spheres in $\mathbb{R}^3$. We prove the long conjectured values of $C(6)=12, C(7)=15$, and $C(8)=18$. The proof strategy generalizes under an extensive case analysis to $C(9)=21, C(10) = 25, C(11) = 29, C(12) = 33$, and $C(13) = 36$. These results have great importance for condensed matter physics, materials science, crystallography, organic and physical chemistry of interfaces.


title: Sahlqvist theory for impossible worlds

abstract: We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not required to be normal: only the weaker properties of additivity and multiplicativity are required. Conceptually, it has been argued that their lacking necessitation makes regular modal logics better suited than normal modal logics at the formalization of epistemic and deontic settings. From a technical viewpoint, regularity proves to be very natural and adequate for the treatment of algebraic canonicity J\'onsson-style. Indeed, additivity and multiplicativity turn out to be key to extend J\'onsson's original proof of canonicity to the full Sahlqvist class of certain regular distributive modal logics naturally generalizing Distributive Modal Logic. Most interestingly, additivity and multiplicativity are key to J\'onsson-style canonicity also in the original (i.e. normal) DML. Our contributions include: the definition of Sahlqvist inequalities for regular modal logics on a distributive lattice propositional base; the proof of their canonicity following J\'onsson's strategy; the adaptation of the algorithm ALBA to the setting of regular modal logics on two non-classical (distributive lattice and intuitionistic) bases; the proof that the adapted ALBA is guaranteed to succeed on a syntactically defined class which properly includes the Sahlqvist one; finally, the application of the previous results so as to obtain proofs, alternative to Kripke's, of the strong completeness of Lemmon's epistemic logics E2-E5 with respect to elementary classes of Kripke frames with impossible worlds.


title: Thermoelectric properties of half-Heusler $\mathrm{ZrNiPb}$ by using first principles calculations

abstract: We investigate electronic structures and thermoelectric properties of recent synthetic half-Heusler $\mathrm{ZrNiPb}$ by using generalized gradient approximation (GGA) and GGA plus spin-orbit coupling (GGA+SOC). Calculated results show that $\mathrm{ZrNiPb}$ is a indirect-gap semiconductor. Within the constant scattering time approximation, semi-classic transport coefficients are performed through solving Boltzmann transport equations. It is found that the SOC has more obvious influence on power factor in p-type doping than in n-type doping, leading to a detrimental effect in p-type doping. These can be explained by considering the SOC influences on the valence bands and conduction bands near the Fermi level. The lattice thermal conductivity as a function of temperature is calculated, and the corresponding lattice thermal conductivity is 14.5 $\mathrm{W m^{-1} K^{-1}}$ at room temperature. By comparing the experimental transport coefficients with calculated ones, the scattering time is attained for 0.333 $\times$ $10^{-14}$ s. Finally, the thermoelectric figure of merit $ZT$ can be attained, and the $ZT$ value can be as high as 0.30 at high temperature by choosing appropriate doping level. It is possible to reduce lattice thermal conductivity by point defects and boundaries, and make half-Heusler $\mathrm{ZrNiPb}$ become potential candidate for efficient thermoelectricity.


title: Unified Correspondence as a Proof-Theoretic Tool

abstract: The present paper aims at establishing formal connections between correspondence phenomena, well known from the area of modal logic, and the theory of display calculi, originated by Belnap. These connections have been seminally observed and exploited by Marcus Kracht, in the context of his characterization of the modal axioms (which he calls primitive formulas) which can be effectively transformed into `analytic' structural rules of display calculi. In this context, a rule is `analytic' if adding it to a display calculus preserves Belnap's cut-elimination theorem. In recent years, the state-of-the-art in correspondence theory has been uniformly extended from classical modal logic to diverse families of nonclassical logics, ranging from (bi-)intuitionistic (modal) logics, linear, relevant and other substructural logics, to hybrid logics and mu-calculi. This generalization has given rise to a theory called unified correspondence, the most important technical tools of which are the algorithm ALBA, and the syntactic characterization of Sahlqvist-type classes of formulas and inequalities which is uniform in the setting of normal DLE-logics (logics the algebraic semantics of which is based on bounded distributive lattices). We apply unified correspondence theory, with its tools and insights, to extend Kracht's results and prove his claims in the setting of DLE-logics. The results of the present paper characterize the space of properly displayable DLE-logics.


title: On global dynamics of three dimensional magnetohydrodynamics: nonlinear stability of Alfv\'en waves

abstract: We construct and study global solutions for the 3-dimensional incompressible MHD systems with arbitrary small viscosity. In particular, we provide a rigorous justification for the following dynamical phenomenon observed in many contexts: the solution initially behaves like non-dispersive waves and the shape of the solution persists for a very long time (proportional to the Reynolds number), thereafter, the solution will be damped due to the long-time accumulation of the diffusive effects, eventually, the total energy of the system becomes extremely small compared to the viscosity so that the diffusion takes over and the solution afterwards decays fast in time. We do not assume any condition on the symmetry or on the vorticity. The size of data and the a priori estimates do not depend on viscosity. The proof is builded upon a novel use of the basic energy identity and a geometric study of the characteristic hypersurfaces. The approach is partly inspired by Christodoulou-Klainerman's proof of the nonlinear stability of Minkowski space in general relativity.


title: An Abstract Algebraic Logic View on Judgment Aggregation

abstract: In the present paper, we propose Abstract Algebraic Logic (AAL) as a general logical framework for Judgment Aggregation. Our main contribution is a generalization of Herzberg's algebraic approach to characterization results in on judgment aggregation and propositional-attitude aggregation, characterizing certain Arrovian classes of aggregators as Boolean algebra and MV-algebra homomorphisms, respectively. The characterization result of the present paper applies to agendas of formulas of an arbitrary selfextensional logic. This notion comes from AAL, and encompasses a vast class of logics, of which classical, intuitionistic, modal, many-valued and relevance logics are special cases. To each selfextensional logic $\Sm$, a unique class of algebras $\Alg\Sm$ is canonically associated by the general theory of AAL. We show that for any selfextensional logic $\Sm$ such that $\Alg\Sm$ is closed under direct products, any algebra in $\Alg\Sm$ can be taken as the set of truth values on which an aggregation problem can be formulated. In this way, judgment aggregation on agendas formalized in classical, intuitionistic, modal, many-valued and relevance logic can be uniformly captured as special cases. This paves the way to the systematic study of a wide array of "realistic agendas" made up of complex formulas, the propositional connectives of which are interpreted in ways which depart from their classical interpretation. This is particularly interesting given that, as observed by Dietrich, nonclassical (subjunctive) interpretation of logical connectives can provide a strategy for escaping impossibility results.


title: Repeating Fast Radio Bursts from Highly Magnetized Pulsars Travelling through Asteroid Belts

abstract: Very recently Spitler et al. (2016) and Scholz et al. (2016) reported their detections of sixteen additional bright bursts from the direction of the fast radio burst (FRB) 121102. This repeating FRB is inconsistent with all the catastrophic event models put forward previously for hypothetically non-repeating FRBs. Here we propose a different model, in which highly magnetized pulsars travel through asteroid belts of other stars. We show that a repeating FRB could originate from such a pulsar encountering lots of asteroids in the belt. During each pulsar-asteroid impact, an electric field induced outside the asteroid has such a large component parallel to the stellar magnetic field that electrons are torn off the asteroidal surface and accelerated to ultra-relativistic energies instantaneously. Subsequent movement of these electrons along magnetic field lines will cause coherent curvature radiation, which can account for all the properties of an FRB. In addition, this model can self-consistently explain the typical duration, luminosity, and repetitive rate of the seventeen bursts of FRB 121102. The predicted occurrence rate of repeating FRB sources may imply that our model would be testable in the next few years.


title: Probing the Birth of Post-merger Millisecond Magnetars by X-ray and Gamma-ray Emission

abstract: There is growing evidence that a stable magnetar could be formed from the coalescence of double neutron stars. In previous papers, we investigated the signature of formation of stable millisecond magnetars in radio and optical/ultraviolet bands by assuming that the central rapidly rotating magnetar deposits its rotational energy in the form of a relativistic leptonized wind. We found that the optical transient PTF11agg could be the first evidence for the formation of post-merger millisecond magnetars. To enhance the probability of finding more evidence for the post-merger magnetar formation, it is better to extend the observational channel to other photon energy bands. In this paper we propose to search the signature of post-merger magnetar formation in X-ray and especially gamma-ray bands. We calculate the SSC emission of the reverse shock powered by post-merger millisecond magnetars. We find that the SSC component peaks at $1\,{\rm GeV}$ in the spectral energy distribution and extends to $\gtrsim 10\,{\rm TeV}$ for typical parameters. These energy bands are quite suitable for Fermi/LAT and CTA, which, with their current observational sensitivities, can detect the SSC emission powered by post-merger magnetars up to $1\,{\rm Gpc}$. NuSTAR, sensible in X-ray bands, can detect the formation of post-merger millisecond magnetars at redshift $z\sim 1$. Future improvement in sensitivity of CTA can also probe the birth of post-merger millisecond magnetars at redshift $z\sim 1$. However, because of the $\gamma$-$\gamma$ collisions, strong high-energy emission is clearly predicted only for ejecta masses lower than $10^{-3}M_\odot$.


title: A non-PSLQ route to BBP-type formulas

abstract: BBP-type formulas are usually discovered experimentally, through computer searches. In this paper, however, starting with two simple generators, and hence without doing any computer searches, we derive a wide range of BBP-type formulas in general bases. Many previously discovered BBP-type formulas turn out to be particular cases of the formulas derived here.


title: Asymptotic Behavior of Solutions for the Cauchy Problem of a Dissipative Boussinesq-Type Equation

abstract: We consider the Cauchy problem for an evolution equation modeling bidirectional surface waves in a convecting fluid. Under small condition on the initial value, the existence and asymptotic behavior of global solutions in some time weighted spaces are established by the contraction mapping principle.