title: Abstracting Event-Driven Systems with Lifestate Rules

abstract: We present lifestate rules--an approach for abstracting event-driven object protocols. Developing applications against event-driven software frameworks is notoriously difficult. One reason why is that to create functioning applications, developers must know about and understand the complex protocols that abstract the internal behavior of the framework. Such protocols intertwine the proper registering of callbacks to receive control from the framework with appropriate application programming interface (API) calls to delegate back to it. Lifestate rules unify lifecycle and typestate constraints in one common specification language. Our primary contribution is a model of event-driven systems from which lifestate rules can be derived. We then apply specification mining techniques to learn lifestate specifications for Android framework types. In the end, our implementation is able to find several rules that characterize actual behavior of the Android framework.


title: Nonlinear Flows for Displacement Correction and Applications in Tomography

abstract: In this paper we derive nonlinear evolution equations associated with a class of non-convex energy functionals which can be used for correcting displacement errors in imaging data. We study properties of these filtering flows and provide experiments for correcting angular perturbations in tomographical data.


title: Magnified Time-Domain Ghost Imaging

abstract: Ghost imaging allows to image an object without directly seeing this object. Origi- nally demonstrated in the spatial domain using classical or entangled-photon sources, it was recently shown that ghost imaging can be transposed into the time domain to detect ultrafast signals with high temporal resolution. Here, using an incoherent supercontinuum light source whose spectral fluctuations are imaged using spectrum- to-time transformation in a dispersive fiber, we experimentally demonstrate magnified ghost imaging in the time domain. Our approach is scalable and allows to overcome the resolution limitation of time-domain ghost imaging.


title: Effect of pressure and temperature corrections on muon flux variability at ground level and underground

abstract: In Low Background Laboratory at Institute of Physics Belgrade, plastic scintillators are used to continuously monitor flux of the muon component of secondary cosmic rays. Measurements are performed on the surface as well as underground (25 m.w.e depth). Temperature effect on muon component of secondary cosmic rays is well known and several methods to correct for it are already developed and widely used. Here, we apply integral method to calculate correction coefficients and use GFS (Global Forecast System) model to obtain atmospheric temperature profiles. Atmospheric corrections reduce variance of muon flux and lead to improved sensitivity to transient cosmic ray variations. Influence of corrections on correlation with neutron monitor data is discussed.


title: Improved Stereo Matching with Constant Highway Networks and Reflective Confidence Learning

abstract: We present an improved three-step pipeline for the stereo matching problem and introduce multiple novelties at each stage. We propose a new highway network architecture for computing the matching cost at each possible disparity, based on multilevel weighted residual shortcuts, trained with a hybrid loss that supports multilevel comparison of image patches. A novel post-processing step is then introduced, which employs a second deep convolutional neural network for pooling global information from multiple disparities. This network outputs both the image disparity map, which replaces the conventional "winner takes all" strategy, and a confidence in the prediction. The confidence score is achieved by training the network with a new technique that we call the reflective loss. Lastly, the learned confidence is employed in order to better detect outliers in the refinement step. The proposed pipeline achieves state of the art accuracy on the largest and most competitive stereo benchmarks, and the learned confidence is shown to outperform all existing alternatives.


title: Data-Driven Forecast of Dengue Outbreaks in Brazil: A Critical Assessment of Climate Conditions for Different Capitals

abstract: Local climate conditions play a major role in the development of the mosquito population responsible for transmitting Dengue Fever. Since the {\em Aedes Aegypti} mosquito is also a primary vector for the recent Zika and Chikungunya epidemics across the Americas, a detailed monitoring of periods with favorable climate conditions for mosquito profusion may improve the timing of vector-control efforts and other urgent public health strategies. We apply dimensionality reduction techniques and machine-learning algorithms to climate time series data and analyze their connection to the occurrence of Dengue outbreaks for seven major cities in Brazil. Specifically, we have identified two key variables and a period during the annual cycle that are highly predictive of epidemic outbreaks. The key variables are the frequency of precipitation and temperature during an approximately two month window of the winter season preceding the outbreak. Thus simple climate signatures may be influencing Dengue outbreaks even months before their occurrence. Some of the more challenging datasets required usage of compressive-sensing procedures to estimate missing entries for temperature and precipitation records. Our results indicate that each Brazilian capital considered has a unique frequency of precipitation and temperature signature in the winter preceding a Dengue outbreak. Such climate contributions on vector populations are key factors in dengue dynamics which could lead to more accurate prediction models and early warning systems. Finally, we show that critical temperature and precipitation signatures may vary significantly from city to city, suggesting that the interplay between climate variables and dengue outbreaks is more complex than generally appreciated.


title: Very Fast Kernel SVM under Budget Constraints

abstract: In this paper we propose a fast online Kernel SVM algorithm under tight budget constraints. We propose to split the input space using LVQ and train a Kernel SVM in each cluster. To allow for online training, we propose to limit the size of the support vector set of each cluster using different strategies. We show in the experiment that our algorithm is able to achieve high accuracy while having a very high number of samples processed per second both in training and in the evaluation.


title: Social Media Argumentation Mining: The Quest for Deliberateness in Raucousness

abstract: Argumentation mining from social media content has attracted increasing attention. The task is both challenging and rewarding. The informal nature of user-generated content makes the task dauntingly difficult. On the other hand, the insights that could be gained by a large-scale analysis of social media argumentation make it a very worthwhile task. In this position paper I discuss the motivation for social media argumentation mining, as well as the tasks and challenges involved.


title: Vertical stratification of forest canopy for segmentation of under-story trees within small-footprint airborne LiDAR point clouds

abstract: Airborne LiDAR point cloud representing a forest contains 3D data, from which vertical stand structure even of understory layers can be derived. This paper presents a tree segmentation approach for multi-story stands that stratifies the point cloud to canopy layers and segments individual tree crowns within each layer using a digital surface model based tree segmentation method. The novelty of the approach is the stratification procedure that separates the point cloud to an overstory and multiple understory tree canopy layers by analyzing vertical distributions of LiDAR points within overlapping locales. The procedure does not make a priori assumptions about the shape and size of the tree crowns and can, independent of the tree segmentation method, be utilized to vertically stratify tree crowns of forest canopies. We applied the proposed approach to the University of Kentucky Robinson Forest - a natural deciduous forest with complex and highly variable terrain and vegetation structure. The segmentation results showed that using the stratification procedure strongly improved detecting understory trees (from 46% to 68%) at the cost of introducing a fair number of over-segmented understory trees (increased from 1% to 16%), while barely affecting the overall segmentation quality of overstory trees. Results of vertical stratification of the canopy showed that the point density of understory canopy layers were suboptimal for performing a reasonable tree segmentation, suggesting that acquiring denser LiDAR point clouds would allow more improvements in segmenting understory trees. As shown by inspecting correlations of the results with forest structure, the segmentation approach is applicable to a variety of forest types.


title: Effective FRW Radiation Dominated Era

abstract: We compute effective equations of the quantum FRW flat universe in the radiation dominated era at $\hbar$ order, described in terms of Ashtekar variables employing a new method for the geometrical formulation of quantum mechanics. Additional terms of quantum nature correct the classical equations of motion. As a consequence, the initial singularity of the classical model is removed and a Big Bouncing scenario takes its place. We also obtain an expression for the effective action of the model in terms of higher curvature invariants, leading us to corrected Einstein equations for more general contexts.


title: Low Threshold Results and Limits from the DRIFT Directional Dark Matter Detector

abstract: We present results from a 54.7 live-day shielded run of the DRIFT-IId detector, the world's most sensitive, directional, dark matter detector. Several improvements were made relative to our previous work including a lower threshold for detection, a more robust analysis and a tenfold improvement in our gamma rejection factor. After analysis, no events remain in our fiducial region leading to an exclusion curve for spin-dependent WIMP-proton interactions which reaches 0.28 pb at 100 GeV/c^2 a fourfold improvement on our previous work. We also present results from a 45.4 live-day unshielded run of the DRIFT-IId detector during which 14 nuclear recoil-like events were observed. We demonstrate that the observed nuclear recoil rate of 0.31+/-0.08 events per day is consistent with detection of ambient, fast neutrons emanating from the walls of the Boulby Underground Science Facility.


title: Quantitative relationship between polarization differences and the zone-averaged shift photocurrent

abstract: A relationship is derived between differences in electric polarization between bands and the "shift vector" that controls part of a material's bulk photocurrent, then demonstrated in several models. Electric polarization has a quantized gauge ambiguity and is normally observed at surfaces via the surface charge density, while shift current is a bulk property and is described by shift vector gauge invariant at each point in momentum space. They are connected because the same optical transitions that are described in shift currents pick out a relative gauge between valence and conduction bands. We also discuss subtleties arising when there are points at the Brillouin zone where optical transitions are absent. We conclude that two-dimensional materials with significant interband polarization differences should have high bulk photocurrent, meaning that the modern theory of polarization can be used as a straightforward way to search for bulk photovoltaic material candidates.


title: Modified Gravity and Large Scale Flows, a Review

abstract: Large scale flows have been a challenging feature of cosmography ever since galaxy scaling relations came on the scene 40 years ago. The next generation of surveys will offer a serious test of the standard cosmology.


title: Molecular plasmonics: the role of ro-vibrational molecular states in exciton-plasmon materials under strong coupling conditions

abstract: We extend the model of exciton-plasmon materials to include a ro-vibrational structure of molecules using wave-packet propagations on electronic potential energy surfaces. The new model replaces conventional two-level emitters with more complex molecules allowing to examine the influence of alignment and vibrational dynamics on strong coupling with surface plasmon-polaritons. We apply the model to a hybrid system comprising a thin layer of molecules placed on top of a periodic array of slits. Rigorous simulations are performed for two types of molecular systems described by vibrational bound-bound and bound-continuum electronic transitions. Calculations reveal new features in transmission, reflection and absorption spectra including the observation of significantly higher values of the Rabi splitting and vibrational patterns clearly seen in the corresponding spectra. We also examine the influence of anisotropic initial conditions on optical properties of hybrid materials demonstrating that the optical response of the system is significantly affected by an initial pre-alignment of the molecules. Our work demonstrates that pre-aligned molecules could serve as an efficient probe for the sub-diffraction characterization of the near-field near metal interfaces.


title: Convergence of Siegel-Veech constants

abstract: We show that for any weakly convergent sequence of ergodic $SL_2(\mathbb{R})$-invariant probability measures on a stratum of unit-area translation surfaces, the corresponding Siegel-Veech constants converge to the Siegel-Veech constant of the limit measure. Together with a measure equidistribution result due to Eskin-Mirzakhani-Mohammadi, this yields the (previously conjectured) convergence of sequences of Siegel-Veech constants associated to Teichm\"uller curves in genus two. The proof uses a recurrence result closely related to techniques developed by Eskin-Masur. We also use this recurrence result to get an asymptotic quadratic upper bound, with a uniform constant depending only on the stratum, for the number of saddle connections of length at most $R$ on a unit-area translation surface.


title: Predicted Land\'e $g$-factors for open shell diatomic molecules

abstract: The program {\sc Duo} (Yurchenko {\it et al.}, Computer Phys. Comms., 202 (2016) 262) provides direct solutions of the nuclear motion Schr\"odinger equation for the (coupled) potential energy curves of open shell diatomic molecules. Wavefunctions from {\sc Duo} are used to compute Land\'e $g$-factors valid for weak magnetic fields, the results are compared with the idealized predictions of both Hund's case (a) and Hund's case (b) coupling schemes. Test calculations are performed for AlO, NO, CrH and C$_2$. The computed $g_J$'s both provide a sensitive test of the underlying spectroscopic model used to represent the system and an indication of whether states of the molecule are well-represented by the either of the Hund's cases considered. The computation of Land\'e $g$-factors is implemented as a standard option in the latest release of {\sc Duo}.


title: Fast counting of medium-sized rooted subgraphs

abstract: We prove that counting copies of any graph $F$ in another graph $G$ can be achieved using basic matrix operations on the adjacency matrix of $G$. Moreover, the resulting algorithm is competitive for medium-sized $F$: our algorithm recovers the best known complexity for rooted 6-clique counting and improves on the best known for 9-cycle counting. Underpinning our proofs is the new result that, for a general class of graph operators, matrix operations are homomorphisms for operations on rooted graphs.


title: Lazily Adapted Constant Kinky Inference for Nonparametric Regression and Model-Reference Adaptive Control

abstract: Techniques known as Nonlinear Set Membership prediction, Lipschitz Interpolation or Kinky Inference are approaches to machine learning that utilise presupposed Lipschitz properties to compute inferences over unobserved function values. Provided a bound on the true best Lipschitz constant of the target function is known a priori they offer convergence guarantees as well as bounds around the predictions. Considering a more general setting that builds on Hoelder continuity relative to pseudo-metrics, we propose an online method for estimating the Hoelder constant online from function value observations that possibly are corrupted by bounded observational errors. Utilising this to compute adaptive parameters within a kinky inference rule gives rise to a nonparametric machine learning method, for which we establish strong universal approximation guarantees. That is, we show that our prediction rule can learn any continuous function in the limit of increasingly dense data to within a worst-case error bound that depends on the level of observational uncertainty. We apply our method in the context of nonparametric model-reference adaptive control (MRAC). Across a range of simulated aircraft roll-dynamics and performance metrics our approach outperforms recently proposed alternatives that were based on Gaussian processes and RBF-neural networks. For discrete-time systems, we provide guarantees on the tracking success of our learning-based controllers both for the batch and the online learning setting.


title: POMDP Structural Results for Controlled Sensing

abstract: This article provides a short review of some structural results in controlled sensing when the problem is formulated as a partially observed Markov decision process. In particular, monotone value functions, Blackwell dominance and quickest detection are described.


title: A scalable approach for tree segmentation within small-footprint airborne LiDAR data

abstract: This paper presents a distributed approach that scales up to segment tree crowns within a LiDAR point cloud representing an arbitrarily large forested area. The approach uses a single-processor tree segmentation algorithm as a building block in order to process the data delivered in the shape of tiles in parallel. The distributed processing is performed in a master-slave manner, in which the master maintains the global map of the tiles and coordinates the slaves that segment tree crowns within and across the boundaries of the tiles. A minimal bias was introduced to the number of detected trees because of trees lying across the tile boundaries, which was quantified and adjusted for. Theoretical and experimental analyses of the runtime of the approach revealed a near linear speedup. The estimated number of trees categorized by crown class and the associated error margins as well as the height distribution of the detected trees aligned well with field estimations, verifying that the distributed approach works correctly. The approach enables providing information of individual tree locations and point cloud segments for a forest-level area in a timely manner, which can be used to create detailed remotely sensed forest inventories. Although the approach was presented for tree segmentation within LiDAR point clouds, the idea can also be generalized to scale up processing other big spatial datasets. Highlights: - A scalable distributed approach for tree segmentation was developed and theoretically analyzed. - ~2 million trees in a 7440 ha forest was segmented in 2.5 hours using 192 cores. - 2% false positive trees were identified as a result of the distributed run. - The approach can be used to scale up processing other big spatial data


title: The effect of boundary conditions on mixing of 2D Potts models at discontinuous phase transitions

abstract: We study Swendsen--Wang dynamics for the critical $q$-state Potts model on the square lattice. For $q=2,3,4$, where the phase transition is continuous, the mixing time $t_{\textrm{mix}}$ is expected to obey a universal power-law independent of the boundary conditions. On the other hand, for large $q$, where the phase transition is discontinuous, the authors recently showed that $t_{\textrm{mix}}$ is highly sensitive to boundary conditions: $t_{\textrm{mix}} \geq \exp(cn)$ on an $n\times n$ box with periodic boundary, yet under free or monochromatic boundary conditions, $t_{\textrm{mix}} \leq\exp(n^{o(1)})$. In this work we classify this effect under boundary conditions that interpolate between these two (torus vs. free/monochromatic). Specifically, if one of the $q$ colors is red, mixed boundary conditions such as red-free-red-free on the 4 sides of the box induce $t_{\textrm{mix}} \geq \exp(cn)$, yet Dobrushin boundary conditions such as red-red-free-free, as well as red-periodic-red-periodic, induce sub-exponential mixing.


title: Accelerated Cyclic Reduction: A Distributed-Memory Fast Solver for Structured Linear Systems

abstract: We present Accelerated Cyclic Reduction (ACR), a distributed-memory fast direct solver for rank-compressible block tridiagonal linear systems arising from the discretization of elliptic operators, developed here for three dimensions. Algorithmic synergies between Cyclic Reduction and hierarchical matrix arithmetic operations result in a solver that has $O(k~N \log N~(\log N + k^2))$ arithmetic complexity and $O(k~N \log N)$ memory footprint, where $N$ is the number of degrees of freedom and $k$ is the rank of a typical off-diagonal block, and which exhibits substantial concurrency. We provide a baseline for performance and applicability by comparing with the multifrontal method where hierarchical semi-separable matrices are used for compressing the fronts, and with algebraic multigrid. Over a set of large-scale elliptic systems with features of nonsymmetry and indefiniteness, the robustness of the direct solvers extends beyond that of the multigrid solver, and relative to the multifrontal approach ACR has lower or comparable execution time and memory footprint. ACR exhibits good strong and weak scaling in a distributed context and, as with any direct solver, is advantageous for problems that require the solution of multiple right-hand sides.


title: Pohozaev identity for the fractional $p-$Laplacian on $\mathbb{R}^N$

abstract: By virtue of a suitable approximation argument, we prove a Pohozaev identity for nonlinear nonlocal problems on $\mathbb{R}^N$ involving the fractional $p-$Laplacian operator. Furthermore we provide an application of the identity to show that some relevant levels of the energy functional associated with the problem coincide.


title: Transport through a Majorana island: strong tunneling regime

abstract: In the presence of Rashba spin-orbit coupling, magnetic field can drive a proximitized nanowire into a topological superconducting phase. We study transport properties of such nanowires in the Coulomb blockade regime. The associated with the topological superconductivity Majorana modes significantly modify transport and lead to single-electron coherent transmission through the nanowire - a non-local signature of topological superconductivity. In this work, we focus on the case of strong hybridization of the Majorana modes with the normal leads. The induced by hybridization broadening of the Majorana zero-energy states competes with the charging energy, leading to a considerable modification of the Coulomb blockade in a nanowire contacted by two normal leads. We evaluate the two-terminal conductance as a function of the gate voltage, junctions transmission coefficients, the geometric capacitance of and the induced superconducting gap in the nanowire.


title: Self-Taught Convolutional Neural Networks for Short Text Clustering

abstract: Short text clustering is a challenging problem due to its sparseness of text representation. Here we propose a flexible Self-Taught Convolutional neural network framework for Short Text Clustering (dubbed STC^2), which can flexibly and successfully incorporate more useful semantic features and learn non-biased deep text representation in an unsupervised manner. In our framework, the original raw text features are firstly embedded into compact binary codes by using one existing unsupervised dimensionality reduction methods. Then, word embeddings are explored and fed into convolutional neural networks to learn deep feature representations, meanwhile the output units are used to fit the pre-trained binary codes in the training process. Finally, we get the optimal clusters by employing K-means to cluster the learned representations. Extensive experimental results demonstrate that the proposed framework is effective, flexible and outperform several popular clustering methods when tested on three public short text datasets.


title: Packet Latency of Deterministic Broadcasting in Adversarial Multiple Access Channels

abstract: We study broadcasting in multiple access channels with dynamic packet arrivals and jamming. Communication environments are represented by adversarial models that specify constraints on packet arrivals and jamming. We consider deterministic distributed broadcast algorithms and give upper bounds on the worst-case packet latency and the number of queued packets in relation to the parameters defining adversaries. Packet arrivals are determined by a rate of injections and a number of packets that can be generated in one round. Jamming is constrained by a rate with which an adversary can jam rounds and by a number of consecutive rounds that can be jammed.


title: Computing optimal strategy for cop in the game of Cop v.s. Gambler

abstract: We present two efficient algorithms that compute the optimal strategy for cop in the game of Cop v.s. Gambler where the gambler's strategy is not optimal but known to the cop. The first algorithm is analogous to Bellman-Ford algorithm for single source shortest path problem and runs in $O(|V(G)||E(G)|)$ time. The second is analogous to Dijkstra's algorithm and runs in $O(|E(G)|+|V(G)|\log |V(G)|)$ time. Compared with each other, they are more suitable for sparse and dense graphs, respectively.


title: Aspect-augmented Adversarial Networks for Domain Adaptation

abstract: We introduce a neural method for transfer learning between two (source and target) classification tasks or aspects over the same domain. Rather than training on target labels, we use a few keywords pertaining to source and target aspects indicating sentence relevance instead of document class labels. Documents are encoded by learning to embed and softly select relevant sentences in an aspect-dependent manner. A shared classifier is trained on the source encoded documents and labels, and applied to target encoded documents. We ensure transfer through aspect-adversarial training so that encoded documents are, as sets, aspect-invariant. Experimental results demonstrate that our approach outperforms different baselines and model variants on two datasets, yielding an improvement of 27% on a pathology dataset and 5% on a review dataset.


title: BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters

abstract: We study generalized gauge theories engineered by taking the low energy limit of the $Dp$ branes wrapping $X \times T^{p-3}$, with $X$ a possibly singular surface in a Calabi-Yau fourfold $Z$. For toric $Z$ and $X$ the partition function can be computed by localization, making it a statistical mechanical model, called the gauge origami. The random variables are the ensembles of Young diagrams. The building block of the gauge origami is associated with a tetrahedron, whose edges are colored by vector spaces. We show the properly normalized partition function is an entire function of the Coulomb moduli, for generic values of the $\Omega$-background parameters. The orbifold version of the theory defines the $qq$-character operators, with and without the surface defects. The analytic properties are the consequence of a relative compactness of the moduli spaces $M({\vec n}, k)$ of crossed and spiked instantons, demonstrated in arXiv:1608.07272.


title: A Study on the Product Set-Labeling of Graphs

abstract: Let $X$ be a non-empty ground set and $\mathscr{P}(X)$ be its power set. A set-labeling (or a set-valuation) of a graph $G$ is an injective set-valued function $f:V(G)\to \mathscr{P}(X)$ such that the induced function $f^*:E(G) \to \mathscr{P}(X)$ is defined by $f^*(uv)=f(u)\ast f(v)$, where $f(u)\ast f(v)$ is a binary operation of the sets $f(u)$ and $f(v)$. A graph which admits a set-labeling is known to be a set-labeled graph. A set-labeling $f$ of a graph $G$ is said to be a set-indexer of $G$ if the associated function $f^*$ is also injective. In this paper, we introduce a new notion namely product set-labeling of graphs as an injective set-valued function $f:V(G)\to \mathscr{P}(\mathbb{N})$ such that the induced edge-function $f^*:V(G)\to \mathscr{P}(\mathbb{N})$ is defined as $^*f(uv)=f(u)\ast f(v) \forall\ uv\in E(G)$, where $f(u)\ast f(v)$ is the product set of the set-labels $f(u)$ and $f(v)$, where $\mathbb{N}$ is the set of all positive integers and discuss certain properties of the graphs which admit this type of set-labeling.


title: Electrical Transport of perpendicularly magnetized L10-MnGa and MnAl films

abstract: Ferromagnetic films of L10-ordered MnGa and MnAl that exhibit giant perpendicular magnetic anisotropy and great controllability in the magnetism and structural disorders show promise not only in the applications in magnetic recording, permanent magnets and spintronics, but also in controllable studies of disorder-relevant electrical transport phenomena. In this article, we review the intriguing experimental observations of the orbital two-channel Kondo effect and anomalous Hall effect in L10-ordered MnGa and MnAl thin films with perpendicular magnetic anisotropy. We also give a perspective with regards to the future technological and fundamental applications of these perpendicularly magnetized Mn-based binary alloy films.


title: Iron K$\alpha$ line of Proca stars

abstract: X-ray reflection spectroscopy can be a powerful tool to test the nature of astrophysical black holes. Extending previous work on Kerr black holes with scalar hair [1] and on boson stars [2], here we study whether astrophysical black hole candidates may be horizonless, self-gravitating, vector Bose-Einstein condensates, known as Proca stars [3]. We find that observations with current X-ray missions can only provide weak constraints and rule out solely Proca stars with low compactness. There are two reasons. First, at the moment we do not know the geometry of the corona, and therefore the uncertainty in the emissivity profile limits the ability to constrain the background metric. Second, the photon number count is low even in the case of a bright black hole binary, and we cannot have a precise measurement of the spectrum.


title: Video-based Person Re-identification with Accumulative Motion Context

abstract: Video based person re-identification plays a central role in realistic security and video surveillance. In this paper we propose a novel Accumulative Motion Context (AMOC) network for addressing this important problem, which effectively exploits the long-range motion context for robustly identifying the same person under challenging conditions. Given a video sequence of the same or different persons, the proposed AMOC network jointly learns appearance representation and motion context from a collection of adjacent frames using a two-stream convolutional architecture. Then AMOC accumulates clues from motion context by recurrent aggregation, allowing effective information flow among adjacent frames and capturing dynamic gist of the persons. The architecture of AMOC is end-to-end trainable and thus motion context can be adapted to complement appearance clues under unfavorable conditions (e.g. occlusions). Extensive experiments are conduced on three public benchmark datasets, i.e., the iLIDS-VID, PRID-2011 and MARS datasets, to investigate the performance of AMOC. The experimental results demonstrate that the proposed AMOC network outperforms state-of-the-arts for video-based re-identification significantly and confirm the advantage of exploiting long-range motion context for video based person re-identification, validating our motivation evidently.


title: Network patterns in exponentially growing 2D biofilms

abstract: Anisotropic collective patterns occur frequently in the morphogenesis of 2D biofilms. These patterns are often attributed to growth regulation mechanisms and differentiation based on gradients of diffusing nutrients and signalling molecules. Here, we employ a model of bacterial growth dynamics to show that even in the absence of growth regulation or differentiation, confinement by an enclosing medium such as agar can itself lead to stable pattern formation over time scales that are employed in experiments. The underlying mechanism relies on path formation through physical deformation of the enclosing environment.


title: Dual submanifolds in rational homology spheres

abstract: Let $\Sigma$ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds $M_+, M_-$ in $\Sigma$ are called dual to each other if the complement $\Sigma - M_+$ strongly homotopy retracts onto $M_-$ or vice-versa. In this paper we will give a complete answer of which integral triples $(n; m_+, m_-)$ can appear, where $n=dim \Sigma -1$, $m_+={codim}M_+ -1$ and $m_-={codim}M_- -1$.


title: Robust Mean Field Linear-Quadratic-Gaussian Games with Unknown $L^2$-Disturbance

abstract: This paper considers a class of mean field linear-quadratic-Gaussian (LQG) games with model uncertainty. The drift term in the dynamics of the agents contains a common unknown function. We take a robust optimization approach where a representative agent in the limiting model views the drift uncertainty as an adversarial player. By including the mean field dynamics in an augmented state space, we solve two optimal control problems sequentially, which combined with consistent mean field approximations provides a solution to the robust game. A set of decentralized control strategies is derived by use of forward-backward stochastic differential equations (FBSDE) and shown to be a robust epsilon-Nash equilibrium.


title: MACS J0553.4-3342: A young merging galaxy cluster caught through the eyes of Chandra and HST

abstract: We present a detailed analysis of a young merging galaxy cluster \mac~(z=0.43), from {\it Chandra} X-ray and {\it Hubble Space Telescope} archival data. X-ray observations confirm that the X-ray emitting intra-cluster medium (ICM) in this system is among the hottest (average $T=12.1 \pm 0.6$ keV) and most luminous known. Comparison of X-ray and optical images confirm that this system hosts two merging subclusters SC1 and SC2, separated by a projected distance of about 650\,kpc. The subcluster SC2 is newly identified in this work, while another subcluster (SC0), previously thought to be part of this merging system, is shown to be possibly a foreground object. Apart from two subclusters, we find a tail-like structure in the X-ray image, extending to a projected distance of $\sim$1\,Mpc, along the north-east direction of the eastern subcluster (SC1). From a surface brightness analysis, we detect two sharp surface brightness edges at $\sim$40$\arcsec$ ($\sim$320\,kpc) and $\sim$80$\arcsec$ ($\sim$640\,kpc) to the east of SC1. The inner edge appears to be associated with a merger-driven cold front, while the outer one is likely to be due to a shock front, the presence of which, ahead of the cold front, makes this dynamically disturbed cluster interesting. Nearly all the early-type galaxies belonging to the two subclusters, including their BCGs, are part of a well-defined red sequence.


title: A robust approach for tree segmentation in deciduous forests using small-footprint airborne LiDAR data

abstract: This paper presents a non-parametric approach for segmenting trees from airborne LiDAR data in deciduous forests. Based on the LiDAR point cloud, the approach collects crown information such as steepness and height on-the-fly to delineate crown boundaries, and most importantly, does not require a priori assumptions of crown shape and size. The approach segments trees iteratively starting from the tallest within a given area to the smallest until all trees have been segmented. To evaluate its performance, the approach was applied to the University of Kentucky Robinson Forest, a deciduous closed-canopy forest with complex terrain and vegetation conditions. The approach identified 94% of dominant and co-dominant trees with a false detection rate of 13%. About 62% of intermediate, overtopped, and dead trees were also detected with a false detection rate of 15%. The overall segmentation accuracy was 77%. Correlations of the segmentation scores of the proposed approach with local terrain and stand metrics was not significant, which is likely an indication of the robustness of the approach as results are not sensitive to the differences in terrain and stand structures.


title: Interactive Movie Recommendation Through Latent Semantic Analysis and Storytelling

abstract: Recommendation has become one of the most important components of online services for improving sale records, however visualization work for online recommendation is still very limited. This paper presents an interactive recommendation approach with the following two components. First, rating records are the most widely used data for online recommendation, but they are often processed in high-dimensional spaces that can not be easily understood or interacted with. We propose a Latent Semantic Model (LSM) that captures the statistical features of semantic concepts on 2D domains and abstracts user preferences for personal recommendation. Second, we propose an interactive recommendation approach through a storytelling mechanism for promoting the communication between the user and the recommendation system. Our approach emphasizes interactivity, explicit user input, and semantic information convey; thus it can be used by general users without any knowledge of recommendation or visualization algorithms. We validate our model with data statistics and demonstrate our approach with case studies from the MovieLens100K dataset. Our approaches of latent semantic analysis and interactive recommendation can also be extended to other network-based visualization applications, including various online recommendation systems.


title: Post-Lie algebra structures on the Witt algebra

abstract: In this paper, we characterize the graded post-Lie algebra structures and a class of shifting post-Lie algebra structures on the Witt algebra. We obtain some new Lie algebras and give a class of their modules. As an application, the homogeneous Rota-Baxter operators and a class of non-homogeneous Rota-Baxter operators of weight $1$ on the Witt algebra are studied.


title: Analysis of a remarkable singularity in a nonlinear DDE

abstract: In this work we investigate the dynamics of the nonlinear DDE (delay-differential equation) x''(t)+x(t-T)+x(t)^3=0 where T is the delay. For T=0 this system is conservative and exhibits no limit cycles. For T>0, no matter how small, an infinite number of limit cycles exist, their amplitudes going to infinity in the limit as T approaches zero. We investigate this situation in three ways: 1) Harmonic Balance, 2) Melnikov's integral, and 3) Adding damping to regularize the singularity.


title: Interference Minimization in 5G Heterogeneous Networks

abstract: In this paper, we focus on one of the representative 5G network scenarios, namely multi-tier heterogeneous cellular networks. User association is investigated in order to reduce the down-link co-channel interference. Firstly, in order to analyze the multi-tier heterogeneous cellular networks where the base stations in different tiers usually adopt different transmission powers, we propose a Transmission Power Normalization Model (TPNM), which is able to convert a multi-tier cellular network into a single-tier network, such that all base stations have the same normalized transmission power. Then using TPNM, the signal and interference received at any point in the complex multi-tier environment can be analyzed by considering the same point in the equivalent single-tier cellular network model, thus significantly simplifying the analysis. On this basis, we propose a new user association scheme in heterogeneous cellular networks, where the base station that leads to the smallest interference to other co-channel mobile stations is chosen from a set of candidate base stations that satisfy the quality-of-service (QoS) constraint for an intended mobile station. Numerical results show that the proposed user association scheme is able to significantly reduce the down-link interference compared with existing schemes while maintaining a reasonably good QoS.


title: Uniform K-stability and plt blowups of log Fano pairs

abstract: We show relationships between uniform K-stability and plt blowups of log Fano pairs. We see that it is enough to evaluate certain invariants defined by volume functions for all plt blowups in order to test uniform K-stability of log Fano pairs. We also discuss the uniform K-stability of two log Fano pairs under crepant finite covers. Moreover, we give another proof of K-semistability of the projective plane.


title: Vexillary degeneracy loci classes in K-theory and algebraic cobordism

abstract: In this paper, we prove determinant formulas for the $K$-theory classes of the structure sheaves of degeneracy loci classes associated to vexillary permutations in type $A$. As a consequence we obtain determinant formulas for Lascoux-Sch\"utzenberger's double Grothendieck polynomials associated to vexillary permutations. Furthermore, we generalize the determinant formula to algebraic cobordism.


title: Combinations related to classes of finite and countably categorical structures and their theories

abstract: We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to closures with respect to $E$-operators and $P$-operators.


title: Relative e-spectra and relative closures for families of theories

abstract: We define the notions of relative $e$-spectra, with respect to $E$-operators, relative closures, and relative generating sets. We study properties connected with relative $e$-spectra and relative generating sets.


title: Coherent anti-Stokes Raman Scattering Lidar Using Slow Light: A Theoretical Study

abstract: We theoretically investigate a scheme in which backward coherent anti-Stokes Raman scattering (CARS) is significantly enhanced by using slow light. Specifically, we reduce the group velocity of the Stokes excitation pulse by introducing a coupling laser that causes electromagnetically induced transparency (EIT). When the Stokes pulse has a spatial length shorter than the CARS wavelength, the backward CARS emission is significantly enhanced. We also investigated the possibility of applying this scheme as a CARS lidar with O2 or N2 as the EIT medium. We found that if nanosecond laser with large pulse energy (>1 J) and a telescope with large aperture (~10 m) are equipped in the lidar system, a CARS lidar could become much more sensitive than a spontaneous Raman lidar.


title: On semilattices and lattices for families of theories

abstract: We define and study semilattices and lattices for $E$-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with least generating sets are distributive.


title: Asymptotically spacelike warped anti-de Sitter spacetimes in generalized minimal massive gravity

abstract: In this paper we show that warped AdS$_{3}$ black hole spacetime is a solution of the generalized minimal massive gravity (GMMG) and introduce suitable boundary conditions for asymptotically warped AdS$_{3}$ spacetimes. Then we find the Killing vector fields such that transformations generated by them preserve the considered boundary conditions. We calculate the conserved charges which correspond to the obtained Killing vector fields and show that the algebra of the asymptotic conserved charges is given as the semi direct product of the Virasoro algebra with $U(1)$ current algebra. We use a particular Sugawara construction to reconstruct the conformal algebra. Thus, we are allowed to use the Cardy formula to calculate the entropy of the warped black hole. We demonstrate that the gravitational entropy of the warped black hole exactly coincide with what we obtain via Cardy's formula. As we expect the warped Cardy formula also give us exactly the same result which we obtain from usual Cardy's formula. We calculate mass and angular momentum of the warped black and then check that obtained mass, angular momentum and entropy satisfy first law of the black hole mechanics. According to the results of this paper we belief that the dual theory of the warped AdS$_{3}$ black hole solution of GMMG is a Warped CFT.


title: Construction and Encoding of QC-LDPC Codes Using Group Rings

abstract: Quasi-cyclic (QC) low-density parity-check (LDPC) codes which are known as QC-LDPC codes, have many applications due to their simple encoding implementation by means of cyclic shift registers. In this paper, we construct QC-LDPC codes from group rings. A group ring is a free module (at the same time a ring) constructed in a natural way from any given ring and any given group. We present a structure based on the elements of a group ring for constructing QC-LDPC codes. Some of the previously addressed methods for constructing QC-LDPC codes based on finite fields are special cases of the proposed construction method. The constructed QC-LDPC codes perform very well over the additive white Gaussian noise (AWGN) channel with iterative decoding in terms of bit-error probability and block-error probability. Simulation results demonstrate that the proposed codes have competitive performance in comparison with the similar existing LDPC codes. Finally, we propose a new encoding method for the proposed group ring based QC-LDPC codes that can be implemented faster than the current encoding methods. The encoding complexity of the proposed method is analyzed mathematically, and indicates a significate reduction in the required number of operations, even when compared to the available efficient encoding methods that have linear time and space complexities.


title: An inverse problem without the phase information

abstract: We prove a new uniqueness theorem for an inverse scattering problem without the phase information for the 3-D Helmholtz equation. The spatially distributed dielectric constant is the subject of the interest in this problem. We consider the case when the modulus of the scattered wave field |u_{sc}| is measured. The phase is not measured.


title: Modeling the Network Dynamics of Pulse-Coupled Neurons

abstract: We derive a mean-field approximation for the macroscopic dynamics of large networks of pulse-coupled theta neurons in order to study the effects of different network degree distributions, as well as degree correlations (assortativity). Using the ansatz of Ott and Antonsen (Chaos, 19 (2008) 037113), we obtain a reduced system of ordinary differential equations describing the mean-field dynamics, with significantly lower dimensionality compared with the complete set of dynamical equations for the system. We find that, for sufficiently large networks and degrees, the dynamical behavior of the reduced system agrees well with that of the full network. This dimensional reduction allows for an efficient characterization of system phase transitions and attractors. For networks with tightly peaked degree distributions, the macroscopic behavior closely resembles that of fully connected networks previously studied by others. In contrast, networks with scale-free degree distributions exhibit different macroscopic dynamics due to the emergence of degree dependent behavior of different oscillators. For nonassortative networks (i.e., networks without degree correlations) we observe the presence of a synchronously firing phase that can be suppressed by the presence of either assortativity or disassortativity in the network. We show that the results derived here can be used to analyze the effects of network topology on macroscopic behavior in neuronal networks in a computationally efficient fashion.


title: Don't choose theories: Normative inductive reasoning and the status of physical theories

abstract: Evaluating theories in physics used to be easy. Our theories provided very distinct predictions. Experimental accuracy was so small that worrying about epistemological problems was not necessary. That is no longer the case. The underdeterminacy problem between string theory and the standard model for current possible experimental energies is one example. We need modern inductive methods for this problem, Bayesian methods or the equivalent Solomonoff induction. To illustrate the proper way to work with induction problems I will use the concepts of Solomoff induction to study the status of string theory. Previous attempts have focused on the Bayesian solution. And they run into the question of why string theory is widely accepted with no data backing it. Logically unsupported additions to the Bayesian method were proposed. I will show here that, by studying the problem from the point of view of the Solomonoff induction those additions can be understood much better. They are not ways to update probabilities. Instead, they are considerations about the priors as well as heuristics to attempt to deal with our finite resources. For the general problem, Solomonoff induction also makes it clear that there is no demarcation problem. Every possible idea can be part of a proper scientific theory. It is just the case that data makes some ideas extremely improbable. Theories where that does not happen must not be discarded. Rejecting ideas is just wrong.

categories: physics.hist-ph gr-qc hep-ph physics.data-an


title: Electrostatic Correlations and the Polyelectrolyte Self Energy

abstract: We address the effects of chain connectivity on electrostatic fluctuations in polyelectrolyte solutions using a field-theoretic, renormalized Gaussian fluctuation (RGF) theory. As in simple electrolyte solutions (Z.-G. Wang, Phys. Rev. E. {\bf 81}, 021501 (2010)), the RGF provides a unified theory for electrostatic fluctuations, accounting for both dielectric and charge correlation effects in terms of the self-energy. Unlike simple ions, the polyelectrolyte self energy depends intimately on the chain conformation, and our theory naturally provides a self-consistent determination of the response of intramolecular chain structure to polyelectrolyte and salt concentrations. The theory captures the expected scaling behavior of chain size from the dilute to semi-dilute regimes; by properly accounting for chain structure the theory provides improved estimates of the self energy in dilute solution and correctly predicts the eventual $N$-independence of the critical temperature and concentration of salt-free solutions of flexible polyelectrolytes. We show that the self energy can be interpreted in terms of an infinite-dilution energy $\mu^\text{el}_{m,0}$ and a finite concentration correlation correction $\mu^\text{corr}$ which tends to cancel out the former with increasing concentration.


title: Weight-adjusted discontinuous Galerkin methods: matrix-valued weights and elastic wave propagation in heterogeneous media

abstract: Weight-adjusted inner products are easily invertible approximations to weighted $L^2$ inner products. These approximations can be paired with a discontinuous Galerkin (DG) discretization to produce a time-domain method for wave propagation which is low storage, energy stable, and high order accurate for arbitrary heterogeneous media and curvilinear meshes. In this work, we extend weight-adjusted DG (WADG) methods to the case of matrix-valued weights, with the linear elastic wave equation as an application. We present a DG formulation of the symmetric form of the linear elastic wave equation, with upwind-like dissipation incorporated through simple penalty fluxes. A semi-discrete convergence analysis is given, and numerical results confirm the stability and high order accuracy of WADG for several problems in elastic wave propagation.


title: Gateway schemes of quantum control for spin networks

abstract: Towards the full-fledged quantum computing, what do we need? Obviously, the first thing we need is a (many-body) quantum system, which is reasonably isolated from its environment in order to reduce the unwanted effect of noise, and the second might be a good technique to fully control it. Although we would also need a well-designed quantum code for information processing for fault-tolerant computation, from a physical point of view, the primary requisites are a system and a full control for it. Designing and fabricating a controllable quantum system is a hard work in the first place, however, we shall focus on the subsequent steps that cannot be skipped and are highly nontrivial.


title: A decomposition result for a singular elliptic equation on compact Riemannian manifolds

abstract: On compact Riemannian manifolds, we prove a decomposition theorem for arbitrarily bounded energy sequence of solutions of a singular elliptic equation.


title: Analytical Forms for Cross Sections of Di-lepton Production from $e^+e^-$ Collisions around the $J/\psi$ Resonance

abstract: A detailed theoretical derivation of the cross sections of $e^+e^- \to e^+e^-$ and $e^+e^- \to \mu^+\mu^-$ around the $J/\psi$ resonance is reported. The resonance and interference parts of the cross sections, related to $J/\psi$ resonance parameters, are calculated. Higher-order corrections for vacuum polarization and initial-state radiation are considered. An arbitrary upper limit of radiative correction integration is involved. Full and simplified versions of analytic formulae are given with precision at the level of 0.1% and 0.2%, respectively. Moreover, the results obtained in the paper can be applied to the case of the $\psi(3686)$ resonance.


title: A partial inverse problem for the Sturm-Liouville operator on a star-shaped graph

abstract: The Sturm-Liouville operator on a star-shaped graph is considered. We assume that the potential is known a priori on all the edges except one, and study the partial inverse problem, which consists in recovering the potential on the remaining edge from the part of the spectrum. A constructive method is developed for the solution of this problem, based on the Riesz-basicity of some sequence of vector functions. The local solvability of the inverse problem and the stability of its solution are proved.


title: Classification of Smartphone Users Using Internet Traffic

abstract: Today, smartphone devices are owned by a large portion of the population and have become a very popular platform for accessing the Internet. Smartphones provide the user with immediate access to information and services. However, they can easily expose the user to many privacy risks. Applications that are installed on the device and entities with access to the device's Internet traffic can reveal private information about the smartphone user and steal sensitive content stored on the device or transmitted by the device over the Internet. In this paper, we present a method to reveal various demographics and technical computer skills of smartphone users by their Internet traffic records, using machine learning classification models. We implement and evaluate the method on real life data of smartphone users and show that smartphone users can be classified by their gender, smoking habits, software programming experience, and other characteristics.


title: Constraints on Primordial non-Gaussianity from Future HI Intensity Mapping Experiments

abstract: The primordial non-Gaussianity induces scale-dependent bias of the \hi with respect to the underlying dark matter, which exhibits features on the very large scales of the 21-cm power spectrum potentially observable with \hi intensity mapping observations. We forecast the prospective constraints on the four fundamental shapes of primordial non-Gaussianity (local, equilateral, orthogonal, and enfolded), with the current and future \hi intensity mapping experiments, BINGO, FAST, and SKA-I. With the current configuration of the experiments and assumed one-year observation time, we find that the SKA-I will provide tighter constraints on the local shape of primoridal non-Gaussianity than Planck. The results are $(\sigma_{f^{\rm local}_{\rm NL}},\sigma_{f^{\rm equil}_{\rm NL}},\sigma_{f^{\rm orth}_{\rm NL}},\sigma_{f^{\rm enfold}_{\rm NL}})_{\rm SKA-I}=(0.54, 86, 25, 43)$, $(\sigma_{f^{\rm local}_{\rm NL}},\sigma_{f^{\rm equil}_{\rm NL}},\sigma_{f^{\rm orth}_{\rm NL}},\sigma_{f^{\rm enfold}_{\rm NL}})_{\rm BINGO}=(17, 100, 128, 164)$, $(\sigma_{f^{\rm local}_{\rm NL}},\sigma_{f^{\rm equil}_{\rm NL}},\sigma_{f^{\rm orth}_{\rm NL}},\sigma_{f^{\rm enfold}_{\rm NL}})_{\rm FAST}=(9.5, 44, 75, 94)$. If the lower frequency band of FAST can be used, the constraint on local-type primordial non-Gaussianity will be $\sigma_{f_\mathrm{NL}}\sim1.62$ which is better than Planck. In addition, if the observation time for FAST could be extended to two years, the constraint on the equilateral shape of primordial non-Gaussianity would be improved to $\sigma_{f_\mathrm{NL}}\sim32$. Similarly, if the observational time of SKA-I could be extended to two years, the constraint on local and orthogonal shapes could be improved to $0.43$ and $20$, respectively, achieving better constraints than Planck.


title: Subregular subalgebras and invariant generalized complex structures on Lie groups

abstract: We introduce the notion of a subregular subalgebra, which we believe is useful for classification of subalgebras of Lie algebras. We use it to construct a non-regular invariant generalized complex structure on a Lie group. As an illustration of the study of invariant generalized complex structures, we compute them all for the real forms of G2.


title: Convergence rates of theta-method for neutral SDDEs under non-globally Lipschitz continuous coefficients

abstract: This paper is concerned with strong convergence and almost sure convergence for neutral stochastic differential delay equations under non-globally Lipschitz continuous coefficients. Convergence rates of $\theta$-EM schemes are given for these equations driven by Brownian motion and pure jumps respectively, where the drift terms satisfy locally one-sided Lipschitz conditions, and diffusion coefficients obey locally Lipschitz conditions, and the corresponding coefficients are highly nonlinear with respect to the delay terms.


title: Central-edge asymmetry as a probe of Higgs-top coupling in $t\bar{t}h$ production at LHC

abstract: The Higgs-top coupling plays a central role in the hierarchy problem and the vacuum stability of the Standard Model (SM). We propose a central-edge asymmetry ($A_{CE}$) to probe the CP violating Higgs-top coupling in dileptonic channel of $t\bar{t}h(\to b\bar{b})$ production at the LHC. We demonstrate that the CP-violating Higgs-top coupling can affect the central-edge asymmetry through distorting $\Delta y_{\ell^+\ell^-}$ distribution because of the contribution of new top charge asymmetric term. Since $\Delta y_{\ell^+\ell^-}$ distribution is frame-independent and has a good discrimination even in boosted regime, we use the jet substructure technique to enhance the observability of the dileptonic channel of $t\bar{t}h$ production. We find that (1) the significance of dileptonic channel of $t\bar{t}h$ production can reach $5\sigma$ for CP phase $\xi=0,\pi/4,\pi/2$ when the luminosity ${\cal L}=795,993,1276$ fb$^{-1}$ at 14 TeV LHC. (2) the central-edge asymmetry $A_{CE}$ show a good discrimination power of CP phase of $t\bar{t}h$ interaction, which are -40.26\%, -26.60\%, -9.47\% for $\xi=0$, $\pi/4$, $ \pi/2$ respectively and are hardly affected by the event selections. Besides, by performing the binned-$\chi^2$ analysis of $\Delta y_{\ell^+\ell^-}$ distribution, we find that the scalar and pseudo-scalar interactions can be distinguished at 95\% C.L. level at 14 TeV HL-LHC.


title: Existence, uniqueness and exponential boundedness of global solutions to delay fractional differential equations

abstract: Under a mild Lipschitz condition we prove a theorem on the existence and uniqueness of global solutions to delay fractional differential equations. Then, we establish a result on the exponential boundedness for these solutions.


title: Testing conformal gravity with astrophysical black holes

abstract: Weyl conformal symmetry can solve the problem the spacetime singularities present in Einstein's gravity. In a recent paper, two of us have found a singularity-free rotating black hole solution in conformal gravity. In addition to the mass $M$ and the spin angular momentum $J$ of the black hole, the new solution has a new parameter, $L$, which here we consider to be proportional to the black hole mass. Since the solution is conformally equivalent to the Kerr metric, photon trajectories are unchanged, while the structure of an accretion disk around a black hole is affected by the value of the parameter $L$. In this paper, we show that X-ray data of astrophysical black holes require $L/M < 1.2$.


title: Closed Sets and Operators thereon: Representations, Computability and Complexity

abstract: The TTE approach to Computable Analysis is the study of so-called representations (encodings for continuous objects such as reals, functions, and sets) with respect to the notions of computability they induce. A rich variety of such representations had been devised over the past decades, particularly regarding closed subsets of Euclidean space plus subclasses thereof (like compact subsets). In addition, they had been compared and classified with respect to both non-uniform computability of single sets and uniform computability of operators on sets. In this paper we refine these investigations from the point of view of computational complexity. Benefiting from the concept of second-order representations and complexity recently devised by Kawamura & Cook (2012), we determine parameterized complexity bounds for operators such as union, intersection, projection, and more generally function image and inversion. By indicating natural parameters in addition to the output precision, we get a uniform view on results by Ko (1991-2013), Braverman (2004/05) and Zhao & M\"uller (2008), relating these problems to the P/UP/NP question in discrete complexity theory.


title: Low-energy collisions between electrons and BeH$^+$: cross sections and rate coefficients for all the vibrational states of the ion

abstract: We provide cross sections and Maxwell rate coefficients for reactive collisions of slow electrons with BeH$^+$ ions on all the eighteen vibrational levels ($X{^{1}\Sigma^{+}},v_{i}^{+}=0,1,2,\dots,17$) using a Multichannel Quantum Defect Theory (MQDT) - type approach. These data on dissociative recombination, vibrational excitation and vibrational de-excitation are relevant for magnetic confinement fusion edge plasma modelling and spectroscopy, in devices with beryllium based main chamber materials, such as the International Thermonuclear Experimental Reactor (ITER) and the Joint European Torus (JET). Our results are presented in graphical form and as fitted analytical functions, the parameters of which are organized in tables.


title: Generalized Play Hysteresis Operators in Limits of Fast-Slow Systems

abstract: Hysteresis operators appear in many applications such as elasto-plasticity and micromagnetics, and can be used for a wider class of systems, where rate-independent memory plays a role. A natural approximation for systems of evolution equations with hysteresis operators are fast-slow dynamical systems, which - in their used approximation form - do not involve any memory effects. Hence, viewing differential equations with hysteresis operators in the non-linearity as a limit of approximating fast-slow dynamics involves subtle limit procedures. In this paper, we give a proof of Netushil's "observation" that broad classes of planar fast-slow systems with a two-dimensional critical manifold are expected to yield generalized play operators in the singular limit. We provide two proofs of this "observation" based upon the fast-slow systems paradigm of decomposition into subsystems. One proof strategy employs suitable convergence in function spaces, while the second approach considers a geometric strategy via local linearization and patching adapted originally from problems in stochastic analysis. We also provide an illustration of our results in the context of oscillations in forced planar non-autonomous fast-slow systems. The study of this example also strongly suggests that new canard-type mechanisms can occur for two-dimensional critical manifolds in planar systems.


title: Full replica symmetry breaking in p-spin-glass-like systems

abstract: It is shown that continuously changing the effective number of interacting particles in p-spin-glass-like model allows to describe the transition from the full replica symmetry breaking glass solution to stable first replica symmetry breaking glass solution in the case of non-reflective symmetry diagonal operators used instead of Ising spins. As an example, axial quadrupole moments in place of Ising spins are considered and the boundary value $p_{c_{1}}\cong 2.5$ is found.


title: Phase space of modified Gauss-Bonnet gravity

abstract: We investigate the evolution of non vacuum Friedmann-Lema\^itre-Robertson-Walker (FLRW) with any spatial curvature in the context of Gauss-Bonnet gravity. The analysis employs a new method which enables us to explore the phase space of any specific theory of this class. We consider several examples, discussing the transition from a decelerating into an acceleration universe within these theories. We also deduce from the dynamical equations some general conditions on the form of the action which guarantee the presence of specific behaviours like the the emergence of accelerated expansion. As in $f(R)$ gravity, our analysis shows that there is a set of initial conditions for which these models have a finite time singularity which can be an attractor. The presence of this instability also in the Gauss-Bonnet gravity is to be ascribed to the fourth-order derivative in the field equations, i.e., is the direct consequence of the higher order of the equations.


title: Amplified spontaneous emission at 5.23 um in two-photon excited Rb vapour

abstract: Population inversion on the 5D-6P transition in Rb atoms produced by cw excitation at different wavelengths has been analysed by comparing the generated mid-IR radiation at 5.23 um originated from amplified spontaneous emission and isotropic blue fluorescence at 420 nm. A novel method of detecting two-photon excitation in atomic vapours using ASE is suggested. We have observed directional co- and counter-propagating emission at 5.23 um. We find that the power dependencies of the backward- and forward-directed emission can be very close, however their spectral dependencies are not identical. The mid-IR emission in Rb vapours excited by nearly counter-propagating beams at 780 and 776 nm does not exactly coincide spatially with the applied laser beams. The presented observations could be useful for enhancing efficiency of frequency mixing processes and new field generation in atomic media.


title: Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation

abstract: This volume contains the formal proceedings of the Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), held on 23rd June 2016 in Porto, Portugal, as a satellite event of the First International Conference on Formal Structures for Computation and Deduction (FSCD 2016). The workshop brought together researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area.


title: Aggressive Congestion Control Mechanism for Space Systems

abstract: How to implement an impeccable space system-of-systems (SoS) internetworking architecture has been a significant issue in system engineering for years. Reliable data transmission is considered one of the most important technologies of space SoS internetworking systems. Due to the high bit error rate (BER), long time delay and asymmetrical channel in the space communication environment, the congestion control mechanism of classic transport control protocols (TCP) shows unsatisfying performances. With the help of existing TCP modifications, this paper contributes an aggressive congestion control mechanism. The proposed mechanism is characterized with a fast start procedure, as well as the feedback information to analyze network traffic and with a link terminating processing mechanism, which can help to reveal the real reason of packet loss, and maintain the size of congestion window at a high level. Simulation results are shown in the end to verify the proposed scheme.


title: Comprehensive study on band-gap variations in $sp^3$-bonded semiconductors: roles of electronic states floating in internal space

abstract: We have performed electronic structure calculations to explore the band-gap dependence on polytypes for $sp^3$-bonded semiconducting materials, i.e., SiC, AlN, BN, GaN, Si, and diamond. In this comprehensive study, we have found that band-gap variation depending on polytypes is common in $sp^3$-bonded semiconductors; SiC, AlN, and BN exhibit smallest band gaps in $3C$ structure, whereas diamond does in $2H$ structure. We have also clarified that the microscopic mechanism of the band-gap variations is attributed to peculiar electron states $floating$ in internal channel space at the conduction-band minimum (CBM), and that internal channel length and the electro-static potential in channel affect the energy level of CBM.


title: Many-body mobility edges in a one-dimensional model of interacting fermions

abstract: We analyze many body localization (MBL) in an interacting one-dimensional system with a deterministic aperiodic potential. Below the threshold value of the potential $h < h_c$, the non-interacting system has single particle mobility edges at $\pm E_c$ while for $ h > h_c$ all the single particle states are localized. We demonstrate that even in the presence of single particle mobility edges, the interacting system can have MBL. Our numerical calculation of participation ratio in the Fock space and Shannon entropy shows that both for $h < h_c$ (quarter filled) and $h>h_c$ ($h\sim h_c$ and half filled), many body states in the middle of the spectrum are delocalized while the low energy states with $E < E_1$ and the high energy states with $E> E_2$ are localized. Variance of entanglement entropy (EE) also shows divergence at $E_{1,2}$ indicating a transition from MBL to delocalized regime. We also studied eigenstate thermalisation hypothesis (ETH) and found that the low energy many body states, which show area law scaling for EE do not obey ETH. The crossings from volume to area law scaling for EE and from thermal to non-thermal behaviour occurs deep inside the localised regime. For $h \gg h_c$, all the many body states remain localized for weak to intermediate strength of interaction and the system shows infinite temperature MBL phase.


title: Mobile Data Transactions in Device-to-Device Communication Networks: Pricing and Auction

abstract: Device-to-Device (D2D) communication is offering smart phone users a choice to share files with each other without communicating with the cellular network. In this paper, we discuss the behaviors of two characters in the D2D data transaction model from an economic point of view: the data buyers who wish to buy a certain quantity of data, as well as the data sellers who wish to sell data through the D2D network. The optimal price and purchasing strategies are analyzed and deduced based on game theory.


title: Behavior of the Gaussian curvature of timelike minimal surfaces with singularities

abstract: In the 3-dimensional Lorentz-Minkowski space we prove that the sign of the Gaussian curvature of any timelike minimal surface is determined by the degeneracy and the orientations of the two null curves that generate the surface. Moreover, we also investigate the behavior of the Gaussian curvature near singular points of a timelike minimal surface which admits some kind of singular points.


title: Randomly Weighted $d-$complexes: Minimal Spanning Acycles and Persistence Diagrams

abstract: A weighted $d-$complex is a simplicial complex of dimension $d$ in which each face is assigned a real-valued weight. We derive three key results here concerning persistence diagrams and minimal spanning acycles (MSAs) of such complexes. First, we establish an equivalence between the MSA face-weights and \emph{death times} in the persistence diagram. Next, we show a novel stability result for the MSA face-weights which, due to our first result, also holds true for the death and birth times, separately. Our final result concerns a perturbation of a mean-field model of randomly weighted $d-$complexes. The $d-$face weights here are perturbation of some i.i.d. distribution while all the lower-dimensional faces have a weight of $0$. If the perturbations decay sufficiently quickly, we show that suitably scaled extremal nearest face-weights, face-weights of the $d-$MSA, and the associated death times converge to an inhomogeneous Poisson point process. This result completely characterizes the extremal points of persistence diagrams and MSAs. The point process convergence and the asymptotic equivalence of three point processes are new for any weighted random complex model, including even the non-perturbed case. Lastly, as a consequence of our stability result, we show that Frieze's $\zeta(3)$ limit for random minimal spanning trees and the recent extension to random MSAs by Hino and Kanazawa also hold in suitable noisy settings.


title: Complex Network Theoretical Analysis on Information Dissemination over Vehicular Networks

abstract: How to enhance the communication efficiency and quality on vehicular networks is one critical important issue. While with the larger and larger scale of vehicular networks in dense cities, the real-world datasets show that the vehicular networks essentially belong to the complex network model. Meanwhile, the extensive research on complex networks has shown that the complex network theory can both provide an accurate network illustration model and further make great contributions to the network design, optimization and management. In this paper, we start with analyzing characteristics of a taxi GPS dataset and then establishing the vehicular-to-infrastructure, vehicle-to-vehicle and the hybrid communication model, respectively. Moreover, we propose a clustering algorithm for station selection, a traffic allocation optimization model and an information source selection model based on the communication performances and complex network theory.


title: Access Strategy in Super WiFi Network Powered by Solar Energy Harvesting: A POMDP Method

abstract: The recently announced Super Wi-Fi Network proposal in United States is aiming to enable Internet access in a nation-wide area. As traditional cable-connected power supply system becomes impractical or costly for a wide range wireless network, new infrastructure deployment for Super Wi-Fi is required. The fast developing Energy Harvesting (EH) techniques receive global attentions for their potential of solving the above power supply problem. It is a critical issue, from the user's perspective, how to make efficient network selection and access strategies. Unlike traditional wireless networks, the battery charge state and tendency in EH based networks have to be taken into account when making network selection and access, which has not been well investigated. In this paper, we propose a practical and efficient framework for multiple base stations access strategy in an EH powered Super Wi-Fi network. We consider the access strategy from the user's perspective, who exploits downlink transmission opportunities from one base station. To formulate the problem, we used Partially Observable Markov Decision Process (POMDP) to model users' observations on the base stations' battery situation and decisions on the base station selection and access. Simulation results show that our methods are efficacious and significantly outperform the traditional widely used CSMA method.


title: Proceedings 13th International Conference on Quantum Physics and Logic

abstract: This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.


title: B\"acklund Transformations for the Boussinesq Equation and Merging Solitons

abstract: The B\"acklund transformation (BT) for the "good" Boussinesq equation and its superposition principles are presented and applied. Unlike many other standard integrable equations, the Boussinesq equation does not have a strictly algebraic superposition principle for 2 BTs, but it does for 3. We present associated lattice systems. Applying the BT to the trivial solution generates standard solitons but also what we call "merging solitons" --- solutions in which two solitary waves (with related speeds) merge into a single one. We use the superposition principles to generate a variety of interesting solutions, including superpositions of a merging soliton with $1$ or $2$ regular solitons, and solutions that develop a singularity in finite time which then disappears at some later finite time. We prove a Wronskian formula for the solutions obtained by applying a general sequence of BTs on the trivial solution. Finally, we show how to obtain the standard conserved quantities of the Boussinesq equation from the BT, and how the hierarchy of local symmetries follows in a simple manner from the superposition principle for 3 BTs.


title: Solving delay differential equations through RBF collocation

abstract: A general and easy-to-code numerical method based on radial basis functions (RBFs) collocation is proposed for the solution of delay differential equations (DDEs). It relies on the interpolation properties of infinitely smooth RBFs, which allow for a large accuracy over a scattered and relatively small discretization support. Hardy's multiquadric is chosen as RBF and combined with the Residual Subsampling Algorithm of Driscoll and Heryudono for support adaptivity. The performance of the method is very satisfactory, as demonstrated over a cross-section of benchmark DDEs, and by comparison with existing general-purpose and specialized numerical schemes for DDEs.


title: Non-Abelian bootstrap of primordial magnetism

abstract: We point out that a primordial magnetic field can be generated in the electroweak phase transition by a non-Abelian bootstrap, where the field is generated by currents of W's, which in turn are extracted from the vacuum by the magnetic field. This magnetic field is produced as a vortex condensate at the electroweak phase transition. It becomes stringy as a consequence of the dynamical evolution due to magnetohydrodynamics.

categories: hep-th astro-ph.HE hep-ph math-ph math.MP


title: Restricted Boltzmann Machines for the Long Range Ising Models

abstract: We set up Restricted Boltzmann Machines (RBM) to reproduce the Long Range Ising (LRI) models of the Ohmic type in one dimension. The RBM parameters are tuned by using the standard machine learning procedure with an additional method of Configuration with Probability (CwP). The quality of resultant RBM are evaluated through the susceptibility with respect to the magnetic external field. We compare the results with those by Block Decimation Renormalization Group (BDRG) method, and our RBM clear the test with satisfactory precision.


title: Some Repeated-Root Constacyclic Codes over Galois Rings

abstract: Codes over Galois rings have been studied extensively during the last three decades. Negacyclic codes over $GR(2^a,m)$ of length $2^s$ have been characterized: the ring $\mathcal{R}_2(a,m,-1)= \frac{GR(2^a,m)[x]}{\langle x^{2^s}+1\rangle}$ is a chain ring. Furthermore, these results have been generalized to $\lambda$-constacyclic codes for any unit $\lambda$ of the form $4z-1$, $z\in GR(2^a, m)$. In this paper, we study more general cases and investigate all cases where $\mathcal{R}_p(a,m,\gamma)= \frac{GR(p^a,m)[x]}{\langle x^{p^s}-\gamma \rangle}$ is a chain ring. In particular, necessary and sufficient conditions for the ring $\mathcal{R}_p(a,m,\gamma)$ to be a chain ring are obtained. In addition, by using this structure we investigate all $\gamma$-constacyclic codes over $GR(p^a,m)$ when $\mathcal{R}_p(a,m,\gamma)$ is a chain ring. Necessary and sufficient conditions for the existence of self-orthogonal and self-dual $\gamma$-constacyclic codes are also provided. Among others, for any prime $p$, the structure of $\mathcal{R}_p(a,m,\gamma)=\frac{GR(p^a,m)[x]}{\langle x^{p^s}-\gamma\rangle}$ is used to establish the Hamming and homogeneous distances of $\gamma$-constacyclic codes.


title: Sustainable Incentives for Mobile Crowdsensing: Auctions, Lotteries, and Trust and Reputation Systems

abstract: Proper incentive mechanisms are critical for mobile crowdsensing systems to motivate people to actively and persistently participate. This article provides an exposition of design principles of six incentive mechanisms, drawing special attention to the sustainability issue. We cover three primary classes of incentive mechanisms: auctions, lotteries, and trust and reputation systems, as well as three other frameworks of promising potential: bargaining games, contract theory, and market-driven mechanisms.


title: Converse passivity theorems

abstract: Passivity is an imperative concept and a widely utilized tool in the analysis and control of interconnected systems. It naturally arises in the modelling of physical systems involving passive elements and dynamics. While many theorems on passivity are known in the theory of robust control, very few converse passivity results exist. This paper establishes various versions of converse passivity theorems for nonlinear feedback systems. In particular, open-loop passivity is shown to be necessary to ensure closed-loop passivity from an input-output perspective. Moreover, the stability of the feedback interconnection of a specific system with an arbitrary passive system is shown to imply passivity of the system itself.


title: Brightness variations of the FUor-type eruptive star V346 Nor

abstract: Decades after the beginning of its FU Orionis-type outburst, V346 Nor unexpectedly underwent a fading event of $\Delta{}K$ = 4.6 mag around 2010. We obtained near-infrared observations and re-analysed data from the VISTA/VVV survey to outline the brightness evolution. In our VLT/NaCO images, we discovered a halo of scattered light around V346~Nor with a size of about 0.04 arcsec (30 au). The VISTA data outlined a well-defined minimum in the light curve at late 2010/early 2011, and tentatively revealed a small-amplitude periodic modulation of 58 days. Our latest data points from 2016 demonstrate that the source is still brightening but has not reached the 2008 level yet. We used a simple accretion disk model with varying accretion rate and line-of-sight extinction to reproduce the observed near-infrared magnitudes and colors. We found that before 2008, the flux changes of V346 Nor were caused by a correlated change of extinction and accretion rate, while the minimum around 2010 was mostly due to decreasing accretion. The source reached a maximal accretion rate of ${\approx}10^{-4} M_{\odot}$ yr$^{-1}$ in 1992. A combination of accretion and extinction changes was already invoked in the literature to interpret the flux variations of certain embedded young eruptive stars.


title: Outlier Robust Online Learning

abstract: We consider the problem of learning from noisy data in practical settings where the size of data is too large to store on a single machine. More challenging, the data coming from the wild may contain malicious outliers. To address the scalability and robustness issues, we present an online robust learning (ORL) approach. ORL is simple to implement and has provable robustness guarantee -- in stark contrast to existing online learning approaches that are generally fragile to outliers. We specialize the ORL approach for two concrete cases: online robust principal component analysis and online linear regression. We demonstrate the efficiency and robustness advantages of ORL through comprehensive simulations and predicting image tags on a large-scale data set. We also discuss extension of the ORL to distributed learning and provide experimental evaluations.


title: Semistability of Rational Principal $GL_n$-Bundles in Positive Characteristic

abstract: Let $k$ be an algebraically closed field of characteristic $p>0$, $X$ a smooth projective variety over $k$ with a fixed ample divisor $H$. Let $E$ be a rational $GL_n(k)$-bundle on $X$, and $\rho:GL_n(k)\rightarrow GL_m(k)$ a rational $GL_n(k)$-representation at most degree $d$ such that $\rho$ maps the radical $R(GL_n(k))$ of $GL_n(k)$ into the radical $R(GL_m(k))$ of $GL_m(k)$. We show that if $F_X^{N*}(E)$ is semistable for some integer $N\geq\max\limits_{0<r<m}C^r_m\cdot\log_p(dr)$, then the induced rational $GL_m(k)$-bundle $E(GL_m(k))$ is semistable. As an application, if $\dim X=n$, we get a sufficient condition for the semistability of Frobenius direct image ${F_X}_*(\rho_*(\Omega^1_X))$, where $\rho_*(\Omega^1_X)$ is the locally free sheaf obtained from $\Omega^1_X$ via the rational representation $\rho$.


title: Random subgroups of acylindrically hyperbolic groups and hyperbolic embeddings

abstract: Let G be an acylindrically hyperbolic group. We consider a random subgroup H in G, generated by a finite collection of independent random walks. We show that, with asymptotic probability one, such a random subgroup H of G is a free group, and the semidirect product of H acting on E(G) is hyperbolically embedded in G, where E(G) is the unique maximal finite normal subgroup of G.


title: Generic Newton polygon for exponential sums in two variables with triangular base

abstract: Let $p$ be a prime number. Every two-variable polynomial $f(x_1, x_2)$ over a finite field of characteristic $p$ defines an Artin--Schreier--Witt tower of surfaces whose Galois group is isomorphic to $\mathbb Z_p$. Our goal of this paper is to study the Newton polygon of the $L$-functions associated to a finite character of $\mathbb{Z}_p$ and a generic polynomial whose convex hull is a fixed triangle $\Delta$. We denote this polygon by $\textrm{GNP}(\Delta)$. We prove a lower bound of $\textrm{GNP}(\Delta)$, which we call the improved Hodge polygon $\textrm{IHP}(\Delta)$, and we conjecture that $\textrm{GNP}(\Delta)$ and $\textrm{IHP}(\Delta)$ are the same. We show that if $\textrm{GNP}(\Delta)$ and $\textrm{IHP}(\Delta)$ coincide at a certain point, then they coincide at infinitely many points. When $\Delta$ is an isosceles right triangle with vertices $(0,0)$, $(0, d)$ and $(d, 0)$ such that $d$ is not divisible by $p$ and that the residue of $p$ modulo $d$ is small relative to $d$, we prove that $\textrm{GNP}(\Delta)$ and $\textrm{IHP}(\Delta)$ coincide at infinitely many points. As a corollary, we deduce that the slopes of $\textrm{GNP}(\Delta)$ roughly form an arithmetic progression with increasing multiplicities.


title: Multiplicative structure on Real Johnson-Wilson theory

abstract: We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category of (possibly non-compact) spaces.


title: The Geometric Magnitude and Albedo for the Globe of Saturn

abstract: Saturn's geometric magnitude and albedo were determined by Mallama et al. (2017, Icarus 282, 19-33). That analysis depended largely on photometric data obtained when the ring system interfered with observations of the globe. In this study the magnitude and albedo are re-evaluated based on spectrophotometry obtained during a ring-plane crossing (Karkoschka, 1998, Icarus, 133, 134-146). A better correction for the illumination phase angle of Saturn's globe is also derived and it is applied to the spectroscopy. The resulting values for most of the 12 Johnson-Cousins and Sloan wavelength bands agree reasonably well with those reported by Mallama et al. but some significant differences are noted. The revised albedo value for the Rc band reduces the discrepancy with that inferred from the work of Dyudina et al. (2005, ApJ 618, 973-986).


title: Analyzing PFG anisotropic anomalous diffusions by instantaneous signal attenuation method

abstract: Anomalous diffusion has been investigated in many systems. Pulsed field gradient (PFG) anomalous diffusion is much more complicated than PFG normal diffusion. There have been many theoretical and experimental studies for PFG isotropic anomalous diffusion, but there are very few theoretical treatments reported for anisotropic anomalous diffusion. Currently, there is not a general PFG signal attenuation expression, which includes the finite gradient pulse effect and can treat all three types of anisotropic fractional diffusions: general fractional diffusion, time fractional diffusion, and space-fractional diffusion. In this paper, the recently developed instantaneous signal attenuation (ISA) method was applied to obtain PFG signal attenuation expression for free and restricted anisotropic anomalous diffusion with two models: fractal derivative and fractional derivative models. The obtained PFG signal attenuation expression for anisotropic anomalous diffusion can reduce to the reported result for PFG anisotropic normal diffusion. The results can also reduce to reported PFG isotropic anomalous diffusion results obtained by effective phase shift diffusion equation method and instantaneous signal attenuation method. For anisotropic space-fractional diffusion, the obtained result agrees with that obtained by the modified Bloch equation method. Additionally, The PFG signal attenuation expressions for free and restricted anisotropic curvilinear diffusions were derived by the traditional method, the results of which agree with the PFG anisotropic fractional diffusion results based on the fractional derivative model. The powder pattern of PFG anisotropic diffusion was also discussed. The results here improve our understanding of PFG anomalous diffusion, and provide new formalisms for PFG anisotropic anomalous diffusion in NMR and MRI.


title: Completely bounded bimodule maps and spectral synthesis

abstract: We initiate the study of the completely bounded multipliers of the Haagerup tensor product $A(G)\otimes_{\rm h} A(G)$ of two copies of the Fourier algebra $A(G)$ of a locally compact group $G$. If $E$ is a closed subset of $G$ we let $E^{\sharp} = \{(s,t) : st\in E\}$ and show that if $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$ then $E$ is a set of local spectral synthesis for $A(G)$. Conversely, we prove that if $E$ is a set of spectral synthesis for $A(G)$ and $G$ is a Moore group then $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$. Using the natural identification of the space of all completely bounded weak* continuous $VN(G)'$-bimodule maps with the dual of $A(G)\otimes_{\rm h} A(G)$, we show that, in the case $G$ is weakly amenable, such a map leaves the multiplication algebra of $L^{\infty}(G)$ invariant if and only if its support is contained in the antidiagonal of $G$.


title: Neutron interference in the Earth's gravitational field

abstract: This work relates to the famous experiments, performed in 1975 and 1979 by Werner et al., measuring neutron interference and neutron Sagnac effects in the earth's gravitational field. Employing the method of Stodolsky in its weak field approximation, explicit expressions are derived for the two phase shifts, which turn out to be in agreement with the experiments and with the previously obtained expressions derived from semi-classical arguments: these expressions are simply modified by relativistic correction factors.


title: Loop conditions

abstract: We discuss such Maltsev conditions that consist of just one linear equation, we call them loop conditions. To every such condition can be assigned a graph. We provide a classification of conditions with undirected graphs. It follows that the Siggers term is the weakest non-trivial loop condition.


title: Casimir effect for Dirac lattices

abstract: We consider polarizable sheets, which recently received some attention, especially in context of the dispersion interaction of thin sheets like graphene. These sheets are modeled by a collection of delta function potentials and resemble "zero range potentials", known in quantum mechanics. We develop a theoretical description and apply the so-called "TGTG"-formula to calculate the interaction of two such lattices. Thereby we make use of the formulation of the scattering of waves off such sheets provided earlier. We consider all limiting cases, providing link to earlier results. Also, we discuss the relation to the pairwise summation method.


title: On the local uniqueness of steady states for the Vlasov-Poisson system

abstract: Motivated by recent results of Lemou-M\'ehats-R\"aphael and Lemou concerning the quatitative stability of some suitable steady states for the Vlasov-Poisson system, we investigate the local uniqueness of steady states near these one. This research is inspired by analogous results of Couffrut and \v{S}ver\'ak in the context of the 2D Euler equations.


title: Population Annealing Simulations of a Binary Hard Sphere Mixture

abstract: Population annealing is a sequential Monte Carlo scheme well-suited to simulating equilibrium states of systems with rough free energy landscapes. Here we use population annealing to study a binary mixture of hard spheres. Population annealing is a parallel version of simulated annealing with an extra resampling step that ensures that a population of replicas of the system represents the equilibrium ensemble at every packing fraction in an annealing schedule. The algorithm and its equilibration properties are described and results are presented for a glass-forming fluid composed of a 50/50 mixture of hard spheres with diameter ratio of 1.4:1. For this system, we obtain precise results for the equation of state in the glassy regime up to packing fractions $\varphi \approx 0.60$ and study deviations from the BMCSL equation of state. For higher packing fractions, the algorithm falls out of equilibrium and a free volume fit predicts jamming at packing fraction $\varphi \approx 0.667$. We conclude that population annealing is an effective tool for studying equilibrium glassy fluids and the jamming transition.


title: Equivalence Groups and Differential Invariants for (2+1) dimensional Nonlinear Diffusion Equation

abstract: (2+1) dimensional diffusion equation is considered within the framework of equivalence transformations. Generators for the group are obtained and admissible transformations between linear and nonlinear equations are examined. It is shown that transformations between linear and nonlinear equations are possible provided that the generators of independent variables depend on the dependent variable. Exact solutions for some nonlinear equations are obtained. Differential invariants related to the transformation groups are investigated and the results are compared with the direct integration method.


title: Fourier interpolation on the real line

abstract: We use weakly holomorphic modular forms for the Hecke theta group to construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set $\{0, \pm\sqrt{1}, \pm\sqrt{2}, \pm\sqrt{3},\dots\}$.


title: A portable magnetic field of > 3 T generated by the flux jump assisted, pulsed field magnetisation of bulk superconductors

abstract: A trapped magnetic field of greater than 3 T has been achieved in a single grain GdBa2Cu3O7-{\delta} (GdBaCuO) bulk superconductor of diameter 30 mm by employing pulsed field magnetisation (PFM). The magnet system is portable and operates at temperatures between 50 K and 60 K. Flux jump behaviour was observed consistently during magnetisation when the applied pulsed field, Ba, exceeded a critical value (e.g. 3.78 T at 60 K). A sharp dBa/dt is essential to this phenomenon. This flux jump behaviour enables the magnetic flux to penetrate fully to the centre of the bulk superconductor, resulting in full magnetization of the sample without requiring an applied field as large as that predicted by the Bean model. We show that this flux jump behaviour can occur over a wide range of fields and temperatures, and that it can be exploited in a practical quasi-permanent magnet system.


title: Existence and uniqueness of solution for a nonhomogeneous nonlocal problem

abstract: In this paper we investigate a class of elliptic problems involving a nonlocal Kirchhoff type operator with variable coefficients and data changing its sign. Under appropriated conditions on the coefficients, we have shown existence and uniqueness of solution.